( en | de | ru )

 

Disambiguation of "Mardare, Radu"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning About Bounds in Weighted Transition Systems.

, , , , and . CoRR, (2017)

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.

Florin Radu

Georgeta Radu

Adolf Radusch

Hans-Joachim Raduach

Konrad Radunski

 

Other publications of authors with the same name

Free complete Wasserstein algebras., , and . CoRR, (2018)Model Checking Biological Systems Described Using Ambient Calculus., , , and . CMSB, volume 3082 of Lecture Notes in Computer Science, page 85-103. Springer, (2004)Fixed-Points for Quantitative Equational Logics., , and . LICS, page 1-13. IEEE, (2021)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)An Observer-Based de-Quantisation of Deutsch's Algorithm., , and . Int. J. Found. Comput. Sci., 22 (1): 191-201 (2011)Complete proof systems for weighted modal logic., and . Theor. Comput. Sci., (2014)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)On-the-Fly Exact Computation of Bisimilarity Distances., , , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 1-15. Springer, (2013)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)A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents., , and . Int. J. Found. Comput. Sci., 19 (5): 1199-1221 (2008)