Yves Deville : Publications

Citation Index:
All publications after 2010 and most of the previous publications are available (green open access) at the institutional depot of UCLouvain

Books

• Y. Deville.:  Logic Programming: Systematic Program Development. International Series in Logic Programming, Addison-Wesley, 1990.
• P Van Hentenryck, M. Laurent, Y. Deville: Numerica, A Modeling Language for Global Optimization.  MIT Press, 1997.

2010

• P. Schaus, P. Van Hentenryck, J.N. Monette, C. Coffrin, L. Michel, Y. Deville. Solving Steel Mill Slab Problems with Constraint-Based Techniques: CP, LNS, and CBLS, Journal of Constraints, Volume 16, Number 2, 125-147, Springer, 2010. (SpringerLink)
• Y. Deville, P. Van Hentenryck. Domain Consistency with Forbidden Values, 16th International Conference on Principles and Practice of Constraint Programming (CP 2010), St Andrew, September 6-10, 2010. Lecture Notes in Computer Science, Springer, 2010.
• J.B. Mairy, P. Schaus, Y. Deville. Generic Adaptative Heuristics for Large Neighborhood Search, Seventh International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS2010). A Satellite Workshop of CP 2010 - Scotland, September 2010.
• Pham Quang Dung, Phan-Thuan Do, Y. Deville, Tuong-Vinh Ho. Constraint-based local search for solving non-simple paths problems on graphs: Application to the Routing for Network Covering Problems, In Proceedings of Symposium on Information and Communication Technology, SoICT2010, Hanoi, Vietnam, pages 1-8, 2010.
• V.T. Ho, P. Francois, Y. Deville, D.Q. Pham, O. Bonaventure Using Local Search for Traffic Engineering in Switched Ethernet Networks, Proceedings of 22nd International Teletraffic Congress (ITC-22) September 2010, Amsterdam, Netherlands
• Pham Quang Dung, Y. Deville, P. Van Hentenryck. Constraint-Based Local Search for Constrained Optimum Paths Problems, 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2010), Lecture Notes in Computer Science, Springer, 2010.
• J. Dupuis, P. Schaus, Y. Deville. Consistency check for the bin packing constraint revisited, 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2010), Lecture Notes in Computer Science, Springer, 2010.
• J. Dupuis, P. Schaus, Y. Deville.  Vérification de consistence pour la constrainte de bin packing.  Journées Francophones de Programmation par Contraintes (JFPC'10), Caen France, June 9-11, 2010.
• S. Zampelli, Y. Deville, C. Solnon, Solving Subgraph Isomorphism Problems with Constraint Programming, Journal of Constraints, Volume 15, Number 3, 327-353, Springer,  200910.  (SpringerLink)
  

2009

• J.-N. Monette, Y. Deville, P. Van Hentenryck.  Just-In-Time Scheduling with Constraint Programming.  Proceedings of 19th International Conference on Automated Planning and Scheduling (ICAPS 2009), September 19-23, 2009, Thessaloniki, Greece.
• V. le Clément, Y. Deville, C. Solnon. Constraint-Based Graph Matching, 15th International Conference on Principles and Practice of Constraint Programming (CP 2009), Lisbon, Portugal, September 20-24, 2009. Lecture Notes in Computer Science, Springer, 2009.
• J.-N. Monette, Y. Deville, P. Van Hentenryck.  AEON: Synthesizing Scheduling Algorithms from High-Level Models.  Proceedings of 2009 INFORMS Computing Society Conference (ICS09), Charleston, South Carolina, January 11--13, 2009.
• Pham Quang Dung, Y. Deville, P. Van Hentenryck. LS(Graph): A Local Search Framework for Constraint Optimization on Graphs and Trees.  Proceedings of the 2009 ACM Symposium on Applied Computing (SAC'09), March 8-12, 2009.

2008

• P. Schaus, Y. Deville.  A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem,  AAAI-08, Twenty-Third AAAI Conference on Artificial Intelligence, Chicago,  (accept. rate 29%) 2008.
• Pham Quang Dung, Y. Deville, P. Van Hentenryck. LS(Graph): Un cadre de recherche locale pour des problèmes d’optimisation sous contraintes sur des graphes.  Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes France, June 4-6, 2008.
• P. Schaus, Y. Deville.  Une contrainte globale de bin-packing avec précédences: Application au problème d’équilibrage de lignes d’assemblage.  Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes France, June 4-6, 2008.
• S. Zampelli, M. Mann, Y. Deville, and R. Backofen.  Techniques de Décomposition pour l’Isomorphisme de Sous-Graphe.  Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes France, June 4-6, 2008.
• P. Schaus, Y. Deville, Hybridation de la programmation par contraintes et d’un voisinage à très grande taille pour Eternity II.  Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes France, June 4-6, 2008.
• P. Schaus, Y. Deville, Hybridization of CP and VLNS for Eternity II. (English Version).  Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes France, June 4-6, 2008.
• Brohee, S., Faust, K., Lima-Mendez, G., Sand, O., Janky, R., Vanderstocken, G., Deville, Y. & van Helden, J. NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways. Nucleic Acids Research, Vol. 36, 2008 [Pubmed 18524799]
• Y. Deville, S. Zampelli, G. Dooms.  Combining Two Structured Domains for Modeling Various Graph Matching Problems.  Recent Advances in Constraints, F. Fages, F. Rossi and S. Soliman (editors) Lecture Notes in Artificial Intelligence, Springer-Verlag, LNAI  5129, 2008.
  
• S. Zampelli, M. Mann, Y. Deville, and R. Backofen. Decomposition techniques for subgraph matching. Technical Report INGI2008/03, University of Louvain, Computing Science and Engineering Department, January 2008.
  
• S. Mouthuy, Y. Deville, P. Van Hentenryck. Toward a Generic Comet Implementation of Very Large-Scale Neighborhoods. 22nd national conference of the Belgian Operations Research Society, January 16--18, Brussels, p.64-65, 2008
  
• P. Schaus, Y. Deville. Global Constraints for the Mean Absolute Deviation and the Variance: Application to the Vertical Line Balancing. 22nd national conference of the Belgian Operations Research Society, January 16-18, Brussels, p.15-16, 2008.
  

2007

•  Y. Deville, P. Dupont, G. Dooms, J.-N.Monette, P. Schaus, S. Wodak, S. Zampelli. BioEdge: a tool box for advanced analyses of biochemical networks. Benelux Bioinformatics Conference (BBC'07), November 12-13, Leuven, Belgium, 2007.
  
• P. Schaus, Y. Deville and P. Dupont, Bound-Consistent Deviation Constraint,  13th International Conference on Principles and Practice of Constraint Programming (CP 2007), Providence, RI, USA, September 23-27, (accept. rate 30%), 2007.
• S. Zampelli, Y. Deville, C. Solnon, S. Sorlin and P. Dupont, Filtering for Subgraph Matching, 13th International Conference on Principles and Practice of Constraint Programming (CP 2007), Providence, RI, USA, September 23-27, 2007.
• S. Zampelli, Y. Deville, M. R. Saïdi, B. Benhamou.  Symmetry Breaking in Subgraph Isomorphism.  SymCon'07, the Seventh International Workshop on Symmetry and Constraint Satisfaction Problem. A Satellite Workshop of CP 2007 - September 23rd 2007 - Providence, RI, USA.
• J.N. Monette, P. Schaus, S. Zampelli, Y. Deville, P. Dupont. A CP Approach to the Balanced Academic Curriculum Problem. SymCon'07, the Seventh International Workshop on Symmetry and Constraint Satisfaction Problem. A Satellite Workshop of CP 2007 - September 23rd 2007 - Providence, RI, USA.
• Y. Deville, C. Lemer and S. Wodak. Representing and Analyzing Biochemical Networks Using BioMaze.  In Introduction to System Biology, Sangdun Choi (Ed), Chapter 25, Humana Press, 2007.
  
• S. Zampelli, Y. Deville, C. Solnon, S. Sorlin and P. Dupont, Filtrage pour l'isomorphisme de sous-graphe, Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France, June 4-6, pp. 285-296, 2007.
• P. Schaus, Y. Deville and P. Dupont, La Contrainte Déviation, Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France, June 4-6, pp. 173-182, 2007.
• J.-N. Monette, Y. Deville, and P. Dupont, Un propagateur basé sur les positions pour le problème d'Open-Shop, in Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France, pp. 255-264, June 4-6, 2007.
• S. Mouthuy, Y. Deville, and G. Dooms, Contrainte globale pour le problème de recouvrement d’ensemble, in Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France, pp. 255-264, June 4-6, 2007.
• P. Schaus, Y. Deville, P. Dupont and J.-C. Régin, The Deviation Constraint,  4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2007), Brussels, Belgium, May 23-26, Lecture Notes in Computer Science, No. 4510, pp. 260-274, Springer, (accept. rate 35%), 2007.
• J.-N. Monette, Y. Deville, and P. Dupont, A Position-Based Propagator for the Open-Shop Problem, 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2007), Brussels, Belgium, May 23-26, Springer, Lecture Notes in Computer Science, No. 4510, pp. 186-199, (accept. rate 35%), 2007.
• P. Schaus, Y. Deville, P. Dupont and J.-C. Régin, Simplification and extension of the SPREAD Constraint, Trends in Constraint Programming, F. Benhamou, N. Jussien and B. O'Sullivan (Eds), pp. 95-99, ISTE Hermes, 2007.
• S. Zampelli, Y. Deville and P. Dupont, Symmetry Breaking in Subgraph Pattern Matching, Trends in Constraint Programming, F. Benhamou, N. Jussien and B. O'Sullivan (Eds), Chapter 10, pp. 203-218, ISTE Hermes, 2007.

2006

• S. Zampelli, Y. Deville, P. Dupont. Symmetry Breaking in Subgraph Pattern Matching, Sixth International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'06), Nantes, France, September 25, 2006.
• P. Schaus, Y. Deville, P. Dupont, J.C. Régin. Simplification and extension of the SPREAD Constraint Third International Workshop on Constraint Propagation and Implementation, Nantes, France, Septembre 25, 2006. 
• S. Zampelli, Y. Deville, P. Dupont. Elimination des symétries pour l'appariement de graphes,  Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC'06).  Nîmes, France, June 7-9, pp. 357-367, 2006. 
• Luis Quesada, Peter Van Roy, Yves Deville, and Raphaël Collet.  Using dominators for solving constrained path problems.  In PADL 2006 Proceedings, Lecture Notes in Computer Science. Springer, 2006.
  
