François Fages

Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman: Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri. CoRR abs/1304.2948 (2013)

François Fages, Sylvain Soliman: Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology. IEEE/ACM Trans. Comput. Biology Bioinform. 9(5): 1314-1315 (2012)

François Fages, Steven Gay, Sylvain Soliman: Inferring Reaction Models from ODEs. CMSB 2012: 370-373

Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman: A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. CP 2012: 798-814

Anthony J. da C. C. Lins, Fernando Buarque de Lima Neto, François Fages, Carmelo J. A. Bastos Filho: A Comparative Analysis of FSS with CMA-ES and S-PSO in Ill-Conditioned Problems. IDEAL 2012: 416-422

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. 412(21): 2108-2127 (2011)

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. 412(26): 2827-2839 (2011)

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: 338-349

François Fages (Ed.): Computational Methods in Systems Biology, 9th International Conference, CMSB 2011, Paris, France, September 21-23, 2011. Proceedings. ACM 2011, isbn 978-1-4503-0817-5

Steven Gay, Sylvain Soliman, François Fages: A graphical method for reducing and relating models in systems biology. Bioinformatics 26(18) (2010)

Abder 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)

Franç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)

François Fages: A Logical Paradigm for Systems Biology (Invited Talk). ICLP (Technical Communications) 2010: 2-3

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 25(12) (2009)

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: 142-157

François Fages, Aurélien Rizk: From Model-Checking to Temporal Logic Constraint Solving. CP 2009: 319-334

François Fages, Julien Martin: Modelling Search Strategies in Rules2CP. CPAIOR 2009: 321-322

Julien Martin, Thierry Martinez, François Fages: Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming. CSCLP 2009: 38-58

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. Lecture Notes in Computer Science 5655, Springer 2009, isbn 978-3-642-03250-9

François Fages, Sylvain Soliman: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1): 52-70 (2008)

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)

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

François Fages, Julien Martin: From Rules to Constraint Programs with the Rules2CP Modelling Language. CSCLP 2008: 66-83

François Fages, Sylvain Soliman: From Reaction Models to Influence Graphs and Back: A Theorem. FMSB 2008: 90-102

François Fages, Sylvain Soliman: Model Revision from Temporal Logic Properties in Computational Systems Biology. Probabilistic Inductive Logic Programming 2008: 287-304

François Fages, Sylvain Soliman: Formal Cell Biology in Biocham. SFM 2008: 54-80

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. Lecture Notes in Computer Science 5129, Springer 2008, isbn 978-3-540-89811-5

François Fages, Abder Aggoun: Net-WMS - A New Generation of Warehouse Management Systems Networked Services. ERCIM News 2007(68) (2007)

Jean Clairambault, François Fages, Sylvain Soliman: Patient-Tailored Cancer Therapeutics - The Tempo Project. ERCIM News 2007(69) (2007)

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)

François Fages, Aurélien Rizk: On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB 2007: 48-63

Rémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556

Rémy Haemmerlé, François Fages: Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA 2007: 214-228

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. Lecture Notes in Computer Science 4651, Springer 2007, isbn 978-3-540-73816-9

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. Lecture Notes in Computer Science 4380, Springer 2007, isbn 978-3-540-70663-2

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. Lecture Notes in Computer Science 4601, Springer 2007, isbn 978-3-540-74982-0

Laurence Calzone, François Fages, Sylvain Soliman: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14): 1805-1807 (2006)

François Fages, Akash Lal: A constraint programming approach to cutset problems. Computers & OR 33(10): 2852-2865 (2006)

François Fages, Narendra Jussien, Christine Solnon: Editorial. RAIRO - Operations Research 40(4): 325-326 (2006)

Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman: Machine Learning Biochemical Networks from Temporal Logic Properties. : 68-94 (2006)

François Fages: From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. : 68-70 (2006)

François Fages, Sylvain Soliman: Type Inference in Systems Biology. CMSB 2006: 48-62

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

Rémy Haemmerlé, François Fages: Modules for Prolog Revisited. ICLP 2006: 41-55

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. Lecture Notes in Computer Science 3978, Springer 2006, isbn 3-540-34215-X

François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach (Eds.): Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005. Dagstuhl Seminar Proceedings 05371, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Emmanuel Coquery, François Fages: A Type System for CHR. CSCLP 2005: 100-117

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

Emmanuel Coquery, François Fages: A Type System for CHR. ICLP 2005: 402-403

François Fages: Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. LOPSTR 2005: 1-5

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. Lecture Notes in Computer Science 3419, Springer 2005, isbn 3-540-25176-6

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. Lecture Notes in Computer Science 3703, Springer 2005, isbn 3-540-28793-0

François Fages, Sylvain Soliman, Rémi Coolen: CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints 9(4): 241-262 (2004)

Martin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann: Invited talks. KI 18(3): 44- (2004)

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)

Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman: The Biochemical Abstract Machine BIOCHAM. CMSB 2004: 172-191

