( en | de | ru )

 

Disambiguierung von "Larsen, Kim G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics.

, , , , , , , und . GandALF, Volume 390 von EPTCS, Seite 99-114. (2023)

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.

Patrick Larsen

Claudia Larsen

Jürgen Larsen

Reinhard Larsen

Larsen Schütte

 

Weitere Publikationen von Autoren mit dem selben Namen

Priced Timed Automata: Theory and Tools.. FSTTCS, Volume 4 von LIPIcs, Seite 417-425. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2009)Models, Mindsets, Meta: The What, the How, and the Why Not?, , und . Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 3-13. Springer, (2018)Optimality-preserving Reduction of Chemical Reaction Networks., , , , und . CoRR, (2023)Simulation Relations and Applications in Formal Methods., , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 272-291. Springer, (2022)Efficient Guiding Towards Cost-Optimality in UPPAAL., , , , , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 174-188. Springer, (2001)Optimizing the resource requirements of hierarchical scheduling systems., , , , , , , und . SIGBED Rev., 13 (3): 41-48 (2016)On-the-Fly Computation of Bisimilarity Distances., , , und . Log. Methods Comput. Sci., (2017)Timed automata with observers under energy constraints., , , und . HSCC, Seite 61-70. ACM, (2010)Formal Methods Meet Machine Learning (F3ML)., , , , , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 393-405. Springer, (2022)Quantitative Refinement for Weighted Modal Transition Systems., , , , , und . MFCS, Volume 6907 von Lecture Notes in Computer Science, Seite 60-71. Springer, (2011)