Gabriele Puppis

Identifiers

• name variant Gabriele Puppis 0.60 · backfill

Papers (8)

1. Minimization of Streaming Transducers cs.FL · 2026 · author #2
2. Automaton-based Characterisations of First Order Logic over Infinite Trees cs.LO · 2026 · author #5
3. On Synthesis of Resynchronizers for Transducers cs.FL · 2019 · author #5
4. Equivalence of finite-valued streaming string transducers is decidable cs.FL · 2019 · author #2
5. Origin-equivalence of two-way word transducers is in PSPACE cs.FL · 2018 · author #4
6. Untwisting two-way transducers in elementary time cs.FL · 2017 · author #4
7. Inference From Visible Information And Background Knowledge cs.LO · 2015 · author #4
8. Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification cs.GT · 2013 · author #1

Mentions

• 1307.4162 #1 · backfill · confidence 0.70 Gabriele Puppis

Frequent Coauthors

• Anca Muscholl 4 shared papers
• Sougata Bose 2 shared papers
• Vincent Penelle 2 shared papers
• Angelo Matteo 1 shared papers
• Balder ten Cate 1 shared papers
• Christian Bianchini 1 shared papers
• Dario Della Monica 1 shared papers
• Fabio Mogavero 1 shared papers
• F\'elix Baschenis 1 shared papers
• Massimo Benerecetti 1 shared papers
• Michael Benedikt 1 shared papers
• Michael Vanden Boom 1 shared papers
• Olivier Gauwin 1 shared papers
• Pierre Bourhis 1 shared papers
• Shankara Narayanan Krishna 1 shared papers
• Tiziano Villa 1 shared papers