PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Puppis, Gabriele"

Author of the publication

copydeleteadd this publication to your clipboard
Compact and tractable automaton-based representations of time granularities.

, , and . Theor. Comput. Sci., 373 (1-2): 115-141 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. rer. nat. Gabriele Erhardt University of Stuttgart

Dr. -Ing. Gabriele Hartmann University of Stuttgart

Sophie-Gabriele Schroth-Schreiner University of Stuttgart

 

Other publications of authors with the same name

Walking on Data Words., , and . Theory Comput. Syst., 59 (2): 180-208 (2016)Games, Automata, Logics, and Formal Verification (GandALF 2013)., , and . Inf. Comput., (2015)Bounded repairability for regular tree languages., , and . ICDT, page 155-168. ACM, (2012)Positive higher-order queries., , and . PODS, page 27-38. ACM, (2010)Untwisting two-way transducers in elementary time., , , and . LICS, page 1-12. IEEE Computer Society, (2017)A decidable weakening of Compass Logic based on cone-shaped cardinal directions., , and . Logical Methods in Computer Science, (2015)Which XML Schemas are Streaming Bounded Repairable?, , and . Theory Comput. Syst., 57 (4): 1250-1321 (2015)Querying Visible and Invisible Tables in the Presence of Integrity Constraints., , , and . CoRR, (2015)On the Decomposition of Finite-Valued Streaming String Transducers., , , and . STACS, volume 66 of LIPIcs, page 34:1-34:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)One-way Definability of Sweeping Transducer., , , and . FSTTCS, volume 45 of LIPIcs, page 178-191. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)