You are here

2007

  1. Jana Koehler; Marco Pistore; Amit P. Sheth; Paolo Traverso; Martin Wirsig,
    Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Dagstuhl Seminar Proceedings 07061,
    2007
    , (Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Dagstuhl Seminar Proceedings 07061,
    Schloss Dagstuhl, Germany,
    04/02/2007 - 09/02/2007)
  2. Annapaola Marconi; Marco Pistore; Paolo Traverso,
    3rd South-East European Workshop on Formal Methods - SEEFM07,
    2007
    , pp. 36-
    50
    , (3rd South-East European Workshop on Formal Methods - SEEFM07,
    Thessaloniki, Greece,
    2007)
  3. Piergiorgio Bertoli; Joerg Hoffmann; Freddy Lécué; Marco Pistore,
    Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code,
    2007
    , (ICWS 2007 (IEEE 2007 International Conference on Web Services),
    Salt Lake City, USA,
    da 9/7/2007 a 12/7/2007)
  4. Joerg Hoffmann; Piergiorgio Bertoli; Marco Pistore,
    Web Service Composition as Planning Revisited: Between Background Theories and Initial State Uncertainty,
    2007
    , (Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07),
    Vancouver, Canada,
    da 22/7/2007 a 26/7/2007)
  5. Mausam; Piergiorgio Bertoli; Daniel S. Weld,
    A Hybridized Planner for Stochastic Domains,
    2007
    , (20th International Joint Conference on Artificial Intelligence (IJCAI-07),
    Hyderabad, India,
    da 6/1/2007 a 12/1/2007)
  6. Piergiorgio Bertoli ; Laura Ferrari; Raman Kazhamiakin; Corrado Moiso; Marco Pistore; Ermes Thuegaz,
    Design and Verification of Web Services Compositions in the Telecommunication Domain,
    2007
    , (ICWS 2007 (IEEE 2007 International Conference on Web Services),
    Salt Lake City, USA,
    da 9/7/2007 a 12/7/2007)
  7. Paolo Traverso; Marco Pistore,
    Agree or Change! Making Services Evolve,
    2007
    , (23rd IEEE International Conference on Software Maintenance (ICSM 2007),
    Paris, France,
    da 2/10/2207 a 5/10/2007)
  8. G. Zacco; M. Aimar; P. Pilolli; M. Pistore; I. Rusconi-Clerici; C. Seraponte; M. Trainotti,
    Business Specification Framework: an Eclipse plugin for business process specification,
    2007

Pages