( en | de | ru )

 

Disambiguierung von "Mardare, Radu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Quantitative Algebraic Reasoning.

, , und . LICS, Seite 700-709. ACM, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Adolf Radusch

Hans-Joachim Raduach

Florin Radu

Georgeta Radu

Konrad Radunski

 

Weitere Publikationen von Autoren mit dem selben Namen

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