( en | de | ru )

 

Disambiguierung von "Mardare, Radu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents.

, , und . Int. J. Found. Comput. Sci., 19 (5): 1199-1221 (2008)

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

Georgeta Radu

Florin Radu

Konrad Radunski

 

Weitere Publikationen von Autoren mit dem selben Namen

A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents., , und . Int. J. Found. Comput. Sci., 19 (5): 1199-1221 (2008)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)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)Quantitative Algebraic Reasoning., , und . LICS, Seite 700-709. ACM, (2016)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)Converging from branching to linear metrics on Markov chains., , , und . Math. Struct. Comput. Sci., 29 (1): 3-37 (2019)On decidability of recursive weighted logics., , und . Soft Comput., 22 (4): 1085-1102 (2018)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)