Follow
Paolo Traverso
Paolo Traverso
Director of Research, FBK ICT IRST, Trento
Verified email at fbk.eu - Homepage
Title
Cited by
Cited by
Year
Automated Planning: theory and practice
M Ghallab, D Nau, P Traverso
Elsevier, 2004
41202004
Service-oriented computing: State of the art and research challenges
MP Papazoglou, P Traverso, S Dustdar, F Leymann
Computer 40 (11), 38-45, 2007
20762007
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
12502008
Automated planning and acting
M Ghallab, D Nau, P Traverso
Cambridge University Press, 2016
6532016
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
5772003
Automated composition of semantic web services into executable processes
P Traverso, M Pistore
International Semantic Web Conference, 380-394, 2004
5212004
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
3732006
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
3552004
Planning as model checking
F Giunchiglia, P Traverso
European Conference on Planning, 1-20, 1999
3401999
Planning and monitoring web service composition
M Pistore, F Barbon, P Bertoli, D Shaparau, P Traverso
International Conference on Artificial Intelligence: Methodology, Systems …, 2004
3132004
Automated composition of web services by planning at the knowledge level
M Pistore, A Marconi, P Bertoli, P Traverso
IJCAI 19, 1252-1259, 2005
2992005
Model checking early requirements specifications in Tropos
A Fuxman, M Pistore, J Mylopoulos, P Traverso
Proceedings Fifth IEEE International Symposium on Requirements Engineering …, 2001
2692001
Planning in nondeterministic domains under partial observability via symbolic model checking
P Bertoli, A Cimatti, M Roveri, P Traverso
IJCAI 2001, 473-478, 2001
2692001
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
2442005
Automated Composition of Web Services by Planning in Asynchronous Domains.
M Pistore, P Traverso, P Bertoli
Icaps 5, 2-11, 2005
2312005
Enabling distributed knowledge management: Managerial and technological implications
M Bonifacio, P Bouquet, P Traverso
Universitą degli Studi di Trento. DEPARTMENT OF INFORMATION AND …, 2002
2302002
Web service composition as planning
M Carman, L Serafini, P Traverso
ICAPS 2003 workshop on planning for web services, 1636-1642, 2003
2212003
Automatic OBDD-based generation of universal plans in non-deterministic domains
A Cimatti, M Roveri, P Traverso
AAAI/IAAI, 875-881, 1998
2161998
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
2101997
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
2082001
The system can't perform the operation now. Try again later.
Articles 1–20