Monika Heiner

	2011
36		Qian Gao, Fei Liu, David Gilbert, Monika Heiner, David Tree: A multiscale approach to modelling planar cell polarity in Drosophila wing using hierarchically coloured Petri nets. CMSB 2011: 209-218
35		Monika Heiner, David Gilbert: How Might Petri Nets Enhance Your Systems Biology Toolkit. Petri Nets 2011: 17-37
34		Martin Schwarick, Monika Heiner, Christian Rohr: MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. QEST 2011: 91-100
33		Monika Heiner: Preface: Petri nets for Systems and Synthetic Biology. Natural Computing 10(2): 633-638 (2011)
32		Monika Heiner: Preface: Petri nets for Systems and Synthetic Biology. Natural Computing 10(3): 987-992 (2011)
31		Monika Heiner, Adelinde Uhrmacher: Foundations of formal reconstruction of biochemical networks. Theor. Comput. Sci. 412(26): 2798-2799 (2011)
	2010
30		Corrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher: Transactions on Computational Systems Biology XII, Special Issue on Modeling Methodologies Springer 2010
29		Monika Heiner, Cristian Mahulea, Manuel Silva: On the Importance of the Deadlock Trap Property for Monotonic Liveness. ACSD/Petri Nets Workshops 2010: 23-38
28		Claudine Chaouiya, Monika Heiner: Introduction. ACSD/Petri Nets Workshops 2010: 5-6
27		Fei Liu, Monika Heiner: Colored Petri nets to Model and Simulate Biological Systems. ACSD/Petri Nets Workshops 2010: 71-85
26		Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif: A comparative study of stochastic analysis techniques. CMSB 2010: 96-106
25		Christian Rohr, Wolfgang Marwan, Monika Heiner: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7): 974-975 (2010)
24		Rainer Breitling, Robin Donaldson, David R. Gilbert, Monika Heiner: Biomodel Engineering - From Structure to Behavior. T. Comp. Sys. Biology 12: 1-12 (2010)
	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] [24] [30]
2	Claudine Chaouiya	[28]
3	Robin Donaldson	[17] [19] [24]
4	Qian Gao	[36]
5	David Gilbert (David R. Gilbert)	[13] [14] [15] [17] [19] [21] [24] [30] [35] [36]
6	Eva Grafahrend-Belau	[16]
7	Stefanie Grunwald	[16]
8	Denis Hatebur	[4]
9	Maritta Heisel	[2] [4]
10	Björn H. Junker	[11] [16]
11	Ina Koch	[3] [5] [6] [8] [9] [10] [11] [12] [16]
12	Hartmut König	[7]
13	Sebastian Lehrack	[14] [21]
14	Fei Liu	[27] [36]
15	Cristian Mahulea	[29]
16	Wolfgang Marwan	[21] [25]
17	Richard J. Orton	[15]
18	Louchka Popova-Zeugmann	[10]
19	Corrado Priami	[30]
20	Ronny Richter	[18]
21	Christian Rohr	[25] [26] [34]
22	Thomas Rottke	[4]
23	Andrea Sackmann	[12] [16]
24	Falk Schreiber	[16]
25	Markus Schüler	[8]
26	Stefan Schuster	[3]
27	Martin Schwarick	[18] [22] [23] [26] [34]
28	Manuel Silva	[29]
29	Astrid Speer	[16]
30	Stefan Streif	[26]
31	Alexej Tovchigrechko	[22]
32	David Tree	[36]
33	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[20] [30] [31]
34	Klaus Voss	[5]
35	Jürgen Will	[6]
36	Katja Winder	[16]
37	Adam Wolisz	[7]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page