( en | de | ru )

 

Disambiguierung von "Larsen, Kim G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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.

Jürgen Larsen

Reinhard Larsen

Patrick Larsen

Claudia Larsen

Larsen Schütte

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Based Verification and Analysis for Real-Time Systems., , und . Software and Systems Safety - Specification and Verification, Volume 30 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach., , und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 517-535. Springer, (2020)Topologies of Stochastic Markov Models: Computational Aspects., , , und . CoRR, (2014)Efficient Simulation of Quantum Circuits by Model Order Reduction., , , und . CoRR, (2023)2018 CAV award., , , und . Formal Methods Syst. Des., 57 (1): 116-117 (2021)Automata Learning Meets Shielding., , , , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 335-359. Springer, (2022)Formal validation of supervisory energy management systems for microgrids., , , , , und . IECON, Seite 1154-1159. IEEE, (2017)Lower-bound-constrained runs in weighted timed automata., , und . Perform. Evaluation, (2014)Preface: Dedicated to the memory of Zoltán Ésik (1951-2016)., und . Soft Comput., 22 (4): 1033 (2018)Compositional bisimulation metric reasoning with Probabilistic Process Calculi., , und . Log. Methods Comput. Sci., (2016)