Search the dblp DataBase
Paolo Traverso :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Fausto Giunchiglia , Carlo Ferrari , Paolo Traverso , Emanuele Trucco Understanding Scene Descriptions by Integrating Different Sources of Knowledge. [Citation Graph (1, 0)][DBLP ] International Journal of Man-Machine Studies, 1992, v:37, n:1, pp:47-81 [Journal ] Alessandro Cimatti , Marco Roveri , Paolo Traverso Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 1998, pp:875-881 [Conf ] Ugo Dal Lago , Marco Pistore , Paolo Traverso Planning with a Language for Extended Goals. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 2002, pp:447-454 [Conf ] Dmitry Shaparau , Marco Pistore , Paolo Traverso Contingent Planning with Goal Preferences. [Citation Graph (0, 0)][DBLP ] AAAI, 2006, pp:- [Conf ] David A. Basin , Fausto Giunchiglia , Paolo Traverso Automating Meta-Theory Creation and System Extension. [Citation Graph (0, 0)][DBLP ] AI*IA, 1991, pp:48-57 [Conf ] Marco Pistore , Fabio Barbon , Piergiorgio Bertoli , Dmitry Shaparau , Paolo Traverso Planning and Monitoring Web Service Composition. [Citation Graph (0, 0)][DBLP ] AIMSA, 2004, pp:106-115 [Conf ] Paolo Traverso , Alessandro Armando , Enrico Giunchiglia A Knowledge Based System for Automatic 3D Scene. [Citation Graph (0, 0)][DBLP ] AIMSA, 1992, pp:255-264 [Conf ] Alessandro Cimatti , Marco Roveri , Paolo Traverso Strong Planning in Non-Deterministic Domains Via Model Checking. [Citation Graph (0, 0)][DBLP ] AIPS, 1998, pp:36-43 [Conf ] Piergiorgio Bertoli , Alessandro Cimatti , Marco Pistore , Paolo Traverso A Framework for Planning with Extended Goals under Partial Observability. [Citation Graph (0, 0)][DBLP ] ICAPS, 2003, pp:215-225 [Conf ] Fausto Giunchiglia , Luca Spalazzi , Paolo Traverso Planning with Failure. [Citation Graph (0, 0)][DBLP ] AIPS, 1994, pp:74-79 [Conf ] Ugur Kuter , Dana S. Nau , Marco Pistore , Paolo Traverso A Hierarchical Task-Network Planner based on Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] ICAPS, 2005, pp:300-309 [Conf ] Marco Pistore , Paolo Traverso , Piergiorgio Bertoli Automated Composition of Web Services by Planning in Asynchronous Domains. [Citation Graph (0, 0)][DBLP ] ICAPS, 2005, pp:2-11 [Conf ] Paolo Traverso , Luca Spalazzi , Fausto Giunchiglia Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. [Citation Graph (0, 0)][DBLP ] ATAL, 1995, pp:65-78 [Conf ] Paolo Traverso Planning Under Uncertainty and Its Applications. [Citation Graph (0, 0)][DBLP ] Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:213-228 [Conf ] Alessandro Cimatti , Fausto Giunchiglia , Paolo Pecchiari , Bruno Pietra , Joe Profeta , Dario Romano , Paolo Traverso , Bing Yu A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:202-213 [Conf ] Mike P. Papazoglou , Paolo Traverso , Schahram Dustdar , Frank Leymann , Bernd J. Krämer 05462 Service-Oriented Computing: A Research Roadmap. [Citation Graph (0, 0)][DBLP ] Service Oriented Computing, 2005, pp:- [Conf ] Piergiorgio Bertoli , Alessandro Cimatti , Paolo Traverso Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:657-661 [Conf ] Paolo Traverso , Alessandro Cimatti , Luca Spalazzi Beyond the Single Planning Paradigm: Introspective Planning. [Citation Graph (0, 0)][DBLP ] ECAI, 1992, pp:643-647 [Conf ] Alessandro Cimatti , Fausto Giunchiglia , Enrico Giunchiglia , Paolo Traverso Planning via Model Checking: A Decision Procedure for AR . [Citation Graph (0, 0)][DBLP ] ECP, 1997, pp:130-142 [Conf ] Marco Daniele , Paolo Traverso , Moshe Y. Vardi Strong Cyclic Planning Revisited. [Citation Graph (0, 0)][DBLP ] ECP, 1999, pp:35-48 [Conf ] Fausto Giunchiglia , Paolo Traverso Planning as Model Checking. [Citation Graph (0, 0)][DBLP ] ECP, 1999, pp:1-20 [Conf ] Marco Pistore , Pierluigi Roberti , Paolo Traverso Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition. [Citation Graph (0, 0)][DBLP ] ESWC, 2005, pp:62-77 [Conf ] Marco Pistore , Luca Spalazzi , Paolo Traverso A Minimalist Approach to Semantic Annotations for Web Processes Compositions. [Citation Graph (0, 0)][DBLP ] ESWC, 2006, pp:620-634 [Conf ] Alessandro Cimatti , P. L. Pieraccini , Roberto Sebastiani , Paolo Traverso , Adolfo Villafiorita Formal Specification and Validation of a Vital Communication Protocol. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1584-1604 [Conf ] Annapaola Marconi , Marco Pistore , Paolo Traverso Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. [Citation Graph (0, 0)][DBLP ] ICSOC, 2006, pp:459-464 [Conf ] Michele Trainotti , Marco Pistore , Gaetano Calabrese , Gabriele Zacco , Gigi Lucchese , Fabio Barbon , Piergiorgio Bertoli , Paolo Traverso ASTRO: Supporting Composition and Execution of Web Services. [Citation Graph (0, 0)][DBLP ] ICSOC, 2005, pp:495-501 [Conf ] Marco Pistore , Paolo Traverso , Piergiorgio Bertoli , Annapaola Marconi Automated Synthesis of Composite BPEL4WS Web Services. [Citation Graph (0, 0)][DBLP ] ICWS, 2005, pp:293-301 [Conf ] Fabio Barbon , Paolo Traverso , Marco Pistore , Michele Trainotti Run-Time Monitoring of Instances and Classes of Web Service Compositions. [Citation Graph (0, 0)][DBLP ] ICWS, 2006, pp:63-71 [Conf ] Piergiorgio Bertoli , Alessandro Cimatti , Marco Roveri , Paolo Traverso Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:473-478 [Conf ] Fausto Giunchiglia , Paolo Traverso Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. [Citation Graph (0, 0)][DBLP ] IJCAI, 1991, pp:111-117 [Conf ] Marco Pistore , Annapaola Marconi , Piergiorgio Bertoli , Paolo Traverso Automated Composition of Web Services by Planning at the Knowledge Level. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:1252-1259 [Conf ] Marco Pistore , Paolo Traverso Planning as Model Checking for Extended Goals in Non-deterministic Domains. [Citation Graph (0, 0)][DBLP ] IJCAI, 2001, pp:479-486 [Conf ] Paolo Traverso , Luca Spalazzi A Logic for Acting, Sensing and Planning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1941-1949 [Conf ] Fausto Giunchiglia , Paolo Traverso Program Tactics and Logic Tactics. [Citation Graph (0, 0)][DBLP ] LPAR, 1994, pp:16-30 [Conf ] Ariel Fuxman , John Mylopoulos , Marco Pistore , Paolo Traverso Model Checking Early Requirements Specifications in Tropos. [Citation Graph (0, 0)][DBLP ] RE, 2001, pp:174-181 [Conf ] Piergiorgio Bertoli , Alessandro Cimatti , Fausto Giunchiglia , Paolo Traverso A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 1998, pp:221-230 [Conf ] Alessandro Cimatti , Fausto Giunchiglia , Giorgio Mongardi , Dario Romano , Fernando Torielli , Paolo Traverso Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 1998, pp:284-295 [Conf ] A. Chiappini , Alessandro Cimatti , Carmen Porzia , G. Rotondo , Roberto Sebastiani , Paolo Traverso , Adolfo Villafiorita Formal Specification and Development of a Safety-Critical Train Management System. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 1999, pp:410-419 [Conf ] Marco Pistore , Luca Spalazzi , Paolo Traverso A Minimalist Approach to Semantic Annotations for Web Processes Compositions. [Citation Graph (0, 0)][DBLP ] SEBD, 2006, pp:208-216 [Conf ] Annapaola Marconi , Marco Pistore , Paolo Traverso Specifying Data-Flow Requirements for the Automated Composition of Web Services. [Citation Graph (0, 0)][DBLP ] SEFM, 2006, pp:147-156 [Conf ] Paolo Traverso , Marco Pistore Automated Composition of Semantic Web Services into Executable Processes. [Citation Graph (0, 0)][DBLP ] International Semantic Web Conference, 2004, pp:380-394 [Conf ] Marco Aiello , Mike P. Papazoglou , Jian Yang , Mark Carman , Marco Pistore , Luciano Serafini , Paolo Traverso A Request Language for Web-Services Based on Planning and Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] TES, 2002, pp:76-85 [Conf ] Marco Pistore , Paolo Traverso , Piergiorgio Bertoli , Annapaola Marconi Automated synthesis of executable web service compositions from BPEL4WS processes. [Citation Graph (0, 0)][DBLP ] WWW (Special interest tracks and posters), 2005, pp:1186-1187 [Conf ] Paolo Traverso , Alessandro Cimatti , Luca Spalazzi , Alessandro Armando , Enrico Giunchiglia MRG: Building planers for real-world complex applications. [Citation Graph (0, 0)][DBLP ] Applied Artificial Intelligence, 1994, v:8, n:3, pp:333-357 [Journal ] Piergiorgio Bertoli , Alessandro Cimatti , Marco Roveri , Paolo Traverso Strong planning under partial observability. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2006, v:170, n:4-5, pp:337-384 [Journal ] Alessandro Cimatti , Marco Pistore , Marco Roveri , Paolo Traverso Weak, strong, and strong cyclic planning via symbolic model checking. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 2003, v:147, n:1-2, pp:35-84 [Journal ] Fausto Giunchiglia , Paolo Traverso A Metatheory of a Mechanized Object Theory. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1996, v:80, n:1-2, pp:197-241 [Journal ] Fausto Giunchiglia , Paolo Traverso Program Tactics and Logic Tactics. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:235-259 [Journal ] Alessandro Cimatti , Fausto Giunchiglia , Giorgio Mongardi , Dario Romano , Fernando Torielli , Paolo Traverso Formal Verification of a Railway Interlocking System using Model Checking. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1998, v:10, n:4, pp:361-380 [Journal ] Luca Spalazzi , Paolo Traverso A dynamic logic for acting, sensing, and planning. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2000, v:10, n:6, pp:787-821 [Journal ] Ariel Fuxman , Lin Liu , John Mylopoulos , Marco Roveri , Paolo Traverso Specifying and analyzing early requirements in Tropos. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 2004, v:9, n:2, pp:132-150 [Journal ] Fausto Giunchiglia , Paolo Traverso Theorem proving in technology transfer: the user's point of view. [Citation Graph (0, 0)][DBLP ] STTT, 2000, v:3, n:1, pp:1-12 [Journal ] Paolo Traverso , Piergiorgio Bertoli Mechanized result verification: an industrial application. [Citation Graph (0, 0)][DBLP ] STTT, 2000, v:3, n:1, pp:78-92 [Journal ] Fabio Barbon , Paolo Traverso , Marco Pistore , Michele Trainotti Run-Time Monitoring of the Execution of Plans for Web Service Composition. [Citation Graph (0, 0)][DBLP ] ICAPS, 2006, pp:346-349 [Conf ] Piergiorgio Bertoli , Marco Pistore , Paolo Traverso Automated Web Service Composition by On-the-Fly Belief Space Search. [Citation Graph (0, 0)][DBLP ] ICAPS, 2006, pp:358-361 [Conf ] Annapaola Marconi , Marco Pistore , Piero Poccianti , Paolo Traverso AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. [Citation Graph (0, 0)][DBLP ] ICWS, 2007, pp:767-774 [Conf ] Francesco Pagliarecci , Marco Pistore , Luca Spalazzi , Paolo Traverso Web Service Discovery at Process-level Based on Semantic Annotation. [Citation Graph (0, 0)][DBLP ] SEBD, 2007, pp:220-232 [Conf ] Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. [Citation Graph (, )][DBLP ] 07061 Abstracts Collection -- Autonomous and Adaptive Web Services. [Citation Graph (, )][DBLP ] Agree or Change! Making Services Evolve. [Citation Graph (, )][DBLP ] Semantic Annotation for Web Service Processes. [Citation Graph (, )][DBLP ] Task decomposition on abstract states, for planning under nondeterminism. [Citation Graph (, )][DBLP ] Automated composition of Web services via planning in asynchronous domains. [Citation Graph (, )][DBLP ] Service-Oriented Computing: State of the Art and Research Challenges. [Citation Graph (, )][DBLP ] Automated Composition of Web Services: the ASTRO Approach. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.009secs