dblp.uni-trier.dewww.uni-trier.de

François Fages Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
89EEAngelo Oddi, François Fages, Francesca Rossi: 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 Springer 2009
88EEElisabetta De Maria, François Fages, Sylvain Soliman: On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. CMSB 2009: 142-157
87EEFrançois Fages, Aurélien Rizk: From Model-Checking to Temporal Logic Constraint Solving. CP 2009: 319-334
86EEFrançois Fages, Julien Martin: Modelling Search Strategies in Rules2CP. CPAIOR 2009: 321-322
85EEAurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12): (2009)
2008
84 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
83EEAuré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
82EEFrançois Fages, Julien Martin: From Rules to Constraint Programs with the Rules2CP Modelling Language. CSCLP 2008: 66-83
81EEFrançois Fages, Sylvain Soliman: From Reaction Models to Influence Graphs and Back: A Theorem. FMSB 2008: 90-102
80EEFrançois Fages, Sylvain Soliman: Model Revision from Temporal Logic Properties in Computational Systems Biology. Probabilistic Inductive Logic Programming 2008: 287-304
79EEFrançois Fages, Sylvain Soliman: Formal Cell Biology in Biocham. SFM 2008: 54-80
78EEFrançois Fages, Sylvain Soliman: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1): 52-70 (2008)
77EEFranç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
73EEFrançois Fages, Aurélien Rizk: On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB 2007: 48-63
72EERémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556
71EERémy Haemmerlé, François Fages: Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA 2007: 214-228
70EELaurence 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
67EEFrançois Fages, Sylvain Soliman: Type Inference in Systems Biology. CMSB 2006: 48-62
66EERémy Haemmerlé, François Fages: Modules for Prolog Revisited. ICLP 2006: 41-55
65EEGré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
64EELaurence Calzone, François Fages, Sylvain Soliman: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14): 1805-1807 (2006)
63EEFrançois Fages, Akash Lal: A constraint programming approach to cutset problems. Computers & OR 33(10): 2852-2865 (2006)
62EEFrançois Fages: From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. T. Comp. Sys. Biology: 68-70 (2006)
61EELaurence 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
58EEEmmanuel Coquery, François Fages: A Type System for CHR. CSCLP 2005: 100-117
57EEEmmanuel Coquery, François Fages: A Type System for CHR. ICLP 2005: 402-403
56EEFrançois Fages: Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. LOPSTR 2005: 1-5
55EEFranç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
53EENathalie Chabrier-Rivier, François Fages, Sylvain Soliman: The Biochemical Abstract Machine BIOCHAM. CMSB 2004: 172-191
52EESylvain Soliman, François Fages: CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. CMSB 2004: 231-235
51EEFrançois Fages: Automated Reasoning Tools for Molecular Biology. KI 2004: 1-2
50EEFrançois Fages, Emmanuel Coquery: Typing constraint logic programs CoRR cs.PL/0405100: (2004)
49EEFrançois Fages, Sylvain Soliman, Rémi Coolen: CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints 9(4): 241-262 (2004)
48EEMartin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann: Invited talks. KI 18(3): 44- (2004)
47EENathalie 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
46EENathalie Chabrier, François Fages: Symbolic Model Checking of Biochemical Networks. CMSB 2003: 149-162
45EEEmmanuel Coquery, François Fages: Subtyping Constraints in Quasi-lattices. FSTTCS 2003: 136-148
44EEFranç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
41EENathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux biochimiques. Technique et Science Informatiques 22(1): 155-168 (2003)
40EEEmmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. Technique et Science Informatiques 22(1): 253-266 (2003)
2002
39EEEmmanuel 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-
37EEFrançois Fages: CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. WLPE 2002: 47-62
36EEFranç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
34EEFranç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
31EEJan-Georg Smaus, François Fages, Pierre Deransart: Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS 2000: 214-226
30EEFrançois Fages: Concurrent constraint programming and linear logic (abstract). PPDP 2000: 44
29EEJan-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
25EEFranç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
23EEPaul 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)
21EEPaul 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
20EEFranç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
15EEFranç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
13EEFranç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
10EELuc 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
6EELuc 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
3EEFrançois Fages: Associative-Commutative Unification. CADE 1984: 194-208
1983
2EEFranç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

Coauthor Index

1Luc Albert [6] [10] [11]
2Krzysztof R. Apt [54]
3Paolo Atzeni [75] [76]
4Francisco Azevedo [74]
5Pedro Barahona [74]
6Grégory Batt [65] [83] [85]
7Jeremy T. Bradley [65]
8François Bry (François Bry-Haußer) [55] [69]
9Laurence Calzone [61] [64] [70]
10Mats Carlsson [68]
11Rafael Casas [10] [11]
12Nathalie Chabrier [41] [43] [46]
13Nathalie Chabrier-Rivier [47] [53] [61] [70]
14Marc Chiaverini [47]
15Philippe Codognet [9]
16Rémi Coolen [49]
17Emmanuel Coquery [32] [35] [38] [39] [40] [42] [45] [50] [57] [58]
18Vincent Danos [47]
19Alain Demeure [14]
20Pierre Deransart [29] [31]
21Roland Ewald [65]
22Boi Faltings [60]
23L. Fosse [70]
24Julian Fowler [15] [17] [18] [24]
25Malik Ghallab [48]
26Roberta Gori [20] [25]
27Mohand-Said Hacid [75] [76]
28Rémy Haemmerlé [66] [71] [72]
29Holger Hermanns [65]
30Jane Hillston [65]
31Brahim Hnich [68]
32Gérard P. Huet [2] [4]
33Jean Jourdan [14]
34Peter Kemper [65]
35Michael Kifer [75] [76]
36Akash Lal [63]
37Massimo Marchiori [55] [69]
38Elisabetta De Maria [88]
39Alke Martens [65]
40Julien Martin [82] [86]
41Pieter J. Mosterman [65]
42John Mylopoulos [75] [76]
43Flemming Nielson [65]
44Angelo Oddi [89]
45Hans Jürgen Ohlbach [55] [69]
46Massimo Paltrinieri [27]
47Barbara Pernici [75] [76]
48Adrian Petcu [60]
49Martin A. Riedmiller (Martin Riedmiller) [48]
50Aurélien Rizk [73] [77] [83] [85] [87]
51Francesca Rossi [54] [60] [68] [74] [84] [89]
52Didier Rozzonelli [14]
53Paul Ruet [21] [23] [26] [33]
54Vincent Schächter [47]
55Pavel Shvaiko [75] [76]
56Jörg H. Siekmann [48]
57Jan-Georg Smaus [29] [31]
58Oleg Sokolsky [65]
59Thierry Sola [9] [15] [17] [18] [24]
60Sylvain Soliman [26] [33] [49] [52] [53] [59] [61] [64] [67] [70] [72] [78] [79] [80] [81] [83] [84] [85] [88]
61Stefano Spaccapietra [75] [76]
62Péter Szeredi [54]
63A. Torrecillas [10]
64Juan Trujillo [75] [76]
65Adelinde M. Uhrmacher (Adelinde Uhrmacher) [65]
66József Váncza [54]
67Wolfgang Wahlster [48]
68Ilya Zaihrayeu [75] [76]
69Paul Zimmermann [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)