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

Monika Heiner Vis

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

*2009
22EEMartin Schwarick, Monika Heiner: CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. CMSB 2009: 296-312
21EEMonika Heiner, Martin Schwarick, Alexej Tovchigrechko: DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. Petri Nets 2009: 323-332
20EEMonika 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
19 Monika Heiner, Adelinde M. Uhrmacher: Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings Springer 2008
18EEMonika Heiner, David Gilbert, Robin Donaldson: Petri Nets for Systems and Synthetic Biology. SFM 2008: 215-264
17EEMonika Heiner, Ronny Richter, Martin Schwarick: Snoopy: a tool to design and animate/simulate graph-based formalisms. SimuTools 2008: 15
16EEDavid Gilbert, Rainer Breitling, Monika Heiner, Robin Donaldson: An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways. Workshop on Membrane Computing 2008: 13-28
15EEEva 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)
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] [16]
2Robin Donaldson [16] [18]
3David Gilbert (David R. Gilbert) [12] [13] [14] [16] [18] [20]
4Eva Grafahrend-Belau [15]
5Stefanie Grunwald [15]
6Denis Hatebur [4]
7Maritta Heisel [2] [4]
8Björn H. Junker [11] [15]
9Ina Koch [3] [5] [6] [8] [9] [10] [11] [15]
10Hartmut König [7]
11Sebastian Lehrack [13] [20]
12Wolfgang Marwan [20]
13Richard J. Orton [14]
14Louchka Popova-Zeugmann [10]
15Ronny Richter [17]
16Thomas Rottke [4]
17Andrea Sackmann [15]
18Falk Schreiber [15]
19Markus Schüler [8]
20Stefan Schuster [3]
21Martin Schwarick [17] [21] [22]
22Astrid Speer [15]
23Alexej Tovchigrechko [21]
24Adelinde M. Uhrmacher (Adelinde Uhrmacher) [19]
25Klaus Voss [5]
26Jürgen Will [6]
27Katja Winder [15]
28Adam Wolisz [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)