Autor der Publikation

Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata.

, und . CONCUR, Volume 118 von LIPIcs, Seite 9:1-9:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

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

Towards model checking of computer games with Java PathFinder., und . GAS@ICSE, Seite 15-21. IEEE Computer Society, (2013)Modelling and verifying web service orchestration by means of the concurrency workbench., und . ACM SIGSOFT Softw. Eng. Notes, 29 (5): 1-10 (2004)Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains., und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 681-699. Springer, (2018)Addendum to "Recursively defined metric spaces without contraction" TCS 380 (1/2) (2007) 143-163., , , und . Theor. Comput. Sci., (2013)Failures, finiteness and full abstraction.. MFPS, Volume 6 von Electronic Notes in Theoretical Computer Science, Seite 391-408. Elsevier, (1997)Deciding probabilistic bisimilarity distance one for probabilistic automata., und . J. Comput. Syst. Sci., (2020)An introduction to metric semantics: operational and denotational models for programming and specification languages.. Theor. Comput. Sci., 258 (1-2): 1-98 (2001)Probabilistic bisimilarity distances.. ACM SIGLOG News, 4 (4): 33-51 (2017)Preface., und . QAPL, Volume 190 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2007)Measuring Progress of Probabilistic LTL Model Checking, und . QAPL, Volume 85 von EPTCS, Seite 33-47. (2012)