Author of the publication

Finite state machines for strings over infinite alphabets.

, , and . ACM Trans. Comput. Log., 5 (3): 403-435 (2004)

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.

 

Other publications of authors with the same name

On the power of tree-walking automata., and . Inf. Comput., 183 (1): 86-103 (2003)A formal model for an expressive fragment of XSLT., , and . Inf. Syst., 27 (1): 21-39 (2002)Simplifying XML Schema: Single-type approximations of regular tree languages., , , , and . J. Comput. Syst. Sci., 79 (6): 910-936 (2013)Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)., , , , , , , , , and 11 other author(s). Dagstuhl Manifestos, 7 (1): 1-29 (2018)Finite state machines for strings over infinite alphabets., , and . ACM Trans. Comput. Log., 5 (3): 403-435 (2004)Automata-and Logic-Based Pattern Languages for Tree-Structured Data., and . Semantics in Databases, volume 2582 of Lecture Notes in Computer Science, page 160-178. Springer, (2001)Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics., , and . ICDT, volume 98 of LIPIcs, page 18:1-18:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Which XML Schemas Admit 1-Pass Preorder Typing?, , and . ICDT, volume 3363 of Lecture Notes in Computer Science, page 68-82. Springer, (2005)Automata for Unary Queries on Trees., and . Grundlagen von Datenbanken, volume Math/Inf/99/16 of Jeaner Schriften zur Mathematik und Informatik, page 102-106. Friedrich-Schiller-Universität Jena, (1999)Chisel: Sculpting Tabular and Non-Tabular Data on the Web., , , and . WWW (Companion Volume), page 139-142. ACM, (2018)