Publications


  1. Raman Kazhamiakin, Piergiorgio Bertoli, Massimo Paolucci, Marco Pistore, Matthias Wagner,
    Having Services YourWay!: Towards User-Centric Composition of Mobile Services,
    2008
    , pp. 94-
    106
    , (Future Internet Symposium 2008,
    Vienna, Austria,
    da 09/28/2008 a 09/30/2008)
  2. Raman Kazhamiakin, Andreas Metzger, Marco Pistore,
    Towards Correctness Assurance in Adaptive Service-Based Applications,
    2008
    , pp. 25-
    37
    , (Proceedings of the 1st European Conference on Towards a Service-Based Internet ,
    Madrid, Spain,
    da 12/10/2008 a 12/13/2008)
  3. Annapaola Marconi, Marco Pistore, Paolo Traverso,
    Process-level Composition of Web Services: a Semi-Automated Iterative Approach,
    in «ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS»,
    vol. 1,
    n. 5,
    2007
    , pp. 11 -
    25
  4. Marco Pistore, Moshe Y. Vardi,
    The Planning Spectrum - One, Two, Three, Infinity,
    in «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH»,
    vol. 30,
    2007
    , pp. 101 -
    132
  5. A. Bucchiarone, M. ter Beek, S. Gnesi,
    Formal Methods for Service Composition,
    in «ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS»,
    vol. 1,
    n. 5,
    2007
    , pp. 1 -
    10
  6. Marco Pistore, Paolo Traverso,
    Assumption Based Composition and Monitoring of Web Services,
    in: L. Baresi, E. Dinitto (eds.),
    Test and Analysis of Service-Oriented Systems,
    Springer,
    2007
    , pp. 307 -
    338
  7. Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso,
    Automated Web Service Composition at Work: the Amazon/MPS Case Study,
    ICWS, 2007 IEEE International Conference on Web Services,
    IEEE,
    2007
    , pp. 767-
    774
    , (ICWS, 2007 IEEE International Conference on Web Services,
    Salt Lake City, USA,
    2007)
  8. Francesco Pagliarecci, Marco Pistore, Luca Spalazzi, Paolo Traverso,
    Web Service Discovery at Process-level Based on Semantic Annotation,
    SEBD 2007 - 15th Italian Symposium on Advanced Database Systems, Proceedings,
    2007
    , pp. 220-
    232
    , (SEBD 2007 - 15th Italian Symposium on Advanced Database Systems, Proceedings,
    2007)
  9. Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsig,
    Autonomous and Adaptive Web Services,
    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)
  10. Annapaola Marconi, Marco Pistore, Paolo Traverso,
    An Iterative Approach for the Process-level Composition of Web Services,
    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)