| 2007 |
|---|
| 13 | EE | David Gilbert,
Monika Heiner,
Sebastian Lehrack:
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets.
CMSB 2007: 200-216 |
| 2006 |
|---|
| 12 | EE | David Gilbert,
Monika Heiner:
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis.
ICATPN 2006: 181-200 |
| 2005 |
|---|
| 11 | EE | Ina Koch,
Bjørn H. Junker,
Monika Heiner:
Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber.
Bioinformatics 21(7): 1219-1226 (2005) |
| 10 | EE | Louchka Popova-Zeugmann,
Monika Heiner,
Ina Koch:
Time Petri Nets for Modelling and Analysis of Biochemical Networks.
Fundam. Inform. 67(1-3): 149-162 (2005) |
| 2004 |
|---|
| 9 | EE | Monika Heiner,
Ina Koch:
Petri Net Based Model Validation in Systems Biology.
ICATPN 2004: 216-237 |
| 8 | EE | Ina Koch,
Markus Schüler,
Monika Heiner:
STEPP - Search Tool for Exploration of Petri net Paths: A new tool for Petri net-based path analysis in biochemical networks.
In Silico Biology 5: (2004) |
| 2003 |
|---|
| 7 | | Hartmut König,
Monika Heiner,
Adam Wolisz:
Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings
Springer 2003 |
| 6 | EE | Monika Heiner,
Ina Koch,
Jürgen Will:
Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis.
CMSB 2003: 173 |
| 5 | EE | Klaus Voss,
Monika Heiner,
Ina Koch:
Steady state analysis of metabolic pathways using Petri nets.
In Silico Biology 3: 31 (2003) |
| 2002 |
|---|
| 4 | EE | Thomas Rottke,
Denis Hatebur,
Maritta Heisel,
Monika Heiner:
A Problem-Oriented Approach to Common Criteria Certification.
SAFECOMP 2002: 334-346 |
| 1999 |
|---|
| 3 | | Ina Koch,
Stefan Schuster,
Monika Heiner:
Simulation and analysis of metabolic networks by time-dependent Petri nets.
German Conference on Bioinformatics 1999: 208-209 |
| 2 | EE | Monika Heiner,
Maritta Heisel:
Modeling Safety-Critical Systems with Z and Petri Nets.
SAFECOMP 1999: 361-374 |
| 1992 |
|---|
| 1 | | Monika Heiner:
A Petri Net View of Process Communication.
FBT 1992: 126-141 |
