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
[2]
Hilfe
Suche: Author="Page, Michel"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
Gregory Batt
,
Michel Page
,
Irene Cantone
,
Gregor Goessler
,
Pedro Monteiro
,
Hidde de Jong
Bioinformatics
26
(18), 2010, pp. 603-610
Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli
Grégory Batt
,
Delphine Ropers
,
Hidde de Jong
,
Johannes Geiselmann
,
Radu Mateescu
,
Michel Page
,
Dominique Schneider
Bioinformatics
21
(S1), 2005, pp. 19-28
Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks
Hidde de Jong
,
Johannes Geiselmann
,
Céline Hernandez
,
Michel Page
Bioinformatics
19
(3), 2003, pp. 336-344