François Fages

164 papers A* 3A 5B 12C 4Misc 4Journal 61Unranked 59

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Computational Methods in Systems Biology - 23rd International Conference, CMSB 2025, Lyon, France, September 10-12, 2025, Proceedings CMSB François Fages, Sabine Pérès
2025	J	`jnl`	On the Boolean Network Theory of Datalog CoRR Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman, François Fages
2025	B	`conf`	On the Trap Space Semantics of Normal Logic Programs. ICLP Van-Giang Trinh, Sylvain Soliman, François Fages, Belaid Benhamou
2024	Misc	`conf`	A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics. FLOPS François Fages
2024	J	`jnl`	A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics. CoRR François Fages
2024	J	`jnl`	A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics. Theor. Comput. Sci. Eléa Thibault Greugny, François Fages, Ovidiu Radulescu, Peter Szmolyan, Georgios N. Stamatas
2024	—	`conf`	Graphical Conditions Ensuring Equality Between Differential and Mean Stochastic Dynamics. CMSB Hugo Buscemi, François Fages
2024	B	`conf`	Graphical Conditions for the Existence, Unicity and Number of Regular Models. ICLP Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman, François Fages
2024	J	`jnl`	On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry. ACM Commun. Comput. Algebra François Fages, Mathieu Hemery, Sylvain Soliman
2024	—	`conf`	On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog. ICLP Workshops François Fages
2024	J	`jnl`	On a model of online analog computation in the cell with absolute functional robustness: Algebraic characterization, function compiler and error control. Theor. Comput. Sci. Mathieu Hemery, François Fages
2023	J	`jnl`	A Skin Microbiome Model with AMP interactions and Analysis of Quasi-Stability vs Stability in Population Dynamics. CoRR Eléa Thibault Greugny, François Fages, Ovidiu Radulescu, Peter Szmolyan, Georgios N. Stamatas
2023	A*	`conf`	Neural-based classification rule learning for sequential data. ICLR Marine Collery, Philippe Bonnard, François Fages, Remy Kusters
2023	J	`jnl`	Neural-based classification rule learning for sequential data. CoRR Marine Collery, Philippe Bonnard, François Fages, Remy Kusters
2023	—	`conf`	On Estimating Derivatives of Input Signals in Biochemistry. CMSB Mathieu Hemery, François Fages
2022	—	`conf`	Algebraic Biochemistry: A Framework for Analog Online Computation in Cells. CMSB Mathieu Hemery, François Fages
2022	J	`jnl`	Mathematical modeling of the microtubule detyrosination/tyrosination cycle for cell-based drug screening design. PLoS Comput. Biol. Jeremy Grignard, Véronique Lamamy, Eva Vermersch, Philippe Delagrange, Jean-Philippe Stephan, Thierry Dorval, François Fages
2022	—	`conf`	Stability Versus Meta-stability in a Skin Microbiome Model. CMSB Eléa Thibault Greugny, Georgios N. Stamatas, François Fages
2021	—	`conf`	Compiling Elementary Mathematical Functions into Finite Chemical Reaction Networks via a Polynomialization Algorithm for ODEs. CMSB Mathieu Hemery, François Fages, Sylvain Soliman
2021	J	`jnl`	Model learning to identify systemic regulators of the peripheral circadian clock. Bioinform. Julien Martinelli, Sandrine Dulong, Xiao-Mei Li, Michèle Teboul, Sylvain Soliman, Francis Lévi, François Fages, Annabelle Ballesta
2020	—	`ch.`	Artificial Intelligence in Biological Modelling. A Guided Tour of Artificial Intelligence Research (3) (III) François Fages
2020	—	`conf`	Graphical Conditions for Rate Independence in Chemical Reaction Networks. CMSB Elisabeth Degrand, François Fages, Sylvain Soliman
2020	J	`jnl`	Graphical Conditions for Rate Independence in Chemical Reaction Networks. CoRR Elisabeth Degrand, François Fages, Sylvain Soliman
2020	—	`conf`	On the Complexity of Quadratization for Polynomial Differential Equations. CMSB Mathieu Hemery, François Fages, Sylvain Soliman
2020	J	`jnl`	On the Complexity of Quadratization for Polynomial Differential Equations. CoRR Mathieu Hemery, François Fages, Sylvain Soliman
2019	—	`conf`	Biochemical Threshold Function Implementation with Zero-Order Ultrasensitivity. BioCAS Wei-Chih Huang, Jie-Hong Roland Jiang, François Fages, Franck Molina
2019	J	`jnl`	Formal methods for the synthesis of biomolecular circuits (NII Shonan Meeting 157). NII Shonan Meet. Rep. François Fages, Katsumi Inoue, Heinz Koeppl, Chris Myers, Yoshihiro Shimizu
2019	—	`conf`	On Chemical Reaction Network Design by a Nested Evolution Algorithm. CMSB Elisabeth Degrand, Mathieu Hemery, François Fages
2019	—	`conf`	On Inferring Reactions from Data Time Series by a Statistical Learning Greedy Heuristics. CMSB Julien Martinelli, Jeremy Grignard, Sylvain Soliman, François Fages
2018	J	`jnl`	Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels. CoRR Adrien Baudier, François Fages, Sylvain Soliman
2018	J	`jnl`	Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE ACM Trans. Comput. Biol. Bioinform. François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
2018	—	`conf`	On Robustness Computation and Optimization in BIOCHAM-4. CMSB François Fages, Sylvain Soliman
2018	J	`jnl`	The SYMBIONT project: symbolic methods for biological networks. ACM Commun. Comput. Algebra François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm, Sebastian Walcher, Andreas Weber
2017	—	`conf`	Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data. CMSB Arthur Carcano, François Fages, Sylvain Soliman
2017	—	`conf`	Recombinase-based genetic circuit optimization. BioCAS Chun-Ning Lai, Jie-Hong R. Jiang, François Fages
2017	—	`conf`	Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. CMSB François Fages, Guillaume Le Guludec, Olivier Bournez, Amaury Pouly
2016	B	`conf`	A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. CPAIOR Thierry Martinez, François Fages, Abder Aggoun
2016	—	`conf`	Influence Systems vs Reaction Systems. CMSB François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman
2016	J	`jnl`	Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation. Bioinform. Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry
2016	J	`jnl`	Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis. Biosyst. Pauline Traynard, Céline Feillet, Sylvain Soliman, Franck Delaunay, François Fages
2016	J	`jnl`	On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. Constraints An Int. J. Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman
2016	J	`jnl`	Packing with Complex Shapes ERCIM News Abderrahmane Aggoun, Nicolas Beldiceanu, Gilles Chabert, François Fages
2016	—	`conf`	Panorama of real-life applications in logistics embedding bin packing optimization algorithms, robotics and cloud computing technologies. GOL Abderrahmane Aggoun, Ahmed Rhiat, François Fages
2015	J	`jnl`	Hybrid Simulations of Heterogeneous Biochemical Models in SBML. ACM Trans. Model. Comput. Simul. Hui-Ju Katherine Chiang, François Fages, Jie-Hong Roland Jiang, Sylvain Soliman
2015	J	`jnl`	Inferring reaction systems from ordinary differential equations. Theor. Comput. Sci. François Fages, Steven Gay, Sylvain Soliman
2015	—	`conf`	Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis. CMSB Pauline Traynard, François Fages, Sylvain Soliman
2015	—	`conf`	Reconfigurable neuromorphic computation in biochemical systems. EMBC Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages
2015	C	`conf`	Search by constraint propagation. PPDP Thierry Martinez, François Fages, Sylvain Soliman
2014	J	`jnl`	A constraint solving approach to model reduction by tropical equilibration. Algorithms Mol. Biol. Sylvain Soliman, François Fages, Ovidiu Radulescu
2014	—	`conf`	Building reconfigurable circuitry in a biochemical world. BioCAS Hui-Ju Katherine Chiang, Jie-Hong R. Jiang, François Fages
2014	Misc	`conf`	Cells as Machines: Towards Deciphering Biochemical Programs in the Cell. ICDCIT François Fages
2014	—	`ed.`	Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings FMMB François Fages, Carla Piazza
2014	J	`jnl`	On the subgraph epimorphism problem. Discret. Appl. Math. Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon
2014	—	`conf`	Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock. CMSB Pauline Traynard, François Fages, Sylvain Soliman
2013	J	`jnl`	Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology. IEEE ACM Trans. Comput. Biol. Bioinform. François Fages, Sylvain Soliman
2013	—	`conf`	On the Hybrid Composition and Simulation of Heterogeneous Biochemical Models. CMSB Hui-Ju Katherine Chiang, François Fages, Jie-Hong R. Jiang, Sylvain Soliman
2013	J	`jnl`	Preface. RAIRO Oper. Res. François Fages, Simon de Givry, Christine Solnon
2013	J	`jnl`	Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri CoRR Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman
2012	A	`conf`	A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. CP Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman
2012	C	`conf`	A Comparative Analysis of FSS with CMA-ES and S-PSO in Ill-Conditioned Problems. IDEAL Anthony José da Cunha Carneiro Lins, Fernando Buarque de Lima Neto, François Fages, Carmelo J. A. Bastos Filho
2012	J	`jnl`	Guest Editors' Introduction to the Special Section on Computational Methods in Systems Biology. IEEE ACM Trans. Comput. Biol. Bioinform. François Fages, Sylvain Soliman
2012	—	`conf`	Inferring Reaction Models from ODEs. CMSB François Fages, Steven Gay, Sylvain Soliman
2011	—	`ed.`	Computational Methods in Systems Biology, 9th International Conference, CMSB 2011, Paris, France, September 21-23, 2011. Proceedings CMSB François Fages
2011	J	`jnl`	Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
2011	J	`jnl`	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. Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman
2011	Misc	`conf`	Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade. Pacific Symposium on Biocomputing Jannis Uhlendorf, Samuele Bottani, François Fages, Pascal Hersen, Grégory Batt
2010	—	`conf`	A Logical Paradigm for Systems Biology (Invited Talk). ICLP (Technical Communications) François Fages
2010	J	`jnl`	A graphical method for reducing and relating models in systems biology. Bioinform. Steven Gay, Sylvain Soliman, François Fages
2010	J	`jnl`	Computational Systems Biology in BIOCHAM. ERCIM News François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman
2010	J	`jnl`	Integrating Rule-Based Modelling and Constraint Programming for Solving Industrial Packing Problems. ERCIM News Abder Aggoun, Nicolas Beldiceanu, Mats Carlsson, François Fages
2009	J	`jnl`	A general computational method for robustness analysis with applications to synthetic gene networks. Bioinform. Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
2009	A	`conf`	From Model-Checking to Temporal Logic Constraint Solving. CP François Fages, Aurélien Rizk
2009	B	`conf`	Modelling Search Strategies in Rules2CP. CPAIOR François Fages, Julien Martin
2009	—	`conf`	On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. CMSB Elisabetta De Maria, François Fages, Sylvain Soliman
2009	—	`conf`	Procedural Code Generation CSCLP Julien Martin, Thierry Martinez, François Fages
2009	—	`ed.`	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 CSCLP Angelo Oddi, François Fages, Francesca Rossi
2008	J	`jnl`	Abstract interpretation and types for systems biology. Theor. Comput. Sci. François Fages, Sylvain Soliman
2008	—	`conf`	Formal Cell Biology in Biocham. SFM François Fages, Sylvain Soliman
2008	—	`conf`	From Reaction Models to Influence Graphs and Back: A Theorem. FMSB François Fages, Sylvain Soliman
2008	—	`conf`	From Rules to Constraint Programs with the Rules2CP Modelling Language. CSCLP François Fages, Julien Martin
2008	—	`ch.`	Model Revision from Temporal Logic Properties in Computational Systems Biology. Probabilistic Inductive Logic Programming François Fages, Sylvain Soliman
2008	—	`conf`	On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology. CMSB Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman
2008	J	`jnl`	On temporal logic constraint solving for analyzing numerical data time series. Theor. Comput. Sci. François Fages, Aurélien Rizk
2008	—	`ed.`	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 CSCLP François Fages, Francesca Rossi, Sylvain Soliman
2007	—	`conf`	Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA Rémy Haemmerlé, François Fages
2007	—	`conf`	Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS Rémy Haemmerlé, François Fages, Sylvain Soliman
2007	—	`ed.`	Journal on Data Semantics IX Journal on Data Semantics IX Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu
2007	—	`ed.`	Journal on Data Semantics VIII Journal on Data Semantics VIII Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu
2007	J	`jnl`	Langages formels dans la machine abstraite biochimique BIOCHAM. Tech. Sci. Informatiques Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, L. Fosse, Sylvain Soliman
2007	J	`jnl`	Net-WMS - A New Generation of Warehouse Management Systems Networked Services. ERCIM News François Fages, Abder Aggoun
2007	—	`conf`	On the Analysis of Numerical Data Time Series in Temporal Logic. CMSB François Fages, Aurélien Rizk
2007	J	`jnl`	Patient-Tailored Cancer Therapeutics - The Tempo Project. ERCIM News Jean Clairambault, François Fages, Sylvain Soliman
2007	—	`ed.`	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 CSCLP Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi
2006	—	`conf`	06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 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
2006	J	`jnl`	A constraint programming approach to cutset problems. Comput. Oper. Res. François Fages, Akash Lal
2006	J	`jnl`	BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinform. Laurence Calzone, François Fages, Sylvain Soliman
2006	J	`jnl`	Editorial. RAIRO Oper. Res. François Fages, Narendra Jussien, Christine Solnon
2006	J	`jnl`	From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools. Trans. Comp. Sys. Biology François Fages
2006	J	`jnl`	Machine Learning Biochemical Networks from Temporal Logic Properties. Trans. Comp. Sys. Biology Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
2006	B	`conf`	Modules for Prolog Revisited. ICLP Rémy Haemmerlé, François Fages
2006	—	`ed.`	Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005 Principles and Practices of Semantic Web Reasoning François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach
2006	—	`ed.`	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 CSCLP Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi
2006	—	`conf`	Type Inference in Systems Biology. CMSB François Fages, Sylvain Soliman
2005	—	`conf`	05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. Principles and Practices of Semantic Web Reasoning François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach
2005	—	`conf`	A Type System for CHR. CSCLP Emmanuel Coquery, François Fages
2005	B	`conf`	A Type System for CHR. ICLP Emmanuel Coquery, François Fages
2005	—	`ed.`	Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings PPSWR François Fages, Sylvain Soliman
2005	—	`ed.`	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 CSCLP Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi
2005	C	`conf`	Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. LOPSTR François Fages
2004	Misc	`conf`	Automated Reasoning Tools for Molecular Biology. KI François Fages
2004	J	`jnl`	CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming. Constraints An Int. J. François Fages, Sylvain Soliman, Rémi Coolen
2004	—	`conf`	CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems. CMSB Sylvain Soliman, François Fages
2004	J	`jnl`	Invited talks. Künstliche Intell. Martin A. Riedmiller, François Fages, Malik Ghallab, Wolfgang Wahlster, Jörg H. Siekmann
2004	J	`jnl`	Modeling and querying biomolecular interaction networks. Theor. Comput. Sci. Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter
2004	—	`ed.`	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 CSCLP Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza
2004	—	`conf`	The Biochemical Abstract Machine BIOCHAM. CMSB Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
2004	J	`jnl`	Typing constraint logic programs CoRR François Fages, Emmanuel Coquery
2003	—	`conf`	"Model Checking" symbolique de réseaux bio-chimiques. JFPLC Nathalie Chabrier, François Fages
2003	J	`jnl`	"Model Checking" symbolique de réseaux biochimiques. Tech. Sci. Informatiques Nathalie Chabrier, François Fages
2003	—	`conf`	Contraintes de sous-typage dans les quasi-treillis. JFPLC Emmanuel Coquery, François Fages
2003	J	`jnl`	Contraintes de sous-typage dans les quasi-treillis. Tech. Sci. Informatiques Emmanuel Coquery, François Fages
2003	—	`conf`	Subtyping Constraints in Quasi-lattices. FSTTCS Emmanuel Coquery, François Fages
2003	—	`conf`	Symbolic Model Checking of Biochemical Networks. CMSB Nathalie Chabrier, François Fages
2003	B	`conf`	Symbolic Model-Checking for Biochemical Systems. ICLP François Fages
2002	—	`conf`	CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. WLPE François Fages
2002	—	`conf`	Surcharge et sous-typage dans TCLP. JFPLC Emmanuel Coquery, François Fages
2002	B	`conf`	TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. ICLP Emmanuel Coquery, François Fages
2001	J	`jnl`	CLP versus LS on Log-based Reconciliation Problems CoRR François Fages
2001	J	`jnl`	Linear Concurrent Constraint Programming: Operational and Phase Semantics. Inf. Comput. François Fages, Paul Ruet, Sylvain Soliman
2001	—	`conf`	Programmes logiques avec contraintes typés. JFPLC Emmanuel Coquery, François Fages
2001	J	`jnl`	Typing constraint logic programs. Theory Pract. Log. Program. François Fages, Emmanuel Coquery
2000	C	`conf`	Concurrent constraint programming and linear logic (abstract). PPDP François Fages
2000	J	`jnl`	Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping CoRR Jan-Georg Smaus, François Fages, Pierre Deransart
2000	—	`conf`	Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping. FSTTCS Jan-Georg Smaus, François Fages, Pierre Deransart
1999	—	`ed.`	JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France JFPLC François Fages
1998	—	`conf`	A Generic Type System for CLP(chi). IJCSLP François Fages, Massimo Paltrinieri
1998	B	`conf`	Analysis of Normal Logic Programs. SAS François Fages, Roberta Gori
1998	J	`jnl`	Experiments in Reactive Constraint Logic Programming. J. Log. Program. François Fages, Julian Fowler, Thierry Sola
1998	A*	`conf`	Phase Semantics and Verification of Concurrent Constraint Programs. LICS François Fages, Paul Ruet, Sylvain Soliman
1997	J	`jnl`	Combining Explicit Negation and Negation by Failure Via Belnap's Logic. Theor. Comput. Sci. Paul Ruet, François Fages
1997	B	`conf`	Concurrent Constraint Programming and Non-commutative Logic. CSL Paul Ruet, François Fages
1997	J	`jnl`	Constructive Negation by Pruning. J. Log. Program. François Fages
1996	—	`conf`	A Hierarchy of Semantics for Normal Constraint Logic Programs. ALP François Fages, Roberta Gori
1996	A	`conf`	From Constraint Minimization to Goal Optimization in CLP Languages. CP François Fages
1995	B	`conf`	A Reactive Constraint Logic Programming Scheme. ICLP François Fages, Julian Fowler, Thierry Sola
1995	—	`conf`	Data Alignment and Task Scheduling on Parallel Machines Using Concurrent Model-based Programming. CCP Jean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure
1995	—	`conf`	Un modèle d'exécution réactif et interactif pour la programmation logique avec contraintes. JFPLC Julian Fowler, Thierry Sola, François Fages
1994	J	`jnl`	Consistency of Clark's completion and existence of stable models. Methods Log. Comput. Sci. François Fages
1994	—	`conf`	Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages Constraint Programming François Fages
1994	—	`conf`	Data Alignment and Task Scheduling On Parallel Machines Using Concurrent Constraint Model-based Programming. ILPS Jean Jourdan, François Fages, Didier Rozzonelli, Alain Demeure
1994	—	`conf`	Handling Preferences in Constraint Logic Programming with Relational Optimization. PLILP François Fages, Julian Fowler, Thierry Sola
1993	J	`jnl`	Average-Case Analysis of Unification Algorithms. Theor. Comput. Sci. Luc Albert, Rafael Casas, François Fages
1993	—	`conf`	On the Semantics of Optimization Predicates in CLP Languages. FSTTCS François Fages
1993	—	`conf`	On the Semantics of Optimization Predicates in CLP languages. PPCP François Fages
1991	—	`conf`	A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. WCLP Philippe Codognet, François Fages, Thierry Sola
1991	J	`jnl`	A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. New Gener. Comput. François Fages
1991	A	`conf`	Average Case Analysis of Unification Algorithms. STACS Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann
1990	B	`conf`	A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. ICLP François Fages
1988	A*	`conf`	Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. ICALP Luc Albert, François Fages
1987	J	`jnl`	Associative-Commutative Unification. J. Symb. Comput. François Fages
1986	J	`jnl`	Complete Sets of Unifiers and Matchers in Equational Theories. Theor. Comput. Sci. François Fages, Gérard P. Huet
1984	A	`conf`	Associative-Commutative Unification. CADE François Fages
1983	—	`conf`	Complete Sets of Unifiers and Matchers in Equational Theories. CAAP François Fages, Gérard P. Huet
1983	—	`conf`	Note sur l'unification des termes de premier ordre finis et infinis. SPLT François Fages