Billede af Oliver Steen Bak
  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Danmark

20232025

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2025

    GPU Accelerating Statistical Model Checking for Extended Timed Automata

    Bak, O. S., Christiansen, M. W. B., Eriksen, O. V., Feo-Arenis, S., Jensen, P. G., Jensen, M. D., Juozapaitis, S., Larsen, K. G., Mikučionis, M., Muñiz, M. & Windfeld, A., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (red.). Springer Science+Business Media, Bind 15261. s. 267-292 26 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15261 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review