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

Specifying graph languages with type graphs., , and . J. Log. Algebraic Methods Program., (2019)A Graph Rewriting Semantics for the Polyadic Calculus.. ICALP Satellite Workshops, page 451-458. Carleton Scientific, Waterloo, Ontario, Canada, (2000)Up-to techniques for behavioural metrics via fibrations., , and . Math. Struct. Comput. Sci., 33 (4-5): 182-221 (2023)Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras., , , , , , and . CoRR, (2023)Graded Monads and Behavioural Equivalence Games., , , , and . LICS, page 61:1-61:13. ACM, (2022)Fixpoint Theory - Upside Down., , , and . Log. Methods Comput. Sci., (2023)Stochastic Decision Petri Nets., , , , and . Petri Nets, volume 13929 of Lecture Notes in Computer Science, page 264-285. Springer, (2023)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)How Random Is Social Behaviour? Disentangling Social Complexity through the Study of a Wild House Mouse Population., , , and . PLoS Comput. Biol., (2012)