| 2024 | FLOPS | A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics. | Franois Fages |
| 2024 | ICLP | On Teaching Constraint-based Modeling and Algorithms for Decision Support in Prolog. | Franois Fages |
| 2023 | ICLR | Neural-based classification rule learning for sequential data. | Marine Collery, Philippe Bonnard, Franois Fages, Remy Kusters |
| 2016 | CPAIOR | A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems. | Thierry Martinez, Franois Fages, Abder Aggoun |
| 2015 | PPDP | Search by constraint propagation. | Thierry Martinez, Franois Fages, Sylvain Soliman |
| 2014 | ICDCIT | Cells as Machines: Towards Deciphering Biochemical Programs in the Cell. | Franois Fages |
| 2012 | CP | A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. | Faten Nabli, Franois Fages, Thierry Martinez, Sylvain Soliman |
| 2012 | IDEAL | A Comparative Analysis of FSS with CMA-ES and S-PSO in Ill-Conditioned Problems. | Anthony Jos da Cunha Carneiro Lins, Fernando Buarque de Lima Neto, Franois Fages, Carmelo J. A. Bastos Filho |
| 2011 | PSB | Towards Real-Time Control of Gene Expression: Controlling the Hog Signaling Cascade. | Jannis Uhlendorf, Samuele Bottani, Franois Fages, Pascal Hersen, Grgory Batt |
| 2010 | ICLP | A Logical Paradigm for Systems Biology (Invited Talk). | Franois Fages |
| 2009 | CP | From Model-Checking to Temporal Logic Constraint Solving. | Franois Fages, Aurlien Rizk |
| 2009 | CPAIOR | Modelling Search Strategies in Rules2CP. | Franois Fages, Julien Martin |
| 2006 | ICLP | Modules for Prolog Revisited. | Rmy Haemmerl, Franois Fages |
| 2005 | ICLP | A Type System for CHR. | Emmanuel Coquery, Franois Fages |
| 2005 | LOPSTR | Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM. | Franois Fages |
| 2004 | KI | Automated Reasoning Tools for Molecular Biology. | Franois Fages |
| 2003 | ICLP | Symbolic Model-Checking for Biochemical Systems. | Franois Fages |
| 2002 | ICLP | TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP. | Emmanuel Coquery, Franois Fages |
| 2000 | PPDP | Concurrent constraint programming and linear logic (abstract). | Franois Fages |
| 1998 | ICLP | A Generic Type System for CLP(chi). | Franois Fages, Massimo Paltrinieri |
| 1998 | LICS | Phase Semantics and Verification of Concurrent Constraint Programs. | Franois Fages, Paul Ruet, Sylvain Soliman |
| 1998 | SAS | Analysis of Normal Logic Programs. | Franois Fages, Roberta Gori |
| 1997 | CSL | Concurrent Constraint Programming and Non-commutative Logic. | Paul Ruet, Franois Fages |
| 1996 | CP | From Constraint Minimization to Goal Optimization in CLP Languages. | Franois Fages |
| 1995 | ICLP | A Reactive Constraint Logic Programming Scheme. | Franois Fages, Julian Fowler, Thierry Sola |
| 1991 | STACS | Average Case Analysis of Unification Algorithms. | Luc Albert, Rafael Casas, Franois Fages, A. Torrecillas, Paul Zimmermann |
| 1990 | ICLP | A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics. | Franois Fages |
| 1988 | ICALP | Average Case Complexity Analysis of the Rete Multi-Pattern Match Algorithm. | Luc Albert, Franois Fages |
| 1984 | CADE | Associative-Commutative Unification. | Franois Fages |