dblp.uni-trier.dewww.uni-trier.de

Monika Heiner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
17EEMonika Heiner, David Gilbert, Robin Donaldson: Petri Nets for Systems and Synthetic Biology. SFM 2008: 215-264
16EEMonika Heiner, Ronny Richter, Martin Schwarick: Snoopy: a tool to design and animate/simulate graph-based formalisms. SimuTools 2008: 15
15EEDavid Gilbert, Rainer Breitling, Monika Heiner, Robin Donaldson: An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways. Workshop on Membrane Computing 2008: 13-28
14EERainer 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
13EEDavid Gilbert, Monika Heiner, Sebastian Lehrack: A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. CMSB 2007: 200-216
2006
12EEDavid Gilbert, Monika Heiner: From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. ICATPN 2006: 181-200
2005
11EEIna 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)
10EELouchka 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
9EEMonika Heiner, Ina Koch: Petri Net Based Model Validation in Systems Biology. ICATPN 2004: 216-237
8EEIna 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
6EEMonika Heiner, Ina Koch, Jürgen Will: Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis. CMSB 2003: 173
5EEKlaus Voss, Monika Heiner, Ina Koch: Steady state analysis of metabolic pathways using Petri nets. In Silico Biology 3: 31 (2003)
2002
4EEThomas 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
2EEMonika 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

1Rainer Breitling [14] [15]
2Robin Donaldson [15] [17]
3David Gilbert (David R. Gilbert) [12] [13] [14] [15] [17]
4Denis Hatebur [4]
5Maritta Heisel [2] [4]
6Bjørn H. Junker [11]
7Ina Koch [3] [5] [6] [8] [9] [10] [11]
8Hartmut König [7]
9Sebastian Lehrack [13]
10Richard J. Orton [14]
11Louchka Popova-Zeugmann [10]
12Ronny Richter [16]
13Thomas Rottke [4]
14Markus Schüler [8]
15Stefan Schuster [3]
16Martin Schwarick [16]
17Adelinde M. Uhrmacher (Adelinde Uhrmacher) [18]
18Klaus Voss [5]
19Jürgen Will [6]
20Adam Wolisz [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)