| 2009 |
|---|
| 73 | EE | John Domingue,
Dieter Fensel,
Paolo Traverso:
Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers
Springer 2009 |
| 72 | EE | Ugur Kuter,
Dana S. Nau,
Marco Pistore,
Paolo Traverso:
Task decomposition on abstract states, for planning under nondeterminism.
Artif. Intell. 173(5-6): 669-695 (2009) |
| 2008 |
|---|
| 71 | | Danail Dochev,
Marco Pistore,
Paolo Traverso:
Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
Springer 2008 |
| 70 | | Dmitry Shaparau,
Marco Pistore,
Paolo Traverso:
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains.
AAAI 2008: 983-990 |
| 69 | | Ivan Di Pietro,
Francesco Pagliarecci,
Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
Semantic Annotation for Web Service Processes.
SEBD 2008: 69-80 |
| 68 | EE | Annapaola Marconi,
Marco Pistore,
Paolo Traverso:
Automated Composition of Web Services: the ASTRO Approach.
IEEE Data Eng. Bull. 31(3): 23-26 (2008) |
| 67 | EE | Mike P. Papazoglou,
Paolo Traverso,
Schahram Dustdar,
Frank Leymann:
Service-Oriented Computing: a Research Roadmap.
Int. J. Cooperative Inf. Syst. 17(2): 223-255 (2008) |
| 2007 |
|---|
| 66 | | Jana Koehler,
Marco Pistore,
Amit P. Sheth,
Paolo Traverso,
Martin Wirsing:
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 65 | EE | Jana Koehler,
Marco Pistore,
Amit P. Sheth,
Paolo Traverso,
Martin Wirsing:
07061 Abstracts Collection -- Autonomous and Adaptive Web Services.
Autonomous and Adaptive Web Services 2007 |
| 64 | EE | Paolo Traverso,
Marco Pistore:
Agree or Change! Making Services Evolve.
ICSM 2007: 2-3 |
| 63 | EE | Annapaola Marconi,
Marco Pistore,
Piero Poccianti,
Paolo Traverso:
AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study.
ICWS 2007: 767-774 |
| 62 | | Francesco Pagliarecci,
Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
Web Service Discovery at Process-level Based on Semantic Annotation.
SEBD 2007: 220-232 |
| 61 | EE | Marco Pistore,
Paolo Traverso:
Assumption-Based Composition and Monitoring of Web Services.
Test and Analysis of Web Services 2007: 307-335 |
| 60 | EE | Mike P. Papazoglou,
Paolo Traverso,
Schahram Dustdar,
Frank Leymann:
Service-Oriented Computing: State of the Art and Research Challenges.
IEEE Computer 40(11): 38-45 (2007) |
| 2006 |
|---|
| 59 | | Gerhard Brewka,
Silvia Coradeschi,
Anna Perini,
Paolo Traverso:
ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings
IOS Press 2006 |
| 58 | | Dmitry Shaparau,
Marco Pistore,
Paolo Traverso:
Contingent Planning with Goal Preferences.
AAAI 2006 |
| 57 | EE | Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
ESWC 2006: 620-634 |
| 56 | | Fabio Barbon,
Paolo Traverso,
Marco Pistore,
Michele Trainotti:
Run-Time Monitoring of the Execution of Plans for Web Service Composition.
ICAPS 2006: 346-349 |
| 55 | | Piergiorgio Bertoli,
Marco Pistore,
Paolo Traverso:
Automated Web Service Composition by On-the-Fly Belief Space Search.
ICAPS 2006: 358-361 |
| 54 | EE | Annapaola Marconi,
Marco Pistore,
Paolo Traverso:
Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals.
ICSOC 2006: 459-464 |
| 53 | EE | Fabio Barbon,
Paolo Traverso,
Marco Pistore,
Michele Trainotti:
Run-Time Monitoring of Instances and Classes of Web Service Compositions.
ICWS 2006: 63-71 |
| 52 | EE | Paolo Traverso:
Planning Under Uncertainty and Its Applications.
Reasoning, Action and Interaction in AI Theories and Systems 2006: 213-228 |
| 51 | | Marco Pistore,
Luca Spalazzi,
Paolo Traverso:
A Minimalist Approach to Semantic Annotations for Web Processes Compositions.
SEBD 2006: 208-216 |
| 50 | EE | Annapaola Marconi,
Marco Pistore,
Paolo Traverso:
Specifying Data-Flow Requirements for the Automated Composition of Web Services.
SEFM 2006: 147-156 |
| 49 | EE | Piergiorgio Bertoli,
Alessandro Cimatti,
Marco Roveri,
Paolo Traverso:
Strong planning under partial observability.
Artif. Intell. 170(4-5): 337-384 (2006) |
| 2005 |
|---|
| 48 | | Boualem Benatallah,
Fabio Casati,
Paolo Traverso:
Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings
Springer 2005 |
| 47 | EE | Marco Pistore,
Pierluigi Roberti,
Paolo Traverso:
Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition.
ESWC 2005: 62-77 |
| 46 | | Marco Pistore,
Paolo Traverso,
Piergiorgio Bertoli:
Automated Composition of Web Services by Planning in Asynchronous Domains.
ICAPS 2005: 2-11 |
| 45 | | Ugur Kuter,
Dana S. Nau,
Marco Pistore,
Paolo Traverso:
A Hierarchical Task-Network Planner based on Symbolic Model Checking.
ICAPS 2005: 300-309 |
| 44 | EE | Michele Trainotti,
Marco Pistore,
Gaetano Calabrese,
Gabriele Zacco,
Gigi Lucchese,
Fabio Barbon,
Piergiorgio Bertoli,
Paolo Traverso:
ASTRO: Supporting Composition and Execution of Web Services.
ICSOC 2005: 495-501 |
| 43 | EE | Marco Pistore,
Paolo Traverso,
Piergiorgio Bertoli,
Annapaola Marconi:
Automated Synthesis of Composite BPEL4WS Web Services.
ICWS 2005: 293-301 |
| 42 | EE | Marco Pistore,
Annapaola Marconi,
Piergiorgio Bertoli,
Paolo Traverso:
Automated Composition of Web Services by Planning at the Knowledge Level.
IJCAI 2005: 1252-1259 |
| 41 | EE | Mike P. Papazoglou,
Paolo Traverso,
Schahram Dustdar,
Frank Leymann,
Bernd J. Krämer:
05462 Service-Oriented Computing: A Research Roadmap.
Service Oriented Computing 2005 |
| 40 | EE | Marco Pistore,
Paolo Traverso,
Piergiorgio Bertoli,
Annapaola Marconi:
Automated synthesis of executable web service compositions from BPEL4WS processes.
WWW (Special interest tracks and posters) 2005: 1186-1187 |
| 2004 |
|---|
| 39 | EE | Marco Pistore,
Fabio Barbon,
Piergiorgio Bertoli,
Dmitry Shaparau,
Paolo Traverso:
Planning and Monitoring Web Service Composition.
AIMSA 2004: 106-115 |
| 38 | | Piergiorgio Bertoli,
Alessandro Cimatti,
Paolo Traverso:
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains.
ECAI 2004: 657-661 |
| 37 | EE | Paolo Traverso,
Marco Pistore:
Automated Composition of Semantic Web Services into Executable Processes.
International Semantic Web Conference 2004: 380-394 |
| 36 | EE | Ariel Fuxman,
Lin Liu,
John Mylopoulos,
Marco Roveri,
Paolo Traverso:
Specifying and analyzing early requirements in Tropos.
Requir. Eng. 9(2): 132-150 (2004) |
| 2003 |
|---|
| 35 | | Piergiorgio Bertoli,
Alessandro Cimatti,
Marco Pistore,
Paolo Traverso:
A Framework for Planning with Extended Goals under Partial Observability.
ICAPS 2003: 215-225 |
| 34 | EE | Alessandro Cimatti,
Marco Pistore,
Marco Roveri,
Paolo Traverso:
Weak, strong, and strong cyclic planning via symbolic model checking.
Artif. Intell. 147(1-2): 35-84 (2003) |
| 2002 |
|---|
| 33 | | Malik Ghallab,
Joachim Hertzberg,
Paolo Traverso:
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, April 23-27, 2002, Toulouse, France
AAAI 2002 |
| 32 | | Ugo Dal Lago,
Marco Pistore,
Paolo Traverso:
Planning with a Language for Extended Goals.
AAAI/IAAI 2002: 447-454 |
| 31 | EE | Marco Aiello,
Mike P. Papazoglou,
Jian Yang,
Mark James Carman,
Marco Pistore,
Luciano Serafini,
Paolo Traverso:
A Request Language for Web-Services Based on Planning and Constraint Satisfaction.
TES 2002: 76-85 |
| 2001 |
|---|
| 30 | | Piergiorgio Bertoli,
Alessandro Cimatti,
Marco Roveri,
Paolo Traverso:
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking.
IJCAI 2001: 473-478 |
| 29 | | Marco Pistore,
Paolo Traverso:
Planning as Model Checking for Extended Goals in Non-deterministic Domains.
IJCAI 2001: 479-486 |
| 28 | EE | Ariel Fuxman,
John Mylopoulos,
Marco Pistore,
Paolo Traverso:
Model Checking Early Requirements Specifications in Tropos.
RE 2001: 174-181 |
| 2000 |
|---|
| 27 | EE | Luca Spalazzi,
Paolo Traverso:
A dynamic logic for acting, sensing, and planning.
J. Log. Comput. 10(6): 787-821 (2000) |
| 26 | EE | Fausto Giunchiglia,
Paolo Traverso:
Theorem proving in technology transfer: the user's point of view.
STTT 3(1): 1-12 (2000) |
| 25 | EE | Paolo Traverso,
Piergiorgio Bertoli:
Mechanized result verification: an industrial application.
STTT 3(1): 78-92 (2000) |
| 1999 |
|---|
| 24 | | Dieter Hutter,
Werner Stephan,
Paolo Traverso,
Markus Ullmann:
Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings
Springer 1999 |
| 23 | | Fausto Giunchiglia,
Paolo Traverso:
Planning as Model Checking.
ECP 1999: 1-20 |
| 22 | | Marco Daniele,
Paolo Traverso,
Moshe Y. Vardi:
Strong Cyclic Planning Revisited.
ECP 1999: 35-48 |
| 21 | EE | 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.
SAFECOMP 1999: 410-419 |
| 20 | EE | Alessandro Cimatti,
P. L. Pieraccini,
Roberto Sebastiani,
Paolo Traverso,
Adolfo Villafiorita:
Formal Specification and Validation of a Vital Communication Protocol.
World Congress on Formal Methods 1999: 1584-1604 |
| 1998 |
|---|
| 19 | | Alessandro Cimatti,
Marco Roveri,
Paolo Traverso:
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains.
AAAI/IAAI 1998: 875-881 |
| 18 | | Alessandro Cimatti,
Marco Roveri,
Paolo Traverso:
Strong Planning in Non-Deterministic Domains Via Model Checking.
AIPS 1998: 36-43 |
| 17 | EE | Piergiorgio Bertoli,
Alessandro Cimatti,
Fausto Giunchiglia,
Paolo Traverso:
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
SAFECOMP 1998: 221-230 |
| 16 | EE | 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.
SAFECOMP 1998: 284-295 |
| 15 | EE | Alessandro Cimatti,
Fausto Giunchiglia,
Giorgio Mongardi,
Dario Romano,
Fernando Torielli,
Paolo Traverso:
Formal Verification of a Railway Interlocking System using Model Checking.
Formal Asp. Comput. 10(4): 361-380 (1998) |
| 1997 |
|---|
| 14 | | 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.
CAV 1997: 202-213 |
| 13 | | Alessandro Cimatti,
Fausto Giunchiglia,
Enrico Giunchiglia,
Paolo Traverso:
Planning via Model Checking: A Decision Procedure for AR.
ECP 1997: 130-142 |
| 1996 |
|---|
| 12 | | Fausto Giunchiglia,
Paolo Traverso:
Program Tactics and Logic Tactics.
Ann. Math. Artif. Intell. 17(3-4): 235-259 (1996) |
| 11 | EE | Fausto Giunchiglia,
Paolo Traverso:
A Metatheory of a Mechanized Object Theory.
Artif. Intell. 80(1-2): 197-241 (1996) |
| 1995 |
|---|
| 10 | | Paolo Traverso,
Luca Spalazzi,
Fausto Giunchiglia:
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World.
ATAL 1995: 65-78 |
| 9 | | Paolo Traverso,
Luca Spalazzi:
A Logic for Acting, Sensing and Planning.
IJCAI 1995: 1941-1949 |
| 1994 |
|---|
| 8 | | Fausto Giunchiglia,
Luca Spalazzi,
Paolo Traverso:
Planning with Failure.
AIPS 1994: 74-79 |
| 7 | | Fausto Giunchiglia,
Paolo Traverso:
Program Tactics and Logic Tactics.
LPAR 1994: 16-30 |
| 6 | | Paolo Traverso,
Alessandro Cimatti,
Luca Spalazzi,
Alessandro Armando,
Enrico Giunchiglia:
MRG: Building planers for real-world complex applications.
Applied Artificial Intelligence 8(3): 333-357 (1994) |
| 1992 |
|---|
| 5 | | Paolo Traverso,
Alessandro Armando,
Enrico Giunchiglia:
A Knowledge Based System for Automatic 3D Scene.
AIMSA 1992: 255-264 |
| 4 | | Paolo Traverso,
Alessandro Cimatti,
Luca Spalazzi:
Beyond the Single Planning Paradigm: Introspective Planning.
ECAI 1992: 643-647 |
| 3 | | Fausto Giunchiglia,
Carlo Ferrari,
Paolo Traverso,
Emanuele Trucco:
Understanding Scene Descriptions by Integrating Different Sources of Knowledge.
International Journal of Man-Machine Studies 37(1): 47-81 (1992) |
| 1991 |
|---|
| 2 | | David A. Basin,
Fausto Giunchiglia,
Paolo Traverso:
Automating Meta-Theory Creation and System Extension.
AI*IA 1991: 48-57 |
| 1 | | Fausto Giunchiglia,
Paolo Traverso:
Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code.
IJCAI 1991: 111-117 |
