( en | de | ru )

 

Disambiguierung von "Larsen, Kim G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing Spreadsheets for Parallel Execution via Model Checking.

, , , , und . Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 27-35. Springer, (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.

Claudia Larsen

Larsen Schütte

Patrick Larsen

Reinhard Larsen

Jürgen Larsen

 

Weitere Publikationen von Autoren mit dem selben Namen

Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL.. MODELSWARD, Seite IS-11. SciTePress, (2014)UPPAAL - present and future., , , , , und . CDC, Seite 2881-2886. IEEE, (2001)Modelling and analysis of a collision avoidance protocol using Spin and Uppaal., , und . The Spin Verification System, Volume 32 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 33-49. DIMACS/AMS, (1996)Hierarchical identification of nonlinear hybrid systems in a Bayesian framework., , , und . Inf. Comput., 289 (Part): 104947 (2022)Probabilistic Extensions of Process Algebras., , und . Handbook of Process Algebra, North-Holland / Elsevier, (2001)A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems., , , und . ADHS, Volume 54 von IFAC-PapersOnLine, Seite 259-264. Elsevier, (2021)Unrestricted stone duality for Markov processes., , , , und . LICS, Seite 1-9. IEEE Computer Society, (2017)Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods., , , , , und . LICS, Seite 1-14. IEEE, (2021)Online and Compositional Learning of Controllers with Application to Floor Heating., , , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 244-259. Springer, (2016)Stubborn Set Reduction for Timed Reachability and Safety Games., , , , und . FORMATS, Volume 12860 von Lecture Notes in Computer Science, Seite 32-49. Springer, (2021)