Publikationer per år
Publikationer per år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Oliver Steen Bak er aktiv.
- 5 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
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, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (red.). Springer, 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 proceeding › Bidrag til bog/antologi › Forskning › peer review
2 Link åbnes på en ny fane Citationer (Scopus) -
BinChill: A Metagenomic Binning Ensemble Method
Bak, O. S., Jensen, M. D., Trudslev, F. M., Windfeld, A. & Lamurias, A., 2023, I: IEEE Access. 11, s. 49561-49577 17 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Link åbnes på en ny fane Citationer (Scopus)158 Downloads (Pure)