Note sur l'unification des termes de premier ordre finis et infinis. - François Fages (SPLT, 1983)

Complete Sets of Unifiers and Matchers in Equational Theories. - François Fages; Gérard P. Huet (Theor. Comput. Sci., 1986)

Associative-Commutative Unification. - François Fages (J. Symb. Comput., 1987)

Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. - Luc Albert; François Fages (ICALP, 1988)

Average Case Analysis of Unification Algorithms. - Luc Albert; Rafael Casas; François Fages; A. Torrecillas; Paul Zimmermann (STACS, 1991)

A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. - Philippe Codognet; François Fages; Thierry Sola (WCLP, 1991)

A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. - François Fages (New Gener. Comput., 1991)

On the Semantics of Optimization Predicates in CLP languages. - François Fages (PPCP, 1993)

Average-Case Analysis of Unification Algorithms. - Luc Albert; Rafael Casas; François Fages (Theor. Comput. Sci., 1993)

Handling Preferences in Constraint Logic Programming with Relational Optimization. - François Fages; Julian Fowler; Thierry Sola (PLILP, 1994)

Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming. - Jean Jourdan; François Fages; Didier Rozzonelli; Alain Demeure (ILPS, 1994)

Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages - François Fages (Constraint Programming, 1994)

Consistency of Clark's completion and existence of stable models. - François Fages (Methods Log. Comput. Sci., 1994)

Data Alignment and Task Scheduling on Parallel Machines Using Concurrent Model-based Programming. - Jean Jourdan; François Fages; Didier Rozzonelli; Alain Demeure (CCP, 1995)

A Reactive Constraint Logic Programming Scheme. - François Fages; Julian Fowler; Thierry Sola (ICLP, 1995)

Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes. - Julian Fowler; Thierry Sola; François Fages (JFPLC, 1995)

A Hierarchy of Semantics for Normal Constraint Logic Programs. - François Fages; Roberta Gori (ALP, 1996)

From Constraint Minimization to Goal Optimization in CLP Languages. - François Fages (CP, 1996)

Concurrent Constraint Programming and Non-commutative Logic. - Paul Ruet; François Fages (CSL, 1997)

Constructive Negation by Pruning. - François Fages (J. Log. Program., 1997)

Combining Explicit Negation and Negation by Failure Via Belnap's Logic. - Paul Ruet; François Fages (Theor. Comput. Sci., 1997)

A Generic Type System for CLP(chi). - François Fages; Massimo Paltrinieri (IJCSLP, 1998)

Phase Semantics and Verification of Concurrent Constraint Programs. - François Fages; Paul Ruet; Sylvain Soliman (LICS, 1998)

Analysis of Normal Logic Programs. - François Fages; Roberta Gori (SAS, 1998)

Experiments in Reactive Constraint Logic Programming. - François Fages; Julian Fowler; Thierry Sola (J. Log. Program., 1998)

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. - Jan-Georg Smaus; François Fages; Pierre Deransart (FSTTCS, 2000)

Concurrent constraint programming and linear logic (abstract). - François Fages (PPDP, 2000)

Programmes logiques avec contraintes typés. - Emmanuel Coquery; François Fages (JFPLC, 2001)

CLP versus LS on Log-based Reconciliation Problems - François Fages (CoRR, 2001)

Linear Concurrent Constraint Programming: Operational and Phase Semantics. - François Fages; Paul Ruet; Sylvain Soliman (Inf. Comput., 2001)

Typing constraint logic programs. - François Fages; Emmanuel Coquery (Theory Pract. Log. Program., 2001)

TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. - Emmanuel Coquery; François Fages (ICLP, 2002)

Surcharge et sous-typage dans TCLP. - Emmanuel Coquery; François Fages (JFPLC, 2002)

CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. - François Fages (WLPE, 2002)

Symbolic Model Checking of Biochemical Networks. - Nathalie Chabrier; François Fages (CMSB, 2003)

Subtyping Constraints in Quasi-lattices. - Emmanuel Coquery; François Fages (FSTTCS, 2003)

Symbolic Model-Checking for Biochemical Systems. - François Fages (ICLP, 2003)

"Model Checking" symbolique de réseaux bio-chimiques. - Nathalie Chabrier; François Fages (JFPLC, 2003)

"Model Checking" symbolique de réseaux biochimiques. - Nathalie Chabrier; François Fages (Tech. Sci. Informatiques, 2003)

Contraintes de sous-typage dans les quasi-treillis. - Emmanuel Coquery; François Fages (Tech. Sci. Informatiques, 2003)

The Biochemical Abstract Machine BIOCHAM. - Nathalie Chabrier-Rivier; François Fages; Sylvain Soliman (CMSB, 2004)

CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. - Sylvain Soliman; François Fages (CMSB, 2004)

Automated Reasoning Tools for Molecular Biology. - François Fages (KI, 2004)

CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. - François Fages; Sylvain Soliman; Rémi Coolen (Constraints An Int. J., 2004)

Invited talks. - Martin A. Riedmiller; François Fages; Malik Ghallab; Wolfgang Wahlster; Jörg H. Siekmann (Künstliche Intell., 2004)

Modeling and querying biomolecular interaction networks. - Nathalie Chabrier-Rivier; Marc Chiaverini; Vincent Danos; François Fages; Vincent Schächter (Theor. Comput. Sci., 2004)

05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. - François Bry; François Fages; Massimo Marchiori; Hans Jürgen Ohlbach (Principles and Practices of Semantic Web Reasoning, 2005)

A Type System for CHR. - Emmanuel Coquery; François Fages (ICLP, 2005)

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. - François Fages (LOPSTR, 2005)

Type Inference in Systems Biology. - François Fages; Sylvain Soliman (CMSB, 2006)

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. - Grégory Batt; Jeremy T. Bradley; Roland Ewald; François Fages; Holger Hermanns; Jane Hillston; Peter Kemper; Alke Martens; Pieter J. Mosterman; Flemming Nielson; Oleg Sokolsky; Adelinde M. Uhrmacher (Simulation and Verification of Dynamic Systems, 2006)

Modules for Prolog Revisited. - Rémy Haemmerlé; François Fages (ICLP, 2006)

BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. - Laurence Calzone; François Fages; Sylvain Soliman (Bioinform., 2006)

A constraint programming approach to cutset problems. - François Fages; Akash Lal (Comput. Oper. Res., 2006)

Editorial. - François Fages; Narendra Jussien; Christine Solnon (RAIRO Oper. Res., 2006)

Machine Learning Biochemical Networks from Temporal Logic Properties. - Laurence Calzone; Nathalie Chabrier-Rivier; François Fages; Sylvain Soliman (Trans. Comp. Sys. Biology, 2006)

From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. - François Fages (Trans. Comp. Sys. Biology, 2006)

On the Analysis of Numerical Data Time Series in Temporal Logic. - François Fages; Aurélien Rizk (CMSB, 2007)

Closures and Modules Within Linear Logic Concurrent Constraint Programming. - Rémy Haemmerlé; François Fages; Sylvain Soliman (FSTTCS, 2007)

Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. - Rémy Haemmerlé; François Fages (RTA, 2007)

Patient-Tailored Cancer Therapeutics - The Tempo Project. - Jean Clairambault; François Fages; Sylvain Soliman (ERCIM News, 2007)

Net-WMS - A New Generation of Warehouse Management Systems Networked Services. - François Fages; Abder Aggoun (ERCIM News, 2007)

Langages formels dans la machine abstraite biochimique BIOCHAM. - Laurence Calzone; Nathalie Chabrier-Rivier; François Fages; L. Fosse; Sylvain Soliman (Tech. Sci. Informatiques, 2007)

On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. - Aurélien Rizk; Grégory Batt; François Fages; Sylvain Soliman (CMSB, 2008)

From Rules to Constraint Programs with the Rules2CP Modelling Language. - François Fages; Julien Martin (CSCLP, 2008)

From Reaction Models to Influence Graphs and Back: A Theorem. - François Fages; Sylvain Soliman (FMSB, 2008)

Model Revision from Temporal Logic Properties in Computational Systems Biology. - François Fages; Sylvain Soliman (Probabilistic Inductive Logic Programming, 2008)

Formal Cell Biology in Biocham. - François Fages; Sylvain Soliman (SFM, 2008)

On temporal logic constraint solving for analyzing numerical data time series. - François Fages; Aurélien Rizk (Theor. Comput. Sci., 2008)

Abstract interpretation and types for systems biology. - François Fages; Sylvain Soliman (Theor. Comput. Sci., 2008)

On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. - Elisabetta De Maria; François Fages; Sylvain Soliman (CMSB, 2009)

From Model-Checking to Temporal Logic Constraint Solving. - François Fages; Aurélien Rizk (CP, 2009)

Modelling Search Strategies in Rules2CP. - François Fages; Julien Martin (CPAIOR, 2009)

Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming. - Julien Martin; Thierry Martinez; François Fages (CSCLP, 2009)

