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

Regular Symmetry Patterns., , , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 455-475. Springer, (2016)String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version)., and . CoRR, (2015)Regular Symmetry Patterns (Technical Report)., , , and . CoRR, (2015)Complexity Analysis of Tree Share Structure., , and . APLAS, volume 11275 of Lecture Notes in Computer Science, page 89-108. Springer, (2018)String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report)., , , , and . CoRR, (2020)Probabilistic Bisimulation for Parameterized Systems (Technical Report)., , , and . CoRR, (2020)Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)., , , , and . CoRR, (2023)String constraints with concatenation and transducers solved efficiently., , , , and . Proc. ACM Program. Lang., 2 (POPL): 4:1-4:32 (2018)Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems., and . AAMAS, page 1254-1262. ACM, (2021)Regular Model Checking Revisited., and . Model Checking, Synthesis, and Learning, volume 13030 of Lecture Notes in Computer Science, page 97-114. Springer, (2021)