• P. Dupont, J. Callut, G. Dooms, J-N. Monette, Y. Deville, Relevant subgraph extraction from random walks in a graph, Research Report UCL/FSA/INGI RR 2006-07, November 2006.

2005

• G. Dooms, Y. Deville, P. Dupont, Constrained metabolic network analysis: discovering pathways using CP(Graph), Workshop on Constraint Based Methods for Bioinformatics, CP2005, Sitges (Barcelona), Spain, October 5, 2005.
• S. Vast, P. Dupont and Y. Deville, Automatic extraction of relevant nodes in biochemical networks, Atelier Apprentissage et Bioinformatique, CAp 2005, Conférence d'Apprentissage, Nice, pp. 21-31, 2005. 
• G. Dooms, Y. Deville, P. Dupont, CP(Graph): Introducing a Graph Computation Domain in Constraint Programming.  International Conference on Principles and Practice on Constraint Programming, Sitges, Barcelona, Spain, (accept. rate 29%), October 2005.  
• S. Zampelli, Y. Deville, P. Dupont, Approximate Constrained Subgraph Matching.  International Conference on Principles and Practice on Constraint Programming, Sitges, Barcelona, Spain, October 2005.
• Luis Quesada, Peter Van Roy, and Yves Deville.  Speeding up constrained path solvers with a reachability propagator.  In Colloquium on Implementation of Constraint and Logic Programming Systems(CICLOPS 2005), at the 11th International Conference on Principles and Practice of Constraint Programming (CP2005), 2005.  Abstract  published in  CP 2005 Proceedings, Lecture Notes in Computer Science. Springer, 2005. 
• S. Zampelli, Y. Deville and P. Dupont, Declarative Approximate Graph Matching Using a Constraint Approach.  Second International Workshop on Constraint Propagation and Implementation, CP2005, Sitges (Barcelona), Spain, October 1, 2005. 
• Y. Deville, G. Dooms, S. Zampelli and P. Dupont, CP(Graph+Map) for Approximate Graph Matching. 1st International Workshop on Constraint Programming Beyond Finite Integer Domains, CP2005, Sitges (Barcelona), Spain, October 1, 2005.
• Luis Quesada, Peter Van Roy, and Yves Deville.  Reachability: a constrained path propagator implemented as a multi-agent system.  In CLEI2005 Proceedings, 2005. 