A general computational method for robustness analysis with applications to synthetic gene networks. - Aurélien Rizk; Grégory Batt; François Fages; Sylvain Soliman (Bioinform., 2009)

A Logical Paradigm for Systems Biology (Invited Talk). - François Fages (ICLP (Technical Communications), 2010)

A graphical method for reducing and relating models in systems biology. - Steven Gay; Sylvain Soliman; François Fages (Bioinform., 2010)

Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. - Abder Aggoun; Nicolas Beldiceanu; Mats Carlsson; François Fages (ERCIM News, 2010)

Computational Systems Biology in BIOCHAM. - François Fages; Grégory Batt; Elisabetta De Maria; Dragana Jovanovska; Aurélien Rizk; Sylvain Soliman (ERCIM News, 2010)

Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade. - Jannis Uhlendorf; Samuele Bottani; François Fages; Pascal Hersen; Grégory Batt (Pacific Symposium on Biocomputing, 2011)

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. - Elisabetta De Maria; François Fages; Aurélien Rizk; Sylvain Soliman (Theor. Comput. Sci., 2011)

Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. - Aurélien Rizk; Grégory Batt; François Fages; Sylvain Soliman (Theor. Comput. Sci., 2011)

Inferring Reaction Models from ODEs. - François Fages; Steven Gay; Sylvain Soliman (CMSB, 2012)

A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. - Faten Nabli; François Fages; Thierry Martinez; Sylvain Soliman (CP, 2012)

A Comparative Analysis of FSS with CMA-ES and S-PSO in Ill-Conditioned Problems. - Anthony José da Cunha Carneiro Lins; Fernando Buarque de Lima Neto; François Fages; Carmelo J. A. Bastos Filho (IDEAL, 2012)

On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. - Hui-Ju Katherine Chiang; François Fages; Jie-Hong R. Jiang; Sylvain Soliman (CMSB, 2013)

Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri - Faten Nabli; François Fages; Thierry Martinez; Sylvain Soliman (CoRR, 2013)

Preface. - François Fages; Simon de Givry; Christine Solnon (RAIRO Oper. Res., 2013)

Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology. - François Fages; Sylvain Soliman (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)

Building reconfigurable circuitry in a biochemical world. - Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; François Fages (BioCAS, 2014)

Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock. - Pauline Traynard; François Fages; Sylvain Soliman (CMSB, 2014)

Cells as Machines: Towards Deciphering Biochemical Programs in the Cell. - François Fages (ICDCIT, 2014)

A constraint solving approach to model reduction by tropical equilibration. - Sylvain Soliman; François Fages; Ovidiu Radulescu (Algorithms Mol. Biol., 2014)

On the subgraph epimorphism problem. - Steven Gay; François Fages; Thierry Martinez; Sylvain Soliman; Christine Solnon (Discret. Appl. Math., 2014)

Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis. - Pauline Traynard; François Fages; Sylvain Soliman (CMSB, 2015)

Reconfigurable neuromorphic computation in biochemical systems. - Hui-Ju Katherine Chiang; Jie-Hong R. Jiang; François Fages (EMBC, 2015)

Search by constraint propagation. - Thierry Martinez; François Fages; Sylvain Soliman (PPDP, 2015)

Inferring reaction systems from ordinary differential equations. - François Fages; Steven Gay; Sylvain Soliman (Theor. Comput. Sci., 2015)

Hybrid Simulations of Heterogeneous Biochemical Models in SBML. - Hui-Ju Katherine Chiang; François Fages; Jie-Hong Roland Jiang; Sylvain Soliman (ACM Trans. Model. Comput. Simul., 2015)

Influence Systems vs Reaction Systems. - François Fages; Thierry Martinez; David A. Rosenblueth; Sylvain Soliman (CMSB, 2016)

A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. - Thierry Martinez; François Fages; Abder Aggoun (CPAIOR, 2016)

Panorama of real-life applications in logistics embedding bin packing optimization algorithms, robotics and cloud computing technologies. - Abderrahmane Aggoun; Ahmed Rhiat; François Fages (GOL, 2016)

Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation. - Pauline Traynard; Adrien Fauré; François Fages; Denis Thieffry (Bioinform., 2016)

Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis. - Pauline Traynard; Céline Feillet; Sylvain Soliman; Franck Delaunay; François Fages (Biosyst., 2016)

On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. - Faten Nabli; Thierry Martinez; François Fages; Sylvain Soliman (Constraints An Int. J., 2016)

