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.
(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.
(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)
Specifying and analyzing early requirements in Tropos
Ariel Fuxman;Lin Liu;John Mylopoulos;Marco Pistore.
(2004)
Automated Planning and Acting
Malik Ghallab;Dana Nau;Paolo Traverso.
(2016)
Planning and monitoring Web service composition
M. Pistore;F. Barbon;P. Bertoli;D. Shaparau.
Lecture Notes in Computer Science (2004)
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:
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
University of Manitoba
Carnegie Mellon University
University of Padua
University of Geneva
University of Cagliari
University of Maryland, Baltimore County
City University of Hong Kong
INRAE : Institut national de recherche pour l'agriculture, l'alimentation et l'environnement
Agricultural Research Service
Swiss Institute of Bioinformatics
University of Zurich
Uppsala University
University of Oxford
University of California, Irvine
Medical University of Vienna
Technical University of Munich