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

Checking Regular Invariance Under Tightly-Controlled String Modifications., , and . DLT, volume 13257 of Lecture Notes in Computer Science, page 57-68. Springer, (2022)Controllers for the Verification of Communicating Multi-pushdown Systems., , and . CONCUR, volume 8704 of Lecture Notes in Computer Science, page 297-311. Springer, (2014)Deciding Conjugacy of a Rational Relation., , and . CoRR, (2023)Nested Words for Order-2 Pushdown Systems., , and . CoRR, (2016)Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers., , and . STACS, volume 289 of LIPIcs, page 5:1-5:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Reasoning About Distributed Systems: WYSIWYG (Invited Talk)., and . FSTTCS, volume 29 of LIPIcs, page 11-30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)How treewidth helps in verification.. ACM SIGLOG News, 9 (1): 6-21 (2022)On Network Topologies and the Decidability of Reachability Problem.. NETYS, volume 12129 of Lecture Notes in Computer Science, page 3-10. Springer, (2020)Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding., , , and . PODS, page 335-352. ACM, (2019)Model Checking Dynamic Distributed Systems.. NETYS, volume 9466 of Lecture Notes in Computer Science, page 48-61. Springer, (2015)