| 2026 | ICAART | Online Learning of Object-Centric Symbolic Models in Partially Observable Environments. | Leonardo Lamanna, Luciano Serafini, Alessandro Saffiotti, Paolo Traverso |
| 2023 | AAAI | Planning for Learning Object Properties. | Leonardo Lamanna, Luciano Serafini, Mohamadreza Faridghasemnia, Alessandro Saffiotti, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso |
| 2023 | IJCAI | Learning to Act for Perceiving in Partially Unknown Environments. | Leonardo Lamanna, Mohamadreza Faridghasemnia, Alfonso Gerevini, Alessandro Saetti, Alessandro Saffiotti, Luciano Serafini, Paolo Traverso |
| 2022 | CVPR | Online Learning of Reusable Abstract Models for Object Goal Navigation. | Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan |
| 2022 | KR | Online Grounding of Symbolic Planning Domains in Unknown Environments. | Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Gerevini, Paolo Traverso |
| 2021 | AAAI | On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces. | Leonardo Lamanna, Alfonso Emilio Gerevini, Alessandro Saetti, Luciano Serafini, Paolo Traverso |
| 2021 | FlAIRS | Coordination and Control of Hierarchically Organized Interacting Agents. | Sunandita Patra, Paolo Traverso, Malik Ghallab, Dana S. Nau |
| 2021 | IJCAI | Online Learning of Action Models for PDDL Planning. | Leonardo Lamanna, Alessandro Saetti, Luciano Serafini, Alfonso Gerevini, Paolo Traverso |
| 2019 | AAAI | Acting and Planning Using Operational Models. | Sunandita Patra, Malik Ghallab, Dana S. Nau, Paolo Traverso |
| 2016 | ICWS | Incremental Composition for Adaptive By-Design Service Based Systems. | Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso |
| 2015 | AAAI | Blended Planning and Acting: Preliminary Approach, Research Challenges. | Dana S. Nau, Malik Ghallab, Paolo Traverso |
| 2015 | CLOSER | Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities. | Paolo Traverso |
| 2015 | ICSOC | Design for Adaptation of Distributed Service-Based Systems. | Antonio Bucchiarone, Martina De Sanctis, Annapaola Marconi, Marco Pistore, Paolo Traverso |
| 2015 | WEBIST | Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities. | Paolo Traverso |
| 2013 | ICWS | Domain Objects for Continuous Context-Aware Adaptation of Service-Based Systems. | Antonio Bucchiarone, Annapaola Marconi, Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Raman Kazhamiakin |
| 2008 | AAAI | Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains. | Dmitry Shaparau, Marco Pistore, Paolo Traverso |
| 2007 | ICWS | AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. | Annapaola Marconi, Marco Pistore, Piero Poccianti, Paolo Traverso |
| 2006 | AAAI | Contingent Planning with Goal Preferences. | Dmitry Shaparau, Marco Pistore, Paolo Traverso |
| 2006 | ICSOC | Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. | Annapaola Marconi, Marco Pistore, Paolo Traverso |
| 2006 | ICWS | Run-Time Monitoring of Instances and Classes of Web Service Compositions. | Fabio Barbon, Paolo Traverso, Marco Pistore, Michele Trainotti |
| 2006 | SEFM | Specifying Data-Flow Requirements for the Automated Composition of Web Services. | Annapaola Marconi, Marco Pistore, Paolo Traverso |
| 2005 | IJCAI | Automated Composition of Web Services by Planning at the Knowledge Level. | Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli, Paolo Traverso |
| 2005 | ICSOC | ASTRO: Supporting Composition and Execution of Web Services. | Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso |
| 2005 | ICWS | Automated Synthesis of Composite BPEL4WS Web Services. | Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi |
| 2005 | WWW | Automated synthesis of executable web service compositions from BPEL4WS processes. | Marco Pistore, Paolo Traverso, Piergiorgio Bertoli, Annapaola Marconi |
| 2004 | AIMSA | Planning and Monitoring Web Service Composition. | Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, Paolo Traverso |
| 2004 | ECAI | Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains. | Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso |
| 2002 | AAAI | Planning with a Language for Extended Goals. | Ugo Dal Lago, Marco Pistore, Paolo Traverso |
| 2001 | IJCAI | Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. | Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, Paolo Traverso |
| 2001 | IJCAI | Planning as Model Checking for Extended Goals in Non-deterministic Domains. | Marco Pistore, Paolo Traverso |
| 2001 | RE | Model Checking Early Requirements Specifications in Tropos. | Ariel Fuxman, John Mylopoulos, Marco Pistore, Paolo Traverso |
| 1999 | FM | Formal Specification and Validation of a Vital Communication Protocol. | Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
| 1999 | SAFECOMP | Formal Specification and Development of a Safety-Critical Train Management System. | Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
| 1998 | AAAI | Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. | Alessandro Cimatti, Marco Roveri, Paolo Traverso |
| 1998 | SAFECOMP | A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. | Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso |
| 1998 | SAFECOMP | Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso |
| 1997 | CAV | A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. | Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu |
| 1995 | IJCAI | A Logic for Acting, Sensing and Planning. | Paolo Traverso, Luca Spalazzi |
| 1994 | LPAR | Program Tactics and Logic Tactics. | Fausto Giunchiglia, Paolo Traverso |
| 1992 | AIMSA | A Knowledge Based System for Automatic 3D Scene. | Paolo Traverso, Alessandro Armando, Enrico Giunchiglia |
| 1992 | ECAI | Beyond the Single Planning Paradigm: Introspective Planning. | Paolo Traverso, Alessandro Cimatti, Luca Spalazzi |
| 1991 | IJCAI | Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. | Fausto Giunchiglia, Paolo Traverso |