2004

• BASIN Basin, DEVILLE Yves , FLENER Pierre HAMFELT Andreas NILSSON  Jorgen  Fischer. "Synthesis of Programs in Computational Logic".  In Program Development in Computational Logic (Maurice Bruynooghe and Kung-Kiu Lau Eds), Springer Verlag, LNCS Vol. 3049, pp 30-65, 2004 (preprint ps file) (preprint pdf file)
• Y. Deville (2004).  "CP(BioNet) :  A Constraint Programming  Framework for the Analysis of Biochemical Networks".  Talk given at IRISA, Rennes, France, 68 December 2004.  (slides  pdf)
• G. Dooms, Y. Deville, P. Dupont (2004), "A Mozart implementation of CP(BioNet)". In Proceedings of the second International Mozart/Oz Conference, Lecture Notes in Artficial Intelligence, No. 3389, Springer-Verlag, pp. 237-250, 2004. (preprint ps file) (preprint pdf file)
• G. Dooms, Y. Deville, P. Dupont (2004). "Recherche de chemins contraints dans les réseaux biochimiques".  Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes, JFPLC 2004,  June 2004. (preprint ps file) (preprint pdf file).
• S. Zampelli, Y. Deville, P. Dupont (2004). "Finding Patterns in Biochemical Networks : a Constraint Programming Approach".   In Proceedings of 5èmes Journées Ouvertes Biologie Informatique Mathématiques, JOBIM 2004, June 2004. (preprint ps file) (preprint pdf file)
• G. Dooms, Y. Deville, P. Dupont (2004), "Constrained path finding in biochemical networks". In Proceedings of 5èmes Journées Ouvertes Biologie Informatique Mathématiques, JOBIM 2004, June 2004. (preprint ps file) (preprint pdf file)
• Y. Deville (2004).  "CLP(BioNet) :  Towards a CLP framework for the analysis of Biochemical Networks".  Invited talk SweConsNet 2004,  Swedish Constraint Network workshop, Linköping 15 January 2004.  (slides  pdf)
  
