Searching for authors named "Johannes Geiselmann" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Symbolic Reachability Analysis of Genetic Regulatory Networks using Discrete Abstractions
- … Batt a,b Hidde de Jong a,∗ Michel Page a,d Johannes Geiselmann c,a a INRIA Grenoble - Rhône-Alpes, 655…
- Cited by 4 (1 self) – Add To MetaCart
-
M.: Qualitative Analysis of Genetic Regulatory Networks: A Model-Checking Approach
- … Jong , Johannes Geiselmann £ ¥¤ ¦ , and Michel Page Institut National de Recherche en Informatique…
- Cited by 5 (3 self) – Add To MetaCart
-
Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in Escherichia coli
- … Geiselmann 3 , Michel Page 1,4 , and Dominique Schneider 3 1 INRIA Rhône-Alpes, 655 avenue de l…
- Cited by 10 (3 self) – Add To MetaCart
-
Qualitative Simulation of Genetic Regulatory Networks Using Piecewise-Linear Models
- … PAGE 1,4 , TEWFIK SARI 5 AND JOHANNES GEISELMANN 6 1 Institut National de Recherche en Informatique et…
- Cited by 62 (8 self) – Add To MetaCart
-
Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli
- … , Johannes Geiselmann 2 , Radu Mateescu 1 , Michel Page 1,3 , Dominique Schneider 2 1 INRIA Rhône…
- Cited by 19 (8 self) – Add To MetaCart
-
D.: Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach
- …-Checking Approach Grégory Batt 1 , Delphine Ropers 1 , Hidde de Jong 1 , Johannes Geiselmann 2 , Radu Mateescu 1…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 6.
