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

On the universal and existential fragments of the mu-calculus., , and . Theor. Comput. Sci., 354 (2): 173-186 (2006)Reachability in Continuous Pushdown VASS., , , and . CoRR, (2023)Parameterized Verification of Asynchronous Shared-Memory Systems., , and . J. ACM, 63 (1): 10 (2016)The computability of LQR and LQG control., and . HSCC, page 5:1-5:7. ACM, (2021)A Game-Theoretic Account of Responsibility Allocation., , and . IJCAI, page 1773-1779. ijcai.org, (2021)Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols)., , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 455-474. Springer, (2019)Algorithms for Game Metrics., , , and . FSTTCS, volume 2 of LIPIcs, page 107-118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2008)Scalable testing of file system checkers., , , and . EuroSys, page 239-252. ACM, (2012)Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 27 (10): 1751-1760 (2008)The software model checker Blast., , , and . Int. J. Softw. Tools Technol. Transf., 9 (5-6): 505-525 (2007)