Time For Stubborn Game Reductions

Frederik Meyer Bønneland

Publikation: Ph.d.-afhandling

314 Downloads (Pure)

Originalsprog	Engelsk
Vejledere	Srba, Jiri, Hovedvejleder Larsen, Kim Guldstrand, Hovedvejleder
Udgiver	Aalborg Universitetsforlag
ISBN'er, elektronisk	978-87-7210-907-7
DOI	https://doi.org/10.54337/aau429765826
Status	Udgivet - 2021

Bibliografisk note

PhD supervisors:
Professor Jiri Srba, Aalborg University
Professor Kim Guldstrand Larsen, Aalborg University

Adgang til dokumentet

10.54337/aau429765826

PHD_FMB_E-pdfForlagets udgivne version, 1,73 MB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

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, 1
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang

6 Link åbnes på en ny fane Citationer (Scopus)
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 adgang
Fil
10 Link åbnes på en ny fane Citationer (Scopus)

129 Downloads (Pure)
Stubborn versus structural reductions for Petri nets
Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, I: Journal of Logic and Algebraic Programming. 102, s. 46-63 18 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
19 Link åbnes på en ny fane Citationer (Scopus)

127 Downloads (Pure)

Citationsformater

@misc{4fdd9a68a8c44f2197e98aa3356abfae,

title = "Time For Stubborn Game Reductions",

author = "B{\o}nneland, \{Frederik Meyer\}",

note = "PhD supervisors: Professor Jiri Srba, Aalborg University Professor Kim Guldstrand Larsen, Aalborg University",

year = "2021",

doi = "10.54337/aau429765826",

language = "English",

series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

address = "Denmark",

}

TY - GEN

T1 - Time For Stubborn Game Reductions

AU - Bønneland, Frederik Meyer

N1 - PhD supervisors: Professor Jiri Srba, Aalborg University Professor Kim Guldstrand Larsen, Aalborg University

PY - 2021

Y1 - 2021

U2 - 10.54337/aau429765826

DO - 10.54337/aau429765826

M3 - PhD thesis

T3 - Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet

PB - Aalborg Universitetsforlag

ER -