A methodology for logic program construction - Yves Deville (1987)

Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs. - Yves Deville; Jean Burnay (NACLP, 1989)

Logic programming - systematic program development. - Yves Deville (Addison-Wesley, 1990)

Construction of CLP Programs. - Yves Deville; Pascal Van Hentenryck (ALPUK, 1990)

Software Development and Logic Programming. - Yves Deville; Leon Sterling; Pierre Deransart (ICLP, 1991)

Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. - Pierre Flener; Yves Deville (ICLP Workshop on Construction of Logic Programs, 1991)

The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. - Pascal Van Hentenryck; Yves Deville (ICLP, 1991)

An Efficient Arc Consistency Algorithm for a Class of CSP Problems. - Yves Deville; Pascal Van Hentenryck (IJCAI, 1991)

Towards Stepwise, Schema-guided Synthesis of Logic Programms. - Pierre Flener; Yves Deville (LOPSTR, 1991)

Operational Semantics of Constraint Logic Programming over Finite Domains. - Pascal Van Hentenryck; Yves Deville (PLILP, 1991)

SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. - Pierre Flener; Yves Deville (LPE, 1992)

A Generic Arc-Consistency Algorithm and its Specializations. - Pascal Van Hentenryck; Yves Deville; Choh Man Teng 001 (Artif. Intell., 1992)

Guiding Synthesis Proofs. - Vincent Lombart; Geraint A. Wiggins; Yves Deville (LOPSTR, 1993)

Logic Program Synthesis from Incomplete Specifications. - Pierre Flener; Yves Deville (J. Symb. Comput., 1993)

Logic Program Synthesis. - Yves Deville; Kung-Kiu Lau (J. Log. Program., 1994)

Design, Implementation, and Evaluation of the Constraint Language cc(FD) - Pascal Van Hentenryck; Vijay A. Saraswat; Yves Deville (Constraint Programming, 1994)

Logic Program Transformation through Generalization Schemata. - Pierre Flener; Yves Deville (LOPSTR, 1995)

Numerica - A Modeling Language for Global Optimization. - Pascal Van Hentenryck; Laurent Michel; Yves Deville (MIT Press, 1997)

Logic Program Schemas, Constraints, and Semi-unification. - Eric Chasseur; Yves Deville (LOPSTR, 1997)

A Distributed Arc-Consistency Algorithm. - Thang Nguyen; Yves Deville (Sci. Comput. Program., 1998)

Multistep Filtering Operators for Ordinary Differential Equations. - Micha Janssen; Yves Deville; Pascal Van Hentenryck (CP, 1999)

Constraint Satisfaction over Connected Row Convex Constraints. - Yves Deville; Olivier Barette; Pascal Van Hentenryck (Artif. Intell., 1999)

Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. - Annalisa Bossi; Yves Deville (J. Log. Program., 1999)

Simulated Annealing with Estimated Temperature. - E. Poupaert; Yves Deville (AI Commun., 2000)

Optimal Pruning in Parametric Differential Equations. - Micha Janssen; Pascal Van Hentenryck; Yves Deville (CP, 2001)

A Constraint Satisfaction Approach to Parametric Differential Equations. - Micha Janssen; Pascal Van Hentenryck; Yves Deville (IJCAI, 2001)

Automatic Test Data Generation for Programs with Integer and Float Variables. - Nguyen Tran Sy; Yves Deville (ASE, 2001)

From AOSE methodology to agent implementation. - Philippe Massonet; Yves Deville; Cédric Nève (AAMAS, 2002)

Consistency Techniques in Ordinary Differential Equations. - Yves Deville; Micha Janssen; Pascal Van Hentenryck (Constraints An Int. J., 2002)

A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. - Micha Janssen; Pascal Van Hentenryck; Yves Deville (SIAM J. Numer. Anal., 2002)

Integrative machine learning approach for multi-class SCOP protein fold classification. - Aik Choon Tan; David R. Gilbert; Yves Deville (German Conference on Bioinformatics, 2003)

Consistency techniques for interprocedural test data generation. - Nguyen Tran Sy; Yves Deville (ESEC / SIGSOFT FSE, 2003)

