Monika Heiner

	2009
23		Martin Schwarick, Monika Heiner: CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. CMSB 2009: 296-312
22		Monika Heiner, Martin Schwarick, Alexej Tovchigrechko: DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. Petri Nets 2009: 323-332
21		Monika Heiner, Sebastian Lehrack, David Gilbert, Wolfgang Marwan: Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments. T. Comp. Sys. Biology 11: 138-163 (2009)
	2008
20		Monika Heiner, Adelinde M. Uhrmacher: Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings Springer 2008
19		Monika Heiner, David Gilbert, Robin Donaldson: Petri Nets for Systems and Synthetic Biology. SFM 2008: 215-264
18		Monika Heiner, Ronny Richter, Martin Schwarick: Snoopy: a tool to design and animate/simulate graph-based formalisms. SimuTools 2008: 15
17		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
16		Eva Grafahrend-Belau, Falk Schreiber, Monika Heiner, Andrea Sackmann, Björn H. Junker, Stefanie Grunwald, Astrid Speer, Katja Winder, Ina Koch: Modularization of biochemical networks based on classification of Petri net t-invariants. BMC Bioinformatics 9: (2008)
15		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
14		David Gilbert, Monika Heiner, Sebastian Lehrack: A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. CMSB 2007: 200-216
	2006
13		David Gilbert, Monika Heiner: From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. ICATPN 2006: 181-200
12		Andrea Sackmann, Monika Heiner, Ina Koch: Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics 7: 482 (2006)
	2005
11		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		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		Monika Heiner, Ina Koch: Petri Net Based Model Validation in Systems Biology. ICATPN 2004: 216-237
8		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		Monika Heiner, Ina Koch, Jürgen Will: Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis. CMSB 2003: 173
5		Klaus Voss, Monika Heiner, Ina Koch: Steady state analysis of metabolic pathways using Petri nets. In Silico Biology 3: 31 (2003)
	2002
4		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		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

Coauthor Index

1	Rainer Breitling	[15] [17]
2	Robin Donaldson	[17] [19]
3	David Gilbert (David R. Gilbert)	[13] [14] [15] [17] [19] [21]
4	Eva Grafahrend-Belau	[16]
5	Stefanie Grunwald	[16]
6	Denis Hatebur	[4]
7	Maritta Heisel	[2] [4]
8	Björn H. Junker	[11] [16]
9	Ina Koch	[3] [5] [6] [8] [9] [10] [11] [12] [16]
10	Hartmut König	[7]
11	Sebastian Lehrack	[14] [21]
12	Wolfgang Marwan	[21]
13	Richard J. Orton	[15]
14	Louchka Popova-Zeugmann	[10]
15	Ronny Richter	[18]
16	Thomas Rottke	[4]
17	Andrea Sackmann	[12] [16]
18	Falk Schreiber	[16]
19	Markus Schüler	[8]
20	Stefan Schuster	[3]
21	Martin Schwarick	[18] [22] [23]
22	Astrid Speer	[16]
23	Alexej Tovchigrechko	[22]
24	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[20]
25	Klaus Voss	[5]
26	Jürgen Will	[6]
27	Katja Winder	[16]
28	Adam Wolisz	[7]

Colors in the list of coauthors