François Fages

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 35

Top Venues

Publications

Eléa Thibault Greugny, François Fages, Ovidiu Radulescu, Peter Szmolyan, Georgios N. Stamatas
A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics. Theor. Comput. Sci. 983 (2024)
Mathieu Hemery, François Fages
On a model of online analog computation in the cell with absolute functional robustness: Algebraic characterization, function compiler and error control. Theor. Comput. Sci. 991 (2024)
François Fages
A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics. FLOPS (2024)
François Fages
A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics. CoRR (2024)
Mathieu Hemery, François Fages
On Estimating Derivatives of Input Signals in Biochemistry. CMSB (2023)
Marine Collery, Philippe Bonnard, François Fages, Remy Kusters
Neural-based classification rule learning for sequential data. CoRR (2023)
Marine Collery, Philippe Bonnard, François Fages, Remy Kusters
Neural-based classification rule learning for sequential data. ICLR (2023)
Eléa Thibault Greugny, François Fages, Ovidiu Radulescu, Peter Szmolyan, Georgios N. Stamatas
A Skin Microbiome Model with AMP interactions and Analysis of Quasi-Stability vs Stability in Population Dynamics. CoRR (2023)
Eléa Thibault Greugny, Georgios N. Stamatas, François Fages
Stability Versus Meta-stability in a Skin Microbiome Model. CMSB (2022)
Mathieu Hemery, François Fages
Algebraic Biochemistry: A Framework for Analog Online Computation in Cells. CMSB (2022)
Jeremy Grignard, Véronique Lamamy, Eva Vermersch, Philippe Delagrange, Jean-Philippe Stephan, Thierry Dorval, François Fages
Mathematical modeling of the microtubule detyrosination/tyrosination cycle for cell-based drug screening design. PLoS Comput. Biol. 18 (6) (2022)
Julien Martinelli, Sandrine Dulong, Xiao-Mei Li, Michèle Teboul, Sylvain Soliman, Francis Lévi, François Fages, Annabelle Ballesta
Model learning to identify systemic regulators of the peripheral circadian clock. Bioinform. 37 (Supplement) (2021)
Mathieu Hemery, François Fages, Sylvain Soliman
Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs. CMSB (2021)
Elisabeth Degrand, François Fages, Sylvain Soliman
Graphical Conditions for Rate Independence in Chemical Reaction Networks. CoRR (2020)
Mathieu Hemery, François Fages, Sylvain Soliman
On the Complexity of Quadratization for Polynomial Differential Equations. CMSB (2020)
Elisabeth Degrand, François Fages, Sylvain Soliman
Graphical Conditions for Rate Independence in Chemical Reaction Networks. CMSB (2020)
Mathieu Hemery, François Fages, Sylvain Soliman
On the Complexity of Quadratization for Polynomial Differential Equations. CoRR (2020)
Wei-Chih Huang, Jie-Hong Roland Jiang, François Fages, Franck Molina
Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity. BioCAS (2019)
Julien Martinelli, Jeremy Grignard, Sylvain Soliman, François Fages
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics. CMSB (2019)
François Fages, Katsumi Inoue, Heinz Koeppl, Chris Myers, Yoshihiro Shimizu
Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157). NII Shonan Meet. Rep. 2019 (2019)
Elisabeth Degrand, Mathieu Hemery, François Fages
On Chemical Reaction Network Design by a Nested Evolution Algorithm. CMSB (2019)
François Fages, Sylvain Soliman
On Robustness Computation and Optimization in BIOCHAM-4. CMSB (2018)
François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm, Sebastian Walcher, Andreas Weber
The SYMBIONT project: symbolic methods for biological networks. ACM Commun. Comput. Algebra 52 (3) (2018)
Adrien Baudier, François Fages, Sylvain Soliman
Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels. CoRR (2018)
François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (4) (2018)
Arthur Carcano, François Fages, Sylvain Soliman
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data. CMSB (2017)
Chun-Ning Lai, Jie-Hong R. Jiang, François Fages
Recombinase-based genetic circuit optimization. BioCAS (2017)
François Fages, Guillaume Le Guludec, Olivier Bournez, Amaury Pouly
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. CMSB (2017)
François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
Influence Systems vs Reaction Systems. CMSB (2016)
Abderrahmane Aggoun, Nicolas Beldiceanu, Gilles Chabert, François Fages
Packing with Complex Shapes ERCIM News 2016 (105) (2016)
Pauline Traynard, Céline Feillet, Sylvain Soliman, Franck Delaunay, François Fages
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis. Biosyst. 149 (2016)
Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Constraints An Int. J. 21 (2) (2016)
Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry
Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation. Bioinform. 32 (17) (2016)
Thierry Martinez, François Fages, Abder Aggoun
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. CPAIOR (2016)
Abderrahmane Aggoun, Ahmed Rhiat, François Fages
Panorama of real-life applications in logistics embedding bin packing optimization algorithms, robotics and cloud computing technologies. GOL (2016)
Hui-Ju Katherine Chiang, François Fages, Jie-Hong Roland Jiang, Sylvain Soliman
Hybrid Simulations of Heterogeneous Biochemical Models in SBML. ACM Trans. Model. Comput. Simul. 25 (2) (2015)
François Fages, Steven Gay, Sylvain Soliman
Inferring reaction systems from ordinary differential equations. Theor. Comput. Sci. 599 (2015)
Pauline Traynard, François Fages, Sylvain Soliman
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis. CMSB (2015)
Thierry Martinez, François Fages, Sylvain Soliman
Search by constraint propagation. PPDP (2015)
Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages
Reconfigurable neuromorphic computation in biochemical systems. EMBC (2015)
François Fages
Cells as Machines: Towards Deciphering Biochemical Programs in the Cell. ICDCIT (2014)
Pauline Traynard, François Fages, Sylvain Soliman
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock. CMSB (2014)
Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages
Building reconfigurable circuitry in a biochemical world. BioCAS (2014)
Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon
On the subgraph epimorphism problem. Discret. Appl. Math. 162 (2014)
Sylvain Soliman, François Fages, Ovidiu Radulescu
A constraint solving approach to model reduction by tropical equilibration. Algorithms Mol. Biol. 9 (2014)
Hui-Ju Katherine Chiang, François Fages, Jie-Hong R. Jiang, Sylvain Soliman
On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. CMSB (2013)
François Fages, Sylvain Soliman
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (2) (2013)
Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri CoRR (2013)
François Fages, Simon de Givry, Christine Solnon
Preface. RAIRO Oper. Res. 47 (2) (2013)
François Fages, Sylvain Soliman
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (5) (2012)
François Fages, Steven Gay, Sylvain Soliman
Inferring Reaction Models from ODEs. CMSB (2012)
Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. CP (2012)
Anthony J. da C. C. Lins, Fernando Buarque de Lima Neto, François Fages, Carmelo J. A. Bastos Filho
A Comparative Analysis of FSS with CMA-ES and S-PSO in Ill-Conditioned Problems. IDEAL (2012)
Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman
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. Theor. Comput. Sci. 412 (21) (2011)
Jannis Uhlendorf, Samuele Bottani, François Fages, Pascal Hersen, Grégory Batt
Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade. Pacific Symposium on Biocomputing (2011)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412 (26) (2011)
François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman
Computational Systems Biology in BIOCHAM. ERCIM News 2010 (82) (2010)
François Fages
A Logical Paradigm for Systems Biology (Invited Talk). ICLP (Technical Communications) (2010)
Steven Gay, Sylvain Soliman, François Fages
A graphical method for reducing and relating models in systems biology. Bioinform. 26 (18) (2010)
Abder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages
Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. ERCIM News 2010 (81) (2010)
François Fages, Julien Martin
Modelling Search Strategies in Rules2CP. CPAIOR (2009)
François Fages, Aurélien Rizk
From Model-Checking to Temporal Logic Constraint Solving. CP (2009)
Julien Martin, Thierry Martinez, François Fages
Static Expansion in Modelling Languages for Constraint Programming. CSCLP (2009)
Elisabetta De Maria, François Fages, Sylvain Soliman
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. CMSB (2009)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
A general computational method for robustness analysis with applications to synthetic gene networks. Bioinform. 25 (12) (2009)
François Fages, Sylvain Soliman
Formal Cell Biology in Biocham. SFM (2008)
François Fages, Aurélien Rizk
On temporal logic constraint solving for analyzing numerical data time series. Theor. Comput. Sci. 408 (1) (2008)
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. CMSB (2008)
François Fages, Sylvain Soliman
From Reaction Models to Influence Graphs and Back: A Theorem. FMSB (2008)
François Fages, Julien Martin
From Rules to Constraint Programs with the Rules2CP Modelling Language. CSCLP (2008)
François Fages, Sylvain Soliman
Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403 (1) (2008)
Rémy Haemmerlé, François Fages, Sylvain Soliman
Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS (2007)
François Fages, Aurélien Rizk
On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB (2007)
Rémy Haemmerlé, François Fages
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA (2007)
François Fages, Abder Aggoun
Net-WMS - A New Generation of Warehouse Management Systems Networked Services. ERCIM News 2007 (68) (2007)
Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, L. Fosse, Sylvain Soliman
Langages formels dans la machine abstraite biochimique BIOCHAM. Tech. Sci. Informatiques 26 (1-2) (2007)
Jean Clairambault, François Fages, Sylvain Soliman
Patient-Tailored Cancer Therapeutics - The Tempo Project. ERCIM News 2007 (69) (2007)
François Fages, Narendra Jussien, Christine Solnon
Editorial. RAIRO Oper. Res. 40 (4) (2006)
François Fages
From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. Trans. Comp. Sys. Biology 4 (2006)
Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
Machine Learning Biochemical Networks from Temporal Logic Properties. Trans. Comp. Sys. Biology 6 (2006)
Rémy Haemmerlé, François Fages
Modules for Prolog Revisited. ICLP (2006)
François Fages, Akash Lal
A constraint programming approach to cutset problems. Comput. Oper. Res. 33 (10) (2006)
François Fages, Sylvain Soliman
Type Inference in Systems Biology. CMSB (2006)
Laurence Calzone, François Fages, Sylvain Soliman
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinform. 22 (14) (2006)
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
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems (2006)
Emmanuel Coquery, François Fages
A Type System for CHR. CSCLP (2005)
François Fages
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. LOPSTR (2005)
Emmanuel Coquery, François Fages
A Type System for CHR. ICLP (2005)
François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. Principles and Practices of Semantic Web Reasoning (2005)
Martin A. Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann
Invited talks. Künstliche Intell. 18 (3) (2004)
François Fages, Sylvain Soliman, Rémi Coolen
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints An Int. J. 9 (4) (2004)
Sylvain Soliman, François Fages
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. CMSB (2004)
Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
The Biochemical Abstract Machine BIOCHAM. CMSB (2004)
Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter
Modeling and querying biomolecular interaction networks. Theor. Comput. Sci. 325 (1) (2004)
François Fages, Emmanuel Coquery
Typing constraint logic programs CoRR (2004)
François Fages
Automated Reasoning Tools for Molecular Biology. KI (2004)
Emmanuel Coquery, François Fages
Contraintes de sous-typage dans les quasi-treillis. Tech. Sci. Informatiques 22 (1) (2003)
François Fages
Symbolic Model-Checking for Biochemical Systems. ICLP (2003)
Nathalie Chabrier, François Fages
"Model Checking" symbolique de réseaux biochimiques. Tech. Sci. Informatiques 22 (1) (2003)
Emmanuel Coquery, François Fages
Contraintes de sous-typage dans les quasi-treillis. JFPLC (2003)

François Fages.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

François Fages