Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Terence M. Sloan
Claudia Calabrese
Marcus Ciolkowski
Fahad Ahmed Al-Zahrani
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
FREDERIK BØNNELAND
Author Info
Open Visualization
Name
Affiliation
Papers
FREDERIK BØNNELAND
Aalborg University
1
Collaborators
Citations
PageRank
4
0
0.34
Referers
Referees
References
0
37
14
Publications (1 rows)
Collaborators (4 rows)
Referers (0 rows)
Referees (37 rows)
Title
Citations
PageRank
Year
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets.
0
0.34
2018
1