| 2026 | DLT | On Some Decision Problems on Quantum Automata. | Flavio D'Alessandro, Carlo Mereghetti, Beatrice Palano, Paolo Papi |
| 2024 | DLT | Deterministic Pushdown Automata with Translucent Input Letters. | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Priscilla Raucci, Matthias Wendlandt |
| 2023 | OPODIS | 𝒪(log{n})-Time Uniform Circle Formation for Asynchronous Opaque Luminous Robots. | Caterina Feletti, Carlo Mereghetti, Beatrice Palano |
| 2021 | SOFSEM | Iterated Uniform Finite-State Transducers on Unary Languages. | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
| 2020 | CiE | Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power. | Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
| 2018 | SSS | Uniform Circle Formation for Swarms of Opaque Robots with Lights. | Caterina Feletti, Carlo Mereghetti, Beatrice Palano |
| 2013 | CSR | Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant Height. | Viliam Geffert, Zuzana Bednrov, Carlo Mereghetti, Beatrice Palano |
| 2013 | UC | Size Lower Bounds for Quantum Automata. | Maria Paola Bianchi, Carlo Mereghetti, Beatrice Palano |
| 2010 | LATA | On the Expressive Power of FO[ + ]. | Christian Choffrut, Andreas Malcher, Carlo Mereghetti, Beatrice Palano |
| 2008 | DLT | More Concise Representation of Regular Languages by Automata and Regular Expressions. | Viliam Geffert, Carlo Mereghetti, Beatrice Palano |
| 2005 | DLT | Complementing Two-Way Finite Automata. | Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini |
| 2003 | DLT | Quantum Computing: 1-Way Quantum Automata. | Alberto Bertoni, Carlo Mereghetti, Beatrice Palano |
| 2001 | MFCS | Converting Two-Way Nondeterministic Unary Automata into Simpler Automata. | Viliam Geffert, Carlo Mereghetti, Giovanni Pighizzini |
| 1998 | STACS | Optimal Simulations Between Unary Automata. | Carlo Mereghetti, Giovanni Pighizzini |
| 1995 | MFCS | Strong Optimal Lower Bounds for Turing Machines that Accept Nonregular Languages. | Alberto Bertoni, Carlo Mereghetti, Giovanni Pighizzini |
| 1994 | MFCS | On Languages Accepted with Simultaneous Complexity Bounds and Their Ranking Problem. | Alberto Bertoni, Carlo Mereghetti, Giovanni Pighizzini |