| 2026 | SODA | Optimization Modulo Integer Linear-Exponential Programs. | S. Hitarth, Alessio Mansutti, Guruprerana Shabadi |
| 2025 | MFCS | One-Parametric Presburger Arithmetic Has Quantifier Elimination. | Alessio Mansutti, Mikhail R. Starchak |
| 2025 | STACS | On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number. | Jorge Gallego-Hernndez, Alessio Mansutti |
| 2024 | FOSSACS | Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems. | Luca Geatti, Alessio Mansutti, Angelo Montanari |
| 2024 | ICALP | Integer Linear-Exponential Programming in NP by Quantifier Elimination. | Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak |
| 2024 | SODA | Integer Programming with GCD Constraints. | Rmy Dfossez, Christoph Haase, Alessio Mansutti, Guillermo A. Prez |
| 2023 | ICALP | The Complexity of Presburger Arithmetic with Power or Powers. | Michael Benedikt, Dmitry Chistikov, Alessio Mansutti |
| 2023 | MFCS | On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract). | Christoph Haase, Alessio Mansutti, Amaury Pouly |
| 2022 | FOSSACS | Quantifier elimination for counting extensions of Presburger arithmetic. | Dmitry Chistikov, Christoph Haase, Alessio Mansutti |
| 2022 | FOSSACS | Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy. | Raul Fervari, Alessio Mansutti |
| 2022 | LICS | Geometric decision procedures and the VC dimension of linear arithmetic theories. | Dmitry Chistikov, Christoph Haase, Alessio Mansutti |
| 2022 | MFCS | Higher-Order Quantified Boolean Satisfiability. | Dmitry Chistikov, Christoph Haase, Zahra Hadizadeh, Alessio Mansutti |
| 2021 | MFCS | On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes. | Christoph Haase, Alessio Mansutti |
| 2020 | CSL | Internal Calculi for Separation Logics. | Stphane Demri, tienne Lozes, Alessio Mansutti |
| 2020 | FOSSACS | An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning. | Alessio Mansutti |
| 2020 | IJCAI | A Framework for Reasoning about Dynamic Axioms in Description Logics. | Bartosz Bednarczyk, Stphane Demri, Alessio Mansutti |
| 2020 | LICS | Modal Logics with Composition on Finite Forests: Expressivity and Complexity. | Bartosz Bednarczyk, Stphane Demri, Raul Fervari, Alessio Mansutti |
| 2019 | JELIA | Axiomatising Logics with Separating Conjunction and Modalities. | Stphane Demri, Raul Fervari, Alessio Mansutti |
| 2018 | FOSSACS | The Effects of Adding Reachability Predicates in Propositional Separation Logic. | Stphane Demri, tienne Lozes, Alessio Mansutti |
| 2014 | DAIS | Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. | Alessio Mansutti, Marino Miculan, Marco Peressotti |