PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Mardare, Radu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Observer-Based de-Quantisation of Deutsch's Algorithm.

, , und . Int. J. Found. Comput. Sci., 22 (1): 191-201 (2011)

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.

Keine Personen gefunden für den Autorennamen Mardare, Radu
Eine Person hinzufügen mit dem Namen Mardare, Radu
 

Weitere Publikationen von Autoren mit dem selben Namen

Converging from branching to linear metrics on Markov chains., , , und . Mathematical Structures in Computer Science, 29 (1): 3-37 (2019)A Complete Approximation Theory for Weighted Transition Systems., , , , und . SETTA, Volume 9984 von Lecture Notes in Computer Science, Seite 213-228. (2016)Probabilistic Mu-Calculus: Decidability and Complete Axiomatization., , und . FSTTCS, Volume 65 von LIPIcs, Seite 25:1-25:18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents., , und . Int. J. Found. Comput. Sci., 19 (5): 1199-1221 (2008)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)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)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 Decidable Recursive Logic for Weighted Transition Systems., , und . ICTAC, Volume 8687 von Lecture Notes in Computer Science, Seite 460-476. Springer, (2014)Boolean-Valued Semantics for the Stochastic λ-Calculus., , , , , und . LICS, Seite 669-678. ACM, (2018)