Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
François Fages
2010 – today
- 2013
[j34]François Fages, Simon de Givry, Christine Solnon: Preface. RAIRO - Operations Research 47(2): 89-90 (2013)- [j33]François Fages, Sylvain Soliman: Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology. IEEE/ACM Trans. Comput. Biology Bioinform. 10(2): 308-309 (2013)
- [c59]Hui-Ju Katherine Chiang, François Fages, Jie-Hong R. Jiang, Sylvain Soliman: On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. CMSB 2013: 192-205
- [i5]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)
- 2012
- [j32]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)
- [c58]François Fages, Steven Gay, Sylvain Soliman: Inferring Reaction Models from ODEs. CMSB 2012: 370-373
- [c57]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
- [c56]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
- 2011
- [j31]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)
- [j30]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)
- [c55]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
- [e12]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
- 2010
- [j29]Steven Gay, Sylvain Soliman, François Fages: A graphical method for reducing and relating models in systems biology. Bioinformatics 26(18) (2010)
- [j28]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)
- [j27]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)
- [c54]François Fages: A Logical Paradigm for Systems Biology (Invited Talk). ICLP (Technical Communications) 2010: 2-3
2000 – 2009
- 2009
- [j26]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)
- [c53]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
- [c52]François Fages, Aurélien Rizk: From Model-Checking to Temporal Logic Constraint Solving. CP 2009: 319-334
- [c51]
- [c50]Julien Martin, Thierry Martinez, François Fages: Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming. CSCLP 2009: 38-58
- [e11]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
- 2008
- [j25]François Fages, Sylvain Soliman: Abstract interpretation and types for systems biology. Theor. Comput. Sci. 403(1): 52-70 (2008)
- [j24]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)
- [c49]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
- [c48]François Fages, Julien Martin: From Rules to Constraint Programs with the Rules2CP Modelling Language. CSCLP 2008: 66-83
- [c47]François Fages, Sylvain Soliman: From Reaction Models to Influence Graphs and Back: A Theorem. FMSB 2008: 90-102
- [c46]François Fages, Sylvain Soliman: Model Revision from Temporal Logic Properties in Computational Systems Biology. Probabilistic Inductive Logic Programming 2008: 287-304
- [c45]
- [e10]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
- 2007
- [j23]François Fages, Abder Aggoun: Net-WMS - A New Generation of Warehouse Management Systems Networked Services. ERCIM News 2007(68) (2007)
- [j22]Jean Clairambault, François Fages, Sylvain Soliman: Patient-Tailored Cancer Therapeutics - The Tempo Project. ERCIM News 2007(69) (2007)
- [j21]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)
- [c44]François Fages, Aurélien Rizk: On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB 2007: 48-63
- [c43]Rémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556
- [c42]Rémy Haemmerlé, François Fages: Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA 2007: 214-228
- [e9]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
- [e8]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
- [e7]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
- 2006
- [j20]Laurence Calzone, François Fages, Sylvain Soliman: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14): 1805-1807 (2006)
- [j19]François Fages, Akash Lal: A constraint programming approach to cutset problems. Computers & OR 33(10): 2852-2865 (2006)
- [j18]François Fages, Narendra Jussien, Christine Solnon: Editorial. RAIRO - Operations Research 40(4): 325-326 (2006)
- [j17]Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman: Machine Learning Biochemical Networks from Temporal Logic Properties. : 68-94 (2006)
- [j16]
- [c41]
- [c40]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
- [c39]
- [e6]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
- [e5]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
- 2005
- [c38]
- [c37]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
- [c36]
- [c35]François Fages: Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. LOPSTR 2005: 1-5
- [e4]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
- [e3]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
- 2004
- [j15]François Fages, Sylvain Soliman, Rémi Coolen: CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints 9(4): 241-262 (2004)
- [j14]Martin Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann: Invited talks. KI 18(3): 44- (2004)
- [j13]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)
- [c34]Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman: The Biochemical Abstract Machine BIOCHAM. CMSB 2004: 172-191
- [c33]Sylvain Soliman, François Fages: CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. CMSB 2004: 231-235
- [c32]
- [e2]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
- [i4]
- 2003
- [j12]Nathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux biochimiques. Technique et Science Informatiques 22(1): 155-168 (2003)
- [j11]Emmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. Technique et Science Informatiques 22(1): 253-266 (2003)
- [c31]Nathalie Chabrier, François Fages: Symbolic Model Checking of Biochemical Networks. CMSB 2003: 149-162
- [c30]
- [c29]
- [c28]Nathalie Chabrier, François Fages: "Model Checking" symbolique de réseaux bio-chimiques. JFPLC 2003: 155-168
- [c27]Emmanuel Coquery, François Fages: Contraintes de sous-typage dans les quasi-treillis. JFPLC 2003: 253-266
- 2002
- [c26]Emmanuel Coquery, François Fages: TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. ICLP 2002: 480
- [c25]
- [c24]François Fages: CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. WLPE 2002: 47-62
- [i3]François Fages: CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. CoRR cs.SE/0207048 (2002)
- 2001
- [j10]François Fages, Paul Ruet, Sylvain Soliman: Linear Concurrent Constraint Programming: Operational and Phase Semantics. Inf. Comput. 165(1): 14-41 (2001)
- [j9]
- [c23]
- [i2]
- 2000
- [c22]Jan-Georg Smaus, François Fages, Pierre Deransart: Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS 2000: 214-226
- [c21]
- [i1]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)
1990 – 1999
- 1999
- [e1]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
- 1998
- [j8]François Fages, Julian Fowler, Thierry Sola: Experiments in Reactive Constraint Logic Programming. J. Log. Program. 37(1-3): 185-212 (1998)
- [c20]
- [c19]François Fages, Paul Ruet, Sylvain Soliman: Phase Semantics and Verification of Concurrent Constraint Programs. LICS 1998: 141-152
- [c18]
- 1997
- [j7]
- [j6]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)
- [c17]
- 1996
- [c16]François Fages, Roberta Gori: A Hierarchy of Semantics for Normal Constraint Logic Programs. ALP 1996: 77-91
- [c15]François Fages: From Constraint Minimization to Goal Optimization in CLP Languages. CP 1996: 537-538
- 1995
- [c14]François Fages, Julian Fowler, Thierry Sola: A Reactive Constraint Logic Programming Scheme. ICLP 1995: 149-163
- [c13]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
- [j5]François Fages: Consistency of Clark's completion and existence of stable models. Meth. of Logic in CS 1(1): 51-60 (1994)
- [c12]François Fages, Julian Fowler, Thierry Sola: Handling Preferences in Constraint Logic Programming with Relational Optimization. PLILP 1994: 261-276
- [c11]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
- [c10]François Fages: Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages. Constraint Programming 1994: 68-89
- 1993
- [j4]Luc Albert, Rafael Casas, François Fages: Average-Case Analysis of Unification Algorithms. Theor. Comput. Sci. 113(1): 3-34 (1993)
- [c9]
- [c8]
- 1991
- [j3]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)
- [c7]Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann: Average Case Analysis of Unification Algorithms. STACS 1991: 196-213
- [c6]Philippe Codognet, François Fages, Thierry Sola: A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. WCLP 1991: 437-456
- 1990
- [c5]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
1980 – 1989
- 1988
- [c4]Luc Albert, François Fages: Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. ICALP 1988: 18-37
- 1987
- [j2]
- 1986
- [j1]François Fages, Gérard P. Huet: Complete Sets of Unifiers and Matchers in Equational Theories. Theor. Comput. Sci. 43: 189-200 (1986)
- 1984
- [c3]
- 1983
- [c2]François Fages, Gérard P. Huet: Complete Sets of Unifiers and Matchers in Equational Theories. CAAP 1983: 205-220
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team