Author of the publication

Which XML Schemas Admit 1-Pass Preorder Typing?

, , and . ICDT, volume 3363 of Lecture Notes in Computer Science, page 68-82. Springer, (2005)

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

Simplifying XML Schema: Single-type approximations of regular tree languages., , , , and . J. Comput. Syst. Sci., 79 (6): 910-936 (2013)The tractability frontier for NFA minimization., and . J. Comput. Syst. Sci., 78 (1): 198-210 (2012)Logik und Automaten: ein echtes Dreamteam., , , and . Informatik Spektrum, 33 (5): 452-461 (2010)The ICDT 2014 Test of Time Award., , and . ICDT, page 257. OpenProceedings.org, (2014)Efficient algorithms for descendant-only tree pattern queries., , and . Inf. Syst., 34 (7): 602-623 (2009)Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)., , , , , , , , , and 11 other author(s). Dagstuhl Manifestos, 7 (1): 1-29 (2018)A Characterization for Decidable Separability by Piecewise Testable Languages., , , , and . Discrete Mathematics & Theoretical Computer Science, (2017)Enumeration Problems for Regular Path Queries., and . CoRR, (2017)A Note on Decidable Separability by Piecewise Testable Languages., and . CoRR, (2014)Chisel: Sculpting Tabular and Non-Tabular Data on the Web., , , and . WWW (Companion Volume), page 139-142. ACM, (2018)