Time For Stubborn Game Reductions

Originalsprog	Engelsk

Forlag	Aalborg Universitetsforlag
Antal sider	165
ISBN (Elektronisk)	978-87-7210-907-7
Status	Udgivet - 2021

Navn	Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet
ISSN	2446-1628

Bibliografisk note

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

Adgang til dokumentet

• PHD_FMB_E-pdfForlagets udgivne version, 1,73 MB

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

• 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

  • Reduction 100%
  • Partial Order Reduction 100%
  • Order 100%
  • Reachability 66%
  • Inhibitor 66%
  6 Citationer (Scopus)

  38 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

  • Reduction (Chemistry) 100%
  • Reduction 87%
  • Tool 50%
  • State Space 37%
  • Algorithm 12%
  9 Citationer (Scopus)

  52 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. Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet

Bønneland, Frederik Meyer. / Time For Stubborn Game Reductions. Aalborg Universitetsforlag, 2021. 165 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

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

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. Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet, Aalborg Universitetsforlag.

Time For Stubborn Game Reductions. / Bønneland, Frederik Meyer.

Aalborg Universitetsforlag, 2021. 165 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling

TY - BOOK

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

M3 - Ph.D. thesis

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

BT - Time For Stubborn Game Reductions

PB - Aalborg Universitetsforlag

ER -

Bønneland FM. Time For Stubborn Game Reductions. Aalborg Universitetsforlag, 2021. 165 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).