François Fages

According to our database1, François Fages authored at least 115 papers between 1983 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics.
Proceedings of the Computational Methods in Systems Biology, 2019

On Chemical Reaction Network Design by a Nested Evolution Algorithm.
Proceedings of the Computational Methods in Systems Biology, 2019

Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity.
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. Biology Bioinform., 2018

Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels.
CoRR, 2018

The SYMBIONT project: symbolic methods for biological networks.
ACM Comm. Computer Algebra, 2018

On Robustness Computation and Optimization in BIOCHAM-4.
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

Recombinase-based genetic circuit optimization.
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2017

2016
Packing with Complex Shapes
ERCIM News, 2016

On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity.
Constraints, 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.
Bioinformatics, 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

Influence Systems vs Reaction Systems.
Proceedings of the Computational Methods in Systems Biology, 2016

2015
Hybrid Simulations of Heterogeneous Biochemical Models in SBML.
ACM Trans. Model. Comput. Simul., 2015

Inferring reaction systems from ordinary differential equations.
Theor. Comput. Sci., 2015

Search by constraint propagation.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Reconfigurable neuromorphic computation in biochemical systems.
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
On the subgraph epimorphism problem.
Discret. Appl. Math., 2014

A constraint solving approach to model reduction by tropical equilibration.
Algorithms for Molecular Biology, 2014

Cells as Machines: Towards Deciphering Biochemical Programs in the Cell.
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

Building reconfigurable circuitry in a biochemical world.
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. Biology Bioinform., 2013

Preface.
RAIRO - Operations Research, 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

On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models.
Proceedings of the Computational Methods in Systems Biology, 2013

2012
A Comparative Analysis of FSS with CMA-ES and S-PSO in Ill-Conditioned Problems.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2012, 2012

A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Inferring Reaction Models from ODEs.
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

Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade.
Proceedings of the Biocomputing 2011: Proceedings of the Pacific Symposium, 2011

2010
Computational Systems Biology in BIOCHAM.
ERCIM News, 2010

Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems.
ERCIM News, 2010

A graphical method for reducing and relating models in systems biology.
Bioinformatics, 2010

A Logical Paradigm for Systems Biology (Invited Talk).
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.
Bioinformatics, 2009

Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming.
Proceedings of the Recent Advances in Constraints, 2009

Modelling Search Strategies in Rules2CP.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

From Model-Checking to Temporal Logic Constraint Solving.
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
Abstract interpretation and types for systems biology.
Theor. Comput. Sci., 2008

On temporal logic constraint solving for analyzing numerical data time series.
Theor. Comput. Sci., 2008

Formal Cell Biology in Biocham.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

Model Revision from Temporal Logic Properties in Computational Systems Biology.
Proceedings of the Probabilistic Inductive Logic Programming - Theory and Applications, 2008

From Reaction Models to Influence Graphs and Back: A Theorem.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

From Rules to Constraint Programs with the Rules2CP Modelling Language.
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
Langages formels dans la machine abstraite biochimique BIOCHAM.
Technique et Science Informatiques, 2007

Net-WMS - A New Generation of Warehouse Management Systems Networked Services.
ERCIM News, 2007

Patient-Tailored Cancer Therapeutics - The Tempo Project.
ERCIM News, 2007

Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

Closures and Modules Within Linear Logic Concurrent Constraint Programming.
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

On the Analysis of Numerical Data Time Series in Temporal Logic.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006
From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools.
, 2006

Machine Learning Biochemical Networks from Temporal Logic Properties.
, 2006

Editorial.
RAIRO - Operations Research, 2006

A constraint programming approach to cutset problems.
Comput. Oper. Res., 2006

BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge.
Bioinformatics, 2006

Modules for Prolog Revisited.
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

Type Inference in Systems Biology.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM.
Proceedings of the Logic Based Program Synthesis and Transformation, 2005

A Type System for CHR.
Proceedings of the Logic Programming, 21st International Conference, 2005

05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning.
Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005

2004
Modeling and querying biomolecular interaction networks.
Theor. Comput. Sci., 2004

Invited talks.
KI, 2004

CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming.
Constraints, 2004

Automated Reasoning Tools for Molecular Biology.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

The Biochemical Abstract Machine BIOCHAM.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003
Contraintes de sous-typage dans les quasi-treillis.
Technique et Science Informatiques, 2003

"Model Checking" symbolique de réseaux biochimiques.
Technique et Science Informatiques, 2003

"Model Checking" symbolique de réseaux bio-chimiques.
Proceedings of the Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), 2003

Symbolic Model-Checking for Biochemical Systems.
Proceedings of the Logic Programming, 19th International Conference, 2003

Subtyping Constraints in Quasi-lattices.
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

Symbolic Model Checking of Biochemical Networks.
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

TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.
Proceedings of the Logic Programming, 18th International Conference, 2002

2001
Typing constraint logic programs.
Theory Pract. Log. Program., 2001

Linear Concurrent Constraint Programming: Operational and Phase Semantics.
Inf. Comput., 2001

CLP versus LS on Log-based Reconciliation Problems
CoRR, 2001

Programmes logiques avec contraintes typés.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

2000
Concurrent constraint programming and linear logic (abstract).
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1998
Experiments in Reactive Constraint Logic Programming.
J. Log. Program., 1998

Analysis of Normal Logic Programs.
Proceedings of the Static Analysis, 5th International Symposium, 1998

Phase Semantics and Verification of Concurrent Constraint Programs.
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
Combining Explicit Negation and Negation by Failure Via Belnap's Logic.
Theor. Comput. Sci., 1997

Constructive Negation by Pruning.
J. Log. Program., 1997

Concurrent Constraint Programming and Non-commutative Logic.
Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996
From Constraint Minimization to Goal Optimization in CLP Languages.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

A Hierarchy of Semantics for Normal Constraint Logic Programs.
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

1994
Consistency of Clark's completion and existence of stable models.
Meth. of Logic in CS, 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

Handling Preferences in Constraint Logic Programming with Relational Optimization.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

1993
Average-Case Analysis of Unification Algorithms.
Theor. Comput. Sci., 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 Generation Comput., 1991

A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking.
Proceedings of the Constraint Logic Programming, 1991

Average Case Analysis of Unification Algorithms.
Proceedings of the STACS 91, 1991

1988
Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm.
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988

1987
Associative-Commutative Unification.
J. Symb. Comput., 1987

1986
Complete Sets of Unifiers and Matchers in Equational Theories.
Theor. Comput. Sci., 1986

1983
Note sur l'unification des termes de premier ordre finis et infinis.
Proceedings of the SPLT'83, 1983


  Loading...