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

Iterative Circular Coinduction for CoCASL in Isabelle/HOL, , and . Fundamental Approaches to Software Engineering 2005, volume 3442 of Lecture Notes in Computer Science, page 341-356. Springer; Berlin; http://www.springer.de, (2005)Generic Model Checking for Modal Fixpoint Logics in COOL-MC., , , , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 171-185. Springer, (2024)Quasipolynomial Computation of Nested Fixpoints., and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 38-56. Springer, (2021)Fair ømega-Regular Games., , , and . FoSSaCS (1), volume 14574 of Lecture Notes in Computer Science, page 13-33. Springer, (2024)A Coalgebraic Approach to the Semantics of the Ambient Calculus, , and . Theoretical Computer Science, 366 (1-2): 121-143 (2006)Extends (Hausmann et al. 2005).Computing Nested Fixpoints in Quasipolynomial Time., and . CoRR, (2019)Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL., , and . CoRR, (2023)Generic Model Checking for Modal Fixpoint Logics in COOL-MC., , , , and . CoRR, (2023)Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi., and . CoRR, (2022)A Linear-Time Nominal μ-Calculus with Name Allocation., , and . MFCS, volume 202 of LIPIcs, page 58:1-58:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)