Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Heiner, Monika"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A steering server for collaborative simulation of quantitative Petri nets
Mostafa Herajy
,
Monika Heiner
Lecture Notes in Computer Science
8489
, 2014, pp. 374-384
Colouring space - A coloured framework for spatial modelling in systems biology
David Gilbert
,
Monika Heiner
,
Fei Liu
,
Nigel Saunders
Lecture Notes in Computer Science
7927
, 2013, pp. 230-249
MARCIE - Model checking and reachability analysis done efficiently
Monika Heiner
,
Christian Rohr
,
Martin Schwarick
Lecture Notes in Computer Science
7927
, 2013, pp. 389-399
Snoopy - A unifying Petri net tool
Monika Heiner
,
Mostafa Herajy
,
Fei Liu
,
Christian Rohr
,
Martin Schwarick
Lecture Notes in Computer Science
7347
, 2012, pp. 398-407
How might Petri nets enhance your systems biology toolkit
Monika Heiner
,
David Gilbert
Lecture Notes in Computer Science
6709
, 2011, pp. 17-37
Snoopy - A unifying Petri net framework to investigate biomolecular networks
Christian Rohr
,
Wolfgang Marwan
,
Monika Heiner
Bioinformatics
26
(7), 2010, pp. 974-975
DSSZ-MC - A tool for symbolic analysis of extended Petri nets
Monika Heiner
,
Martin Schwarick
,
Alexej Tovchigrechko
Lecture Notes in Computer Science
5606
, 2009, pp. 323-332
From Petri nets to differential equations - An integrative approach for biochemical network analysis
David Gilbert
,
Monika Heiner
Lecture Notes in Computer Science
4024
, 2006, pp. 181-200
Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber
Ina Koch
,
Björn H. Junker
,
Monika Heiner
Bioinformatics
21
(7), 2005, pp. 1219-1226
Petri net based model validation in systems biology
Monika Heiner
,
Ina Koch
Lecture Notes in Computer Science
3099
, 2004, pp. 216-237