François Fages

Publications

2.3K

Citations

H-Index

1986

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre National de la Recherche Scientifique

École Normale Supérieure - PSL

Centre Inria de Saclay

Centre de Recherche en Informatique

François Fages is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSystems BiologyFormal VerificationComputational BiologyProgram AnalysisLogic ProgrammingSystems Engineering

Publications per year

1986–2022

Publications

Consistency of Clark's completion and existence of stable models.

François Fages · 1994 · 326 citations

Stable Models, Finite Model Theory, Model Theory +1

BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

Laurence Calzone, François Fages, Sylvain Soliman · Bioinformatics · 2006 · 232 citations · Full text

Long-term model predictive control of gene expression at the population and single-cell levels

Jannis Uhlendorf, Agnès Miermont, Thierry Delaveau et al. · Proceedings of the National Academy of Sciences · 2012 · 229 citations · Full text

Modeling and querying biomolecular interaction networks

Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos et al. · Theoretical Computer Science · 2004 · 170 citations

Engineering, Interactomics, Biological Network +6

Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM

François Fages · Journal of Biological Physics and Chemistry · 2002 · 137 citations

Engineering, Interaction Networks, Semantic Web +18

Rows per page

1–5 of 40