| 2026 | LICS | Minimization of Streaming Transducers. | Christian Bianchini, Gabriele Puppis |
| 2026 | MFCS | Deciding the Common Fragment of CTL with past and LTL. | Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis |
| 2024 | LICS | Finite-valued Streaming String Transducers. | Emmanuel Filiot, Ismal Jecker, Christof Lding, Anca Muscholl, Gabriele Puppis, Sarah Winter |
| 2023 | LICS | The Logic of Prefixes and Suffixes is Elementary under Homogeneity | Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2021 | FOSSACS | One-way Resynchronizability of Word Transducers. | Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis |
| 2019 | ICALP | Equivalence of Finite-Valued Streaming String Transducers Is Decidable. | Anca Muscholl, Gabriele Puppis |
| 2019 | MFCS | On Synthesis of Resynchronizers for Transducers. | Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis |
| 2019 | STACS | The Many Facets of String Transducers (Invited Talk). | Anca Muscholl, Gabriele Puppis |
| 2018 | ICALP | Resynchronizing Classes of Word Relations. | Mara Emilia Descotte, Diego Figueira, Gabriele Puppis |
| 2017 | LICS | Untwisting two-way transducers in elementary time. | Flix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis |
| 2017 | STACS | On the Decomposition of Finite-Valued Streaming String Transducers. | Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati |
| 2016 | ICALP | Minimizing Resources of Sweeping and Streaming String Transducers. | Flix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis |
| 2016 | LICS | Querying Visible and Invisible Information. | Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis |
| 2014 | MFCS | Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. | Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2013 | CSR | Walking on Data Words. | Amaldev Manuel, Anca Muscholl, Gabriele Puppis |
| 2013 | ICDT | Which DTDs are streaming bounded repairable? | Pierre Bourhis, Gabriele Puppis, Cristian Riveros |
| 2012 | ICDT | Bounded repairability for regular tree languages. | Gabriele Puppis, Cristian Riveros, Slawek Staworko |
| 2011 | ICALP | The Cost of Traveling between Languages. | Michael Benedikt, Gabriele Puppis, Cristian Riveros |
| 2011 | ICALP | Regular Languages of Words over Countable Linear Orderings. | Olivier Carton, Thomas Colcombet, Gabriele Puppis |
| 2011 | LICS | Regular Repair of Specifications. | Michael Benedikt, Gabriele Puppis, Cristian Riveros |
| 2011 | MFCS | On the Use of Guards for Logics with Data. | Thomas Colcombet, Clemens Ley, Gabriele Puppis |
| 2010 | CSL | Automata vs. Logics on Data Words. | Michael Benedikt, Clemens Ley, Gabriele Puppis |
| 2010 | ICALP | Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. | Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2010 | PODS | Positive higher-order queries. | Michael Benedikt, Gabriele Puppis, Huy Vu |
| 2010 | STACS | Decidability of the Interval Temporal Logic ABB over the Natural Numbers. | Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco |
| 2009 | CSL | A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. | Angelo Montanari, Gabriele Puppis, Pietro Sala |
| 2007 | LICS | A Contraction Method to Decide MSO Theories of Deterministic Trees. | Angelo Montanari, Gabriele Puppis |
| 2007 | TIME | On the Equivalence of Automaton-Based Representations of Time Granularities. | Ugo Dal Lago, Angelo Montanari, Gabriele Puppis |
| 2004 | JELIA | Time Granularities and Ultimately Periodic Automata. | Davide Bresolin, Angelo Montanari, Gabriele Puppis |
| 2004 | TIME | Decidability of the Theory of the Totally Unbounded omega-Layered Structure. | Angelo Montanari, Gabriele Puppis |