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

The metric linear-time branching-time spectrum on nondeterministic probabilistic processes., , and . Theor. Comput. Sci., (2020)Logical Characterization of Bisimulation Metrics., , and . QAPL, volume 227 of EPTCS, page 44-62. (2016)SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes., , and . Logical Methods in Computer Science, (2018)On the axiomatisability of priority III: Priority strikes again., , , , , and . Theor. Comput. Sci., (2020)On the Axiomatisability of Parallel Composition., , , , and . CoRR, (2021)On the Axiomatizability of Priority III: The Return of Sequential Composition., , , , and . ICTCS, volume 2504 of CEUR Workshop Proceedings, page 145-157. CEUR-WS.org, (2019)Modal Decomposition on Nondeterministic Probabilistic Processes., , and . CONCUR, volume 59 of LIPIcs, page 36:1-36:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)A Semantic Theory for the Internet of Things., , and . CoRR, (2015)A logical characterization of differential privacy., , and . Sci. Comput. Program., (2020)Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics., , and . The Art of Modelling Computational Systems, volume 11760 of Lecture Notes in Computer Science, page 293-312. Springer, (2019)