Publikationer per år
Publikationer per år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Frederik Meyer Bønneland er aktiv.
- 1 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
-
Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs
Abdulla, P. A., Atig, M. F., Bønneland, F. M., Das, S., Jonsson, B., Lång, M. & Sagonas, K., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (red.). Springer, s. 176-198 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14216 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
3 Link åbnes på en ny fane Citationer (Scopus) -
Stubborn Set Reduction for Timed Reachability and Safety Games
Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (red.). Springer, Bind 12860. s. 32-49 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12860 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
2 Link åbnes på en ny fane Citationer (Scopus) -
Stubborn Set Reduction for Two-Player Reachability Games
Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 1 mar. 2021, I: Logical Methods in Computer Science. 17, 1Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang7 Link åbnes på en ny fane Citationer (Scopus) -
Time For Stubborn Game Reductions
Bønneland, F. M., 2021, Aalborg Universitetsforlag. 165 s.Publikation: Ph.d.-afhandling
Åben adgangFil339 Downloads (Pure) -
Partial order reduction for reachability games
Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., aug. 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 140).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil11 Link åbnes på en ny fane Citationer (Scopus)146 Downloads (Pure)