Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Axiomatizability of Quantitative Algebras., , und . CoRR, (2018)Quantum weakest preconditions., und . Math. Struct. Comput. Sci., 16 (3): 429-451 (2006)Metrics for Labeled Markov Systems., , , und . CONCUR, Volume 1664 von Lecture Notes in Computer Science, Seite 258-273. Springer, (1999)A categorical characterization of relative entropy on Polish spaces., und . CoRR, (2017)Quantum Alternation: Prospects and Problems., und . QPL, Volume 195 von EPTCS, Seite 33-42. (2015)Semantic Foundations of Concurrent Constraint Programming., , und . POPL, Seite 333-352. ACM Press, (1991)Stochastic Processes as Concurrent Constraint Programs., , und . POPL, Seite 189-202. ACM, (1999)A Relational Model of Non-deterministic Dataflow., , und . CONCUR, Volume 1466 von Lecture Notes in Computer Science, Seite 613-628. Springer, (1998)The Expressive Power of Indeterminate Primitives in Asynchronous Computation.. FSTTCS, Volume 1026 von Lecture Notes in Computer Science, Seite 124-150. Springer, (1995)Approximating Markov Processes by Averaging., , , und . ICALP (2), Volume 5556 von Lecture Notes in Computer Science, Seite 127-138. Springer, (2009)