Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
PatilKulakarni, S.
Claudia Calabrese
Hao Mao
Peter Malec
Leandro Ferrareis
Xiaotao Wu
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MIKAEL H. MØLLER
Author Info
Open Visualization
Name
Affiliation
Papers
MIKAEL H. MØLLER
Aalborg University, Denmark
10
Collaborators
Citations
PageRank
18
68
4.78
Referers
Referees
References
126
261
209
Search Limit
100
261
Publications (10 rows)
Collaborators (18 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Refinement checking on parametric modal transition systems.
2
0.36
2015
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets.
4
0.39
2013
Channel properties of asynchronously composed petri nets
4
0.41
2013
Compositional verification of real-time systems using Ecdar.
9
0.44
2012
Dual-Priced modal transition systems with time durations
8
0.47
2012
TAPAAL 2.0: integrated development environment for timed-arc petri nets
3
0.43
2012
Verification of timed-arc Petri nets
17
0.88
2011
Parametric modal transition systems
14
0.54
2011
A framework for relating timed transition systems and preserving TCTL model checking
4
0.42
2010
Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants
3
0.43
2009
1