An overview of data models for the analysis of biochemical pathways. - Yves Deville; David R. Gilbert; Jacques van Helden; Shoshana J. Wodak (Briefings Bioinform., 2003)

Recherche de chemins contraints dans les réseaux biochimiques. - Grégoire Dooms; Yves Deville; Pierre Dupont (JFPLC, 2004)

Synthesis of Programs in Computational Logic. - David A. Basin; Yves Deville; Pierre Flener; Andreas Hamfelt; Jørgen Fischer Nilsson (Program Development in Computational Logic, 2004)

A Mozart Implementation of CP(BioNet). - Grégoire Dooms; Yves Deville; Pierre Dupont (MOZ, 2004)

The aMAZE LightBench: a web interface to a relational database of cellular processes. - Christian Lemer; Erick Antezana; Fabian Couche; Frédéric Fays; Xavier Santolaria; Rekin's Janky; Yves Deville; Jean Richelle; Shoshana J. Wodak (Nucleic Acids Res., 2004)

CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. - Grégoire Dooms; Yves Deville; Pierre Dupont (CP, 2005)

Speeding Up Constrained Path Solvers with a Reachability Propagator. - Luis Quesada 001; Peter Van Roy; Yves Deville (CP, 2005)

Approximate Constrained Subgraph Matching. - Stéphane Zampelli; Yves Deville; Pierre Dupont (CP, 2005)

Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5. - Yves Deville (Theory Pract. Log. Program., 2005)

Using Dominators for Solving Constrained Path Problems. - Luis Quesada 001; Peter Van Roy; Yves Deville; Raphaël Collet (PADL, 2006)

Bound-Consistent Deviation Constraint. - Pierre Schaus; Yves Deville; Pierre Dupont (CP, 2007)

Filtering for Subgraph Isomorphism. - Stéphane Zampelli; Yves Deville; Christine Solnon; Sébastien Sorlin; Pierre Dupont (CP, 2007)

A Position-Based Propagator for the Open-Shop Problem. - Jean-Noël Monette; Yves Deville; Pierre Dupont (CPAIOR, 2007)

The Deviation Constraint. - Pierre Schaus; Yves Deville; Pierre Dupont; Jean-Charles Régin (CPAIOR, 2007)

Combining Two Structured Domains for Modeling Various Graph Matching Problems. - Yves Deville; Grégoire Dooms; Stéphane Zampelli (CSCLP, 2007)

A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. - Pierre Schaus; Yves Deville (AAAI, 2008)

Decomposition Techniques for Subgraph Matching - Stéphane Zampelli; Martin Mann; Yves Deville; Rolf Backofen (CoRR, 2008)

NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways. - Sylvain Brohée; Karoline Faust; Gipsi Lima-Mendez; Olivier Sand; Rekin's Janky; Gilles Vanderstocken; Yves Deville; Jacques van Helden (Nucleic Acids Res., 2008)

Just-In-Time Scheduling with Constraint Programming. - Jean-Noël Monette; Yves Deville; Pascal Van Hentenryck (ICAPS, 2009)

Constraint-Based Graph Matching. - Vianney le Clément de Saint-Marcq; Yves Deville; Christine Solnon (CP, 2009)

LS(graph & tree): a local search framework for constraint optimization on graphs and trees. - Pham Quang Dung; Yves Deville; Pascal Van Hentenryck (SAC, 2009)

A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) - Pham Quang Dung; Yves Deville; Pascal Van Hentenryck (LSCS, 2009)

Domain Consistency with Forbidden Values. - Yves Deville; Pascal Van Hentenryck (CP, 2010)

Constraint-Based Local Search for Constrained Optimum Paths Problems. - Pham Quang Dung; Yves Deville; Pascal Van Hentenryck (CPAIOR, 2010)

Consistency Check for the Bin Packing Constraint Revisited. - Julien Dupuis; Pierre Schaus; Yves Deville (CPAIOR, 2010)

Constraint-based local search for solving non-simple paths problems on graphs: application to the routing for network covering problem. - Pham Quang Dung; Phan-Thuan Do; Yves Deville; Tuong-Vinh Ho (SoICT, 2010)

Using local search for traffic engineering in switched Ethernet networks. - Ho Trong Viet; Olivier Bonaventure; Yves Deville; Pham Quang Dung; Pierre François (ITC, 2010)

Solving subgraph isomorphism problems with constraint programming. - Stéphane Zampelli; Yves Deville; Christine Solnon (Constraints An Int. J., 2010)

An Efficient Light Solver for Querying the Semantic Web. - Vianney le Clément de Saint-Marcq; Yves Deville; Christine Solnon (CP, 2011)

Constraint-based local search for fields partitioning problem. - Quoc Trung Bui; Quang-Dung Pham; Yves Deville (SoICT, 2011)

Traffic engineering for multiple spanning tree protocol in large data centers. - Ho Trong Viet; Yves Deville; Olivier Bonaventure; Pierre François (ITC, 2011)

Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. - Pierre Schaus; Pascal Van Hentenryck; Jean-Noël Monette; Carleton Coffrin; Laurent Michel; Yves Deville (Constraints An Int. J., 2011)

An Optimal Filtering Algorithm for Table Constraints. - Jean-Baptiste Mairy; Pascal Van Hentenryck; Yves Deville (CP, 2012)

Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. - Florence Massen; Yves Deville; Pascal Van Hentenryck (CPAIOR, 2012)

Solving the Longest Simple Path Problem with Constraint-Based Techniques. - Quang-Dung Pham; Yves Deville (CPAIOR, 2012)

Castor: A Constraint-Based SPARQL Engine with Active Filter Processing. - Vianney le Clément de Saint-Marcq; Yves Deville; Christine Solnon; Pierre-Antoine Champin (ESWC, 2012)

Constraint-based Very Large-Scale Neighborhood search. - Sébastien Mouthuy; Pascal Van Hentenryck; Yves Deville (Constraints An Int. J., 2012)

Solving the quorumcast routing problem by constraint programming. - Quang-Dung Pham; Yves Deville (Constraints An Int. J., 2012)

LS(Graph): a constraint-based local search for constraint optimization on trees and paths. - Quang-Dung Pham; Yves Deville; Pascal Van Hentenryck (Constraints An Int. J., 2012)

Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search. - Quoc Trung Bui; Quang-Dung Pham; Yves Deville (CP, 2013)

Experimental Analysis of Pheromone-Based Heuristic Column Generation Using irace. - Florence Massen; Manuel López-Ibáñez 001; Thomas Stützle; Yves Deville (Hybrid Metaheuristics, 2013)

Domain consistency with forbidden values. - Yves Deville; Pascal Van Hentenryck; Jean-Baptiste Mairy (Constraints An Int. J., 2013)

The StockingCost Constraint. - Vinasétan Ratheil Houndji; Pierre Schaus; Laurence A. Wolsey; Yves Deville (CP, 2014)

Solving the Quorumcast Routing Problem as a Mixed Integer Program. - Quoc Trung Bui; Quang-Dung Pham; Yves Deville (CPAIOR, 2014)

Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient Scheduling. - Cyrille Dejemeppe; Yves Deville (CPAIOR, 2014)

Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. - Jean-Baptiste Mairy; Yves Deville; Christophe Lecoutre (CPAIOR, 2014)

Multi-objective traffic engineering for data center networks. - Trong-Viet Ho; Yves Deville; Olivier Bonaventure (Comput. Networks, 2014)

Optimal and efficient filtering algorithms for table constraints. - Jean-Baptiste Mairy; Pascal Van Hentenryck; Yves Deville (Constraints An Int. J., 2014)

Efficient Selection of Time Samples for Higher-Order DPA with Projection Pursuits. - François Durvaux; François-Xavier Standaert; Nicolas Veyrat-Charvillon; Jean-Baptiste Mairy; Yves Deville (IACR Cryptol. ePrint Arch., 2014)

Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm. - Cyrille Dejemeppe; Pierre Schaus; Yves Deville (CPAIOR, 2015)

The Smart Table Constraint. - Jean-Baptiste Mairy; Yves Deville; Christophe Lecoutre (CPAIOR, 2015)

