Author of the publication

Decidable Extensions of Hennessy-Milner Logic.

, and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 196-211. Springer, (2006)

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.

No persons found for author name Mardare, Radu
add a person with the name Mardare, Radu
 

Other publications of authors with the same name

Converging from branching to linear metrics on Markov chains., , , and . Mathematical Structures in Computer Science, 29 (1): 3-37 (2019)A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents., , and . Int. J. Found. Comput. Sci., 19 (5): 1199-1221 (2008)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)Stochastic Pi-calculus Revisited., and . ICTAC, volume 8049 of Lecture Notes in Computer Science, page 1-21. Springer, (2013)Quantitative Algebraic Reasoning., , and . LICS, page 700-709. ACM, (2016)A Complete Approximation Theory for Weighted Transition Systems., , , , and . SETTA, volume 9984 of Lecture Notes in Computer Science, page 213-228. (2016)Probabilistic Mu-Calculus: Decidability and Complete Axiomatization., , and . FSTTCS, volume 65 of LIPIcs, page 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)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)Topologies of Stochastic Markov Models: Computational Aspects., , , and . CoRR, (2014)Reasoning About Bounds in Weighted Transition Systems., , , , and . CoRR, (2017)