| 2026 | AAAI | Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning. | Pierriccardo Olivieri, Fausto Lasca, Alessandro Gianola, Matteo Papini |
| 2026 | CaiSE | Detecting Dynamic Relationships in Object-Centric Event Logs. | Alessandro Gianola, Zeeshan Hameed, Marco Montali, Anjo Seidel, Mathias Weske, Sarah Winkler |
| 2025 | AAAI | First-Order Automata. | Luca Geatti, Alessandro Gianola, Nicola Gigante |
| 2025 | BPM | Efficient Conformance Checking of Rich Data-Aware Declare Specifications. | Jacobo Casas-Ramos, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Mucientes, Manuel Lama |
| 2025 | BPM | Constraint-Based Reasoning and Analysis for BPM: CSP to the Rescue. | Alessandro Gianola, Andrey Rivkin, Mateusz Slazynski |
| 2025 | CaiSE | Object-Centric Processes with Structured Data and Exact Synchronization - Formal Modelling and Conformance Checking. | Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2025 | ER | To Bind or Not to Bind? Discovering Stable Relationships in Object-Centric Processes. | Anjo Seidel, Sarah Winkler, Alessandro Gianola, Marco Montali, Mathias Weske |
| 2024 | AAAI | Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata. | Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2024 | BPM | Glocal Conformance Checking. | Alessandro Burigana, Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2024 | CaiSE | Object-Centric Conformance Alignments with Synchronization. | Alessandro Gianola, Marco Montali, Sarah Winkler |
| 2023 | AAAI | SMT Safety Verification of Ontology-Based Processes. | Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali |
| 2023 | BPM | The Droid You're Looking For: C-4PM, a Conversational Agent for Declarative Process Mining. | Yago Fontenla-Seco, Sarah Winkler, Alessandro Gianola, Marco Montali, Manuel Lama Penn, Alberto Jos Bugarn Diz |
| 2023 | BPM | Approximating Multi-perspective Trace Alignment Using Trace Encodings. | Alessandro Gianola, Jonghyeon Ko, Fabrizio Maria Maggi, Marco Montali, Sarah Winkler |
| 2023 | ECAI | Decidable Fragments of LTL | Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler |
| 2023 | IJCAI | Safety Verification and Universal Invariants for Relational Action Bases. | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2023 | TIME | Torwards Infinite-State Verification and Planning with Linear Temporal Logic Modulo Theories (Extended Abstract). | Luca Geatti, Alessandro Gianola, Nicola Gigante |
| 2022 | BPM | Conformance Checking with Uncertainty via SMT. | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
| 2022 | BPM | SMT-based Safety Verification of Data-Aware Processes: Foundations and Applications. | Alessandro Gianola |
| 2022 | IJCAI | Linear Temporal Logic Modulo Theories over Finite Traces. | Luca Geatti, Alessandro Gianola, Nicola Gigante |
| 2021 | AAAI | SMT-based Safety Checking of Parameterized Multi-Agent Systems. | Paolo Felli, Alessandro Gianola, Marco Montali |
| 2021 | BPM | Exploring the Conformance Space (Extended abstract). | Andrea Burattin, Alessandro Gianola, Hugo A. Lpez, Marco Montali |
| 2021 | BPM | CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. | Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler |
| 2021 | BPM | Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2021 | FOSSACS | Interpolation and Amalgamation for Arrays with MaxDiff. | Silvio Ghilardi, Alessandro Gianola, Deepak Kapur |
| 2020 | BPM | Petri Nets with Parameterised Data - Modelling and Verification. | Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2020 | CADE | Combined Covers and Beth Definability. | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2020 | PRIMA | A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. | Paolo Felli, Alessandro Gianola, Marco Montali |
| 2019 | BPM | Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2019 | CADE | Model Completeness, Covers and Superposition. | Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2017 | CALCO | Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. | Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini |