You are here

2007

  1. Annapaola Marconi; Marco Pistore; Paolo Traverso,
    in «ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS»,
    vol. 1,
    n. 5,
    2007
    , pp. 11 -
    25
  2. 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
  3. 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
  4. Bucchiarone, Antonio; Muccini, Henry; Pelliccione, Patrizio,
    in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
    vol. 168,
    2007
    , pp. 77 -
    90
  5. Bucchiarone, Antonio; Muccini, Henry; Pelliccione, Patrizio,
    in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
    vol. 168,
    2007
    , pp. 77 -
    90
  6. Marco Pistore; Paolo Traverso,
    Assumption Based Composition and Monitoring of Web Services,
    Test and Analysis of Service-Oriented Systems,
    Springer,
    2007
    , pp. 307 -
    338
  7. Piergiorgio Bertoli; Marco Bozzano; Alessandro Cimatti,
    A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis,
    Model Checking and Artificial Intelligence,
    Berlin, Heidelberg,
    Springer-Verlag,
    2007
    , pp. 1 -
    18
  8. Natasha Alechina; Piergiorgio Bertoli; Chiara Ghidini; Mark Jago; Brian Logan; Luciano Serafini,
    Verifying space and time requirements for resource-bounded agents,
    Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-06),
    Springer,
    vol.4428,
    2007
    , pp. 19-
    34
    , (Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-06),
    28/08/2006)
  9. Annapaola Marconi; Marco Pistore; Piero Poccianti; Paolo Traverso,
    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)
  10. Francesco Pagliarecci; Marco Pistore; Luca Spalazzi; Paolo Traverso,
    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)

Pages