François Fages

Cited by

	All	Since 2019
Citations	5460	1180
h-index	35	18
i10-index	84	35

280

140

210

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 27 29 37 53 39 36 29 37 54 35 46 53 53 37 43 54 54 75 117 178 216 191 254 269 226 261 212 238 280 262 237 191 225 209 251 157 196 206 160

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Sylvain SolimanInria Saclay, Lifeware teamVerified email at inria.fr
Aurélien RizkInterAx Biotech, CEOVerified email at interaxbiotech.com
Thierry MartinezInriaVerified email at nsup.org
Gregory BattINRIA and Institut PasteurVerified email at inria.fr
Steven GayGoogle FranceVerified email at google.com
Vincent SchachterSenior Vice President, Energy ServicesVerified email at emotorwerks.com
Jie-Hong Roland JiangProfessor of Electrical Engineering, National Taiwan UniversityVerified email at ntu.edu.tw
Pascal HersenInstitut Curie, PSL University, Sorbonne University, CNRS UMR168Verified email at curie.fr
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureVerified email at ens.fr
Crepieux PascaleCNRSVerified email at tours.inra.fr
gilles charvinLaboratoire GMGMVerified email at unistra.fr
David FournierDoctorant CIFRE informatique, Inria Rocquencourt EPI Contraintes / GE Transportation Equipe DeltaVerified email at inria.fr
Gérard HuetDirecteur de Recherche Emérite InriaVerified email at inria.fr
Anne PouponCNRSVerified email at tours.inra.fr
Denis ThieffryProfessor of Systems Biology, Institut de Biologie de l'Ecole Normale Supérieure (IBENS), ParisVerified email at ens.fr
Christine SolnonProfessor of Computer Science, INSA Lyon, CITIVerified email at insa-lyon.fr
Claude KirchnerInriaVerified email at inria.fr
Adrien FauréYamaguchi UniversityVerified email at yamaguchi-u.ac.jp
Pedro BarahonaProfessor of Computer Science, New University of LisbonVerified email at fct.unl.pt
Rolf BackofenProfessor für Bioinformatik, Universität FreiburgVerified email at informatik.uni-freiburg.de

François Fages

Research Director, Inria, Saclay - Ile de France

Verified email at inria.fr - Homepage

Computational systems biology programming theory constraint logic programming optimization


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Consistency of Clark's Completion and Existence of Stable Models F Fages Methods of Logic in Computer Science 1 (1), 51-60, 1994	451*	1994
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge L Calzone, F Fages, S Soliman Bioinformatics 22 (14), 1805-1807, 2006	329	2006
Modeling and querying biomolecular interaction networks N Chabrier-Rivier, M Chiaverini, V Danos, F Fages, V Schächter Theoretical Computer Science 325 (1), 25-44, 2004	266	2004
Long-term model predictive control of gene expression at the population and single-cell levels J Uhlendorf, A Miermont, T Delaveau, G Charvin, F Fages, S Bottani, ... Proceedings of the National Academy of Sciences 109 (35), 14271-14276, 2012	260	2012
Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM F Fages, S Soliman, N Chabrier-Rivier Journal of Biological Physics and Chemistry 4, 64-73, 2004	214	2004
Symbolic model checking of biochemical networks N Chabrier, F Fages International Conference on Computational Methods in Systems Biology, 149-162, 2003	204	2003
A general computational method for robustness analysis with applications to synthetic gene networks A Rizk, G Batt, F Fages, S Soliman Bioinformatics 25 (12), i169-i178, 2009	150	2009
Machine learning biochemical networks from temporal logic properties L Calzone, N Chabrier-Rivier, F Fages, S Soliman Transactions on computational systems biology VI, 68-94, 2006	149	2006
Associative-commutative unification F Fages 7th International Conference on Automated Deduction: Napa, California, USA …, 1984	149	1984
On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology A Rizk, G Batt, F Fages, S Soliman Computational Methods in Systems Biology: 6th International Conference CMSB …, 2008	126	2008
The biochemical abstract machine BIOCHAM N Chabrier-Rivier, F Fages, S Soliman International Conference on Computational Methods in Systems Biology, 172-191, 2004	116	2004
Linear concurrent constraint programming: Operational and phase semantics F Fages, P Ruet, S Soliman Information and Computation 165 (1), 14-41, 2001	113	2001
Abstract interpretation and types for systems biology F Fages, S Soliman Theoretical Computer Science 403 (1), 52-70, 2008	111	2008
A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics F Fages New Generation Computing 9, 425-443, 1991	110	1991
Complete sets of unifiers and matchers in equational theories F Fages, G Huet Theoretical computer science 43, 189-200, 1986	104	1986
Competing G protein‐coupled receptor kinases balance G protein and β‐arrestin signaling D Heitzler, G Durand, N Gallay, A Rizk, S Ahn, J Kim, JD Violin, L Dupuy, ... Molecular systems biology 8 (1), 590, 2012	101	2012
Strong turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs F Fages, G Le Guludec, O Bournez, A Pouly Computational Methods in Systems Biology: 15th International Conference …, 2017	94	2017
Constructive negation by pruning F Fages The Journal of Logic Programming 32 (2), 85-118, 1997	94	1997
Formal cell biology in biocham F Fages, S Soliman International School on Formal Methods for the Design of Computer …, 2008	90	2008
Associative-commutative unification F Fages Journal of Symbolic Computation 3 (3), 257-275, 1987	87	1987

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors