-
Annapaola Marconi; Marco Pistore; Paolo Traverso,
in «ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS»,
vol. 1,
n. 5,
2007
, pp. 11 -
25
-
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
-
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
-
Bucchiarone, Antonio; Muccini, Henry; Pelliccione, Patrizio,
in «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE»,
vol. 168,
2007
, pp. 77 -
90
-
Marco Pistore; Paolo Traverso,
Assumption Based Composition and Monitoring of Web Services,
Test and Analysis of Service-Oriented Systems,
Springer,
2007
, pp. 307 -
338
-
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
-
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)
-
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)
-
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)
-
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)