Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Monika Heiner
2010 – today
- 2013
[j16]Qian Gao, David Gilbert, Monika Heiner, Fei Liu, Daniele Maccagnola, David Tree: Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing. IEEE/ACM Trans. Comput. Biology Bioinform. 10(2): 337-351 (2013)- [j15]Mostafa Herajy, Martin Schwarick, Monika Heiner: Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle. T. Petri Nets and Other Models of Concurrency 8: 123-141 (2013)
- [c28]David Gilbert, Monika Heiner, Fei Liu, Nigel Saunders: Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology. Petri Nets 2013: 230-249
- [c27]Monika Heiner, Christian Rohr, Martin Schwarick: MARCIE - Model Checking and Reachability Analysis Done Efficiently. Petri Nets 2013: 389-399
- [c26]Ovidiu Parvu, David Gilbert, Monika Heiner, Fei Liu, Nigel Saunders: Modelling and Analysis of Phase Variation in Bacterial Colony Growth. CMSB 2013: 78-91
- [e5]Gianfranco Balbo, Monika Heiner (Eds.): Proceedings of the International Workshop on Biological Processes & Petri Nets, Milano, Italy, June 24, 2013. CEUR Workshop Proceedings 988, CEUR-WS.org 2013
- 2012
- [c25]Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick: Snoopy - A Unifying Petri Net Tool. Petri Nets 2012: 398-407
- [c24]Mary Ann Blätke, Monika Heiner, Wolfgang Marwan: Predicting Phenotype from Genotype through Automatically Composed Petri Nets. CMSB 2012: 87-106
- [c23]Mary Ann Blätke, Anna Dittrich, Monika Heiner, Fred Schaper, Wolfgang Marwan: JAK-STAT Signalling as Example for a Database-Supported Modular Modelling Concept. CMSB 2012: 362-365
- [c22]Mostafa Herajy, Monika Heiner: Towards a Computational Steering and Petri Nets Framework for the Modelling of Biochemical Reaction Networks. CS&P 2012: 147-159
- [c21]Fei Liu, Monika Heiner, Ming Yang: An efficient method for unfolding colored Petri nets. Winter Simulation Conference 2012: 295
- [e4]David Gilbert, Monika Heiner (Eds.): Computational Methods in Systems Biology - 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings. Lecture Notes in Computer Science 7605, Springer 2012, ISBN 978-3-642-33635-5
- 2011
- [j14]Monika Heiner: Preface: Petri nets for Systems and Synthetic Biology. Natural Computing 10(2): 633-638 (2011)
- [j13]Monika Heiner: Preface: Petri nets for Systems and Synthetic Biology. Natural Computing 10(3): 987-992 (2011)
- [j12]Monika Heiner, Adelinde Uhrmacher: Foundations of formal reconstruction of biochemical networks. Theor. Comput. Sci. 412(26): 2798-2799 (2011)
- [c20]Monika Heiner, David Gilbert: How Might Petri Nets Enhance Your Systems Biology Toolkit. Petri Nets 2011: 17-37
- [c19]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
- [c18]Martin Schwarick, Monika Heiner, Christian Rohr: MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. QEST 2011: 91-100
- 2010
- [j11]Christian Rohr, Wolfgang Marwan, Monika Heiner: Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7): 974-975 (2010)
- [j10]Rainer Breitling, Robin Donaldson, David R. Gilbert, Monika Heiner: Biomodel Engineering - From Structure to Behavior. T. Comp. Sys. Biology 12: 1-12 (2010)
- [c17]
- [c16]Monika Heiner, Cristian Mahulea, Manuel Silva: On the Importance of the Deadlock Trap Property for Monotonic Liveness. ACSD/Petri Nets Workshops 2010: 23-38
- [c15]Fei Liu, Monika Heiner: Colored Petri nets to Model and Simulate Biological Systems. ACSD/Petri Nets Workshops 2010: 71-85
- [c14]Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif: A comparative study of stochastic analysis techniques. CMSB 2010: 96-106
- [e3]Corrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher (Eds.): Transactions on Computational Systems Biology XII, Special Issue on Modeling Methodologies. Lecture Notes in Computer Science 5945, Springer 2010, ISBN 978-3-642-11711-4
2000 – 2009
- 2009
- [j9]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)
- [c13]Monika Heiner, Martin Schwarick, Alexej Tovchigrechko: DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. Petri Nets 2009: 323-332
- [c12]Martin Schwarick, Monika Heiner: CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. CMSB 2009: 296-312
- 2008
- [j8]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)
- [j7]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)
- [c11]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
- [c10]Monika Heiner, David Gilbert, Robin Donaldson: Petri Nets for Systems and Synthetic Biology. SFM 2008: 215-264
- [c9]Monika Heiner, Ronny Richter, Martin Schwarick: Snoopy: a tool to design and animate/simulate graph-based formalisms. SimuTools 2008: 15
- [e2]Monika Heiner, Adelinde M. Uhrmacher (Eds.): Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings. Lecture Notes in Computer Science 5307, Springer 2008, ISBN 978-3-540-88561-0
- 2007
- [c8]David Gilbert, Monika Heiner, Sebastian Lehrack: A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. CMSB 2007: 200-216
- 2006
- [j6]Andrea Sackmann, Monika Heiner, Ina Koch: Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics 7: 482 (2006)
- [c7]David Gilbert, Monika Heiner: From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. ICATPN 2006: 181-200
- 2005
- [j5]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)
- [j4]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
- [j3]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)
- [c6]
- 2003
- [j2]Klaus Voss, Monika Heiner, Ina Koch: Steady state analysis of metabolic pathways using Petri nets. In Silico Biology 3: 31 (2003)
- [c5]Monika Heiner, Ina Koch, Jürgen Will: Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis. CMSB 2003: 173
- [e1]Hartmut König, Monika Heiner, Adam Wolisz (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings. Lecture Notes in Computer Science 2767, Springer 2003, ISBN 3-540-20175-0
- 2002
- [c4]Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner: A Problem-Oriented Approach to Common Criteria Certification. SAFECOMP 2002: 334-346
1990 – 1999
- 1999
- [c3]Ina Koch, Stefan Schuster, Monika Heiner: Simulation and analysis of metabolic networks by time-dependent Petri nets. German Conference on Bioinformatics 1999: 208-209
- [c2]Monika Heiner, Maritta Heisel: Modeling Safety-Critical Systems with Z and Petri Nets. SAFECOMP 1999: 361-374
- 1994
- [j1]Monika Heiner, Giorgio Ventre, Dietmar Wikarski: A Petri net based methodology to integrate qualitative and quantitative analysis. Information & Software Technology 36(7): 435-441 (1994)
- 1992
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:02 CEST by the dblp team