François Fages

François Fages's AcademicInfluence.com Rankings

François Fages

Computer Science

#7954

World Rank

#8370

Historical Rank

Programming

#96

World Rank

#100

Historical Rank

Theoretical Computer Science

#128

World Rank

#128

Historical Rank

Database

#7991

World Rank

#8325

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is François Fages Influential?

(Suggest an Edit or Addition)

According to Wikipedia, François Fages is a French computer scientist known for contributions in the areas of unification theory, rule-based modelling, logic programming, concurrent constraint logic programming, computational biology and systems biology.

(See a Problem?)

François Fages's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Constraint Logic Programming (1997) (803)
Consistency of Clark's completion and existence of stable models (1992) (353)
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge (2006) (257)
Long-term model predictive control of gene expression at the population and single-cell levels (2012) (213)
Modeling and querying biomolecular interaction networks (2004) (194)
Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM (2002) (174)
Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings (2005) (162)
Symbolic Model Checking of Biochemical Networks (2003) (154)
Associative-Commutative Unification (1984) (141)
Machine Learning Biochemical Networks from Temporal Logic Properties (2006) (139)
Complete Sets of Unifiers and Matchers in Equational Theories (1983) (114)
A general computational method for robustness analysis with applications to synthetic gene networks (2009) (113)
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology (2008) (108)
The Biochemical Abstract Machine BIOCHAM (2004) (95)
Competing G protein-coupled receptor kinases balance G protein and β-arrestin signaling (2012) (84)
Abstract interpretation and types for systems biology (2008) (78)
Linear Concurrent Constraint Programming: Operational and Phase Semantics (2001) (77)
Formal Cell Biology in Biocham (2008) (74)
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (2011) (69)
A graphical method for reducing and relating models in systems biology (2010) (64)
Constructive Negation by Pruning (1997) (62)
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs (2017) (56)
On temporal logic constraint solving for analyzing numerical data time series (2008) (48)
From Reaction Models to Influence Graphs and Back: A Theorem (2008) (42)
On the Analysis of Numerical Data Time Series in Temporal Logic (2007) (39)
A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics (1990) (39)
Inferring reaction systems from ordinary differential equations (2015) (37)
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming (2002) (34)
Dynamics of the interlocked positive feedback loops explaining the robust epigenetic switching in Candida albicans. (2009) (32)
Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation (2016) (32)
Journal on Data Semantics IX (2007) (28)
Experiments in Reactive Constraint Logic Programming (1998) (27)
Modules for Prolog Revisited (2006) (27)
On the subgraph epimorphism problem (2014) (27)
On the Semantics of Optimization Predicates in CLP Languages (1993) (26)
Towards a systems biology approach of-G protein-coupled receptor signalling: challenges and expectations. (2009) (26)
Machine Learning Bio-molecular Interactions from Temporal Logic Properties (2005) (26)
From Model-Checking to Temporal Logic Constraint Solving (2009) (25)
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints (2011) (25)
Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade (2011) (25)
From Rules to Constraint Programs with the Rules2CP Modelling Language (2009) (24)
From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools (2006) (23)
Concurrent Constraint Programming and Non-commutative Logic (1997) (22)
Handling Preferences in Constraint Logic Programming with Relational Optimization (1994) (22)
A Reactive Constraint Logic Programming Scheme (1995) (22)
Typing constraint logic programs (2001) (21)
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations (2007) (20)
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking (1993) (20)
Phase semantics and verification of concurrent constraint programs (1998) (19)
Modular CHR with ask and tell (2008) (19)
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis (2016) (18)
Combining Explicit Negation and Negation by Failure Via Belnap's Logic (1997) (18)
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle (2009) (18)
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM (2005) (17)
A constraint solving approach to model reduction by tropical equilibration (2014) (16)
Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices (2018) (16)
Reconfigurable neuromorphic computation in biochemical systems (2015) (15)
A Machine Learning approach to Biochemical Reaction Rules Discovery (2005) (13)
A constraint programming approach to cutset problems (2006) (13)
The SYMBIONT project: symbolic methods for biological networks (2018) (12)
Closures and Modules Within Linear Logic Concurrent Constraint Programming (2007) (12)
Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications (2015) (12)
Subtyping Constraints in Quasi-lattices (2003) (12)
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems (2004) (11)
A Hierarchy of Semantics for Normal Constraint Logic Programs (1996) (10)
State-of-the-art in Bioinformatics (2004) (10)
Average-Case Analysis of Unification Algorithms (1991) (10)
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping (2000) (10)
Types for Web Rule Languages: a preliminary study (2003) (10)
Building reconfigurable circuitry in a biochemical world (2014) (9)
Usage of bioinformatics tools and identification of information sources (2005) (9)
A Type System for CHR (2005) (9)
Type Inference in Systems Biology (2006) (8)
Influence Systems vs Reaction Systems (2016) (8)
On Solving Mixed Shapes Packing Problems by Continuous Optimization with the CMA Evolution Strategy (2013) (8)
Types for REWERSE reasoning and query languages I3-D4 (2005) (8)
New Results - Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers (2014) (8)
Model learning to identify systemic regulators of the peripheral circadian clock (2021) (8)
In silico control of biomolecular processes. (2015) (8)
A Constraint Solving Approach to Tropical Equilibration and Model Reduction (2014) (8)
A Greedy Heuristic for Optimizing Metro Regenerative Energy Usage (2014) (8)
Recent Advances in Constraints (2003) (7)
Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels (2018) (7)
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity (2016) (7)
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification (2006) (7)
A generic type system for CLP( X ) (1998) (6)
From Constraint Minimization to Goal Optimization in CLP Languages (1996) (6)
Symbolic Model-Checking for Biochemical Systems (2003) (6)
Computer‐aided biochemical programming of synthetic microreactors as diagnostic devices (2018) (6)
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets (2012) (6)
Learning Transition Rules from Temporal Logic Properties (2005) (6)
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors (2018) (6)
On Robustness Computation and Optimization in BIOCHAM-4 (2018) (6)
Automatic Curation of SBML Models based on their ODE Semantics (2012) (6)
Hybrid Simulations of Heterogeneous Biochemical Models in SBML (2015) (5)
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis (2015) (5)
Inferring Reaction Models from ODEs (2012) (5)
CLP versus LS on Log-based Reconciliation Problems (2001) (5)
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data (2017) (5)
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP (2002) (5)
Model Revision from Temporal Logic Properties in Computational Systems Biology (2008) (5)
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock (2014) (5)
Average Case Analysis of Unification Algorithms (1991) (5)
Modelling molecular networks: relationships between different formalisms and levels of details (2010) (4)
Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages (1994) (4)
Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers (2009) (4)
Towards a Semantic Web for Bioinformatics (2004) (4)
Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm (1988) (4)
On the proceduralization of rules in expert systems (1988) (4)
Recent Advances in Constraints (vol. # 3419) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and (2005) (4)
Species Minimization in Computation with Biochemical Reactions (2013) (3)
Constraint‐Based Methods for Bioinformatics (2010) (3)
On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models (2013) (3)
Computational Systems Biology in BIOCHAM (2010) (3)
Poster: Towards a semantic web for bioinformatics (2004) (3)
Automated Reasoning Tools for Molecular Biology (2004) (3)
Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems (2010) (3)
Modelling Search Strategies in Rules2CP (2009) (3)
Requirements and specification of bioinformatics use cases (2005) (3)
SBGN support in BIOCHAM (2010) (2)
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning (2005) (2)
Artificial Intelligence in Biological Modelling (2020) (2)
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics (2019) (2)
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshopon Constraint Solving and Constraint Logic Programming, CSCLP 2005Uppsala, Sweden, ... / Lecture Notes in Artificial Intelligence) (2006) (2)
Concurrent Constraint Programming and Non-Commutative Linear Logic (Extended Abstract) (1996) (2)
Solving Subgraph Epimorphism Problems using CLP and SAT (2013) (2)
Logical modeling of the mammalian cell cycle (2015) (2)
Implementation of prototypes (2007) (2)
Reifying Global Constraints (2012) (2)
Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers (2008) (2)
Cells as Machines: Towards Deciphering Biochemical Programs in the Cell (2014) (2)
Recombinase-based genetic circuit optimization (2017) (2)
Concurrent Constraint Programming and Non-Commutative Linear Logic (Extended Abstract) (1996) (2)
Search by constraint propagation (2015) (2)
Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints (2004) (2)
On Internalizing Modules as Agents in Concurrent Constraint Programming (2006) (2)
Model-based Predictions of the Influence of Circadian Clock Genes Knock-Outs on the Cell Cycle (2009) (2)
On the Specification of Search Tree Ordering Heuristics by Pattern Matching in a Rule-Based Modeling Language (2009) (2)
Concurrent constraint programming and linear logic (abstract) (2000) (1)
Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming (1994) (1)
Components for Rule-Based Constraint Programming in the Large (2009) (1)
Search as Constraint Satisfaction (2014) (1)
Panorama of real-life applications in logistics embedding bin packing optimization algorithms, robotics and cloud computing technologies (2016) (1)
Formal Methods in Macro-Biology (2014) (1)
Mathematical modeling of the microtubule detyrosination/tyrosination cycle for cell-based drug screening design (2022) (1)
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming (2009) (1)
Patient-Tailored Cancer Therapeutics - The Tempo Project (2007) (1)
A Statistical Unsupervised Learning Algorithm for Inferring Reaction Networks from Time Series Data (2019) (1)
A constraint solving approach to model reduction by tropical equilibration (2014) (1)
Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning (2005) (1)
Configurable Linear Control of Biochemical Systems (2014) (1)
Real-time expert systems: an introduction to the XRete language (1991) (1)
Proceedings of the 9th International Conference on Computational Methods in Systems Biology (2011) (1)
Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity (2019) (1)
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems (2016) (1)
On Chemical Reaction Network Design by a Nested Evolution Algorithm (2019) (1)
On Translating MiniZinc Constraint Models into Fitness Function for Evolutionary Algorithms: Application to Continuous Placement Problems (2015) (1)
A Logical Paradigm for Systems Biology (Invited Talk) (2010) (0)
A Comparative Analysis of FSS with CMA-ES and S-PSO in Ill-Conditioned Problems (2012) (0)
Model-based Investigation of the Coupling between the Cell Cycle and the Circadian Clock in Mouse Embryonic Fibroblasts (2015) (0)
New Results - Model Reductions by Tropical Equilibration (2014) (0)
Workshop Coordinators: (2009) (0)
AI in Biological Modelling (2016) (0)
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology (2013) (0)
Lecture Notes in Computer Science 3010. Recent advances in constraints. Joint ERCIM/CoLogNET International Workshop, Budapest, 2003 (2004) (0)
Invited talks (2004) (0)
New Results - Temporal Logic Constraint Solving (2009) (0)
Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157) (2019) (0)
New Results - Coupled Model of the Cell Cycle and Circadian Clock (2013) (0)
New Results - Global constraint of scheduling with concentration constraints (2007) (0)
Analysis of Normal Logic Programs (1998) (0)
Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints (2006) (0)
Chapter 13 In Silico Control of Biomolecular Processes (2014) (0)
Preface: Recent advances in constraints (2004) (0)
New Results - Structural Model Reduction: CLP and SAT Solvers for Computing Subgraph Epimorphisms (2013) (0)
Computational modelling predicts impaired barrier function and higher sensitivity to skin inflammation following pH elevation (2022) (0)
New Results - Inferring Reaction Systems from Ordinary Differential Equations (2014) (0)
Proceedings of the 2005 Joint ERCIM/CoLogNET international conference on Constraint Solving and Constraint Logic Programming (2005) (0)
Metro Energy Optimization through Rescheduling: Mathematical Models and Heuristic Algorithm Compared to MILP and CMA-ES (2016) (0)
New Results - Coupled Model of the Cell Cycle and the Circadian Cycle in Mammalian Cells (2007) (0)
New Results - Abstract Interpretation for Systems Biology I: Hierarchy of Semantics (2007) (0)
New Results - Environnements de mise au point (2002) (0)
A Generic Type System for CLP(chi) (1998) (0)
Analysis of normal CLP programs (1997) (0)
Net-WMS - A New Generation of Warehouse Management Systems Networked Services (2007) (0)
New Results - Reconfigurable Neuromorphic Computation in Biochemical Systems (2015) (0)
PKML with ClpZinc: A Compilation Chain from Search Strategies to Solvers, and its Use for Packing (2015) (0)
New Results - Reconfigurable Circuitry in Biochemical Systems (2014) (0)
A 2-D 1 State-ofthe-art in Bioinformatics (2004) (0)
New Results - Model Reductions by Subgraph Epimorphisms (2014) (0)
New Software and Platforms - The Biochemical Abstract Machine (2014) (0)
New Results - A Greedy Heuristic for Optimizing Metro Regenerative Energy Usage compared to CMA-ES and MILP (2014) (0)
Proceedings of CSCLP 2007: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (2007) (0)
Logical modeling of the cell cycle (2014) (0)
New Software and Platforms - ClpZinc (2014) (0)
New Results - Logical Modeling of the Mammalian Cell Cycle (2014) (0)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface (2007) (0)
New Results - Design and Implementation of the Rules2CP Modeling Language (2008) (0)
New Results - Parameter Search and Robustness Analysis w.r.t. Temporal Logic Properties (2008) (0)
Software and Platforms - BIOCHAM, biochemical abstract machine (2013) (0)
PAC Learning of Thomas Regulatory Networks from Time-Series Data (2017) (0)
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology (2012) (0)
Mixture Model-CMA-ES (2016) (0)
Contents list. (2017) (0)
New Results - Contraintes globales (2002) (0)
Data Alignment and Task Scheduling on Parallel Machines Using Concurrent Model-based Programming (1995) (0)
Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers (2007) (0)
Evaluation of Theme Symbolic Systems Project-team CONTRAINTES October 2006 Project-team title : Constraint Programming (0)
Biochemical Programs and Analog‐Digital Mixed Algorithms in the Cell (2018) (0)
Turing Completeness of Elementary Reaction Systems under the Differential Semantics and Compilation of Mixed Analog-Digital Programs (2017) (0)
CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (2007) (0)
Spreading ideas and people (2009) (0)
Trace Simplifications preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock (Best Student Paper Prize) (2014) (0)
Packing with Complex Shapes (2016) (0)
Prototype typing tools for REWERSE languages (2006) (0)
Other Grants and Activities - National Initiative (2010) (0)
New Results - Railway Time Tabling Optimization with CMA-ES and Greedy Heuristics (2013) (0)
New Results - Petri Net Analyses of Biochemical Reaction Networks using Constraint Logic Programming (2013) (0)
New Results - Réconciliation (2002) (0)
New Results - Influence systems vs reaction systems (2016) (0)

This paper list is powered by the following services:

Other Resources About François Fages

en.wikipedia.org

François Fages's Academic­Influence.com Rankings

Why Is François Fages Influential?

François Fages's Published Works

Published Works

Other Resources About François Fages

Image Attributions

François Fages's AcademicInfluence.com Rankings