Jakob Dyhr

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Weighted Average

Alternating Time Temporal Logic

Top Venues

J. Log. Algebraic Methods Program.

Publications

Frederik M. Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba
Stubborn versus structural reductions for Petri nets. J. Log. Algebraic Methods Program. 102 (2019)
Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. Petri Nets (2018)