Research output per year
Research output per year
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations from the last five years
Dive into details by clicking on the dots.
-
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics
Carlsen, F. B. Ø., Frydenskov, L. B. P., Jensen, N. Ø., Jenner Rasmussen, J., Sørensen, M. M., Geel Weirsøe, A., Jensen, M. C. & Larsen, K. G., 30 Sept 2023, Proceedings af the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). Italien: Open Publishing Association, Vol. 390. p. 99-114 16 p. (Electronic Proceedings in Theoretical Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile24 Downloads (Pure) -
Convex Lattice Equation Systems
Bacci, G., Bacci, G., Jensen, M. C. & Larsen, K. G., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, Vol. 13660. p. 438-455 18 p. (Lecture Notes in Computer Science (LNCS)).Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review
1 Citation (Scopus) -
A complete axiomatization of weighted branching bisimulation
Jensen, M. C. & Larsen, K. G., 1 Oct 2020, In: Acta Informatica. 57, p. 689-725 37 p.Research output: Contribution to journal › Journal article › Research › peer-review
-
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs
Enevoldsen, S., Jensen, M. C., Larsen, K. G., Mariegaard, A. & Srba, J., 2020, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'20). Springer, p. 249-268 20 p. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus) -
Symbolic Model Checking of Weighted PCTL Using Dependency Graphs
Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science, Vol. 11460).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
5 Citations (Scopus)