Gabriele Puppis

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 36

Top Topics

Regular Languages

Cardinal Directions

Top Venues

Log. Methods Comput. Sci.

Publications

Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
Finite-valued Streaming String Transducers. CoRR (2024)
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter
Finite-valued Streaming String Transducers. LICS (2024)
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
. LICS (2023)
Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR (2023)
Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros
Dynamic Data Structures for Timed Automata Acceptance. Algorithmica 84 (11) (2022)
Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros
Dynamic Data Structures for Timed Automata Acceptance. IPEC (2021)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
One-way resynchronizability of word transducers. CoRR (2021)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
One-way Resynchronizability of Word Transducers. FoSSaCS (2021)
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis, Michael Vanden Boom
Inference from Visible Information and Background Knowledge. ACM Trans. Comput. Log. 22 (2) (2021)
Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros
The monitoring problem for timed automata. CoRR (2020)
Anca Muscholl, Gabriele Puppis
The Many Facets of String Transducers (Invited Talk). STACS (2019)
Anca Muscholl, Gabriele Puppis
Equivalence of finite-valued streaming string transducers is decidable. CoRR (2019)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
On Synthesis of Resynchronizers for Transducers. CoRR (2019)
Anca Muscholl, Gabriele Puppis
Equivalence of Finite-Valued Streaming String Transducers Is Decidable. ICALP (2019)
Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
On Synthesis of Resynchronizers for Transducers. MFCS (2019)
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
Origin-equivalence of two-way word transducers is in PSPACE. CoRR (2018)
Olivier Carton, Thomas Colcombet, Gabriele Puppis
An Algebraic Approach to MSO-Definability on Countable linear Orderings. J. Symb. Log. 83 (3) (2018)
Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE. FSTTCS (2018)
María Emilia Descotte, Diego Figueira, Gabriele Puppis
Resynchronizing Classes of Word Relations. ICALP (2018)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
One-way definability of two-way word transducers. Log. Methods Comput. Sci. 14 (4) (2018)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
One-way definability of two-way word transducers. CoRR (2017)
Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati
On the Decomposition of Finite-Valued Streaming String Transducers. STACS (2017)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
Untwisting two-way transducers in elementary time. CoRR (2017)
Olivier Carton, Thomas Colcombet, Gabriele Puppis
Regular Languages of Words over Countable Linear Orderings. CoRR (2017)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
Untwisting two-way transducers in elementary time. LICS (2017)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
Minimizing Resources of Sweeping and Streaming String Transducers. ICALP (2016)
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis
Querying Visible and Invisible Information. LICS (2016)
Amaldev Manuel, Anca Muscholl, Gabriele Puppis
Walking on Data Words. Theory Comput. Syst. 59 (2) (2016)
Pierre Bourhis, Gabriele Puppis, Cristian Riveros, Slawek Staworko
Bounded Repairability for Regular Tree Languages. ACM Trans. Database Syst. 41 (3) (2016)
Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
One-way Definability of Sweeping Transducer. FSTTCS (2015)
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis
Querying Visible and Invisible Tables in the Presence of Integrity Constraints. CoRR (2015)
Angelo Montanari, Gabriele Puppis, Tiziano Villa
Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245 (2015)
Michael Benedikt, Gabriele Puppis, Huy Vu
The complexity of higher-order queries. Inf. Comput. 244 (2015)
Thomas Colcombet, Clemens Ley, Gabriele Puppis
Logics with rigidly guarded data tests. Log. Methods Comput. Sci. 11 (3) (2015)
Angelo Montanari, Gabriele Puppis, Pietro Sala
A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Log. Methods Comput. Sci. 11 (4) (2015)
Pierre Bourhis, Gabriele Puppis, Cristian Riveros
Which XML Schemas are Streaming Bounded Repairable? Theory Comput. Syst. 57 (4) (2015)
Michael Benedikt, Gabriele Puppis, Cristian Riveros
The per-character cost of repairing word languages. Theor. Comput. Sci. 539 (2014)
Angelo Montanari, Gabriele Puppis, Pietro Sala
Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. MFCS (1) (2014)
Amaldev Manuel, Anca Muscholl, Gabriele Puppis
Walking on Data Words. CSR (2013)
Pierre Bourhis, Gabriele Puppis, Cristian Riveros
Which DTDs are streaming bounded repairable? ICDT (2013)
Michael Benedikt, Gabriele Puppis, Cristian Riveros
Bounded repairability of word languages. J. Comput. Syst. Sci. 79 (8) (2013)
Gabriele Puppis, Cristian Riveros, Slawek Staworko
Bounded repairability for regular tree languages. ICDT (2012)
Thomas Colcombet, Clemens Ley, Gabriele Puppis
On the Use of Guards for Logics with Data. MFCS (2011)
Olivier Carton, Thomas Colcombet, Gabriele Puppis
Regular Languages of Words over Countable Linear Orderings. ICALP (2) (2011)
Michael Benedikt, Gabriele Puppis, Cristian Riveros
The Cost of Traveling between Languages. ICALP (2) (2011)
Michael Benedikt, Gabriele Puppis, Cristian Riveros
Regular Repair of Specifications. LICS (2011)
Michael Benedikt, Gabriele Puppis, Huy Vu
Positive higher-order queries. PODS (2010)
Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS (2010)
Michael Benedikt, Clemens Ley, Gabriele Puppis
What You Must Remember When Processing Data Words. AMW (2010)
Michael Benedikt, Clemens Ley, Gabriele Puppis
Automata vs. Logics on Data Words. CSL (2010)
Angelo Montanari, Gabriele Puppis, Pietro Sala
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. ICALP (2) (2010)
Angelo Montanari, Gabriele Puppis, Pietro Sala
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL (2009)
Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
Decidability of the interval temporal logic ABBar over the natural numbers CoRR (2009)
Davide Bresolin, Angelo Montanari, Gabriele Puppis
A theory of ultimately periodic languages and automata with an application to time granularity. Acta Informatica 46 (5) (2009)
Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
On the Equivalence of Automaton-Based Representations of Time Granularities. TIME (2007)
Angelo Montanari, Gabriele Puppis
A Contraction Method to Decide MSO Theories of Deterministic Trees. LICS (2007)
Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
Compact and tractable automaton-based representations of time granularities. Theor. Comput. Sci. 373 (1-2) (2007)
Angelo Montanari, Adriano Peron, Gabriele Puppis
On the relationships between theories of time granularity and the monadic second-order theory of one successor. J. Appl. Non Class. Logics 16 (3-4) (2006)
Angelo Montanari, Gabriele Puppis
Decidability of MSO Theories of Tree Structures. FSTTCS (2004)
Davide Bresolin, Angelo Montanari, Gabriele Puppis
Time Granularities and Ultimately Periodic Automata. JELIA (2004)
Angelo Montanari, Gabriele Puppis
Decidability of the Theory of the Totally Unbounded omega-Layered Structure. TIME (2004)
Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS (2003)