Oliver Steen Bak
  • Selma Lagerløfs Vej 300

    9220 Aalborg Øst

    Denmark

20232025

Research activity 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.
  • 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. (eds.). Springer Science+Business Media, Vol. 15261. p. 267-292 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 15261 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • 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., Mikucionis, M., Muniz Rodriguez, M. A. & Windfeld, A., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 267-292 26 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • BinChill: A Metagenomic Binning Ensemble Method

    Bak, O. S., Jensen, M. D., Trudslev, F. M., Windfeld, A. & Lamurias, A., 2023, In: IEEE Access. 11, p. 49561-49577 17 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

    Open Access
    File
    1 Citation (Scopus)
    19 Downloads (Pure)