Sylvain Soliman, François Fages: CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. CMSB 2004: 231-235

François Fages: Automated Reasoning Tools for Molecular Biology. KI 2004: 1-2

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. Lecture Notes in Computer Science 3010, Springer 2004, isbn 3-540-21834-3

François Fages, Emmanuel Coquery: Typing constraint logic programs. CoRR cs.PL/0405100 (2004)

Nathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux biochimiques. Technique et Science Informatiques 22(1): 155-168 (2003)

Emmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. Technique et Science Informatiques 22(1): 253-266 (2003)

Nathalie Chabrier, François Fages: Symbolic Model Checking of Biochemical Networks. CMSB 2003: 149-162

Emmanuel Coquery, François Fages: Subtyping Constraints in Quasi-lattices. FSTTCS 2003: 136-148

François Fages: Symbolic Model-Checking for Biochemical Systems. ICLP 2003: 102

Nathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux bio-chimiques. JFPLC 2003: 155-168

Emmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. JFPLC 2003: 253-266

Emmanuel Coquery, François Fages: TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. ICLP 2002: 480

Emmanuel Coquery, François Fages: Surcharge et sous-typage dans TCLP. JFPLC 2002: 273-

François Fages: CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. WLPE 2002: 47-62

François Fages: CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. CoRR cs.SE/0207048 (2002)

François Fages, Paul Ruet, Sylvain Soliman: Linear Concurrent Constraint Programming: Operational and Phase Semantics. Inf. Comput. 165(1): 14-41 (2001)

François Fages, Emmanuel Coquery: Typing constraint logic programs. TPLP 1(6): 751-777 (2001)

Emmanuel Coquery, François Fages: Programmes logiques avec contraintes typés. JFPLC 2001: 223-238

François Fages: CLP versus LS on Log-based Reconciliation Problems. CoRR cs.PL/0109033 (2001)

Jan-Georg Smaus, François Fages, Pierre Deransart: Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS 2000: 214-226

François Fages: Concurrent constraint programming and linear logic (abstract). PPDP 2000: 44

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)

François Fages (Ed.): JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France. Hermes 1999

François Fages, Julian Fowler, Thierry Sola: Experiments in Reactive Constraint Logic Programming. J. Log. Program. 37(1-3): 185-212 (1998)

François Fages, Massimo Paltrinieri: A Generic Type System for CLP(chi). IJCSLP 1998: 353-354

François Fages, Paul Ruet, Sylvain Soliman: Phase Semantics and Verification of Concurrent Constraint Programs. LICS 1998: 141-152

François Fages, Roberta Gori: Analysis of Normal Logic Programs. SAS 1998: 82-98

François Fages: Constructive Negation by Pruning. J. Log. Program. 32(2): 85-118 (1997)

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)

Paul Ruet, François Fages: Concurrent Constraint Programming and Non-commutative Logic. CSL 1997: 406-423

François Fages, Roberta Gori: A Hierarchy of Semantics for Normal Constraint Logic Programs. ALP 1996: 77-91

François Fages: From Constraint Minimization to Goal Optimization in CLP Languages. CP 1996: 537-538

François Fages, Julian Fowler, Thierry Sola: A Reactive Constraint Logic Programming Scheme. ICLP 1995: 149-163

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

François Fages: Consistency of Clark's completion and existence of stable models. Meth. of Logic in CS 1(1): 51-60 (1994)

François Fages, Julian Fowler, Thierry Sola: Handling Preferences in Constraint Logic Programming with Relational Optimization. PLILP 1994: 261-276

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

François Fages: Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages. Constraint Programming 1994: 68-89

Luc Albert, Rafael Casas, François Fages: Average-Case Analysis of Unification Algorithms. Theor. Comput. Sci. 113(1): 3-34 (1993)

François Fages: On the Semantics of Optimization Predicates in CLP Languages. FSTTCS 1993: 193-204

François Fages: On the Semantics of Optimization Predicates in CLP languages. PPCP 1993: 51-59

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)

Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann: Average Case Analysis of Unification Algorithms. STACS 1991: 196-213

Philippe Codognet, François Fages, Thierry Sola: A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. WCLP 1991: 437-456

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

Luc Albert, François Fages: Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. ICALP 1988: 18-37

François Fages: Associative-Commutative Unification. J. Symb. Comput. 3(3): 257-275 (1987)

François Fages, Gérard P. Huet: Complete Sets of Unifiers and Matchers in Equational Theories. Theor. Comput. Sci. 43: 189-200 (1986)

François Fages: Associative-Commutative Unification. CADE 1984: 194-208

François Fages, Gérard P. Huet: Complete Sets of Unifiers and Matchers in Equational Theories. CAAP 1983: 205-220

François Fages: Note sur l'unification des termes de premier ordre finis et infinis. SPLT 1983