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

A Graph Rewriting Semantics for the Polyadic Calculus.. ICALP Satellite Workshops, page 451-458. Carleton Scientific, Waterloo, Ontario, Canada, (2000)Stochastic Decision Petri Nets., , , , and . Petri Nets, volume 13929 of Lecture Notes in Computer Science, page 264-285. Springer, (2023)Graded Monads and Behavioural Equivalence Games., , , , and . LICS, page 61:1-61:13. ACM, (2022)A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic., , , and . IJCAI, page 1900-1906. ijcai.org, (2019)A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java., , , , and . ICGT, volume 12150 of Lecture Notes in Computer Science, page 297-306. Springer, (2020)A Lattice-Theoretical View of Strategy Iteration., , , and . CSL, volume 252 of LIPIcs, page 7:1-7:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Monoidal View on Fixpoint Checks., , , , and . ICGT, volume 13961 of Lecture Notes in Computer Science, page 3-21. Springer, (2023)Conditional Bisimilarity for Reactive Systems., , , and . FSCD, volume 167 of LIPIcs, page 10:1-10:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Hidden Markov Models with Unobservable Transitions., , , and . Taming the Infinities of Concurrency, volume 14660 of Lecture Notes in Computer Science, page 101-121. Springer, (2024)A Lattice-Theoretical View of Strategy Iteration., , , and . CoRR, (2022)