Concepedia

Frederik Meyer Bønneland

FM

2

Publications

33

Citations

2

H-Index

2018

Active since

Affiliations

Aalborg University(Current)

Frederik Meyer Bønneland is an author at Aalborg University specializing in formal methods, computer science, and engineering.

ORCID

Top concepts

Publications per year

2018–2019

2

Publications

2

Stubborn versus structural reductions for Petri nets

Frederik Meyer Bønneland, Jakob Dyhr, Peter Gjøl Jensen et al. · Journal of Logical and Algebraic Methods in Programming · 2018 · 20 citations

, , +5

Partial Order Reduction for Reachability Games

Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim G. Larsen et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 13 citations · Full text

, , +21

Rows per page

1–2 of 2