Monika Heiner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1998–2018
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | WSC | An Improved simulation of Hybrid biological Models with Many stochastic Events and quasi-Disjoint Subnets. | Mostafa Herajy, Monika Heiner |
| 2012 | WSC | An efficient method for unfolding colored Petri nets. | Fei Liu, Monika Heiner, Ming Yang |
| 2002 | SAFECOMP | A Problem-Oriented Approach to Common Criteria Certification. | Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner |
| 1999 | SAFECOMP | Modeling Safety-Critical Systems with Z and Petri Nets. | Monika Heiner, Maritta Heisel |
| 1998 | SMC | Instruction list verification using a Petri net semantics. | Monika Heiner, Thomas Menzel |