Get started
Author

François Fages

Observed names: Advisors François Fages, Dr. François Fages, F Fages, F. Fages, FAGES, François, FRANÇOIS FAGES, Fages Francois, Fages, F, Fages, F., Fages, Francois, Fages, François, Fages, François, Fages, François, Francois Fages, Francois Fages Inria Rocquencourt, Francois Fagesy, François Fages, François FAGES, François Fages Inria Paris-rocquencourt, François Fages P Ar, François Fages Élisabeth
Observed institutions: Lyon 1 Université, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, École Polytechnique, Université Paris-Saclay, École Normale Supérieure - PSL, Technicolor (France), Centre Inria de Saclay, Laboratoire d'Informatique en Images et Systèmes d'Information, LIFEWARE: Computational systems biology and optimization, Universidade Nova de Lisboa
ORCID: 0000-0001-5650-8266
Observed ORCID: 0000-0001-5650-8266
OpenAlex ID: A5000983836
Consistency of Clark's completion and existence of stable models.
1994 · François Fages · 331
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge
2006 · Laurence Calzone, François Fages, et al. · Bioinformatics · 242
PDF
Long-term model predictive control of gene expression at the population and single-cell levels
2012 · Jannis Uhlendorf, Agnès Miermont, et al. · Proceedings of the National Academy of Sciences · 211
Modeling and querying biomolecular interaction networks
2004 · Nathalie Chabrier-Rivier, Marc Chiaverini, et al. · Theoretical Computer Science · 171
Principles and Practice of Semantic Web Reasoning
2005 · Fages, François, Soliman, Sylvain · Lecture notes in computer science · 156
Symbolic Model Checking of Biochemical Networks
2003 · Nathalie Chabrier, François Fages · Lecture notes in computer science · 142
Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM
2002 · F Fages · Journal of Biological Physics and Chemistry · 138
A general computational method for robustness analysis with applications to synthetic gene networks
2009 · Aurélien Rizk, Gregory Batt, et al. · Bioinformatics · 112
PDF
Machine Learning Biochemical Networks from Temporal Logic Properties
2006 · Laurence Calzone, Nathalie Chabrier-Rivier, et al. · Lecture notes in computer science · 107
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology
2008 · Aurélien Rizk, Grégory Batt, et al. · Lecture notes in computer science · 102
Journal on Data Semantics VIII
2007 · Spaccapietra, Stefano, Atzeni, Paolo, et al. · Springer eBooks · 94
Associative-Commutative Unification
1984 · François Fages · Lecture notes in computer science · 94
Abstract interpretation and types for systems biology
2008 · François Fages, Sylvain Soliman · Theoretical Computer Science · 82
PDF
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs
2017 · François Fages, Guillaume Le Guludec, et al. · Lecture notes in computer science · 80
The Biochemical Abstract Machine BIOCHAM
2005 · Nathalie Chabrier-Rivier, François Fages, et al. · Lecture notes in computer science · 80
Complete sets of unifiers and matchers in equational theories
1986 · François Fages, Gérard Huet · Theoretical Computer Science · 78
Competing G protein‐coupled receptor kinases balance G protein and β‐arrestin signaling
2012 · Domitille Heitzler, Guillaume Durand, et al. · Molecular Systems Biology · 77
PDF
Linear Concurrent Constraint Programming: Operational and Phase Semantics
2001 · François Fages, Paul Ruet, et al. · Information and Computation · 70
A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics
1991 · François Fages · New Generation Computing · 65
Formal Cell Biology in Biocham
2008 · François Fages, Sylvain Soliman · Springer eBooks · 61
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
2010 · Aurélien Rizk, Grégory Batt, et al. · Theoretical Computer Science · 58
A graphical method for reducing and relating models in systems biology
2010 · Steven Gay, Sylvain Soliman, et al. · Bioinformatics · 57
PDF
Associative-commutative unification
1987 · François Fages · Journal of Symbolic Computation · 55
PDF
Inferring reaction systems from ordinary differential equations
2014 · François Fages, Steven Gay, et al. · Theoretical Computer Science · 46
Constructive negation by pruning
1997 · François Fages · The Journal of Logic Programming · 46
PDF
Works count: 356
Citation count: 3,933
H-index: 30
I10-index: 69
Year
Topic
Type