| Automated Planning: Theory and Practice M Ghallab Morgan Kaufmann, 2004 | 4101 | 2004 |
| Service-oriented computing: State of the art and research challenges MP Papazoglou, P Traverso, S Dustdar, F Leymann Computer 40 (11), 38-45, 2007 | 2068 | 2007 |
| Service-oriented computing: a research roadmap MP Papazoglou, P Traverso, S Dustdar, F Leymann International Journal of Cooperative Information Systems 17 (02), 223-255, 2008 | 1248 | 2008 |
| Automated planning and acting M Ghallab, D Nau, P Traverso Cambridge University Press, 2016 | 633 | 2016 |
| Weak, strong, and strong cyclic planning via symbolic model checking A Cimatti, M Pistore, M Roveri, P Traverso Artificial Intelligence 147 (1-2), 35-84, 2003 | 567 | 2003 |
| Automated composition of semantic web services into executable processes P Traverso, M Pistore International Semantic Web Conference, 380-394, 2004 | 520 | 2004 |
| Run-time monitoring of instances and classes of web service compositions F Barbon, P Traverso, M Pistore, M Trainotti 2006 IEEE International Conference on Web Services (ICWS'06), 63-71, 2006 | 373 | 2006 |
| Specifying and analyzing early requirements in Tropos A Fuxman, L Liu, J Mylopoulos, M Pistore, M Roveri, P Traverso Requirements Engineering 9, 132-150, 2004 | 353 | 2004 |
| Planning as model checking F Giunchiglia, P Traverso European Conference on Planning, 1-20, 1999 | 339 | 1999 |
| Planning and monitoring web service composition M Pistore, F Barbon, P Bertoli, D Shaparau, P Traverso International Conference on Artificial Intelligence: Methodology, Systems …, 2004 | 314 | 2004 |
| Automated composition of web services by planning at the knowledge level M Pistore, A Marconi, P Bertoli, P Traverso IJCAI 19, 1252-1259, 2005 | 297 | 2005 |
| Planning in nondeterministic domains under partial observability via symbolic model checking P Bertoli, A Cimatti, M Roveri, P Traverso IJCAI 2001, 473-478, 2001 | 269 | 2001 |
| Model checking early requirements specifications in Tropos A Fuxman, M Pistore, J Mylopoulos, P Traverso Proceedings Fifth IEEE International Symposium on Requirements Engineering …, 2001 | 268 | 2001 |
| Automated synthesis of composite bpel4ws web services M Pistore, P Traverso, P Bertoli, A Marconi IEEE International Conference on Web Services (ICWS'05), 293-301, 2005 | 244 | 2005 |
| Automated Composition of Web Services by Planning in Asynchronous Domains. M Pistore, P Traverso, P Bertoli Icaps 5, 2-11, 2005 | 231 | 2005 |
| Enabling distributed knowledge management: Managerial and technological implications M Bonifacio, P Bouquet, P Traverso Università degli Studi di Trento. DEPARTMENT OF INFORMATION AND …, 2002 | 230 | 2002 |
| Web service composition as planning M Carman, L Serafini, P Traverso ICAPS 2003 workshop on planning for web services, 1636-1642, 2003 | 221 | 2003 |
| Automatic OBDD-based generation of universal plans in non-deterministic domains A Cimatti, M Roveri, P Traverso AAAI/IAAI, 875-881, 1998 | 215 | 1998 |
| Planning via model checking: A decision procedure for AR A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso Recent Advances in AI Planning: 4th European Conference on Planning, ECP'97 …, 1997 | 210 | 1997 |
| MBP: a model based planner P Bertoli, A Cimatti, M Pistore, M Roveri, P Traverso Proc. of the IJCAI’01 Workshop on Planning under Uncertainty and Incomplete …, 2001 | 208 | 2001 |