• C Lemer,  E Antezana, F Couche, F Fays, X Santolaria, R Janky, Y Deville, J Richelle, S Wodak (2004). "The aMAZE LightBench : a Web interface to a relational database of cellular processes".  Nucleic Acid Research, Database Issue, 2004. (abstract,  full paper)
• N. Tran Sy, Y. Deville : "COTTAGE: A Consistency Based System for Test Data Generation".  Technical Report, UCL/INGI, November 2004,     (preprint ps file) (preprint pdf file)  (Tested C programs)

2003

• Yves Deville, David Gilbert, Jacques van Helden and Shoshana Wodak (2003). "An Overview of Data Models for the Analysis of Biochemical Pathways", Briefings in Bioinformatics, 2003 4:3, pp 246-259, ISSN 1467-5463. (preprint ps file) (preprint pdf file).
• Aik Choon Tan, David Gilbert and Yves Deville (2003). "Multi-class Protein Fold Classification using a New Ensemble Machine Learning Approach". Accepted in the 14th International Conference on Genome Informatics, GIW 2003 (preprint pdf file).
• Aik Choon Tan, David Gilbert and Yves Deville (2003). "Integrative machine  learning approach for multi-class SCOP protein fold classification". In the Proceedings of the German Conference on Bioinformatics (GCB 2003)  H.-W.Mewes, D. Frishman, V. Heun and S. Kramer (editors) p. 153-159.  ISBN 3-936-298-80-7. (preprint pdf file).
• Yves Deville,  David Gilbert,  Christian Lemer, Jacques van Helden, Shoshana J. Wodak  (2003).  "An Object-Oriented Data Model for Signal Transduction".  Poster in the Proccedings of the ECCB 2003 in  conjunction with JOBIM 2003, Paris, France. C. Christophe, H.-P. Lenhof  and M.-F. Sagot (editors), pp.241-242. ISBN: 2-7261-1257.  (poster pdf file) (poster abstract pdf file)
• Aik Choon Tan, Ali Al-Shahib, David Gilbert and Yves Deville (2003).  "Learning sets of positive rules of amino acid properties to classify  protein functional classes".  Poster in the Proccedings of the ECCB 2003 in  conjunction with JOBIM 2003, Paris, France. C. Christophe, H.-P. Lenhof  and M.-F. Sagot (editors), pp.241-242. ISBN: 2-7261-1257.  (poster pdf file) (poster abstract pdf file)
• Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak (2003): "An Overview of Data Models for the Analysis of Biochemical Pathways". Computational Methods in Systems Biology: First International Workshop, CMSB 2003, Rovereto, Italy, February 24-26, 2003,  Lecture Notes in Computer Science, Springer-Verlag Heidelberg, Volume 2602 / 2003 pp 174. (abstract ps file) (abstract pdf file).
• Aik Choon Tan, David Gilbert and Yves Deville (2003). "Multi-class protein  fold classification using an integrative machine learning approach"  Poster in the  Conference Program of the ISMB 2003, Brisbane, Australia. p.67. (poster pdf file) (poster abstract pdf file).
• Tran Sy N. , Deville Y.: "Consistency Techniques for interprocedural Test Data Generation".  Proceedings of the Joint 9th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundation of Software Engineering (ESEC/FSE03), Helsinki, Finland, 2003,  (accept. rate 25%)   (preprint ps file) (preprint pdf file).
  Abstract also presented at the 15th Belgium-Netherlands Conference on Artificial Intelligence, BNAIC'03.  (preprint ps file) (preprint pdf file).

