| 2008 |
|---|
| 18 | | Monika Heiner,
Adelinde M. Uhrmacher:
Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings
Springer 2008 |
| 17 | EE | Monika Heiner,
David Gilbert,
Robin Donaldson:
Petri Nets for Systems and Synthetic Biology.
SFM 2008: 215-264 |
| 16 | EE | Monika Heiner,
Ronny Richter,
Martin Schwarick:
Snoopy: a tool to design and animate/simulate graph-based formalisms.
SimuTools 2008: 15 |
| 15 | EE | David Gilbert,
Rainer Breitling,
Monika Heiner,
Robin Donaldson:
An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways.
Workshop on Membrane Computing 2008: 13-28 |
| 14 | EE | Rainer Breitling,
David Gilbert,
Monika Heiner,
Richard J. Orton:
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways.
Briefings in Bioinformatics 9(5): 404-421 (2008) |
| 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 |
