2008 |
83 | | François Fages,
Francesca Rossi,
Sylvain Soliman:
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
Springer 2008 |
82 | EE | 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: 251-268 |
81 | EE | François Fages,
Sylvain Soliman:
From Reaction Models to Influence Graphs and Back: A Theorem.
FMSB 2008: 90-102 |
80 | EE | François Fages,
Sylvain Soliman:
Model Revision from Temporal Logic Properties in Computational Systems Biology.
Probabilistic Inductive Logic Programming 2008: 287-304 |
79 | EE | François Fages,
Sylvain Soliman:
Formal Cell Biology in Biocham.
SFM 2008: 54-80 |
78 | EE | François Fages,
Sylvain Soliman:
Abstract interpretation and types for systems biology.
Theor. Comput. Sci. 403(1): 52-70 (2008) |
77 | EE | François Fages,
Aurélien Rizk:
On temporal logic constraint solving for analyzing numerical data time series.
Theor. Comput. Sci. 408(1): 55-65 (2008) |
2007 |
76 | | Stefano Spaccapietra,
Paolo Atzeni,
François Fages,
Mohand-Said Hacid,
Michael Kifer,
John Mylopoulos,
Barbara Pernici,
Pavel Shvaiko,
Juan Trujillo,
Ilya Zaihrayeu:
Journal on Data Semantics VIII
Springer 2007 |
75 | | Stefano Spaccapietra,
Paolo Atzeni,
François Fages,
Mohand-Said Hacid,
Michael Kifer,
John Mylopoulos,
Barbara Pernici,
Pavel Shvaiko,
Juan Trujillo,
Ilya Zaihrayeu:
Journal on Data Semantics IX
Springer 2007 |
74 | | Francisco Azevedo,
Pedro Barahona,
François Fages,
Francesca Rossi:
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
Springer 2007 |
73 | EE | François Fages,
Aurélien Rizk:
On the Analysis of Numerical Data Time Series in Temporal Logic.
CMSB 2007: 48-63 |
72 | EE | Rémy Haemmerlé,
François Fages,
Sylvain Soliman:
Closures and Modules Within Linear Logic Concurrent Constraint Programming.
FSTTCS 2007: 544-556 |
71 | EE | Rémy Haemmerlé,
François Fages:
Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.
RTA 2007: 214-228 |
70 | EE | Laurence Calzone,
Nathalie Chabrier-Rivier,
François Fages,
L. Fosse,
Sylvain Soliman:
Langages formels dans la machine abstraite biochimique BIOCHAM.
Technique et Science Informatiques 26(1-2): 47-72 (2007) |
2006 |
69 | | François Bry,
François Fages,
Massimo Marchiori,
Hans Jürgen Ohlbach:
Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
68 | | Brahim Hnich,
Mats Carlsson,
François Fages,
Francesca Rossi:
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
Springer 2006 |
67 | EE | François Fages,
Sylvain Soliman:
Type Inference in Systems Biology.
CMSB 2006: 48-62 |
66 | EE | Rémy Haemmerlé,
François Fages:
Modules for Prolog Revisited.
ICLP 2006: 41-55 |
65 | EE | 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 |
64 | EE | Laurence Calzone,
François Fages,
Sylvain Soliman:
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge.
Bioinformatics 22(14): 1805-1807 (2006) |
63 | EE | François Fages,
Akash Lal:
A constraint programming approach to cutset problems.
Computers & OR 33(10): 2852-2865 (2006) |
62 | EE | François Fages:
From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools.
T. Comp. Sys. Biology: 68-70 (2006) |
61 | EE | Laurence Calzone,
Nathalie Chabrier-Rivier,
François Fages,
Sylvain Soliman:
Machine Learning Biochemical Networks from Temporal Logic Properties.
T. Comp. Sys. Biology: 68-94 (2006) |
2005 |
60 | | Boi Faltings,
Adrian Petcu,
François Fages,
Francesca Rossi:
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
Springer 2005 |
59 | | François Fages,
Sylvain Soliman:
Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
Springer 2005 |
58 | EE | Emmanuel Coquery,
François Fages:
A Type System for CHR.
CSCLP 2005: 100-117 |
57 | EE | Emmanuel Coquery,
François Fages:
A Type System for CHR.
ICLP 2005: 402-403 |
56 | EE | François Fages:
Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM.
LOPSTR 2005: 1-5 |
55 | EE | 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 |
2004 |
54 | | Krzysztof R. Apt,
François Fages,
Francesca Rossi,
Péter Szeredi,
József Váncza:
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
Springer 2004 |
53 | EE | Nathalie Chabrier-Rivier,
François Fages,
Sylvain Soliman:
The Biochemical Abstract Machine BIOCHAM.
CMSB 2004: 172-191 |
52 | EE | Sylvain Soliman,
François Fages:
CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems.
CMSB 2004: 231-235 |
51 | EE | François Fages:
Automated Reasoning Tools for Molecular Biology.
KI 2004: 1-2 |
50 | EE | François Fages,
Emmanuel Coquery:
Typing constraint logic programs
CoRR cs.PL/0405100: (2004) |
49 | EE | François Fages,
Sylvain Soliman,
Rémi Coolen:
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming.
Constraints 9(4): 241-262 (2004) |
48 | EE | Martin Riedmiller,
François Fages,
Malik Ghallab,
Wolfgang Wahlster,
Jörg H. Siekmann:
Invited talks.
KI 18(3): 44- (2004) |
47 | EE | Nathalie Chabrier-Rivier,
Marc Chiaverini,
Vincent Danos,
François Fages,
Vincent Schächter:
Modeling and querying biomolecular interaction networks.
Theor. Comput. Sci. 325(1): 25-44 (2004) |
2003 |
46 | EE | Nathalie Chabrier,
François Fages:
Symbolic Model Checking of Biochemical Networks.
CMSB 2003: 149-162 |
45 | EE | Emmanuel Coquery,
François Fages:
Subtyping Constraints in Quasi-lattices.
FSTTCS 2003: 136-148 |
44 | EE | François Fages:
Symbolic Model-Checking for Biochemical Systems.
ICLP 2003: 102 |
43 | | Nathalie Chabrier,
François Fages:
"Model Checking" symbolique de réseaux bio-chimiques.
JFPLC 2003: 155-168 |
42 | | Emmanuel Coquery,
François Fages:
Contraintes de sous-typage dans les quasi-treillis.
JFPLC 2003: 253-266 |
41 | EE | Nathalie Chabrier,
François Fages:
"Model Checking" symbolique de réseaux biochimiques.
Technique et Science Informatiques 22(1): 155-168 (2003) |
40 | EE | Emmanuel Coquery,
François Fages:
Contraintes de sous-typage dans les quasi-treillis.
Technique et Science Informatiques 22(1): 253-266 (2003) |
2002 |
39 | EE | Emmanuel Coquery,
François Fages:
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.
ICLP 2002: 480 |
38 | | Emmanuel Coquery,
François Fages:
Surcharge et sous-typage dans TCLP.
JFPLC 2002: 273- |
37 | EE | François Fages:
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains.
WLPE 2002: 47-62 |
36 | EE | François Fages:
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains
CoRR cs.SE/0207048: (2002) |
2001 |
35 | | Emmanuel Coquery,
François Fages:
Programmes logiques avec contraintes typés.
JFPLC 2001: 223-238 |
34 | EE | François Fages:
CLP versus LS on Log-based Reconciliation Problems
CoRR cs.PL/0109033: (2001) |
33 | | François Fages,
Paul Ruet,
Sylvain Soliman:
Linear Concurrent Constraint Programming: Operational and Phase Semantics.
Inf. Comput. 165(1): 14-41 (2001) |
32 | | François Fages,
Emmanuel Coquery:
Typing constraint logic programs.
TPLP 1(6): 751-777 (2001) |
2000 |
31 | EE | Jan-Georg Smaus,
François Fages,
Pierre Deransart:
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping.
FSTTCS 2000: 214-226 |
30 | EE | François Fages:
Concurrent constraint programming and linear logic (abstract).
PPDP 2000: 44 |
29 | EE | Jan-Georg Smaus,
François Fages,
Pierre Deransart:
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
CoRR cs.LO/0010029: (2000) |
1999 |
28 | | François Fages:
JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France
Hermes 1999 |
1998 |
27 | | François Fages,
Massimo Paltrinieri:
A Generic Type System for CLP(chi).
IJCSLP 1998: 353-354 |
26 | | François Fages,
Paul Ruet,
Sylvain Soliman:
Phase Semantics and Verification of Concurrent Constraint Programs.
LICS 1998: 141-152 |
25 | EE | François Fages,
Roberta Gori:
Analysis of Normal Logic Programs.
SAS 1998: 82-98 |
24 | | François Fages,
Julian Fowler,
Thierry Sola:
Experiments in Reactive Constraint Logic Programming.
J. Log. Program. 37(1-3): 185-212 (1998) |
1997 |
23 | | Paul Ruet,
François Fages:
Concurrent Constraint Programming and Non-commutative Logic.
CSL 1997: 406-423 |
22 | | François Fages:
Constructive Negation by Pruning.
J. Log. Program. 32(2): 85-118 (1997) |
21 | EE | Paul Ruet,
François Fages:
Combining Explicit Negation and Negation by Failure Via Belnap's Logic.
Theor. Comput. Sci. 171(1-2): 61-75 (1997) |
1996 |
20 | | François Fages,
Roberta Gori:
A Hierarchy of Semantics for Normal Constraint Logic Programs.
ALP 1996: 77-91 |
19 | | François Fages:
From Constraint Minimization to Goal Optimization in CLP Languages.
CP 1996: 537-538 |
1995 |
18 | | François Fages,
Julian Fowler,
Thierry Sola:
A Reactive Constraint Logic Programming Scheme.
ICLP 1995: 149-163 |
17 | | 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: 21-33 |
1994 |
16 | | François Fages:
Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages
Constraint Programming 1994: 68-89 |
15 | | François Fages,
Julian Fowler,
Thierry Sola:
Handling Preferences in Constraint Logic Programming with Relational Optimization.
PLILP 1994: 261-276 |
14 | | 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: 678 |
1993 |
13 | | François Fages:
On the Semantics of Optimization Predicates in CLP Languages.
FSTTCS 1993: 193-204 |
12 | | François Fages:
On the Semantics of Optimization Predicates in CLP languages.
PPCP 1993: 51-59 |
11 | | Luc Albert,
Rafael Casas,
François Fages:
Average-Case Analysis of Unification Algorithms.
Theor. Comput. Sci. 113(1): 3-34 (1993) |
1991 |
10 | | Luc Albert,
Rafael Casas,
François Fages,
A. Torrecillas,
Paul Zimmermann:
Average Case Analysis of Unification Algorithms.
STACS 1991: 196-213 |
9 | | Philippe Codognet,
François Fages,
Thierry Sola:
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking.
WCLP 1991: 437-456 |
8 | | François Fages:
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics.
New Generation Comput. 9(3/4): 425-444 (1991) |
1990 |
7 | | François Fages:
A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics.
ICLP 1990: 441-458 |
1988 |
6 | | Luc Albert,
François Fages:
Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm.
ICALP 1988: 18-37 |
1987 |
5 | | François Fages:
Associative-Commutative Unification.
J. Symb. Comput. 3(3): 257-275 (1987) |
1986 |
4 | | François Fages,
Gérard P. Huet:
Complete Sets of Unifiers and Matchers in Equational Theories.
Theor. Comput. Sci. 43: 189-200 (1986) |
1984 |
3 | | François Fages:
Associative-Commutative Unification.
CADE 1984: 194-208 |
1983 |
2 | | François Fages,
Gérard P. Huet:
Complete Sets of Unifiers and Matchers in Equational Theories.
CAAP 1983: 205-220 |
1 | | François Fages:
Note sur l'unification des termes de premier ordre finis et infinis.
SPLT 1983 |