Previous publications

• JANSSEN M., VAN HENTENRYCK, P., DEVILLE Y.: A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. SIAM Journal on Numerical Analysis, 40(5): 1896-1939, 2002. (preprint ps file) (preprint pdf file)
• DEVILLE Y., JANSSEN M., VAN HENTENRYCK P.:  “Consistency Techniques for Ordinary Differential Equations”.  CONSTRAINT,  special issue based on CP'98, Vol 7 (3/4), pp 289-316, July/Octobre 2002.  ( preprint ps file) (preprint pdf file)
• MASSONET PH., DEVILLE Y., NÈVE C.: “From AOSE Methodology to Agent Implementation”  First International Joint Conference on  Autonomous Agents and Multi-Agent Systems, 2002, pp 27-34  (paper)
• TRAN SY N. , DEVILLE Y.: "Automatic Test Data Generation for Programs with Integer and Float Variables".  Proceedings of the Automated Software Engineering Conference, San Diego, 2001, IEEE Computer Society, pp13-21, ISBN 0-7695-1426-X.   (preprint ps file) (preprint pdf file)
• JANSSEN M. , VAN HENTENRYCK, P., DEVILLE Y.: "A Constraint Satisfaction Approach to Parametric Differential Equations" IJCAI-01,  Proceedings of the 22th International Joint Conference on Artificial Intelligence, Seattle, August 2001, Morgan Kaufmann publishers, 2001, ISBN 1-55860-777-3 (preprint ps file) (preprint pdf file)
• JANSSEN M., VAN HENTENRYCK, P., DEVILLE Y.: "Optimal Pruning in Parametric Differential Equations".  CP01, International Conference on Principles and Practice on Constraint Programming (Chyprus, November 2001), LNCS 2239, Springer Verlag, 2001, ISBN 3-540-42863-1.  ( preprint ps file) (preprint pdf file)
• VERMAUT F., DEVILLE Y.,  MACQ B. ,  MARICHAL X.:  “A Distributed Adaptive Block Matching Algorithm : DIS-ABMA.”. Signal Processing : Image Communication, Vol. 16, n° 5 - Jan. 2001, pp. 431-444..
• POUPAERT E., DEVILLE Y.: Acceptance driven selection: an approach to approximate global search strategies in local search and evolutionary algorithms.  Proceedings of the Genetic and Evolutionary Computation Conference,  Morgan Kaufmann, 2001, pp 1173-1180, ISBN 1-5586-0774-9.  (preprint ps file) (preprint pdf file)
• POUPAERT E., DEVILLE Y.: “Simulated Annealing with estimated temperature: a new efficient temperature schedule based on the notion of acceptance'”,  AI Communications, The European Journal on Artificial Intelligence, Vol 13(1), 2000, pp 19-26.
• JANSSEN M., DEVILLE Y., VAN HENTENRYCK P.: "Multistep Filtering Operators for Ordinary Differential Equations". International Conference on Principles and Practice on Constraint Programming,  LNCS 1713, Springer Verlag, 1999, pp 246-260, ISBN 3-540-66626-5. ( preprint ps file) (preprint pdf file)
• DEVILLE Y., BARETTE O., VAN HENTENRYCK P.:  “Constraint Satisfaction over Connected Row-Convex Constraints”, Journal of Artificial Intelligence, Vol. 109, 1999, pp 243-271. (preprint ps file) (preprint pdf file)
• DEVILLE Y., BOSSI A.  Guest Editors of a Special Issue of  The Journal of Logic Programming, on “Synthesis, Transformation and Analysis of Logic Programs”, 39(1-2) and 41(2-3), 1999.
• DEVILLE Y., JANSSEN M., VAN HENTENRYCK P.:  Consistency Techniques for Ordinary Differential Equations. Proceedings of the International Conference on Principles and Practice on Constraint Programming,  LNCS 1520, Springer Verlag, 1998, pp 162-176, ISBN  3-540-65224-8.  ( preprint ps file) (preprint pdf file)
• NGUYEN T., DEVILLE Y.:  “A Distributed Arc-Consistency Algorithm”, Science of Computer Programming, Vol 30, 27 pages, 1998. (preprint ps file) (preprint pdf file)
• VERMAUT F., DEVILLE Y., MACQ B., MARICHAL X.: "A Distributed Adaptive Block Matching Algorithm : DIS-ABMA".  EUSIPCO'98, IXth European Signal Processing Conference, Island of Rhodes, September 8-11, 1998, Proceedings, pp. 2049-2052, ISBN 960-7620-05-4.
• VAN HENTENRYCK P., SARASWAT V., DEVILLE Y.: “The Design, Implementation, and Evaluation of the Constraint Language cc(FD) ”, Journal of Logic Programming, Special Issue on Constraint Logic Programming, 26 pages, Vol 37(1-3), October 1998. (preprint ps file) (preprint pdf file)
• DEVILLE Y., BARETTE O., VAN HENTENRYCK P.:  Constraint Satisfaction over Connected Row Convex Constraints. IJCAI-97,  Proceedings of the 18th International Joint Conference on Artificial Intelligence, Japan, August 1997, Morgan Kaufmann publishers, pp 405-410.  (preprint ps file) (preprint pdf file)
• CHASSEUR E., DEVILLE Y.: Logic Program Schemas, Constraints and Semi-Unification. Logic Program Synthesis and Transformation 1997, LNCS 1463, Springer Verlag, 1998, pp 69-89, ISBN 3-540-65074-1.  (preprint ps file) (preprint pdf file)
• FLENER P., DEVILLE Y.: "Logic Program Transformation through Generalization Schemata". Logic Program Synthesis and Transformation 1997, LNCS 1048, Springer Verlag, 1996, pp 171-173, ISBN 3-540-60939-3  (paper)
• DEVILLE Y. (Editor): Logic Program Synthesis and Transformation.  Proceedings of Lopstr'93,  Workshop in Computing, Springer-Verlag, 1994.
• DEVILLE Y., LAU K.-K.: “Logic Program Synthesis”, Journal of Logic Programming, Special Issue on “Ten Years of Logic Programming”, Vol 19(4), pp 321-350, May/July 1994. (preprint ps file) (preprint pdf file)
• LOMBART V., WIGGINS G., DEVILLE Y.:  Guiding Synthesis Proofs.  Logic Program Synthesis and Transformation 1993,  Springer Verlag,1994, pp 67-81, ISBN 3-540-19864-4.
• VAN HENTENRYCK P., DEVILLE Y.:  “The Cardinality Operator: A New Logical Connective for  Constraint Logic Programming”. In Constraint Logic Programming (A. Colmerauer, F Benhamou Eds.), MIT Press, Series in Logic Programming,  1993, Ch. 20, pp 383-404.
• FLENER P., DEVILLE Y.:  “Logic Programming from Incomplete Specification”, Journal of Symbolic Computation, Special Issue on  “Automatic Programming”,  Vol 15(5-6), May-June 1993, pp 775-805. (preprint ps file) (preprint pdf file)
• FLENER P., DEVILLE Y.:  “Synthesis of Composition and Discriminate Operators for  Divide-and-Conquer Logic Programs”. In  Constructing Logic Programs (J.-M. Jacquet Ed.), Wiley Professional Computing, 1993, Ch. 3, pp 67-96.
• DEVILLE Y., VAN HENTENRYCK P.:  “Construction of CLP Programs”. In  Logic Programming: New Frontiers (D.R. Brough Ed.),  Kluwe Academic Publishers, 1992,  Ch. 5, pp 112-135.
• FLENER P., DEVILLE Y.:  Towards Stepwise, Schema-Guided Synthesis of Logic Programs. Logic Program Synthesis and Transformation 1992, Springer Verlag, 1992, pp 46-64.
• VAN HENTENRYCK P., DEVILLE Y., TENG C-M.:  “A Generic Arc Consistency Algorithm and its Specializations”, Journal of Artificial Intelligence, Vol. 57(2), October 1992,  pp 291-321.  (preprint ps file) (preprint pdf file)
• DEVILLE Y., VAN HENTENRYCK P.:  Efficient Arc Consistency Algorithms for a Class of CSP Problems. IJCAI-91,  Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sidney, August 1991, Morgan Kaufmann publishers, pp 325-330.
• VAN HENTENRYCK P., DEVILLE Y.: The Cardinality Operator: A New Logical Connective for  Constraint Logic Programming. ICLP-91,  Proceedings of the Eight International Conference on Logic Programming, Paris, June 1991, MIT Press, pp 745-759.
• VAN HENTENRYCK P., DEVILLE Y.:  Operational Semantics of Constraint Logic Programming over Finite Domains.  PLILP-91, Proceedings of the International Symposium on Programming Language Implementation and Logic Programming, Passau, 19 pages, August 1991,  Springer Verlag. (paper)
• VAN HENTENRYCK P., SARASWAT V., DEVILLE Y. :"Constraint processing in cc(FD)". Technical report, Brown University, 1991. Unpublished (ps file) (pdf file)

The papers posted here are technical reports or preliminary versions of articles about to be published or published in journals or conference proceedings. See the cited journals or proceedings for the final versions and the copyright notices.