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 decidability of recursive weighted logics., , and . Soft Comput., 22 (4): 1085-1102 (2018)A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents., , and . Int. J. Found. Comput. Sci., 19 (5): 1199-1221 (2008)Partial Knowledge in Membrane Systems: A Logical Approach., and . Workshop on Membrane Computing, volume 4361 of Lecture Notes in Computer Science, page 279-297. Springer, (2006)Converging from branching to linear metrics on Markov chains., , , and . Math. Struct. Comput. Sci., 29 (1): 3-37 (2019)A Hemimetric Extension of Simulation for Semi-Markov Decision Processes., , , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 339-355. Springer, (2018)Computing Probabilistic Bisimilarity Distances for Probabilistic Automata., , , , , and . Log. Methods Comput. Sci., (2021)Stochastic Pi-calculus Revisited., and . ICTAC, volume 8049 of Lecture Notes in Computer Science, page 1-21. Springer, (2013)Probabilistic Mu-Calculus: Decidability and Complete Axiomatization., , and . FSTTCS, volume 65 of LIPIcs, page 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)A Complete Approximation Theory for Weighted Transition Systems., , , , and . SETTA, volume 9984 of Lecture Notes in Computer Science, page 213-228. (2016)Quantitative Algebraic Reasoning., , and . LICS, page 700-709. ACM, (2016)