| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | François Fages (eds.) |
Computational Methods in Systems Biology, 9th International Conference, CMSB 2011, Paris, France, September 21-23, 2011. Proceedings |
CMSB |
2011 |
DBLP BibTeX RDF |
|
| 1 | Steven Gay, Sylvain Soliman, François Fages |
A graphical method for reducing and relating models in systems biology. |
Bioinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman |
Computational Systems Biology in BIOCHAM. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Abder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages |
Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | François Fages |
A Logical Paradigm for Systems Biology (Invited Talk). |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman |
A general computational method for robustness analysis with applications to synthetic gene networks. |
Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Martin, Thierry Martinez, François Fages |
Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming. |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Oddi, François Fages, Francesca Rossi (eds.) |
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 |
CSCLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Julien Martin |
Modelling Search Strategies in Rules2CP. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Aurélien Rizk |
From Model-Checking to Temporal Logic Constraint Solving. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
Abstract interpretation and types for systems biology. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Aurélien Rizk |
On temporal logic constraint solving for analyzing numerical data time series. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
From Reaction Models to Influence Graphs and Back: A Theorem. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Francesca Rossi, Sylvain Soliman (eds.) |
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 |
CSCLP |
2008 |
DBLP BibTeX RDF |
|
| 1 | François Fages, Julien Martin |
From Rules to Constraint Programs with the Rules2CP Modelling Language. |
CSCLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
Formal Cell Biology in Biocham. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
Model Revision from Temporal Logic Properties in Computational Systems Biology. |
Probabilistic Inductive Logic Programming |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.) |
Journal on Data Semantics VIII |
J. Data Semantics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (eds.) |
Journal on Data Semantics IX |
J. Data Semantics |
2007 |
DBLP BibTeX RDF |
|
| 1 | François Fages, Abder Aggoun |
Net-WMS - A New Generation of Warehouse Management Systems Networked Services. |
ERCIM News |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jean Clairambault, François Fages, Sylvain Soliman |
Patient-Tailored Cancer Therapeutics - The Tempo Project. |
ERCIM News |
2007 |
DBLP BibTeX RDF |
|
| 1 | Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, L. Fosse, Sylvain Soliman |
Langages formels dans la machine abstraite biochimique BIOCHAM. |
Technique et Science Informatiques |
2007 |
DBLP BibTeX RDF |
|
| 1 | Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi (eds.) |
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 |
CSCLP |
2007 |
DBLP BibTeX RDF |
|
| 1 | François Fages, Aurélien Rizk |
On the Analysis of Numerical Data Time Series in Temporal Logic. |
CMSB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémy Haemmerlé, François Fages |
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémy Haemmerlé, François Fages, Sylvain Soliman |
Closures and Modules Within Linear Logic Concurrent Constraint Programming. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Calzone, François Fages, Sylvain Soliman |
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. |
Bioinformatics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Narendra Jussien, Christine Solnon |
Editorial. |
RAIRO - Operations Research |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Akash Lal |
A constraint programming approach to cutset problems. |
Computers & OR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman |
Machine Learning Biochemical Networks from Temporal Logic Properties. |
T. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages |
From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. |
T. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémy Haemmerlé, François Fages |
Modules for Prolog Revisited. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach (eds.) |
Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005 |
Principles and Practices of Semantic Web Reasoning |
2006 |
DBLP BibTeX RDF |
|
| 1 | Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi (eds.) |
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers |
CSCLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
Type Inference in Systems Biology. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Coquery, François Fages |
A Type System for CHR. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman (eds.) |
Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings |
PPSWR |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Coquery, François Fages |
A Type System for CHR. |
CSCLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi (eds.) |
Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers |
CSCLP |
2005 |
DBLP BibTeX RDF |
|
| 1 | François Fages |
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter |
Modeling and querying biomolecular interaction networks. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman, Rémi Coolen |
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. |
Constraints |
2004 |
DBLP DOI BibTeX RDF |
program annotation, visualization, GUI, debugging, constraint programming, search trees |
| 1 | François Fages, Emmanuel Coquery |
Typing constraint logic programs |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Martin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann |
Invited talks. |
KI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza (eds.) |
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers |
CSCLP |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman |
The Biochemical Abstract Machine BIOCHAM. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Soliman, François Fages |
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages |
Automated Reasoning Tools for Molecular Biology. |
KI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Coquery, François Fages |
Contraintes de sous-typage dans les quasi-treillis. |
Technique et Science Informatiques |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nathalie Chabrier, François Fages |
"Model Checking" symbolique de réseaux biochimiques. |
Technique et Science Informatiques |
2003 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Coquery, François Fages |
Contraintes de sous-typage dans les quasi-treillis. |
JFPLC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nathalie Chabrier, François Fages |
"Model Checking" symbolique de réseaux bio-chimiques. |
JFPLC |
2003 |
DBLP BibTeX RDF |
|
| 1 | François Fages |
Symbolic Model-Checking for Biochemical Systems. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Chabrier, François Fages |
Symbolic Model Checking of Biochemical Networks. |
CMSB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Coquery, François Fages |
Subtyping Constraints in Quasi-lattices. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages |
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | François Fages |
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. |
WLPE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Coquery, François Fages |
Surcharge et sous-typage dans TCLP. |
JFPLC |
2002 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Coquery, François Fages |
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Paul Ruet, Sylvain Soliman |
Linear Concurrent Constraint Programming: Operational and Phase Semantics. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages |
CLP versus LS on Log-based Reconciliation Problems |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | François Fages, Emmanuel Coquery |
Typing constraint logic programs. |
TPLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Coquery, François Fages |
Programmes logiques avec contraintes typés. |
JFPLC |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jan-Georg Smaus, François Fages, Pierre Deransart |
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | François Fages |
Concurrent constraint programming and linear logic (abstract). |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Georg Smaus, François Fages, Pierre Deransart |
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages (eds.) |
JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France |
JFPLC |
1999 |
DBLP BibTeX RDF |
|
| 1 | François Fages, Julian Fowler, Thierry Sola |
Experiments in Reactive Constraint Logic Programming. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Massimo Paltrinieri |
A Generic Type System for CLP(chi). |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | François Fages, Paul Ruet, Sylvain Soliman |
Phase Semantics and Verification of Concurrent Constraint Programs. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Roberta Gori |
Analysis of Normal Logic Programs. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
logic programming, static analysis, interpretation, constructive negation |
| 1 | François Fages |
Constructive Negation by Pruning. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Ruet, François Fages |
Combining Explicit Negation and Negation by Failure Via Belnap's Logic. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Ruet, François Fages |
Concurrent Constraint Programming and Non-commutative Logic. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Roberta Gori |
A Hierarchy of Semantics for Normal Constraint Logic Programs. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages |
From Constraint Minimization to Goal Optimization in CLP Languages. |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Fowler, Thierry Sola, François Fages |
Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes. |
JFPLC |
1995 |
DBLP BibTeX RDF |
|
| 1 | François Fages, Julian Fowler, Thierry Sola |
A Reactive Constraint Logic Programming Scheme. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | François Fages |
Consistency of Clark's completion and existence of stable models. |
Meth. of Logic in CS |
1994 |
DBLP BibTeX RDF |
|
| 1 | François Fages |
Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages |
Constraint Programming |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure |
Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming. |
SLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | François Fages, Julian Fowler, Thierry Sola |
Handling Preferences in Constraint Logic Programming with Relational Optimization. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
hierarchical constraint logic programming, optimization, preference, constraint logic programming |
| 1 | Luc Albert, Rafael Casas, François Fages |
Average-Case Analysis of Unification Algorithms. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages |
On the Semantics of Optimization Predicates in CLP languages. |
PPCP |
1993 |
DBLP BibTeX RDF |
|
| 1 | François Fages |
On the Semantics of Optimization Predicates in CLP Languages. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages |
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. |
New Generation Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann |
Average Case Analysis of Unification Algorithms. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
generating functions, average case complexity, unification algorithms |
| 1 | Philippe Codognet, François Fages, Thierry Sola |
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. |
WCLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | François Fages |
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Luc Albert, François Fages |
Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. |
ICALP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages |
Associative-Commutative Unification. |
J. Symb. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Gérard P. Huet |
Complete Sets of Unifiers and Matchers in Equational Theories. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages |
Associative-Commutative Unification. |
CADE |
1984 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")