|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman |
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jannis Uhlendorf, Samuele Bottani, François Fages, Pascal Hersen, Grégory Batt |
Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade. |
Pacific Symposium on Biocomputing |
2011 |
DBLP BibTeX RDF |
|
| 1 | Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci |
From Cardiac Cells to Genetic Regulatory Networks. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, Hidde de Jong |
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. |
Bioinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman |
Computational Systems Biology in BIOCHAM. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman |
A general computational method for robustness analysis with applications to synthetic gene networks. |
Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Hidde de Jong, Michel Page, Johannes Geiselmann |
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. |
Automatica |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Grégory Batt |
Approximating Continuous Systems by Timed Automata. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman |
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta |
Robustness analysis and tuning of synthetic gene networks. |
Bioinformatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Hidde de Jong, Johannes Geiselmann, Jean-Luc Gouzé, Michel Page, Delphine Ropers, Sari Tewfik, Dominique Schneider |
Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux. |
Technique et Science Informatiques |
2007 |
DBLP BibTeX RDF |
|
| 1 | Grégory Batt, Calin Belta, Ron Weiss |
Model Checking Liveness Properties of Genetic Regulatory Networks. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Ramzi Ben Salah, Oded Maler |
On Timed Models of Gene Networks. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Calin Belta, Ron Weiss |
Model Checking Genetic Regulatory Networks with Parameter Uncertainty. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher |
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider |
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. |
ISMB (Supplement of Bioinformatics) |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider |
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu |
Model Checking Genetic Regulatory Networks Using GNA and CADP. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")