Author of the publication

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

Logik und Automaten: ein echtes Dreamteam., , , and . Informatik Spektrum, 33 (5): 452-461 (2010)The descriptive complexity approach to LOGCFL, , , and . CoRR, (1998)Complexity of Hybrid Logics over Transitive Frames, , , and . CoRR, (2008)Feasible Automata for Two-Variable Logic with Successor on Data Words, , and . CoRR, (2011)Finite state machines for strings over infinite alphabets., , and . ACM Trans. Comput. Log., 5 (3): 403-435 (2004)Feasible Automata for Two-Variable Logic with Successor on Data Words., , and . LATA, volume 7183 of Lecture Notes in Computer Science, page 351-362. Springer, (2012)Partially-Ordered Two-Way Automata: A New Characterization of DA., , and . Developments in Language Theory, volume 2295 of Lecture Notes in Computer Science, page 239-250. Springer, (2001)On the Hybrid Extension of CTL and CTL+., , , and . MFCS, volume 5734 of Lecture Notes in Computer Science, page 427-438. Springer, (2009)On the Quantifier-Free Dynamic Complexity of Reachability., and . MFCS, volume 8087 of Lecture Notes in Computer Science, page 837-848. Springer, (2013)Which XML Schemas Admit 1-Pass Preorder Typing?, , and . ICDT, volume 3363 of Lecture Notes in Computer Science, page 68-82. Springer, (2005)