Nicolaj Østerby Jensen

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics
Jensen, N. Ø., Carlsen, F. B. Ø., Sørensen, M. M., Jenner Rasmussen, J., Frydenskov, L. B. P., Jensen, M. C., Larsen, K. G. & Weirsøe, A. G., 30 sep. 2023, Games, Automata, Logics, and Formal Verification. Italien: Open Publishing Association, Bind 390. s. 99-114 16 s.
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
Dynamic Extrapolation in Extended Timed Automata
Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 nov. 2023, International Conference on Formal Engineering Methods. Springer, Bind 14308. s. 83-99 16 s. (Lecture Notes in Computer Science, Bind 14308).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
2 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, s. 357–365
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang