| 2020 | CSEDU | A Framework to Understand, Analyse and Describe Online and Open Education in Higher Education. | Christine Jacqmot, Franoise Docq, Yves Deville |
| 2019 | CP | SolverCheck: Declarative Testing of Constraints. | Xavier Gillard, Pierre Schaus, Yves Deville |
| 2018 | CoNEXT | Robustly disjoint paths with segment routing. | Franois Aubry, Stefano Vissicchio, Olivier Bonaventure, Yves Deville |
| 2018 | CPAIOR | Soft-Regular with a Prefix-Size Violation Measure. | Minh Thanh Khong, Christophe Lecoutre, Pierre Schaus, Yves Deville |
| 2017 | CP | Extending Compact-Table to Basic Smart Tables. | Hlne Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus |
| 2017 | IJCAI | Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. | Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville |
| 2017 | ICTAI | Efficient Reification of Table Constraints. | Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre |
| 2016 | INFOCOM | SCMon: Leveraging segment routing to improve network monitoring. | Francois Aubry, David Lebrun, Stefano Vissicchio, Minh Thanh Khong, Yves Deville, Olivier Bonaventure |
| 2015 | CPAIOR | Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm. | Cyrille Dejemeppe, Pierre Schaus, Yves Deville |
| 2015 | CPAIOR | The Smart Table Constraint. | Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre |
| 2015 | CPAIOR | A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW. | Michael Saint-Guillain, Yves Deville, Christine Solnon |
| 2015 | Networking | Traffic duplication through segmentable disjoint paths. | Francois Aubry, David Lebrun, Yves Deville, Olivier Bonaventure |
| 2014 | CP | The StockingCost Constraint. | Vinastan Ratheil Houndji, Pierre Schaus, Laurence A. Wolsey, Yves Deville |
| 2014 | CPAIOR | Solving the Quorumcast Routing Problem as a Mixed Integer Program. | Quoc Trung Bui, Quang-Dung Pham, Yves Deville |
| 2014 | CPAIOR | Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling. | Cyrille Dejemeppe, Yves Deville |
| 2014 | CPAIOR | Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. | Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre |
| 2013 | CP | Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search. | Quoc Trung Bui, Quang-Dung Pham, Yves Deville |
| 2012 | CP | An Optimal Filtering Algorithm for Table Constraints. | Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville |
| 2012 | CPAIOR | Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. | Florence Massen, Yves Deville, Pascal Van Hentenryck |
| 2012 | CPAIOR | Solving the Longest Simple Path Problem with Constraint-Based Techniques. | Quang-Dung Pham, Yves Deville |
| 2011 | CP | An Efficient Light Solver for Querying the Semantic Web. | Vianney le Clment de Saint-Marcq, Yves Deville, Christine Solnon |
| 2010 | CP | Domain Consistency with Forbidden Values. | Yves Deville, Pascal Van Hentenryck |
| 2010 | CPAIOR | Constraint-Based Local Search for Constrained Optimum Paths Problems. | Pham Quang Dung, Yves Deville, Pascal Van Hentenryck |
| 2010 | CPAIOR | Consistency Check for the Bin Packing Constraint Revisited. | Julien Dupuis, Pierre Schaus, Yves Deville |
| 2009 | CP | Constraint-Based Graph Matching. | Vianney le Clment de Saint-Marcq, Yves Deville, Christine Solnon |
| 2009 | SAC | LS(graph & tree): a local search framework for constraint optimization on graphs and trees. | Pham Quang Dung, Yves Deville, Pascal Van Hentenryck |
| 2008 | AAAI | A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. | Pierre Schaus, Yves Deville |
| 2007 | CP | Bound-Consistent Deviation Constraint. | Pierre Schaus, Yves Deville, Pierre Dupont |
| 2007 | CP | Filtering for Subgraph Isomorphism. | Stphane Zampelli, Yves Deville, Christine Solnon, Sbastien Sorlin, Pierre Dupont |
| 2007 | CPAIOR | A Position-Based Propagator for the Open-Shop Problem. | Jean-Nol Monette, Yves Deville, Pierre Dupont |
| 2007 | CPAIOR | The Deviation Constraint. | Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Rgin |
| 2006 | PADL | Using Dominators for Solving Constrained Path Problems. | Luis Quesada, Peter Van Roy, Yves Deville, Raphal Collet |
| 2005 | CP | CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. | Grgoire Dooms, Yves Deville, Pierre Dupont |
| 2005 | CP | Speeding Up Constrained Path Solvers with a Reachability Propagator. | Luis Quesada, Peter Van Roy, Yves Deville |
| 2005 | CP | Approximate Constrained Subgraph Matching. | Stphane Zampelli, Yves Deville, Pierre Dupont |
| 2001 | CP | Optimal Pruning in Parametric Differential Equations. | Micha Janssen, Pascal Van Hentenryck, Yves Deville |
| 2001 | IJCAI | A Constraint Satisfaction Approach to Parametric Differential Equations. | Micha Janssen, Pascal Van Hentenryck, Yves Deville |
| 1999 | CP | Multistep Filtering Operators for Ordinary Differential Equations. | Micha Janssen, Yves Deville, Pascal Van Hentenryck |
| 1998 | CP | Consistency Techniques in Ordinary Differential Equations. | Yves Deville, Micha Janssen, Pascal Van Hentenryck |
| 1997 | IJCAI | Constraint Satisfaction over Connected Row Convex Constraints. | Yves Deville, Olivier Barette, Pascal Van Hentenryck |
| 1997 | LOPSTR | Logic Program Schemas, Constraints, and Semi-unification. | Eric Chasseur, Yves Deville |
| 1995 | LOPSTR | Logic Program Transformation through Generalization Schemata. | Pierre Flener, Yves Deville |
| 1993 | LOPSTR | Guiding Synthesis Proofs. | Vincent Lombart, Geraint A. Wiggins, Yves Deville |
| 1991 | ICLP | Software Development and Logic Programming. | Yves Deville, Leon Sterling, Pierre Deransart |
| 1991 | ICLP | Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. | Pierre Flener, Yves Deville |
| 1991 | ICLP | The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. | Pascal Van Hentenryck, Yves Deville |
| 1991 | IJCAI | An Efficient Arc Consistency Algorithm for a Class of CSP Problems. | Yves Deville, Pascal Van Hentenryck |
| 1991 | LOPSTR | Towards Stepwise, Schema-guided Synthesis of Logic Programms. | Pierre Flener, Yves Deville |