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

Safety alternating automata on data words.. ACM Trans. Comput. Log., 12 (2): 10:1-10:24 (2011)The ideal view on Rackoff's coverability technique., and . Inf. Comput., (2021)When is Containment Decidable for Probabilistic Automata?., , , , , and . ICALP, volume 107 of LIPIcs, page 121:1-121:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Model Checking Freeze LTL over One-Counter Automata., , and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 490-504. Springer, (2008)Contextual Approximation and Higher-Order Procedures., and . FoSSaCS, volume 9634 of Lecture Notes in Computer Science, page 162-179. Springer, (2016)KReach: A Tool for Reachability in Petri Nets., and . TACAS (1), volume 12078 of Lecture Notes in Computer Science, page 405-412. Springer, (2020)The Covering and Boundedness Problems for Branching Vector Addition Systems., , , and . FSTTCS, volume 4 of LIPIcs, page 181-192. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2009)Verification column.. ACM SIGLOG News, 5 (3): 66 (2018)The reachability problem for branching vector addition systems requires doubly-exponential space.. Inf. Process. Lett., 110 (17): 740-745 (2010)Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets., , , , and . FORMATS, volume 5215 of Lecture Notes in Computer Science, page 63-77. Springer, (2008)