The SCEAS System
Navigation Menu

Search the dblp DataBase


Monika Heiner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Gilbert, Monika Heiner
    From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:181-200 [Conf]
  2. Monika Heiner, Ina Koch
    Petri Net Based Model Validation in Systems Biology. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:216-237 [Conf]
  3. Monika Heiner, Ina Koch, Jürgen Will
    Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:173- [Conf]
  4. Monika Heiner
    A Petri Net View of Process Communication. [Citation Graph (0, 0)][DBLP]
    FBT, 1992, pp:126-141 [Conf]
  5. Ina Koch, Stefan Schuster, Monika Heiner
    Simulation and analysis of metabolic networks by time-dependent Petri nets. [Citation Graph (0, 0)][DBLP]
    German Conference on Bioinformatics, 1999, pp:208-209 [Conf]
  6. Monika Heiner, Maritta Heisel
    Modeling Safety-Critical Systems with Z and Petri Nets. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:361-374 [Conf]
  7. Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner
    A Problem-Oriented Approach to Common Criteria Certification. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:334-346 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2005, v:21, n:7, pp:1219-1226 [Journal]
  9. Louchka Popova-Zeugmann, Monika Heiner, Ina Koch
    Time Petri Nets for Modelling and Analysis of Biochemical Networks. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:149-162 [Journal]
  10. 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. [Citation Graph (0, 0)][DBLP]
    In Silico Biology, 2004, v:5, n:, pp:- [Journal]
  11. Klaus Voss, Monika Heiner, Ina Koch
    Steady state analysis of metabolic pathways using Petri nets. [Citation Graph (0, 0)][DBLP]
    In Silico Biology, 2003, v:3, n:, pp:31- [Journal]
  12. David Gilbert, Monika Heiner, Sebastian Lehrack
    A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    CMSB, 2007, pp:200-216 [Conf]

  13. DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. [Citation Graph (, )][DBLP]

  14. CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. [Citation Graph (, )][DBLP]

  15. An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways. [Citation Graph (, )][DBLP]

  16. Petri Nets for Systems and Synthetic Biology. [Citation Graph (, )][DBLP]

  17. Snoopy: a tool to design and animate/simulate graph-based formalisms. [Citation Graph (, )][DBLP]

  18. A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. [Citation Graph (, )][DBLP]

  19. Snoopy - a unifying Petri net framework to investigate biomolecular networks. [Citation Graph (, )][DBLP]

  20. Modularization of biochemical networks based on classification of Petri net t-invariants. [Citation Graph (, )][DBLP]

  21. Application of Petri net based analysis techniques to signal transduction pathways. [Citation Graph (, )][DBLP]

Search in 0.023secs, Finished in 0.024secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002