Segueix
Monika Heiner
Monika Heiner
Professor of Computer Science, Brandenburg Technical University (BTU)
Correu electrònic verificat a b-tu.de - Pàgina d'inici
Títol
Citada per
Citada per
Any
Petri nets for systems and synthetic biology
M Heiner, D Gilbert, R Donaldson
Formal Methods for Computational Systems Biology: 8th International School …, 2008
4332008
Snoopy–a unifying Petri net tool
M Heiner, M Herajy, F Liu, C Rohr, M Schwarick
Application and Theory of Petri Nets: 33rd International Conference, PETRI …, 2012
3492012
Application of Petri net based analysis techniques to signal transduction pathways
A Sackmann, M Heiner, I Koch
BMC bioinformatics 7 (1), 482, 2006
2672006
Model validation of biological pathways using Petri nets—demonstrated for apoptosis
M Heiner, I Koch, J Will
Biosystems 75 (1-3), 15-28, 2004
2082004
Snoopy—a unifying Petri net framework to investigate biomolecular networks
C Rohr, W Marwan, M Heiner
Bioinformatics 26 (7), 974-975, 2010
2012010
Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber
I Koch, BH Junker, M Heiner
Bioinformatics 21 (7), 1219-1226, 2005
1982005
From Petri nets to differential equations–an integrative approach for biochemical network analysis
D Gilbert, M Heiner
Petri Nets and Other Models of Concurrency-ICATPN 2006: 27th International …, 2006
1602006
Steady state analysis of metabolic pathways using Petri nets
K Voss, M Heiner, I Koch
In silico biology 3 (3), 367-387, 2003
1532003
Petri net based model validation in systems biology
M Heiner, I Koch
Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004
1462004
A unifying framework for modelling and analysing biochemical pathways using Petri nets
D Gilbert, M Heiner, S Lehrack
Computational Methods in Systems Biology: International Conference CMSB 2007 …, 2007
1452007
Modularization of biochemical networks based on classification of Petri net t-invariants
E Grafahrend-Belau, F Schreiber, M Heiner, A Sackmann, BH Junker, ...
BMC bioinformatics 9 (1), 90, 2008
1072008
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways
R Breitling, D Gilbert, M Heiner, R Orton
Briefings in bioinformatics 9 (5), 404-421, 2008
1072008
MARCIE–model checking and reachability analysis done efficiently
M Heiner, C Rohr, M Schwarick
Application and Theory of Petri Nets and Concurrency: 34th International …, 2013
1042013
Petri nets
I Koch, M Heiner
Analysis of biological networks, chapter 7: 139-180, 2008
752008
Fuzzy stochastic Petri nets for modeling biological systems with uncertain kinetic parameters
F Liu, M Heiner, M Yang
PloS one 11 (2), e0149674, 2016
682016
Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks
W Marwan, C Rohr, M Heiner
Bacterial Molecular Networks: Methods and Protocols, 409-437, 2012
672012
Time Petri nets for modelling and analysis of biochemical networks
L Popova-Zeugmann, M Heiner, I Koch
Fundamenta Informaticae 67 (1-3), 149-162, 2005
672005
Charlie–an extensible Petri net analysis tool
M Heiner, M Schwarick, JT Wegener
Application and Theory of Petri Nets and Concurrency: 36th International …, 2015
662015
Petri nets in systems biology
MA Blätke, M Heiner, W Marwan
Technical Report, Otto-von-Guericke University Magdeburg, Tech. Rep., 2011
652011
Hybrid representation and simulation of stiff biochemical networks
M Herajy, M Heiner
Nonlinear Analysis: Hybrid Systems 6 (4), 942-959, 2012
642012
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20