Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
Publikationer
- 5 Konferenceartikel i proceeding
-
On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
Jensen, N. Ø., Larsen, K. G., Lime, D. & Srba, J., 18 aug. 2025, 36th International Conference on Concurrency Theory, CONCUR 2025. Bouyer, P. & van de Pol, J. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19 s. 25. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 348).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 !!Link opens in a new tab Citationer (Scopus)8 Downloads (Pure) -
Token Elimination in Model Checking of Petri Nets
Jensen, N. Ø., Larsen, K. G. & Srba, J., 1 maj 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (red.). Springer, s. 211-230 20 s. (Lecture Notes in Computer Science (LNCS), Bind 15696).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil2 !!Link opens in a new tab Citationer (Scopus)7 Downloads (Pure) -
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 sep. 2023, Proceedings af the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). Italien: Open Publishing Association, Bind 390. s. 99-114 16 s. (Electronic Proceedings in Theoretical Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil2 !!Link opens in a new tab Citationer (Scopus)76 Downloads (Pure) -
Dynamic Extrapolation in Extended Timed Automata
Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 nov. 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (red.). Springer, s. 83-99 17 s. (Lecture Notes in Computer Science, Bind 14308).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Fil1 !!Link opens in a new tab Citationer (Scopus)74 Downloads (Pure) -
Generation of Realistic Activity Scenarios for SUMO
Carlsen, F. B. Ø., Jenner Rasmussen, J., Sørensen, M. M., Jensen, N. Ø. & Albano, M., 7 dec. 2020, MobiQuitous '20: MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Association for Computing Machinery (ACM), s. 357–365Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang1 !!Link opens in a new tab Citationer (Scopus)