( en | de | ru )

 

Disambiguation of "Mardare, Radu"

Author of the publication

copydeleteadd this publication to your clipboard
A Complete Approximation Theory for Weighted Transition Systems.

, , , , and . SETTA, volume 9984 of Lecture Notes in Computer Science, page 213-228. (2016)

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.

Adolf Radusch

Hans-Joachim Raduach

Florin Radu

Konrad Radunski

Georgeta Radu

 

Other publications of authors with the same name

An Observer-Based de-Quantisation of Deutsch's Algorithm., , and . Int. J. Found. Comput. Sci., 22 (1): 191-201 (2011)Model Checking Biological Systems Described Using Ambient Calculus., , , and . CMSB, volume 3082 of Lecture Notes in Computer Science, page 85-103. Springer, (2004)Free complete Wasserstein algebras., , and . CoRR, (2018)Fixed-Points for Quantitative Equational Logics., , and . LICS, page 1-13. IEEE, (2021)Complete proof systems for weighted modal logic., and . Theor. Comput. Sci., (2014)The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models., , , and . QEST, volume 8054 of Lecture Notes in Computer Science, page 278-281. Springer, (2013)On-the-Fly Exact Computation of Bisimilarity Distances., , , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 1-15. Springer, (2013)Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas., , and . CSL, volume 12 of LIPIcs, page 144-158. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Logical analysis of complex systems.. University of Trento, Italy, (2006)Observing Distributed Computation. A Dynamic-Epistemic Approach.. CALCO, volume 4624 of Lecture Notes in Computer Science, page 379-393. Springer, (2007)