| 2026 | TACAS | Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games. | Paolo Baldan, Sebastian Gurke, Barbara Knig, Florian Wittbold |
| 2025 | CAV | Approximating Fixpoints of Approximated Functions. | Paolo Baldan, Sebastian Gurke, Barbara Knig, Tommaso Padoan, Florian Wittbold |
| 2025 | CONCUR | Model Checking as Program Verification by Abstract Interpretation. | Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo |
| 2024 | CONCUR | Left-Linear Rewriting in Adhesive Categories. | Paolo Baldan, Davide Castelnovo, Andrea Corradini, Fabio Gadducci |
| 2023 | CSL | A Lattice-Theoretical View of Strategy Iteration. | Paolo Baldan, Richard Eggert, Barbara Knig, Tommaso Padoan |
| 2021 | FOSSACS | Fixpoint Theory - Upside Down. | Paolo Baldan, Richard Eggert, Barbara Knig, Tommaso Padoan |
| 2021 | ICALP | A Rice's Theorem for Abstract Semantics. | Paolo Baldan, Francesco Ranzato, Linpeng Zhang |
| 2021 | MFCS | (Un)Decidability for History Preserving True Concurrent Logics. | Paolo Baldan, Alberto Carraro, Tommaso Padoan |
| 2020 | CONCUR | Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. | Paolo Baldan, Barbara Knig, Tommaso Padoan |
| 2018 | FOSSACS | Automata for True Concurrency Properties. | Paolo Baldan, Tommaso Padoan |
| 2017 | Coordination | Many-to-Many Information Flow Policies. | Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente |
| 2017 | FOSSACS | Local Model Checking in a Logic for True Concurrency. | Paolo Baldan, Tommaso Padoan |
| 2017 | LICS | Domains and event structures for fusions. | Paolo Baldan, Andrea Corradini, Fabio Gadducci |
| 2016 | Coordination | Multilevel Transitive and Intransitive Non-interference, Causally. | Paolo Baldan, Alessandro Beggiato |
| 2015 | CALCO | Towards Trace Metrics via Functor Lifting. | Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara Knig |
| 2014 | APLAS | Hereditary History-Preserving Bisimilarity: Logics and Automata. | Paolo Baldan, Silvia Crafa |
| 2014 | BPM | Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. | Abel Armas-Cervantes, Paolo Baldan, Marlon Dumas, Luciano Garca-Bauelos |
| 2014 | BPM | BP-Diff: A Tool for Behavioral Comparison of Business Process Models. | Abel Armas, Paolo Baldan, Marlon Dumas, Luciano Garca-Bauelos |
| 2014 | Coordination | Encoding Synchronous Interactions Using Labelled Petri Nets. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2011 | CONCUR | Efficient Contextual Unfolding. | Csar Rodrguez, Stefan Schwoon, Paolo Baldan |
| 2011 | MFCS | Adhesivity Is Not Enough: Local Church-Rosser Revisited. | Paolo Baldan, Fabio Gadducci, Pawel Sobocinski |
| 2010 | APLAS | Concurrency Can't Be Observed, Asynchronously. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale |
| 2010 | CONCUR | A Logic for True Concurrency. | Paolo Baldan, Silvia Crafa |
| 2009 | CALCO | Unfolding Grammars in Adhesive Categories. | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara Knig, Pawel Sobocinski |
| 2009 | CONCUR | Encoding Asynchronous Interactions Using Open Petri Nets. | Paolo Baldan, Filippo Bonchi, Fabio Gadducci |
| 2008 | CONCUR | Unfolding-Based Diagnosis of Systems with an Evolving Topology. | Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara Knig |
| 2007 | CALCO | Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara Knig |
| 2006 | CONCUR | Concurrent Rewriting for Graphs with Equivalences. | Paolo Baldan, Fabio Gadducci, Ugo Montanari |
| 2006 | FOSSACS | Processes for Adhesive Rewriting Systems. | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara Knig, Pawel Sobocinski |
| 2006 | FOSSACS | Distributed Unfolding of Petri Nets. | Paolo Baldan, Stefan Haar, Barbara Knig |
| 2004 | CONCUR | Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. | Paolo Baldan, Andrea Corradini, Barbara Knig |
| 2003 | SAS | A Logic for Analyzing Abstractions of Graph Transformation Systems. | Paolo Baldan, Barbara Knig, Bernhard Knig |
| 2001 | CONCUR | Compositional Modeling of Reactive Systems Using Open Nets. | Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel |
| 2001 | CONCUR | A Static Analysis Technique for Graph Transformation Systems. | Paolo Baldan, Andrea Corradini, Barbara Knig |
| 2000 | CONCUR | Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. | Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna |
| 1999 | FOSSACS | Unfolding and Event Structure Semantics for Graph Grammars. | Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1998 | FOSSACS | An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures. | Paolo Baldan, Andrea Corradini, Ugo Montanari |
| 1998 | ICALP | Concatenable Graph Processes: Relating Processes and Derivation Traces. | Paolo Baldan, Andrea Corradini, Ugo Montanari |