Grégory Batt - Citegraph

Author Info

Name	Affiliation	Papers
GRÉGORY BATT	INRIA Grenoble - Rhône-Alpes, 655 avenue de l’Europe, Montbonnot, 38334 Saint Ismier Cedex, France	22
Collaborators	Citations	PageRank
49	364	25.79
Referers	Referees	References
636	392	249

Search Limit

100636

Publications (22 rows)

Collaborators (49 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Can Optimal Experimental Design Serve As A Tool To Characterize Highly Non-Linear Synthetic Circuits?	0	0.34	2019
Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway.	2	0.39	2017
Abstraction-Based Parameter Synthesis for Multiaffine Systems.	10	0.51	2015
Modeling Dynamics Of Cell-To-Cell Variability In Trail-Induced Apoptosis Explains Fractional Killing And Predicts Reversible Resistance	3	0.54	2014
STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification.	7	0.52	2013
Identification of biological models from single-cell data: A comparison between mixed-effects and moment-based inference	5	0.63	2013
Composition and abstraction of logical regulatory modules: application to multicellular systems.	3	0.38	2013
Towards real-time control of gene expression: controlling the HOG signaling cascade.	3	0.57	2011
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures	19	0.75	2011
Computational Systems Biology In Biocham	1	0.34	2010
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology	51	2.86	2008
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions	5	0.62	2008
Approximating Continuous Systems by Timed Automata	25	0.95	2008
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty	32	1.30	2008
Model checking liveness properties of genetic regulatory networks	12	0.88	2007
Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux	0	0.34	2007
On timed models of gene networks	13	0.83	2007
Model checking genetic regulatory networks with parameter uncertainty	26	1.48	2007
Robustness analysis and tuning of synthetic gene networks.	45	1.85	2007
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.	83	8.38	2005
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in	1	0.46	2005
Model Checking Genetic Regulatory Networks Using GNA and CADP	18	0.87	2004