Paolo Traverso
Director
FBK, Center for Information Technology - IRST
Povo, Via Sommarive 18
I-38123 Trento
Phone: +39 0461 314 327
Mobile: +39 335 18 30 236
traverso at fbk.eu

 Some selected publications in "Automated Planning and Reasoning":

• M. Ghallab, D. Nau, and P. Traverso. Automated Planning: Theory and Practice. Morgan Kaufmann/Elsevier, 2004. ISBN 1-55860-856-7. Textbook, 650 pages. A Chinese translation of the book is available. The translation is by Yunfei Jiang at Zhongshan University in Guangzhou, China.
• D. Shaparau, M. Pistore, and P. Traverso. "Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains". In Proceeding of the Twenty-Second AAAI  Conference on Advances Artificial Intelligence (AAAI-08), Chicaco, Illinois, USA, 2008. AAAI-Press.

• P. Bertoli, A. Cimatti, M. Roveri, and P. Traverso. "Strong Planning under Partial Observability". Artificial Intelligence, 170(4-5):337-384, 2006. Elsevier. (URL) 
• A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. "Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking". Artificial Intelligence, 147(1-2), 2003. Elsevier Science publishers.
• F. Giunchiglia and P. Traverso. "A Metatheory of a Mechanized Object Theory". Artificial Intelligence, 80(2):197-241, 1996. Elsevier.
• L. Spalazzi and P. Traverso. "A Dynamic Logic for Acting, Sensing, and Planning". Journal of Logic and Computation, 10(6):787-821, 2000. Oxford University Press.
• M. Pistore and P. Traverso. "Planning as Model Checking for Extended Goals in Nondeterministic Domains". In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 01), pages 479-484, Seattle, USA, August 2001. Morgan Kaufmann.
• P. Bertoli, A. Cimatti, M. Roveri, and P. Traverso. "Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking". In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 01), pages 473-478, Seattle, USA, August 2001. Morgan Kaufmann.
• P. Traverso and L. Spalazzi. "A Logic for Acting, Sensing and Planning". In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 95), pages 1941-1949, Montreal, Canada, August 1995. Morgan Kaufmann.
• F. Giunchiglia and P. Traverso. "Reactive reasoning with and between a declarative metatheory and the implementation code". In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 91), pages 111-117, Sydney, Australia, August 1991. Morgan Kaufmann.
• D. Shaparau, M. Pistore, and P. Traverso. "Contingent Planning with Goal Preferences". In Proceeding of the Twenty-First AAAI National Conference on Artificial Intelligence (AAAI-06), Boston, Massachusetts, USA, 2006. AAAI-Press.
• U. Dal Lago, M. Pistore, and P. Traverso. "Planning with a language for extended goals". In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02), pages 447-454, Edmonton, Canada, August 2002. AAAI Press/The MIT Press.
• A. Cimatti, M. Roveri, and P. Traverso. "Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains". In Proceeding of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), pages 875-881, Madison, Wisconsin, 1998. AAAIPress
• P. Bertoli, A. Cimatti, and P. Traverso. "Interleaving execution and planning in nondeterministic partially observable domains". In Proceedings of the 16th European Conference in Artificial Intelligence (ECAI 04), pages 657-661, Valencia, Spain, August 2004. IOS Press. (.pdf)
• P. Traverso, A. Cimatti, and L. Spalazzi. "Beyond the single planning paradigm: introspective planning". In Proceedings of the 10th European Conference in Artificial Intelligence (ECAI 92), pages 643-647, Vienna, Austria, August 1992. Wiley.
• A. Cimatti, F. Giunchiglia, P. Pecchiari, B. Pietra, J. Profeta, D. Romano, and P. Traverso. "A Provably Correct Embedded Verifier for the Certification of Safety Critical Software". In Computer Aided Verification, Proceedings of the 9th International Conference (CAV'97), volume 1254 of Lecture Notes in Computer Science (LNCS), pages 202-213, Haifa, Israel, June 1997. Springer-Verlag.

Some selected publications in "Software and Services":

• M. Pistore, P.Traverso, M. Paolucci, and M.Wagner. "From Software Services to a Future Internet of Services". In Georgios Tselentis et al. (eds), Towards the Future Internet - A European Research Perspective, IOS Press, pp. 183-192, 2009.  ISBN 978-1-60750-007-0.
• E. Di Nitto, A. Sassen, P. Traverso, and A Zwegers. "At Your Service: Service-Oriented Computing from an EU Perspective". MIT press, Series on Cooperative Information Systems, June 2009, ISBN: 0-262-04253-3.
• M. Pistore, A. Marconi, P. Bertoli, and P. Traverso. "Automated Composition of Web Services by Planning at the Knowledge Level". In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 05), Edinburgh, UK, August 2005. Morgan Kaufmann. (.pdf)
• A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. "Specifying and Analyzing Early Requirements in Tropos". Requirements Engineering Journal, 9(2):132-150, 2004. Springer. (.pdf)
• A. Marconi, M. Pistore, P. Poccianti, P. Traverso. "Automated Web Service Composition at Work: the Amazon/MPS Case Study". IEEE International Conference on Web Services (ICWS) 767-774, 2007.
• M. Pistore, L. Spalazzi, and P. Traverso. "A Minimalist Approach to Semantic Annotations for Web Processes Compositions". In Proceeding of the 3rd European Semantic Web Conference (ESWC06), volume 4011 of Lecture Notes in Computer Science (LNCS), Budva, Montenegro, 2006. Springer. (.pdf)
• A. Marconi, M. Pistore, and P. Traverso. "Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals". In Proceeding of the 4th International Conference on Service-Oriented Computing (ICSOC06), volume 4294 of Lecture Notes in Computer Science (LNCS), Chicago, Illinois, USA, 2006. Springer.
• F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. "Run-Time Monitoring of Instances and Classes of Web Service Compositions". In Proceeding of the IEEE International Conference on Web Services (ICWS06), Chicago, Illinois, USA, 2006. IEEE Computer Society
• A. Marconi, M. Pistore, and P. Traverso. "Specifying Data-Flow Requirements for the Automated Composition of Web Services". In Proceedings of the 4th IEEE International Conference on Software Engineering and Formal Methods, Pune, India, 2006. IEEE Computer Society.
• M. Pistore, P. Traverso, and P. Bertoli. "Automated Composition of Web Services by Planning in Asynchronous Domains". In Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS03), Monterey, California, USA, June 2005. AAAI Press.
• M. Trainotti, M. Pistore, G. Calabrese, G. Zacco, G. Lucchese, F. Barbon, P. Bertoli, P. Traverso. "ASTRO: Supporting the Composition and Execution of Web Services". In Proceeding of the 3rd International Conference on Service-Oriented Computing (ICSOC06), volume 3826 of Lecture Notes in Computer Science (LNCS), Amsterdam, The Netherlands, 2005. Springer
• M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. "Automated Synthesis of Composite BPEL4WS Web Services". In Proceeding of the IEEE International Conference on Web Services (ICWS05), Orlando, Florida, USA, 2005. IEEE Computer Society. (.pdf)
• M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. "Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes". In Proceeding of the 14th International Conference on World Wide Web (WWW05), Chiba, Japan, 2005. ACM. (.pdf)
• P. Traverso and M. Pistore. "Automated Composition of Semantic Web Services into Executable Processes". In Proceedings of the Third International Semantic Web Conference (ISWC'04), Hiroshima, Japan, November 2004. LNCS Springer. (.pdf)