François Fages Home Page Coauthor index pubzone.org

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

DBLP keys2011
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Computational Methods in Systems Biology, 9th International Conference, CMSB 2011, Paris, France, September 21-23, 2011. Proceedings ACM 2011
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJannis 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: 338-349
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabetta 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. 412(21): 2108-2127 (2011)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAuré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. 412(26): 2827-2839 (2011)
2010
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: A Logical Paradigm for Systems Biology (Invited Talk). ICLP (Technical Communications) 2010: 2-3
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven Gay, Sylvain Soliman, François Fages: A graphical method for reducing and relating models in systems biology. Bioinformatics 26(18): (2010)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages: Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. ERCIM News 2010(81): (2010)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman: Computational Systems Biology in BIOCHAM. ERCIM News 2010(82): 36 (2010)
2009
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo 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
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabetta 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
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Aurélien Rizk: From Model-Checking to Temporal Logic Constraint Solving. CP 2009: 319-334
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Julien Martin: Modelling Search Strategies in Rules2CP. CPAIOR 2009: 321-322
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulien Martin, Thierry Martinez, François Fages: Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming. CSCLP 2009: 38-58
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAuré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
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAuré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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Julien Martin: From Rules to Constraint Programs with the Rules2CP Modelling Language. CSCLP 2008: 66-83
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: From Reaction Models to Influence Graphs and Back: A Theorem. FMSB 2008: 90-102
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: Model Revision from Temporal Logic Properties in Computational Systems Biology. Probabilistic Inductive Logic Programming 2008: 287-304
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: Formal Cell Biology in Biocham. SFM 2008: 54-80
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1): 52-70 (2008)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano 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
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano 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
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Aurélien Rizk: On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB 2007: 48-63
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémy Haemmerlé, François Fages: Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA 2007: 214-228
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Abder Aggoun: Net-WMS - A New Generation of Warehouse Management Systems Networked Services. ERCIM News 2007(68): (2007)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Clairambault, François Fages, Sylvain Soliman: Patient-Tailored Cancer Therapeutics - The Tempo Project. ERCIM News 2007(69): (2007)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurence 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
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrahim 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
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman: Type Inference in Systems Biology. CMSB 2006: 48-62
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémy Haemmerlé, François Fages: Modules for Prolog Revisited. ICLP 2006: 41-55
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGré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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurence Calzone, François Fages, Sylvain Soliman: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14): 1805-1807 (2006)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Akash Lal: A constraint programming approach to cutset problems. Computers & OR 33(10): 2852-2865 (2006)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Narendra Jussien, Christine Solnon: Editorial. RAIRO - Operations Research 40(4): 325-326 (2006)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. T. Comp. Sys. Biology: 68-70 (2006)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaurence 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
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoi 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
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: A Type System for CHR. CSCLP 2005: 100-117
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: A Type System for CHR. ICLP 2005: 402-403
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. LOPSTR 2005: 1-5
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrzysztof 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chabrier-Rivier, François Fages, Sylvain Soliman: The Biochemical Abstract Machine BIOCHAM. CMSB 2004: 172-191
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain Soliman, François Fages: CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. CMSB 2004: 231-235
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Automated Reasoning Tools for Molecular Biology. KI 2004: 1-2
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Emmanuel Coquery: Typing constraint logic programs CoRR cs.PL/0405100: (2004)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Sylvain Soliman, Rémi Coolen: CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints 9(4): 241-262 (2004)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann: Invited talks. KI 18(3): 44- (2004)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chabrier, François Fages: Symbolic Model Checking of Biochemical Networks. CMSB 2003: 149-162
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: Subtyping Constraints in Quasi-lattices. FSTTCS 2003: 136-148
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Symbolic Model-Checking for Biochemical Systems. ICLP 2003: 102
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux bio-chimiques. JFPLC 2003: 155-168
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. JFPLC 2003: 253-266
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux biochimiques. Technique et Science Informatiques 22(1): 155-168 (2003)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. Technique et Science Informatiques 22(1): 253-266 (2003)
2002
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. ICLP 2002: 480
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: Surcharge et sous-typage dans TCLP. JFPLC 2002: 273-
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. WLPE 2002: 47-62
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: CLPGUI: a generic graphical user interface for constraint logic programming over finite domains CoRR cs.SE/0207048: (2002)
2001
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Coquery, François Fages: Programmes logiques avec contraintes typés. JFPLC 2001: 223-238
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: CLP versus LS on Log-based Reconciliation Problems CoRR cs.PL/0109033: (2001)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Paul Ruet, Sylvain Soliman: Linear Concurrent Constraint Programming: Operational and Phase Semantics. Inf. Comput. 165(1): 14-41 (2001)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Emmanuel Coquery: Typing constraint logic programs. TPLP 1(6): 751-777 (2001)
2000
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan-Georg Smaus, François Fages, Pierre Deransart: Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS 2000: 214-226
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Concurrent constraint programming and linear logic (abstract). PPDP 2000: 44
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan-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
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Massimo Paltrinieri: A Generic Type System for CLP(chi). IJCSLP 1998: 353-354
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Paul Ruet, Sylvain Soliman: Phase Semantics and Verification of Concurrent Constraint Programs. LICS 1998: 141-152
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Roberta Gori: Analysis of Normal Logic Programs. SAS 1998: 82-98
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Julian Fowler, Thierry Sola: Experiments in Reactive Constraint Logic Programming. J. Log. Program. 37(1-3): 185-212 (1998)
1997
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Ruet, François Fages: Concurrent Constraint Programming and Non-commutative Logic. CSL 1997: 406-423
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Constructive Negation by Pruning. J. Log. Program. 32(2): 85-118 (1997)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Roberta Gori: A Hierarchy of Semantics for Normal Constraint Logic Programs. ALP 1996: 77-91
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: From Constraint Minimization to Goal Optimization in CLP Languages. CP 1996: 537-538
1995
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Julian Fowler, Thierry Sola: A Reactive Constraint Logic Programming Scheme. ICLP 1995: 149-163
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJulian 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages Constraint Programming 1994: 68-89
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Julian Fowler, Thierry Sola: Handling Preferences in Constraint Logic Programming with Relational Optimization. PLILP 1994: 261-276
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Consistency of Clark's completion and existence of stable models. Meth. of Logic in CS 1(1): 51-60 (1994)
1993
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: On the Semantics of Optimization Predicates in CLP Languages. FSTTCS 1993: 193-204
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: On the Semantics of Optimization Predicates in CLP languages. PPCP 1993: 51-59
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Albert, Rafael Casas, François Fages: Average-Case Analysis of Unification Algorithms. Theor. Comput. Sci. 113(1): 3-34 (1993)
1991
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann: Average Case Analysis of Unification Algorithms. STACS 1991: 196-213
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Codognet, François Fages, Thierry Sola: A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. WCLP 1991: 437-456
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranç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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuc Albert, François Fages: Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. ICALP 1988: 18-37
1987
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Associative-Commutative Unification. J. Symb. Comput. 3(3): 257-275 (1987)
1986
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Gérard P. Huet: Complete Sets of Unifiers and Matchers in Equational Theories. Theor. Comput. Sci. 43: 189-200 (1986)
1984
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Associative-Commutative Unification. CADE 1984: 194-208
1983
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages, Gérard P. Huet: Complete Sets of Unifiers and Matchers in Equational Theories. CAAP 1983: 205-220
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançois Fages: Note sur l'unification des termes de premier ordre finis et infinis. SPLT 1983

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page