Billede af Nicolaj Østerby Jensen

Nicolaj Østerby Jensen

Post.Doc

 https://orcid.org/0009-0005-2359-204X

  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Danmark

20202025

Publikationer pr. år

Fingerprint

Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
  • 1 Lignende profiler
Vis fuldt fingerprint

Samarbejde i de sidste fem år

Klik på punkterne for at se detaljerne.
Udforsk netværk yderligere
  • 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, s. 25:1-25:19 19 s. 25. (Leibniz International Proceedings in Informatics, LIPIcs).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    5 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 adgang
    Fil
    2 Citationer (Scopus)
    3 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 adgang
    Fil
    2 Citationer (Scopus)
    73 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

    Fil
    1 Citationer (Scopus)
    66 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–365

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    1 Citationer (Scopus)