François Fages
Orcid: 0000-0001-5650-8266Affiliations:
- INRIA, France
According to our database1,
François Fages
authored at least 128 papers
between 1983 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2024
A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics.
Theor. Comput. Sci., February, 2024
A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics.
CoRR, 2024
2023
Proceedings of the Eleventh International Conference on Learning Representations, 2023
Proceedings of the Computational Methods in Systems Biology, 2023
2022
Mathematical modeling of the microtubule detyrosination/tyrosination cycle for cell-based drug screening design.
PLoS Comput. Biol., 2022
Proceedings of the Computational Methods in Systems Biology, 2022
Proceedings of the Computational Methods in Systems Biology, 2022
2021
Bioinform., 2021
Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs.
Proceedings of the Computational Methods in Systems Biology, 2021
2020
Proceedings of the Computational Methods in Systems Biology, 2020
Proceedings of the Computational Methods in Systems Biology, 2020
2019
NII Shonan Meet. Rep., 2019
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics.
Proceedings of the Computational Methods in Systems Biology, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
Proceedings of the 2019 IEEE Biomedical Circuits and Systems Conference, 2019
2018
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors.
IEEE ACM Trans. Comput. Biol. Bioinform., 2018
Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels.
CoRR, 2018
ACM Commun. Comput. Algebra, 2018
Proceedings of the Computational Methods in Systems Biology, 2018
2017
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs.
Proceedings of the Computational Methods in Systems Biology, 2017
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data.
Proceedings of the Computational Methods in Systems Biology, 2017
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2017
2016
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity.
Constraints An Int. J., 2016
Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis.
Biosyst., 2016
Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation.
Bioinform., 2016
Panorama of real-life applications in logistics embedding bin packing optimization algorithms, robotics and cloud computing technologies.
Proceedings of the 3rd International Conference on Logistics Operations Management, 2016
A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016
Proceedings of the Computational Methods in Systems Biology, 2016
2015
ACM Trans. Model. Comput. Simul., 2015
Theor. Comput. Sci., 2015
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis.
Proceedings of the Computational Methods in Systems Biology, 2015
2014
Algorithms Mol. Biol., 2014
Proceedings of the Distributed Computing and Internet Technology, 2014
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock.
Proceedings of the Computational Methods in Systems Biology, 2014
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2014
2013
Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology.
IEEE ACM Trans. Comput. Biol. Bioinform., 2013
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri
CoRR, 2013
Proceedings of the Computational Methods in Systems Biology, 2013
2012
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2012, 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Computational Methods in Systems Biology, 2012
2011
Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures.
Theor. Comput. Sci., 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.
Theor. Comput. Sci., 2011
Proceedings of the Biocomputing 2011: Proceedings of the Pacific Symposium, 2011
2010
Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems.
ERCIM News, 2010
Bioinform., 2010
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010
2009
A general computational method for robustness analysis with applications to synthetic gene networks.
Bioinform., 2009
Procedural Code Generation <i>vs</i> Static Expansion in Modelling Languages for Constraint Programming.
Proceedings of the Recent Advances in Constraints, 2009
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009
Proceedings of the Principles and Practice of Constraint Programming, 2009
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
2008
Theor. Comput. Sci., 2008
Proceedings of the Formal Methods for Computational Systems Biology, 2008
Proceedings of the Probabilistic Inductive Logic Programming - Theory and Applications, 2008
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008
Proceedings of the Recent Advances in Constraints, 2008
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008
2007
Tech. Sci. Informatiques, 2007
ERCIM News, 2007
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007
2006
Trans. Comp. Sys. Biology, 2006
Trans. Comp. Sys. Biology, 2006
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge.
Bioinform., 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006
2005
Proceedings of the Logic Based Program Synthesis and Transformation, 2005
Proceedings of the Logic Programming, 21st International Conference, 2005
Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005
2004
Constraints An Int. J., 2004
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004
2003
"Model Checking" symbolique de réseaux bio-chimiques.
Proceedings of the Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003
2002
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains.
Proceedings of the 12th International Workshop on Logic Programming Environments, 2002
Surcharge et sous-typage dans TCLP.
Proceedings of the Programmation en logique avec contraintes, 2002
Proceedings of the Logic Programming, 18th International Conference, 2002
2001
Inf. Comput., 2001
Programmes logiques avec contraintes typés.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001
2000
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000
1998
Proceedings of the Static Analysis, 5th International Symposium, 1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
A Generic Type System for CLP(chi).
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
1997
Theor. Comput. Sci., 1997
Proceedings of the Computer Science Logic, 11th International Workshop, 1997
1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996
1995
Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes.
Proceedings of the JFPLC'95, 1995
A Reactive Constraint Logic Programming Scheme.
Proceedings of the Logic Programming, 1995
Data Alignment and Task Scheduling on Parallel Machines Using Concurrent Model-based Programming.
Proceedings of the First International Workshop on Concurrent Constraint Programming, 1995
1994
Consistency of Clark's completion and existence of stable models.
Methods Log. Comput. Sci., 1994
Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages
Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994
Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming.
Proceedings of the Logic Programming, 1994
Proceedings of the Programming Language Implementation and Logic Programming, 1994
1993
On the Semantics of Optimization Predicates in CLP languages.
Proceedings of the Principles and Practice of Constraint Programming, 1993
1991
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics.
New Gener. Comput., 1991
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking.
Proceedings of the Constraint Logic Programming, 1991
1988
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988
1987
1986
Theor. Comput. Sci., 1986
1983
Note sur l'unification des termes de premier ordre finis et infinis.
Proceedings of the SPLT'83, 1983