default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGabriele Puppis
Person information
- affiliation: University of Udine, Italy
- affiliation (former): University of Bordeaux 1, LABRI, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c34]Emmanuel Filiot
, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter:
Finite-valued Streaming String Transducers. LICS 2024: 33:1-33:14- [e3]Karl Bringmann, Martin Grohe, Gabriele Puppis, Ola Svensson:
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024, July 8-12, 2024, Tallinn, Estonia. LIPIcs 297, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-322-5 [contents] - [i12]Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter:
Finite-valued Streaming String Transducers. CoRR abs/2405.08171 (2024) - 2023
- [c33]Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala:
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*. LICS 2023: 1-12 - [e2]Kousha Etessami, Uriel Feige, Gabriele Puppis:
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany. LIPIcs 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-278-5 [contents] - [i11]Dario Della Monica, Angelo Montanari, Gabriele Puppis, Pietro Sala:
The Logic of Prefixes and Suffixes is Elementary under Homogeneity. CoRR abs/2304.11483 (2023) - 2022
- [j16]Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros:
Dynamic Data Structures for Timed Automata Acceptance. Algorithmica 84(11): 3223-3245 (2022) - 2021
- [j15]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): 13:1-13:69 (2021) - [c32]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis:
One-way Resynchronizability of Word Transducers. FoSSaCS 2021: 124-143 - [c31]Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros:
Dynamic Data Structures for Timed Automata Acceptance. IPEC 2021: 20:1-20:18 - [i10]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Gabriele Puppis:
One-way resynchronizability of word transducers. CoRR abs/2101.08011 (2021) - 2020
- [i9]Alejandro Grez, Filip Mazowiecki, Michal Pilipczuk, Gabriele Puppis, Cristian Riveros:
The monitoring problem for timed automata. CoRR abs/2002.07049 (2020)
2010 – 2019
- 2019
- [c30]Anca Muscholl, Gabriele Puppis:
Equivalence of Finite-Valued Streaming String Transducers Is Decidable. ICALP 2019: 122:1-122:15 - [c29]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
On Synthesis of Resynchronizers for Transducers. MFCS 2019: 69:1-69:14 - [c28]Anca Muscholl, Gabriele Puppis:
The Many Facets of String Transducers (Invited Talk). STACS 2019: 2:1-2:21 - [i8]Anca Muscholl, Gabriele Puppis:
Equivalence of finite-valued streaming string transducers is decidable. CoRR abs/1902.06973 (2019) - [i7]Sougata Bose, Shankara Narayanan Krishna, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
On Synthesis of Resynchronizers for Transducers. CoRR abs/1906.08688 (2019) - 2018
- [j14]Olivier Carton, Thomas Colcombet, Gabriele Puppis:
An Algebraic Approach to MSO-Definability on Countable linear Orderings. J. Symb. Log. 83(3): 1147-1189 (2018) - [j13]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
One-way definability of two-way word transducers. Log. Methods Comput. Sci. 14(4) (2018) - [c27]Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
Origin-Equivalence of Two-Way Word Transducers Is in PSPACE. FSTTCS 2018: 22:1-22:18 - [c26]María Emilia Descotte, Diego Figueira, Gabriele Puppis:
Resynchronizing Classes of Word Relations. ICALP 2018: 123:1-123:13 - [i6]Sougata Bose, Anca Muscholl, Vincent Penelle, Gabriele Puppis:
Origin-equivalence of two-way word transducers is in PSPACE. CoRR abs/1807.08053 (2018) - 2017
- [c25]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
Untwisting two-way transducers in elementary time. LICS 2017: 1-12 - [c24]Paul Gallot, Anca Muscholl, Gabriele Puppis, Sylvain Salvati:
On the Decomposition of Finite-Valued Streaming String Transducers. STACS 2017: 34:1-34:14 - [i5]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
Untwisting two-way transducers in elementary time. CoRR abs/1701.02502 (2017) - [i4]Olivier Carton, Thomas Colcombet, Gabriele Puppis:
Regular Languages of Words over Countable Linear Orderings. CoRR abs/1702.05342 (2017) - [i3]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
One-way definability of two-way word transducers. CoRR abs/1706.01668 (2017) - 2016
- [j12]Amaldev Manuel, Anca Muscholl, Gabriele Puppis:
Walking on Data Words. Theory Comput. Syst. 59(2): 180-208 (2016) - [j11]Pierre Bourhis, Gabriele Puppis, Cristian Riveros, Slawek Staworko:
Bounded Repairability for Regular Tree Languages. ACM Trans. Database Syst. 41(3): 18:1-18:45 (2016) - [c23]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
Minimizing Resources of Sweeping and Streaming String Transducers. ICALP 2016: 114:1-114:14 - [c22]Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis:
Querying Visible and Invisible Information. LICS 2016: 297-306 - 2015
- [j10]Thomas Colcombet, Clemens Ley, Gabriele Puppis:
Logics with rigidly guarded data tests. Log. Methods Comput. Sci. 11(3) (2015) - [j9]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) - [j8]Michael Benedikt, Gabriele Puppis, Huy Vu:
The complexity of higher-order queries. Inf. Comput. 244: 172-202 (2015) - [j7]Angelo Montanari, Gabriele Puppis, Tiziano Villa:
Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245: 1-2 (2015) - [j6]Pierre Bourhis, Gabriele Puppis, Cristian Riveros:
Which XML Schemas are Streaming Bounded Repairable? Theory Comput. Syst. 57(4): 1250-1321 (2015) - [c21]Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis:
One-way Definability of Sweeping Transducer. FSTTCS 2015: 178-191 - [i2]Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis:
Querying Visible and Invisible Tables in the Presence of Integrity Constraints. CoRR abs/1509.01683 (2015) - 2014
- [j5]Michael Benedikt, Gabriele Puppis, Cristian Riveros:
The per-character cost of repairing word languages. Theor. Comput. Sci. 539: 38-67 (2014) - [c20]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: 451-463 - 2013
- [j4]Michael Benedikt, Gabriele Puppis, Cristian Riveros:
Bounded repairability of word languages. J. Comput. Syst. Sci. 79(8): 1302-1321 (2013) - [c19]Amaldev Manuel, Anca Muscholl, Gabriele Puppis:
Walking on Data Words. CSR 2013: 64-75 - [c18]Pierre Bourhis, Gabriele Puppis, Cristian Riveros:
Which DTDs are streaming bounded repairable? ICDT 2013: 57-68 - [e1]Gabriele Puppis, Tiziano Villa:
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013. EPTCS 119, 2013 [contents] - 2012
- [c17]Gabriele Puppis, Cristian Riveros, Slawek Staworko:
Bounded repairability for regular tree languages. ICDT 2012: 155-168 - 2011
- [c16]Olivier Carton, Thomas Colcombet, Gabriele Puppis:
Regular Languages of Words over Countable Linear Orderings. ICALP (2) 2011: 125-136 - [c15]Michael Benedikt, Gabriele Puppis, Cristian Riveros:
The Cost of Traveling between Languages. ICALP (2) 2011: 234-245 - [c14]Michael Benedikt, Gabriele Puppis, Cristian Riveros:
Regular Repair of Specifications. LICS 2011: 335-344 - [c13]Thomas Colcombet, Clemens Ley, Gabriele Puppis:
On the Use of Guards for Logics with Data. MFCS 2011: 243-255 - 2010
- [b1]Gabriele Puppis:
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems. Lecture Notes in Computer Science 5955, Springer 2010, ISBN 978-3-642-11880-7 - [c12]Michael Benedikt, Clemens Ley, Gabriele Puppis:
What You Must Remember When Processing Data Words. AMW 2010 - [c11]Michael Benedikt, Clemens Ley, Gabriele Puppis:
Automata vs. Logics on Data Words. CSL 2010: 110-124 - [c10]Angelo Montanari, Gabriele Puppis, Pietro Sala:
Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals. ICALP (2) 2010: 345-356 - [c9]Michael Benedikt, Gabriele Puppis, Huy Vu:
Positive higher-order queries. PODS 2010: 27-38 - [c8]Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco:
Decidability of the Interval Temporal Logic ABB over the Natural Numbers. STACS 2010: 597-608
2000 – 2009
- 2009
- [j3]Davide Bresolin, Angelo Montanari, Gabriele Puppis:
A theory of ultimately periodic languages and automata with an application to time granularity. Acta Informatica 46(5): 331-360 (2009) - [c7]Angelo Montanari, Gabriele Puppis, Pietro Sala:
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. CSL 2009: 394-408 - [i1]Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco:
Decidability of the interval temporal logic ABBar over the natural numbers. CoRR abs/0912.3429 (2009) - 2007
- [j2]Ugo Dal Lago, Angelo Montanari, Gabriele Puppis:
Compact and tractable automaton-based representations of time granularities. Theor. Comput. Sci. 373(1-2): 115-141 (2007) - [c6]Angelo Montanari, Gabriele Puppis:
A Contraction Method to Decide MSO Theories of Deterministic Trees. LICS 2007: 141-150 - [c5]Ugo Dal Lago, Angelo Montanari, Gabriele Puppis:
On the Equivalence of Automaton-Based Representations of Time Granularities. TIME 2007: 82-93 - 2006
- [j1]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): 433-456 (2006) - 2004
- [c4]Angelo Montanari, Gabriele Puppis:
Decidability of MSO Theories of Tree Structures. FSTTCS 2004: 434-446 - [c3]Davide Bresolin, Angelo Montanari, Gabriele Puppis:
Time Granularities and Ultimately Periodic Automata. JELIA 2004: 513-525 - [c2]Angelo Montanari, Gabriele Puppis:
Decidability of the Theory of the Totally Unbounded omega-Layered Structure. TIME 2004: 156-160 - 2003
- [c1]Ugo Dal Lago, Angelo Montanari, Gabriele Puppis:
Towards Compact and Tractable Automaten-Based Representations of Time Granularities. ICTCS 2003: 72-85
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
