| 2026 | KR | Synthesis Foundations for Online LTLf Goal Management. | Giuseppe De Giacomo, Yves Lesprance, Gianmarco Parretti, Fabio Patrizi |
| 2025 | BPM | Aligning Metric Temporal Constraints and Event Logs via Numeric Planning. | Giacomo Acitelli, Elisa De Bellis, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi |
| 2024 | AAAI | Mimicking Behaviors in Separated Domains (Abstract Reprint). | Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu |
| 2024 | CaiSE | On the Flexibility of Declarative Process Specifications. | Carl Corea, Paolo Felli, Marco Montali, Fabio Patrizi |
| 2024 | CaiSE | Towards Learning the Optimal Sampling Strategy for Suffix Prediction in Predictive Monitoring. | Efrn Rama-Maneiro, Fabio Patrizi, Juan Carlos Vidal, Manuel Lama |
| 2024 | ECAI | Monte Carlo Tree Search with State Merging for Reinforcement Learning in Regular Decision Processes. | Gabriel Paludo Licks, Fabio Patrizi, Giuseppe De Giacomo |
| 2023 | AAAI | Exploiting Multiple Abstractions in Episodic RL via Reward Shaping. | Roberto Cipollone, Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi |
| 2023 | AAAI | Monitoring Arithmetic Temporal Properties on Finite Traces. | Paolo Felli, Marco Montali, Fabio Patrizi, Sarah Winkler |
| 2023 | BPM | From LTL on Process Traces to Finite-state Automata. | Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi |
| 2023 | ECAI | Strategy Repair in Reachability Games. | Pierre Gaillard, Fabio Patrizi, Giuseppe Perelli |
| 2023 | ECAI | Optimal Alignment of Temporal Knowledge Bases. | Oliver Fernndez Gil, Fabio Patrizi, Giuseppe Perelli, Anni-Yasmin Turhan |
| 2023 | SAC | A formalization of multi-agent planning with explicit agent representation. | Alessandro Trapasso, Sofia Santilli, Luca Iocchi, Fabio Patrizi |
| 2022 | AAAI | ASP-Based Declarative Process Mining. | Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi |
| 2022 | CaiSE | Multi-model Monitoring Framework for Hybrid Process Specifications. | Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin |
| 2022 | IJCAI | Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| 2022 | IJCAI | Verification of Generic, Relational Transition Systems. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| 2022 | IJCAI | Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract). | Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardia |
| 2021 | ICPM | Discovering Declarative Process Model Behavior from Event Logs via Model Learning. | Simone Agostinelli, Giacomo Bergami, Alessio Fiorenza, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi |
| 2021 | KR | Timed Trace Alignment with Metric Temporal Logic over Finite Traces. | Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi, Giuseppe Perelli |
| 2020 | AAAI | Restraining Bolts for Reinforcement Learning Agents. | Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi |
| 2020 | KR | High-level Programming via Generalized Planning and LTL Synthesis. | Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin |
| 2020 | KR | Temporal Logic Monitoring Rewards via Transducers. | Giuseppe De Giacomo, Marco Favorito, Luca Iocchi, Fabio Patrizi, Alessandro Ronca |
| 2019 | CaiSE | Modeling and In-Database Management of Relational, Data-Aware Processes. | Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin |
| 2018 | AAAI | LTLf/LDLf Non-Markovian Rewards. | Ronen I. Brafman, Giuseppe De Giacomo, Fabio Patrizi |
| 2017 | AAAI | On the Disruptive Effectiveness of Automated Planning for LTL | Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi |
| 2016 | AAAI | Verifying ConGolog Programs on Bounded Situation Calculus Theories. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi, Sebastian Sardia |
| 2016 | IJCAI | Plan Synthesis for Knowledge and Action Bases. | Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy |
| 2016 | KR | On First-Order μ-Calculus over Situation Calculus Action Theories. | Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi |
| 2015 | IJCAI | Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. | Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo |
| 2014 | ECAI | LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi, Stavros Vassos |
| 2014 | JELIA | Action Theories over Generalized Databases with Equality Constraints. | Fabio Patrizi, Stavros Vassos |
| 2014 | KR | Action Theories over Generalized Databases with Equality Constraints (Extended Abstract). | Fabio Patrizi, Stavros Vassos |
| 2013 | BPM | Towards a Reference Implementation for Data Centric Dynamic Systems. | Alessandro Russo, Massimo Mecella, Marco Montali, Fabio Patrizi |
| 2013 | IJCAI | Bounded Epistemic Situation Calculus Theories. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi |
| 2013 | IJCAI | Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners. | Fabio Patrizi, Nir Lipovetzky, Hector Geffner |
| 2013 | IJCAI | A Classification of First-Order Progressable Action Theories in Situation Calculus. | Stavros Vassos, Fabio Patrizi |
| 2013 | ICSOC | ICSOC PhD Symposium 2013. | Fabio Patrizi, Boualem Benatallah, Ivona Brandic |
| 2012 | AAAI | Bounded Situation Calculus Action Theories and Decidable Verification. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi |
| 2012 | AIMSA | Automatic Generation and Learning of Finite-State Controllers. | Matteo Leonetti, Luca Iocchi, Fabio Patrizi |
| 2012 | ICSOC | Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2012 | KR | An Abstraction Technique for the Verification of Artifact-Centric Systems. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2012 | KR | Bounded Situation Calculus Action Theories and Decidable Verification. | Giuseppe De Giacomo, Yves Lesprance, Fabio Patrizi |
| 2011 | IJCAI | A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2011 | IJCAI | Computing Infinite Plans for LTL Goals Using a Classical Planner. | Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner |
| 2011 | ICSOC | Verification of Deployed Artifact Systems via Data Abstraction. | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
| 2010 | AAAI | Two-Player Game Structures for Generalized Planning and Agent Composition. | Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardia |
| 2010 | KR | Generalized Planning with Loops under Strong Fairness Constraints. | Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardia |
| 2009 | ICDT | Automatic verification of data-centric business processes. | Alin Deutsch, Richard Hull, Fabio Patrizi, Victor Vianu |
| 2008 | KR | Behavior Composition in the Presence of Failure. | Sebastian Sardia, Fabio Patrizi, Giuseppe De Giacomo |
| 2007 | AAAI | Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. | Sebastian Sardia, Fabio Patrizi, Giuseppe De Giacomo |
| 2007 | ICWS | AutomaticWorkflows Composition of Mobile Services. | Giuseppe De Giacomo, Massimiliano de Leoni, Massimo Mecella, Fabio Patrizi |
| 2006 | CPAIOR | On the Separability of Subproblems in Benders Decompositions. | Marco Cadoli, Fabio Patrizi |
| 2006 | ECAI | Evaluating ASP and Commercial Solvers on the CSPLib. | Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi |
| 2006 | ISMIS | SAT as an Effective Solving Technology for Constraint Problems. | Marco Cadoli, Toni Mancini, Fabio Patrizi |