( en | de | ru )

 

Disambiguierung von "Larsen, Kim G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compositional bisimulation metric reasoning with Probabilistic Process Calculi.

, , und . Log. Methods Comput. Sci., (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

Topologies of Stochastic Markov Models: Computational Aspects., , , und . CoRR, (2014)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)2018 CAV award., , , und . Formal Methods Syst. Des., 57 (1): 116-117 (2021)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)Efficient Simulation of Quantum Circuits by Model Order Reduction., , , und . CoRR, (2023)Automata Learning Meets Shielding., , , , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 335-359. Springer, (2022)Metrics for weighted transition systems: Axiomatization and complexity., , und . Theor. Comput. Sci., 412 (28): 3358-3369 (2011)Extending modal transition systems with structured labels., , , , und . Math. Struct. Comput. Sci., 22 (4): 581-617 (2012)A modal specification theory for components with data., , , , und . Sci. Comput. Program., (2014)L*-based learning of Markov decision processes (extended version)., , , , und . Formal Aspects Comput., 33 (4-5): 575-615 (2021)