A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW. - Michael Saint-Guillain; Yves Deville; Christine Solnon (CPAIOR, 2015)

Traffic duplication through segmentable disjoint paths. - Francois Aubry; David Lebrun; Yves Deville; Olivier Bonaventure (Networking, 2015)

Heuristic methods for the Traveling Salesman Problem with Drone. - Quang Minh Ha; Yves Deville; Quang-Dung Pham; Minh Hoàng Hà (CoRR, 2015)

A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW - Extended version. - Michael Saint-Guillain; Yves Deville; Christine Solnon (CoRR, 2015)

A Multistage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time Windows. - Sébastien Mouthuy; Florence Massen; Yves Deville; Pascal Van Hentenryck (Transp. Sci., 2015)

SCMon: Leveraging segment routing to improve network monitoring. - Francois Aubry; David Lebrun; Stefano Vissicchio; Minh Thanh Khong; Yves Deville; Olivier Bonaventure (INFOCOM, 2016)

Exact methods for solving the elementary shortest and longest path problems. - Quoc Trung Bui; Yves Deville; Quang-Dung Pham (Ann. Oper. Res., 2016)

Introduction to Special issue on "The Sixth International Symposium on Information and Communication Technology -SoICT 2015. - Luc De Raedt; Yves Deville; Marc Bui; Truong Thi Dieu Linh (Informatica (Slovenia), 2016)

Extending Compact-Table to Basic Smart Tables. - Hélène Verhaeghe; Christophe Lecoutre; Yves Deville; Pierre Schaus (CP, 2017)

The Static and Stochastic VRP with Time Windows and both Random Customers and Reveal Times. - Michael Saint-Guillain; Christine Solnon; Yves Deville (EvoApplications (2), 2017)

Efficient Reification of Table Constraints. - Minh Thanh Khong; Yves Deville; Pierre Schaus; Christophe Lecoutre (ICTAI, 2017)

Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. - Baudouin Le Charlier; Minh Thanh Khong; Christophe Lecoutre; Yves Deville (IJCAI, 2017)

The Static and Stochastic VRPTW with both random Customers and Reveal Times: algorithms and recourse strategies. - Michael Saint-Guillain; Christine Solnon; Yves Deville (CoRR, 2017)

Editors' Introduction to the Special Issue on "Information and Communication Technology". - Luc De Raedt; Marc Bui; Yves Deville; T. Dieu Linh Truong (Informatica (Slovenia), 2017)

Robustly disjoint paths with segment routing. - François Aubry; Stefano Vissicchio; Olivier Bonaventure; Yves Deville (CoNEXT, 2018)

Soft-Regular with a Prefix-Size Violation Measure. - Minh Thanh Khong; Christophe Lecoutre; Pierre Schaus; Yves Deville (CPAIOR, 2018)

SolverCheck: Declarative Testing of Constraints. - Xavier Gillard; Pierre Schaus; Yves Deville (CP, 2019)

Progressive Focus Search for the Static and Stochastic VRPTW with both Random Customers and Reveal Times. - Michael Saint-Guillain; Christine Solnon; Yves Deville (CoRR, 2019)

A Framework to Understand, Analyse and Describe Online and Open Education in Higher Education. - Christine Jacqmot; Françoise Docq; Yves Deville (CSEDU (1), 2020)

A hybrid genetic algorithm for the traveling salesman problem with drone. - Quang Minh Ha; Yves Deville; Pham Quang Dung; Minh Hoàng Hà (J. Heuristics, 2020)

Group Kernels for Gaussian Process Metamodels with Categorical Inputs. - Olivier Roustant; Esperan Padonou; Yves Deville; Aloïs Clément; Guillaume Perrin; Jean Giorla; Henry P. Wynn (SIAM/ASA J. Uncertain. Quantification, 2020)

funGp: An R Package for Gaussian Process Regression with Scalar and Functional Inputs. - José Betancourt; François Bachoc; Thierry Klein; Déborah Idier; Jérémy Rohmer 001; Yves Deville (J. Stat. Softw., 2024)