Gabriele Puppis

69 papers A* 13A 5B 7C 2Misc 1Journal 29Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	A*	`ed.`	52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025, Aarhus, Denmark, July 8-11, 2025 ICALP Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis
2025	—	`conf`	An Automaton-based Characterisation of First-Order Logic over Infinite Trees. GandALF Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis
2025	J	`jnl`	Finite-valued Streaming String Transducers. TheoretiCS Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
2024	A*	`ed.`	51st International Colloquium on Automata, Languages, and Programming, ICALP 2024, Tallinn, Estonia, July 8-12, 2024 ICALP Karl Bringmann, Martin Grohe, Gabriele Puppis, Ola Svensson
2024	A*	`conf`	Finite-valued Streaming String Transducers. LICS Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter
2024	J	`jnl`	Finite-valued Streaming String Transducers. CoRR Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
2023	A*	`ed.`	50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, Paderborn, Germany, July 10-14, 2023 ICALP Kousha Etessami, Uriel Feige, Gabriele Puppis
2023	A*	`conf`	The Logic of Prefixes and Suffixes is Elementary under Homogeneity LICS Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
2023	J	`jnl`	The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala
2022	J	`jnl`	Dynamic Data Structures for Timed Automata Acceptance. Algorithmica Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros
2021	B	`conf`	Dynamic Data Structures for Timed Automata Acceptance. IPEC Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros
2021	J	`jnl`	Inference from Visible Information and Background Knowledge. ACM Trans. Comput. Log. Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis, Michael Vanden Boom
2021	B	`conf`	One-way Resynchronizability of Word Transducers. FoSSaCS Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
2021	J	`jnl`	One-way resynchronizability of word transducers. CoRR Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis
2020	J	`jnl`	The monitoring problem for timed automata. CoRR Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros
2019	A*	`conf`	Equivalence of Finite-Valued Streaming String Transducers Is Decidable. ICALP Anca Muscholl, Gabriele Puppis
2019	J	`jnl`	Equivalence of finite-valued streaming string transducers is decidable. CoRR Anca Muscholl, Gabriele Puppis
2019	B	`conf`	On Synthesis of Resynchronizers for Transducers. MFCS Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2019	J	`jnl`	On Synthesis of Resynchronizers for Transducers. CoRR Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2019	A	`conf`	The Many Facets of String Transducers (Invited Talk). STACS Anca Muscholl, Gabriele Puppis
2018	J	`jnl`	An Algebraic Approach to MSO-Definability on Countable linear Orderings. J. Symb. Log. Olivier Carton, Thomas Colcombet, Gabriele Puppis
2018	J	`jnl`	One-way definability of two-way word transducers. Log. Methods Comput. Sci. Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2018	—	`conf`	Origin-Equivalence of Two-Way Word Transducers Is in PSPACE. FSTTCS Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2018	J	`jnl`	Origin-equivalence of two-way word transducers is in PSPACE. CoRR Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis
2018	A*	`conf`	Resynchronizing Classes of Word Relations. ICALP María Emilia Descotte, Diego Figueira, Gabriele Puppis
2017	A	`conf`	On the Decomposition of Finite-Valued Streaming String Transducers. STACS Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati
2017	J	`jnl`	One-way definability of two-way word transducers. CoRR Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2017	J	`jnl`	Regular Languages of Words over Countable Linear Orderings. CoRR Olivier Carton, Thomas Colcombet, Gabriele Puppis
2017	A*	`conf`	Untwisting two-way transducers in elementary time. LICS Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2017	J	`jnl`	Untwisting two-way transducers in elementary time. CoRR Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2016	J	`jnl`	Bounded Repairability for Regular Tree Languages. ACM Trans. Database Syst. Pierre Bourhis, Gabriele Puppis, Cristian Riveros, Slawek Staworko
2016	A*	`conf`	Minimizing Resources of Sweeping and Streaming String Transducers. ICALP Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2016	A*	`conf`	Querying Visible and Invisible Information. LICS Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis
2016	J	`jnl`	Walking on Data Words. Theory Comput. Syst. Amaldev Manuel, Anca Muscholl, Gabriele Puppis
2015	J	`jnl`	A decidable weakening of Compass Logic based on cone-shaped cardinal directions. Log. Methods Comput. Sci. Angelo Montanari, Gabriele Puppis, Pietro Sala
2015	J	`jnl`	Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. Angelo Montanari, Gabriele Puppis, Tiziano Villa
2015	J	`jnl`	Logics with rigidly guarded data tests. Log. Methods Comput. Sci. Thomas Colcombet, Clemens Ley, Gabriele Puppis
2015	—	`conf`	One-way Definability of Sweeping Transducer. FSTTCS Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis
2015	J	`jnl`	Querying Visible and Invisible Tables in the Presence of Integrity Constraints. CoRR Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis
2015	J	`jnl`	The complexity of higher-order queries. Inf. Comput. Michael Benedikt, Gabriele Puppis, Huy Vu
2015	J	`jnl`	Which XML Schemas are Streaming Bounded Repairable? Theory Comput. Syst. Pierre Bourhis, Gabriele Puppis, Cristian Riveros
2014	—	`conf`	Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals. MFCS (1) Angelo Montanari, Gabriele Puppis, Pietro Sala
2014	J	`jnl`	The per-character cost of repairing word languages. Theor. Comput. Sci. Michael Benedikt, Gabriele Puppis, Cristian Riveros
2013	J	`jnl`	Bounded repairability of word languages. J. Comput. Syst. Sci. Michael Benedikt, Gabriele Puppis, Cristian Riveros
2013	—	`ed.`	Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013. GandALF Gabriele Puppis, Tiziano Villa
2013	Misc	`conf`	Walking on Data Words. CSR Amaldev Manuel, Anca Muscholl, Gabriele Puppis
2013	A	`conf`	Which DTDs are streaming bounded repairable? ICDT Pierre Bourhis, Gabriele Puppis, Cristian Riveros
2012	A	`conf`	Bounded repairability for regular tree languages. ICDT Gabriele Puppis, Cristian Riveros, Slawek Staworko
2011	B	`conf`	On the Use of Guards for Logics with Data. MFCS Thomas Colcombet, Clemens Ley, Gabriele Puppis
2011	—	`conf`	Regular Languages of Words over Countable Linear Orderings. ICALP (2) Olivier Carton, Thomas Colcombet, Gabriele Puppis
2011	A*	`conf`	Regular Repair of Specifications. LICS Michael Benedikt, Gabriele Puppis, Cristian Riveros
2011	—	`conf`	The Cost of Traveling between Languages. ICALP (2) Michael Benedikt, Gabriele Puppis, Cristian Riveros
2010	—	`book`	Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems Gabriele Puppis
2010	B	`conf`	Automata vs. Logics on Data Words. CSL Michael Benedikt, Clemens Ley, Gabriele Puppis
2010	A	`conf`	Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
2010	—	`conf`	Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. ICALP (2) Angelo Montanari, Gabriele Puppis, Pietro Sala
2010	A*	`conf`	Positive higher-order queries. PODS Michael Benedikt, Gabriele Puppis, Huy Vu
2010	—	`conf`	What You Must Remember When Processing Data Words. AMW Michael Benedikt, Clemens Ley, Gabriele Puppis
2009	B	`conf`	A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL Angelo Montanari, Gabriele Puppis, Pietro Sala
2009	J	`jnl`	A theory of ultimately periodic languages and automata with an application to time granularity. Acta Informatica Davide Bresolin, Angelo Montanari, Gabriele Puppis
2009	J	`jnl`	Decidability of the interval temporal logic ABBar over the natural numbers CoRR Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco
2007	A*	`conf`	A Contraction Method to Decide MSO Theories of Deterministic Trees. LICS Angelo Montanari, Gabriele Puppis
2007	J	`jnl`	Compact and tractable automaton-based representations of time granularities. Theor. Comput. Sci. Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
2007	C	`conf`	On the Equivalence of Automaton-Based Representations of Time Granularities. TIME Ugo Dal Lago, Angelo Montanari, Gabriele Puppis
2006	J	`jnl`	On the relationships between theories of time granularity and the monadic second-order theory of one successor. J. Appl. Non Class. Logics Angelo Montanari, Adriano Peron, Gabriele Puppis
2004	—	`conf`	Decidability of MSO Theories of Tree Structures. FSTTCS Angelo Montanari, Gabriele Puppis
2004	C	`conf`	Decidability of the Theory of the Totally Unbounded omega-Layered Structure. TIME Angelo Montanari, Gabriele Puppis
2004	B	`conf`	Time Granularities and Ultimately Periodic Automata. JELIA Davide Bresolin, Angelo Montanari, Gabriele Puppis
2003	—	`conf`	Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS Ugo Dal Lago, Angelo Montanari, Gabriele Puppis