François Fages

Cited by

	All	Since 2020
Citations	5486	993
h-index	35	16
i10-index	84	31

300

150

225

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202527 26 37 53 39 36 29 37 54 35 45 53 53 38 43 56 54 75 118 179 216 191 254 268 227 261 211 236 282 261 237 192 227 209 252 156 195 211 156 22

Public access

View all

16 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, CSOVerified 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	455*	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	261	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	205	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	127	2008
The biochemical abstract machine BIOCHAM N Chabrier-Rivier, F Fages, S Soliman International Conference on Computational Methods in Systems Biology, 172-191, 2004	117	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
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	112	1991
Abstract interpretation and types for systems biology F Fages, S Soliman Theoretical Computer Science 403 (1), 52-70, 2008	111	2008
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	96	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	91	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