Packing with Complex Shapes - Abderrahmane Aggoun; Nicolas Beldiceanu; Gilles Chabert; François Fages (ERCIM News, 2016)

Recombinase-based genetic circuit optimization. - Chun-Ning Lai; Jie-Hong R. Jiang; François Fages (BioCAS, 2017)

Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data. - Arthur Carcano; François Fages; Sylvain Soliman (CMSB, 2017)

Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. - François Fages; Guillaume Le Guludec; Olivier Bournez; Amaury Pouly (CMSB, 2017)

On Robustness Computation and Optimization in BIOCHAM-4. - François Fages; Sylvain Soliman (CMSB, 2018)

The SYMBIONT project: symbolic methods for biological networks. - François Boulier; François Fages; Ovidiu Radulescu; Satya Swarup Samal; Andreas Schuppert; Werner M. Seiler; Thomas Sturm 001; Sebastian Walcher; Andreas Weber 004 (ACM Commun. Comput. Algebra, 2018)

Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels. - Adrien Baudier; François Fages; Sylvain Soliman (CoRR, 2018)

Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. - François Fages; Thierry Martinez; David A. Rosenblueth; Sylvain Soliman (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity. - Wei-Chih Huang; Jie-Hong Roland Jiang; François Fages; Franck Molina (BioCAS, 2019)

On Chemical Reaction Network Design by a Nested Evolution Algorithm. - Elisabeth Degrand; Mathieu Hemery; François Fages (CMSB, 2019)

On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics. - Julien Martinelli; Jeremy Grignard; Sylvain Soliman; François Fages (CMSB, 2019)

Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157). - François Fages; Katsumi Inoue; Heinz Koeppl; Chris Myers; Yoshihiro Shimizu (NII Shonan Meet. Rep., 2019)

Artificial Intelligence in Biological Modelling. - François Fages (A Guided Tour of Artificial Intelligence Research (3) (III), 2020)

Graphical Conditions for Rate Independence in Chemical Reaction Networks. - Elisabeth Degrand; François Fages; Sylvain Soliman (CMSB, 2020)

On the Complexity of Quadratization for Polynomial Differential Equations. - Mathieu Hemery; François Fages; Sylvain Soliman (CMSB, 2020)

Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs. - Mathieu Hemery; François Fages; Sylvain Soliman (CMSB, 2021)

Model learning to identify systemic regulators of the peripheral circadian clock. - Julien Martinelli; Sandrine Dulong; Xiao-Mei Li; Michèle Teboul; Sylvain Soliman; Francis Lévi; François Fages; Annabelle Ballesta (Bioinform., 2021)

Stability Versus Meta-stability in a Skin Microbiome Model. - Eléa Thibault Greugny; Georgios N. Stamatas; François Fages (CMSB, 2022)

Algebraic Biochemistry: A Framework for Analog Online Computation in Cells. - Mathieu Hemery; François Fages (CMSB, 2022)

Mathematical modeling of the microtubule detyrosination/tyrosination cycle for cell-based drug screening design. - Jeremy Grignard; Véronique Lamamy; Eva Vermersch; Philippe Delagrange; Jean-Philippe Stephan; Thierry Dorval; François Fages (PLoS Comput. Biol., 2022)

On Estimating Derivatives of Input Signals in Biochemistry. - Mathieu Hemery; François Fages (CMSB, 2023)

Neural-based classification rule learning for sequential data. - Marine Collery; Philippe Bonnard; François Fages; Remy Kusters (ICLR, 2023)

Graphical Conditions Ensuring Equality Between Differential and Mean Stochastic Dynamics. - Hugo Buscemi; François Fages (CMSB, 2024)

A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics. - François Fages (FLOPS, 2024)

On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog. - François Fages (ICLP Workshops, 2024)

On a model of online analog computation in the cell with absolute functional robustness: Algebraic characterization, function compiler and error control. - Mathieu Hemery; François Fages (Theor. Comput. Sci., 2024)

Graphical Conditions for the Existence, Unicity and Number of Regular Models. - Van-Giang Trinh; Belaid Benhamou; Sylvain Soliman; François Fages (ICLP, 2024)

A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics. - Eléa Thibault Greugny; François Fages; Ovidiu Radulescu; Peter Szmolyan; Georgios N. Stamatas (Theor. Comput. Sci., 2024)

On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry. - François Fages; Mathieu Hemery; Sylvain Soliman (ACM Commun. Comput. Algebra, 2024)

On the Boolean Network Theory of Datalog¬. - Van-Giang Trinh; Belaid Benhamou; Sylvain Soliman; François Fages (CoRR, 2025)