Time For Stubborn Game Reductions

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

Publikation

Publikationer pr. år 2018 2018 2019 2021 2021

• 3 Konferenceartikel i proceeding
• 2 Tidsskriftartikel

Publikationer pr. år

Publikationer pr. år

• 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
  5 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

  • Partial Order Reduction 100%
  • State Space 33%
  • Transition System 33%
  • Concurrent System 33%
  • Model Checking 33%
  9 Citationer (Scopus)

  70 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

  • Reachability 100%
  • Petri Net 100%
  • Annuals 100%
  • Petri Net Tool 33%
  • Significant State 33%
  17 Citationer (Scopus)

  88 Downloads (Pure)

Se alle 5 publikationer

Citationsformater

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Bønneland, F. M. (2021). Time For Stubborn Game Reductions. Aalborg Universitetsforlag. https://doi.org/10.54337/aau429765826

Bønneland, Frederik Meyer. / Time For Stubborn Game Reductions. Aalborg Universitetsforlag, 2021. 165 s.

@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",

}

Bønneland, FM 2021, 'Time For Stubborn Game Reductions'. https://doi.org/10.54337/aau429765826

Time For Stubborn Game Reductions. / Bønneland, Frederik Meyer.
Aalborg Universitetsforlag, 2021. 165 s.

Publikation: Ph.d.-afhandling

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 -

Bønneland FM. Time For Stubborn Game Reductions. Aalborg Universitetsforlag, 2021. 165 s. doi: 10.54337/aau429765826