Paolo Traverso mostly deals with Model checking, Web service, Programming language, Formal specification and Services computing. His Model checking research integrates issues from Control, Nondeterministic algorithm and Mathematical optimization, Heuristics. His studies in Web service integrate themes in fields like Process modeling, Executable, Object-oriented programming, Software architecture and Software engineering.
His Programming language research includes elements of Semantics and Artificial intelligence. His Formal specification research is multidisciplinary, incorporating elements of Java, Formal verification, Formal methods and Specification language. The various areas that he examines in his Services computing study include Service-oriented architecture, Business process and Agile software development.
His primary areas of investigation include Artificial intelligence, Web service, Plan, Model checking and Domain. His work investigates the relationship between Artificial intelligence and topics such as Perception that intersect with problems in Reinforcement learning. The Web service study combines topics in areas such as Set and Software engineering.
His Plan study combines topics in areas such as Field, Process and Operations research. His Model checking study integrates concerns from other disciplines, such as Formal verification, Nondeterministic algorithm and Specification language. His Business process research incorporates elements of Agile software development, Service-oriented architecture and Services computing.
His primary areas of study are Artificial intelligence, Deliberation, Domain, Theoretical computer science and Control. His work in Artificial intelligence addresses issues such as Machine learning, which are connected to fields such as Heuristic function. His work deals with themes such as Exploit, Distributed computing, Perception and Adaptation, which intersect with Domain.
His Exploit research incorporates themes from Change detection, Web service and Smart city. His Automaton and Nondeterministic algorithm study, which is part of a larger body of work in Theoretical computer science, is frequently linked to Distributive property, bridging the gap between disciplines. His research in Control tackles topics such as Consistency which are related to areas like Component, Software engineering, Transition system and Operations research.
Artificial intelligence, State, Smart city, Domain and Distributed computing are his primary areas of study. In the field of Artificial intelligence, his study on Planning algorithms, Planner and Ai systems overlaps with subjects such as Spite and Large size. His research integrates issues of Transition system, Representation, Consistency, Control and Component in his study of State.
His study in Smart city is interdisciplinary in nature, drawing from both Application domain and Distributed services. His biological study spans a wide range of topics, including Real-time computing, The Internet, Adaptation, Exploit and Key. The concepts of his Distributed computing study are interwoven with issues in Change detection and Web service.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Automated Planning, Theory And Practice
Malik Ghallab;Dana S. Nau;Paolo Traverso.
(2006)
Service-Oriented Computing: State of the Art and Research Challenges
M.P. Papazoglou;P. Traverso;S. Dustdar;F. Leymann.
IEEE Computer (2007)
Automated Planning: Theory & Practice
Dana Nau;Malik Ghallab;Paolo Traverso.
(2004)
SERVICE-ORIENTED COMPUTING: A RESEARCH ROADMAP
Michael P. Papazoglou;Paolo Traverso;Schahram Dustdar;Frank Leymann.
cooperative information systems (2008)
Automated composition of semantic web services into executable processes
Paolo Traverso;Marco Pistore.
international semantic web conference (2004)
Weak, strong, and strong cyclic planning via symbolic model checking
A. Cimatti;M. Pistore;M. Roveri;P. Traverso.
Artificial Intelligence (2003)
Run-Time Monitoring of Instances and Classes of Web Service Compositions
F. Barbon;P. Traverso;M. Pistore;M. Trainotti.
international conference on web services (2006)
Service-Oriented Computing Research Roadmap
Michael P. Papazoglou;Paolo Traverso;Schahram Dustdar;Frank Leymann.
(2006)
Specifying and analyzing early requirements in Tropos
Ariel Fuxman;Lin Liu;John Mylopoulos;Marco Pistore.
Requirements Engineering (2004)
Planning and Monitoring Web Service Composition
M. Pistore;F. Barbon;P. Bertoli;D. Shaparau.
artificial intelligence methodology systems applications (2004)
University of Maryland, College Park
Fondazione Bruno Kessler
Fondazione Bruno Kessler
University of Trento
Tilburg University
University of Genoa
TU Wien
University of Stuttgart
University of Trento
Fondazione Bruno Kessler
Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: