Monika Heiner
Orcid: 0000-0003-1815-1205Affiliations:
- Brandenburg University of Technology, Cottbus, Germany
According to our database1,
Monika Heiner
authored at least 93 papers
between 1980 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
A workflow for the hybrid modelling and simulation of multi-timescale biological systems.
Biosyst., 2025
2024
Briefings Bioinform., 2024
2022
Biosyst., 2022
Briefings Bioinform., 2022
2021
Briefings Bioinform., 2021
2020
Briefings Bioinform., 2020
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020
2019
A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking.
BMC Bioinform., 2019
Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems.
Briefings Bioinform., 2019
Proceedings of the Computational Methods in Systems Biology, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019
2018
Adaptive and Bio-semantics of Continuous Petri Nets: Choosing the Appropriate Interpretation.
Fundam. Informaticae, 2018
Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks.
Comput. Biol. Chem., 2018
Modeling biological systems with uncertain kinetic data using fuzzy continuous Petri nets.
BMC Syst. Biol., 2018
Emerging ensembles of kinetic parameters to characterize observed metabolic phenotypes.
BMC Bioinform., 2018
An Improved simulation of Hybrid biological Models with Many stochastic Events and quasi-Disjoint Subnets.
Proceedings of the 2018 Winter Simulation Conference, 2018
Proceedings of the Computational Methods in Systems Biology, 2018
2017
Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models.
BMC Syst. Biol., 2017
2016
Trans. Petri Nets Other Model. Concurr., 2016
Modeling biological gradient formation: combining partial differential equations and Petri nets.
Nat. Comput., 2016
A model-driven methodology for exploring complex disease comorbidities applied to autism spectrum disorder and inflammatory bowel disease.
J. Biomed. Informatics, 2016
Neurocomputing, 2016
Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic Subnets.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016
2015
Spatial-Temporal Modelling and Analysis of Bacterial Colonies with Phase Variable Genes.
ACM Trans. Model. Comput. Simul., 2015
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015
2014
Petri Net-Based Collaborative Simulation and Steering of Biochemical Reaction Networks.
Fundam. Informaticae, 2014
Dagstuhl Reports, 2014
Comput. Biol. Medicine, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
Proceedings of the Large-Scale Networks in Engineering and Life Sciences, 2014
Proceedings of the Approaches in Integrative Bioinformatics - Towards the Virtual Cell, 2014
2013
Trans. Petri Nets Other Model. Concurr., 2013
IEEE ACM Trans. Comput. Biol. Bioinform., 2013
Proceedings of the Computational Methods in Systems Biology, 2013
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
2012
Proceedings of the Winter Simulation Conference, 2012
Towards a Computational Steering and Petri Nets Framework for the Modelling of Biochemical Reaction Networks.
Proceedings of the 21th International Workshop on Concurrency, 2012
Proceedings of the Computational Methods in Systems Biology, 2012
Proceedings of the Computational Methods in Systems Biology, 2012
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012
2011
Theor. Comput. Sci., 2011
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
A multiscale approach to modelling planar cell polarity in Drosophila wing using hierarchically coloured Petri nets.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011
2010
Bioinform., 2010
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
2009
Trans. Comp. Sys. Biology, 2009
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
Understanding Network Behavior by Structured Representations of Transition Invariants.
Proceedings of the Algorithmic Bioprocesses, 2009
Proceedings of the Applications and Theory of Petri Nets, 2009
2008
Modularization of biochemical networks based on classification of Petri net t-invariants.
BMC Bioinform., 2008
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways.
Briefings Bioinform., 2008
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008
Proceedings of the Formal Methods for Computational Systems Biology, 2008
An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways.
Proceedings of the Membrane Computing - 9th International Workshop, 2008
Proceedings of the Biologically-Inspired Collaborative Computing, 2008
2007
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007
2006
BMC Bioinform., 2006
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
Fundam. Informaticae, 2005
Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber.
Bioinform., 2005
2004
STEPP - Search Tool for Exploration of Petri net Paths: A new tool for Petri net-based path analysis in biochemical networks.
Silico Biol., 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003
2002
Proceedings of the Computer Safety, 2002
1999
Proceedings of the Computer Safety, 1999
Simulation and analysis of metabolic networks by time-dependent Petri nets.
Proceedings of the German Conference on Bioinformatics, 1999
1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1994
Inf. Softw. Technol., 1994
1992
A Petri Net View of Process Communication.
Proceedings of the Formale Methoden für verteilte Systeme, 1992
1980
Ein Beitrag zur Deadlockanalyse auf der Grundlage einer sprachlich geführten Programmiermethodik.
PhD thesis, 1980