Deville, Yves. Solve problems by searching, including with constraints, a fundamental pillar. In: Gelain Emmanuel (Editor), Demystifying Artificial Intelligence: Symbolic, Data-Driven, Statistical and Ethical AI, De Gruyter: Berlin, 2024. 978-3-11-142567-2. doi:10.1515/9783111426143-003 .

http://hdl.handle.net/2078.1/297028

Deville, Yves ; Desterbecq, Joëlle ; Depoterre, Sophie ; Fromentin, Justine. An Integrated Institutional Strategy for Open Education and Open Science at UCLouvain. EOSC Tripartite Event of the Belgian Presidency (Belgium, 16/04/2024).

http://hdl.handle.net/2078.1/286982

Deville, Yves ; Depoterre, Sophie. Les différentes formes d’ouverture au service de la qualité de l’éducation, des ODD, de la flexibilité et de l’hybridation. Association internationale de pédagogie universitaire (AIPU) (Université de Sherbrooke, Canada, du 28/05/2024 au 31/05/2024).

http://hdl.handle.net/2078.1/297025

Deville, Yves. Utilisation Responsable de l’Intelligence Artificielle Générative , 2024.

http://hdl.handle.net/20.500.12279/1079.2http://hdl.handle.net/2078.1/297036

Deville, Yves ; jacquemot, Christine. Open Education Recommendations for Stakeholders, 2023.

http://hdl.handle.net/20.500.12279/965http://hdl.handle.net/2078.1/297032

Deville, Yves ; Jacqmot, Christine. Shared Guidelines for Open Education , 2023.

http://hdl.handle.net/20.500.12279/959http://hdl.handle.net/2078.1/297034

Jacqmot, Christine ; Deville, Yves. Open Science Recommandations to Stakeholders, 2023. 15 p.

https://oer.uclouvain.be/jspui/handle/20.500.12279/896http://hdl.handle.net/2078.1/274216

Jacqmot, Christine ; Deville, Yves. Shared Guidelines for Open Science : Guidelines for Researchers, 2023. 55 p.

https://oer.uclouvain.be/jspui/handle/20.500.12279/902http://hdl.handle.net/2078.1/274218

De Munck, Jean ; Aujoulat, Isabelle ; Capelle, Véronique ; Demoulin, Jean-Baptiste ; Deville, Yves ; Geerts, Maxime ; Montedoro, Calogero ; Pigeon, Eva ; Raucent, Benoît ; Thirion, Benoît ; Traversa, Edoardo. Rebondir. enjeux et défis de l'épidémie Covid-19 à l'UCLouvain (), 2022. 67 p.

http://hdl.handle.net/2078.1/275392

Jacqmot, Christine ; Docq, Françoise ; Deville, Yves. A Framework to Understand, Analyse and Describe Online and Open Education in Higher Education :. 12th International Conference on Computer Supported Education (Prague, Czech Republic, du 2/5/2020 au 4/5/2020). In: Proceedings of the 12th International Conference on Computer Supported Education - Volume 1: CSEDU, SCITEPRESS - Science and Technology Publications, 2020. 9789897584176, p. 458-465. doi:10.5220/0009470704580465.

http://hdl.handle.net/2078.1/230219

Deville, Yves ; Jacqmot, Christine ; Pereira, Olivier. Quand le numérique facilite la correction des questions d’examens : expérimentation de Gradescope à l’UCLouvain. 32ème Colloque de l’Admee-Europe (Casablanca, du 22/01/2020 au 24/01/2020) (Accepté/Sous presse).

http://hdl.handle.net/2078.1/225314

Ha, Quang Minh ; Deville, Yves ; Pham, Quang Dung ; Hà, Minh Hoàng. A hybrid genetic algorithm for the traveling salesman problem with drone. In: Journal of Heuristics, Vol. 26, no.2, p. 219-247 (2019). doi:10.1007/s10732-019-09431-y.

http://hdl.handle.net/2078.1/251904

Gillard, Xavier ; Schaus, Pierre ; Deville, Yves. SolverCheck: Declarative Testing of Constraints. The 25th International Conference on Principles and Practice of Constraint Programming (Stamford, CT, USA, du 30/09/2019 au 04/10/2019). In: Principles and Practice of Constraint Programming, Schiex, Thomas and de Givry, Simon, 2019. 978-3-030-30048-7. doi:10.1007/978-3-030-30048-7_33.

http://hdl.handle.net/2078.1/220176

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

http://hdl.handle.net/2078.1/213106

Deville, Yves ; Docq, Françoise ; Swaen, Valérie ; Blondel, Vincent ; Agarwal, Anant. Online learning: a wake-up call for Higher Education. In: Directeur éditorial Vincent Blondel., L'Université en dialogues. University Conversations., Presses Universitaires de Louvain (PUL): Louvain-la-Neuve, 2018, p. 74 - 83. 978-2-87558-708-4.

http://hdl.handle.net/2078.1/209974

Deville, Yves ; Jacqmot, Christine. Digital strategy at UCLouvain : openness matters,. Open Education Global Conference 2018 (Delft, du 24/04/2018 au 26/04/2018) (Accepté/Sous presse).

http://hdl.handle.net/2078.1/195896

Verhaeghe, Hélène ; Lecoutre Christophe ; Deville, Yves ; Schaus, Pierre. Extension de Compact-Table aux Tables Simplement Intelligentes. Quatorzième journées Francophones de Programmation par Contraintes (JFPC18) (Amiens, France, du 13/06/2018 au 15/06/2018) (Soumis).

http://hdl.handle.net/2078.1/202131

Aubry, François ; Vissicchio, Stefano ; Bonaventure, Olivier ; Deville, Yves. Robustly disjoint paths with segment routing. the 14th International Conference on emerging Networking EXperiments and Technologies (Heraklion, Greece, du 4/12/2018 au 7/12/2018). In: Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies - CoNEXT '18, ACM Press, 2018. 9781450360807. doi:10.1145/3281411.3281424.

http://hdl.handle.net/2078.1/214183

Khong, Minh Thanh ; Lecoutre, Christophe ; Schaus, Pierre ; Deville, Yves. Soft-regular with a Prefix-size Violation Measure. 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (Delft, The Netherlands, du 26/06/2018 au 29/06/2018). In: Soft-regular with a Prefix-size Violation Measure, (2018) (Accepté/Sous presse).

http://hdl.handle.net/2078.1/196000

Ha, Quang Minh ; Deville, Yves ; Quang Dung Pham. On the Min-cost Traveling Salesman Problem with Drone. In: Transportation Research. Part C: Emerging Technologies. doi:10.1016/j.trc.2017.11.015 (Accepté/Sous presse).

http://hdl.handle.net/2078.1/190092

Le Charlier, Baudouin ; Khong, Minh Thanh ; Lecoutre, Christophe ; Deville, Yves. Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. Twenty-Sixth International Joint Conference on Artificial Intelligence (Melbourne, Australia, du 19/8/2017 au 26/8/2017). In: International Joint Conference on Artificial Intelligence. Proceedings, Vol. 1, p. 681-687 (2017). doi:10.24963/ijcai.2017/95. doi:10.24963/ijcai.2017/95.

http://hdl.handle.net/2078.1/190049

Khong, Minh Thanh ; Deville, Yves ; Schaus, Pierre ; Lecoutre, Christophe. Efficient Reification of Table Constraints. International Conference on Tools with Artificial Intelligence (Boston, MA, US, du 06/11/2017 au 08/11/2017). In: International Conference on Tools with Artificial Intelligence. Proceedings, (2017).

http://hdl.handle.net/2078.1/190056

Verhaeghe, Hélène ; Lecoutre, Christophe ; Deville, Yves ; Schaus, Pierre. Extending Compact-Table to Basic Smart Tables. 23rd International Conference on Principles and Practice of Constraint Programming (CP17) (Melbourne, Australia, du 28/08/2017 au 01/09/2017). In: Principles and Practice of Constraint Programming, 2017. ISBN 978-3-319-66158-2, p. 297-307.

http://hdl.handle.net/2078.1/189547

Saint-Guillain, Michael ; Solnon, Christine ; Deville, Yves. The Static and Stochastic VRP with Time Windows and both random Customers and Reveal Times. EvoApplications 2017. In: Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II, 2017. 978-3-319-55792-2, p. 110-127. doi:10.1007/978-3-319-55792-2_8.

http://hdl.handle.net/2078.1/186427

Saint-Guillain, Michael ; Solnon, Christine ; Deville, Yves. Un nouveau VRPTW static et stochastique: vers une modélisation en deux étapes plus réaliste. Treizièmes journées Francophones de Programmation par Contraintes (Accepté/Sous presse).

http://hdl.handle.net/2078.1/186428

Bui, Quoc Trung ; Deville, Yves ; Pham, Quang Dung. Exact methods for solving the elementary shortest and longest path problems. In: Annals of Operations Research, Vol. 238, no.1, p. 1-36 (2016). doi:10.1007/s10479-016-2116-5.

http://hdl.handle.net/2078.1/171841

Aubry, François ; Lebrun, David ; Vissicchio, Stefano ; Khong, Minh Thanh ; Deville, Yves ; Bonaventure, Olivier. SCMon: Leveraging Segment Routing to Improve Network Monitoring. INFOCOM (San Francisco, California, US, du 10/04/2016 au 15/04/2016). In: INFOCOM 2016, 2016. doi:10.1109/INFOCOM.2016.7524410.

http://hdl.handle.net/2078.1/171221

Saint-Guillain, Michael ; Papavasiliou, Anthony ; Deville, Yves ; Solnon, Christine. The Static and Stochastic VRP with Time Windows and both random Customers and Reveal Times (abstract). XIV International Conference on Stochastic Programming (Buzios, Brezil, du 24/06/2016 au 01/01/2017).

http://hdl.handle.net/2078.1/181893

Mouthuy, Sébastien ; Massen, Florence ; Van Hentenryck, Pascal ; Deville, Yves. A Multi-Stage Very Large-Scale Neighborhood Search for the Vehicle Routing Problem with Soft Time-Windows. In: Journal of Transportation Science, Vol. 49, no.2, p. 223-238 (May 2015). doi:10.1287/trsc.2014.0558.

http://hdl.handle.net/2078.1/171839

Saint-Guillain, Michael ; Deville, Yves ; Solnon, Christine. A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW. Twelfth International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR'15) (Barcelone, Espagne). doi:10.1007/978-3-319-18008-3_25.

http://hdl.handle.net/2078.1/171197

Deville, Yves ; Dejemeppe, Cyrille ; Schaus, Pierre. Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm. Integration of AI and OR Techniques in Constraint Programming (Barcelona, May 18-22, 2015). In: Lecture Notes in Computer Science, Vol. 9075, no.9075, p. 124-140 (16 April 2015). doi:10.1007/978-3-319-18008-3_9.

http://hdl.handle.net/2078.1/171183

Durvaux, François ; Standaert, François-Xavier ; Veyrat-Charvillon, Nicolas ; Mairy, Jean-Baptiste ; Deville, Yves. Efficient Selection of Time Samples for Higher-Order DPA with Projection Pursuits. 6th International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE 2015) (Berlin (Germany), du 13/04/2015 au 14/04/2015). In: Constructive Side-Channel Analysis and Secure Design (Lecture Notes in Computer Science; 9064), Springer, 2015. 978-3-319-21475-7, p. 34-50. doi:10.1007/978-3-319-21476-4.

http://hdl.handle.net/2078.1/171547

Mairy, Jean-Baptiste ; Deville, Yves ; Lecoutre, Christopthe. The Smart Table Constraint. 12th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2015) (Barcelona). In: Proceedings of 12th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Springer Verlag, 2015. 978-3-319-18007-6. doi:10.1007/978-3-319-18008-3_19.

http://hdl.handle.net/2078.1/171835

Aubry, François ; Lebrun, David ; Deville, Yves ; Bonaventure, Olivier. Traffic duplication through segmentable disjoint paths. Networking 2015. In: IFIP Networking 2015, 2015.

http://hdl.handle.net/2078.1/163786

Saint-Guillain, Michael ; Deville, Yves ; Solnon, Christine. Une approche basée sur la programmation stochastique multi-étapes pour résoudre le VRPTW dynamique et stochastique. Onzièmes Journées Francophones de Programmation par Contraintes (JFPC 2015).

http://hdl.handle.net/2078.1/181892

Ho, Trong Viet ; Deville, Yves ; Bonaventure, Olivier. Multi-objective traffic engineering for data center networks. In: Computer Networks, Vol. 65, p. 167–182 (2014). doi:10.1016/j.comnet.2014.03.018.

http://hdl.handle.net/2078.1/142722

Mairy, Jean-Baptiste ; van Hentenryck, Pascal ; Deville, Yves. Optimal and efficient filtering algorithms for table constraints. In: Constraints : an international journal, Vol. 19, no.1, p. 77-120 (2014). doi:10.1007/s10601-013-9156-0.

http://hdl.handle.net/2078.1/140945

Dejemeppe, Cyrille ; Deville, Yves. Continuously degrading resource and interval dependent activity durations in nuclear medicine patient scheduling. 11th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2014) (Cork, Ireland, du 19/05/2014 au 23/05/2014). doi:10.1007/978-3-319-07046-9_20.

http://hdl.handle.net/2078.1/140940

Mairy, Jean-Baptiste ; Deville, Yves ; Lecoutre, Christophe. Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency. 11th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2014) (Cork, Ireland, du 19/05/2014 au 23/05/2014). doi:10.1007/978-3-319-07046-9_17.

http://hdl.handle.net/2078.1/140932

Deville, Yves ; Wouters, Pascale. Pédagogie active pour l’apprentissage de la programmation. 28ème congrès de l'Association Internationale de Pédagogie Universitaire (AIPU 2014) (Mons, Belgique, du 18/05/2014 au 22/05/2014).

http://hdl.handle.net/2078.1/140942

Bui, Quoc Trung ; Pham, Quang Dung ; Deville, Yves. Solving the quorumcast routing problem as a mixed integer program. 11th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2014) (Cork, Ireland, du 19/05/2014 au 23/05/2014). doi:10.1007/978-3-319-07046-9_4.

http://hdl.handle.net/2078.1/140937

Houndji, Vinasetan Ratheil ; Schaus, Pierre ; Wolsey, Laurence ; Deville, Yves. The Stocking Cost Constraint. International Conference on Principles and Practice of Constraint Programming (CP2014) (Lyon). doi:10.1007/978-3-319-10428-7_29.

http://hdl.handle.net/2078.1/153026

Aubry, François ; Lebrun, David ; Deville, Yves ; Bonaventure, Olivier. Traffic duplication through segmentable disjoint paths, 2014.

http://hdl.handle.net/2078.1/152888

Deville, Yves ; Van Hentenryck, Pascal ; Mairy, Jean-Baptiste. Domain consistency with forbidden values. In: Constraints : an international journal, Vol. 18, no.3, p. 377-403 (2013). doi:10.1007/s10601-012-9135-x.

http://hdl.handle.net/2078.1/141299

Massen, Florence ; López-Ibáñez, Manuel ; Stützle, Thomas ; Deville, Yves. Experimental analysis of pheromone-based heuristic column generation using irace. 8th International Workshop, HM 2013 (Ischia, Italy, du 23/05/2013 au 25/05/2013). In: Hybrid Metaheuristics, Lecture Notes in Computer Science, 2013. 978-3-642-38515-5, p. 92-106. doi:10.1007/978-3-642-38516-2_8.

http://hdl.handle.net/2078.1/141291

Bui, Quoc Trung ; Pham, Quang Dung ; Deville, Yves. Solving the agricultural land allocation problem by constraint-based local search. 19th International Conference, CP 2013 (Uppsala, Sweden,, du 16/09/2013 au 20/09/2013). In: Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, 2013. 978-3-642-40627-0, p. 749-757. doi:10.1007/978-3-642-40627-0_55.

http://hdl.handle.net/2078.1/141205

Mouthuy, Sébastien ; Van Hentenryck, Pascal ; Deville, Yves. Constraint-Based Very Large-Scale Neighborhood Search. In: Constraints : an international journal, Vol. 17, no. 2, p. 87-122 (2012).

http://hdl.handle.net/2078.1/124299

Pham Quang, Dung ; Deville, Yves ; Van Hentenryck, Pascal . LS(Graph): a constraint-based local search for constraint optimization on trees and paths. In: Constraints : an international journal, Vol. 17, p. 1-52 (2012). doi:10.1007/s10601-012-9124-0.

http://hdl.handle.net/2078.1/113406

Pham Quang, , Dung ; Deville, Yves. Solving the quorumcast routing problem by constraint programming . In: Constraints : an international journal, Vol. 17, p. 1-23 (2012). doi:10.1007/s10601-012-9125-z.

http://hdl.handle.net/2078.1/113413

Milgrom, Elie ; Deville, Yves. L'informatique en FSA / à l'EPL. In: Directeur éditorial Marcel Crochet, Des Écoles Spéciales à l'EPL 50 ans de science et de technologie à l'UCL, 2012. 978-2-87558-092-4.

http://hdl.handle.net/2078.1/141306

Mairy, Jean-Baptiste ; Van Hentenryck, Pascal ; Deville, Yves. An optimal filtering algorithm for table constraints. International Conference on Principles and Practice of Constraint Programming (Québec City, Canada, du 08/10/2012 au 12/10/2012). doi:10.1007/978-3-642-33558-7_37 (Soumis).

http://hdl.handle.net/2078.1/113416

le Clément de Saint Marcq, Vianney ; Deville, Yves ; Solnon, Christine ; Champin, Pierre-Antoine. Castor: a constraint-based SPARQL engine with active filter processing. Extended Semantic Web Conference (Heraklion, Crete, GR, du 27/05/2011 au 31/05/2011).

http://hdl.handle.net/2078.1/111052

Massen, Florence ; Deville, Yves ; Van Hentenryck, Pascal. Pheromone-based heuristic column generation for vehicle routing problems with black box feasibility. International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2012) (Nantes, France, du 28/05/2012 au 01/06/2012). In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Theoretical Computer Science and General Issues; 7298), Springer New York LLC: Berlin, 2012. 978-3-642-29827-1, p. 260-274. doi:10.1007/978-3-642-29828-8_17.

http://hdl.handle.net/2078.1/113425

Pham, Quang Dung ; Deville, Yves. Solving the longest simple path problem with constraint-based techniques. international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Nantes, France, du 28/05/2012 au 01/06/2012). In: CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, ACM, 2012. 978-3-642-29827-1, p. 292-306. doi:10.1007/978-3-642-29828-8_19. doi:10.1007/978-3-642-29828-8_19.

http://hdl.handle.net/2078.1/114117

le Clément de Saint Marcq, Vianney ; Deville, Yves ; Solnon, Christine ; Champin, Pierre-Antoine. Un solveur léger efficace pour interroger le Web sémantique. Journées Francophones de Programmation par Contraintes (JFPC 2012) (Toulouse France, du 22/05/2012 au 24/05/2012).

http://hdl.handle.net/2078.1/113419

Massen, Florence ; Deville, Yves ; Van Hentenryck, Pascal. Une heuristique de génération de colonnes pour le problème de tournees de vehicules avec faisabilité boite noire, : Extended Abstract. Journées Francophones de Programmation par Contraintes (JFPC 2012) (Toulouse France, du 22/05/2012 au 24/05/2012).

http://hdl.handle.net/2078.1/113422

Mouthuy, Sébastien ; Deville, Yves ; Van Hentenryck, Pascal. A multi-stage very large-scale neighborhood search for the vehicle routing problem with soft time-windows. 9th Metaheuristics International Conference (MIC 2011) (Udine, Italy, July 2011., du 25/07/2011 au 28/07/2011).

http://hdl.handle.net/2078.1/87159

Massen, Florence ; Deville, Yves ; Van Hentenryck, Pascal. A relaxation-guided approach for vehicle routing problems with black box feasibility. Eigth International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS2011). A Satellite Workshop of CP 2011 (Italy, du 12/09/2011 au 12/09/2011).

http://hdl.handle.net/2078.1/87185

le Clément de Saint Marcq, Vianney ; Deville, Yves ; Solnon, Christine. An efficient light solver for querying the semantic web. Principles and Practice of Constraint Programming. 17th International Conference, CP 2011 (Perugia, Italy, du 12/09/2011 au 16/09/2011). In: Lecture Notes in Computer Science, no. 6876, p. 145-159 (2011). doi:10.1007/978-3-642-23786-7_13.

http://hdl.handle.net/2078.1/107581

Deville, Yves ; Van Hentenryck, Pascal ; Mairy, Jean-Baptiste. Domaine consistance et valeurs interdites. Journées Francophones de Programmation par Contraintes (JFPC 2011) (Lyon France, June 8-10, 2011. , du 08/06/2010 au 10/06/2010).

http://hdl.handle.net/2078.1/87151

Mairy, Jean-Baptiste ; Deville, Yves ; Van Hentenryck, Pascal. Reinforced Adaptive Large Neighborhood Search. Eightth International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS2011) (Perugia, Italy, du 12/09/2012 au 16/12/2012).

http://hdl.handle.net/2078.1/124303

HO, Trong Viet ; Deville, Yves ; Bonaventure, Olivier ; François, Pierre. Traffic engineering for multiple spanning tree protocol in large data centers. 23rd International Teletraffic Congress (ITC 2011) (San Francisco, USA, du 06/09/2011 au 09/09/2011).

http://hdl.handle.net/2078.1/87167

Zampelli, Stephane ; Deville, Yves ; Solnon, Christine. Solving subgraph isomorphism problems with constraint programming. In: Constraints : an international journal, Vol. 15, no. 3, p. 327-353 (2010). doi:10.1007/s10601-009-9074-3.

http://hdl.handle.net/2078.1/33811

Dupuis, Julien ; Schaus, Pierre ; Deville, Yves. Consistency Check for the Bin Packing Constraint Revisited. Integration of AI and OR Techniques in Constraint Programming for Cominatorial Optimization Problems. 7th International Conference, CPAIOR 2010 (Bologna, Italy, 14-18 June 2010). In: Integration of AI and OR Techniques in Constraint Programming for Cominatorial Optimization Problems. 7th International Conference, CPAIOR 2010, Springer, 2010. 978-3-642-13519-4, p. 117-122. doi:10.1007/978-3-642-13520-0_15.

http://hdl.handle.net/2078.1/67393

PHAM, Quang Dung. 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 (Bologna, Italy, du 14/06/2010 au 18/06/2010) (Soumis).

http://hdl.handle.net/2078.1/70877

Pham, Quang Dung ; Deville, Yves ; Van Hentenryck, Pascal. Constraint-based Local Search for Constrained Optimum Paths Problems. Integration of AI and OR Techniques in Constraint Programming for Cominatorial Optimization Problems. 7th International Conference, CPAIOR 2010 (Bologna, Italy, 14-18 June 2010). In: Integration of AI and OR Techniques in Constraint Programming for Cominatorial Optimization Problems. 7th International Conference, CPAIOR 2010, Springer, 2010. 978-3-642-13519-4, p. 234-248.

http://hdl.handle.net/2078.1/67392

Pham, Quang Dung ; DO, Phan Thuan ; Deville, Yves ; HO, Tuong Vinh. 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, du 27/08/2010 au 28/08/2010) (Soumis).

http://hdl.handle.net/2078.1/70876

Pham, Quang Dung ; Deville, Yves ; Do, Phan-Thuan ; Ho, Tuong Vinh. Constraint-based local search for solving non-simple paths problems on graphs: application to the routing for network covering problem. Proceedings of the 2010 Symposium on Information and Communication Technology (Hanoi, Viet nam, du 27/08/2010 au 28/08/2010). In: Proceedings of the 2010 Symposium on Information and Communication Technology, 2010. 978-1-4503-0105-3, p. 1-8.

http://hdl.handle.net/2078.1/87134

Deville, Yves ; Van Hentenryck, Pascal. Domain consistency with forbidden values. 16th International Conference on Principles and Practice of Constraint Programming (CP 2010) (St Andrew, du 6/9/2010 au 10/9/2010).

http://hdl.handle.net/2078.1/87138

Mairy, Jean-Baptiste ; Schaus, Pierre ; Deville, Yves. Generic adaptive heuristics for large neighborhood search. International conference on principles and practice of constraint programming (St Andrews, Scotland, du 06/09/2010 au 10/09/2010).

http://hdl.handle.net/2078.1/87135

Schaus, Pierre ; Van Hentenryck, Pascal ; Monette, Jean-Noël ; Coffrin, Carleton ; Michel, Laurent ; Deville, Yves. Solving steel mill slab problems with constraint-based techniques: CP, LNS, and CBLS. n/a (n/a, du 12/09/2011 au 12/09/2011). In: Constraints : an international journal, Vol. 16, no. 2, p. 125-147 (2011). doi:10.1007/s10601-010-9100-5.

http://hdl.handle.net/2078.1/87149

Ho, Trong Viêt ; François, Pierre ; Deville, Yves ; Dung, Pham Quang ; Bonaventure, Olivier. Using local search for traffic engineering in switched ethernet networks. International teletraffic congress (ITC 22) (Amsterdam, du 07/09/2010 au 09/09/2010). In: Proceedings of ITC, 2010. 978-90-6164-284-8, p. 1-8.

http://hdl.handle.net/2078.1/77566

Dupuis, Julien ; Schaus, Pierre ; Deville, Yves. Vérification de consistence pour la constrainte de bin packing. Sixièmes journées Francophones de programmation par contraintes (JFPC 2010) (Caen, France, du 09/06/2010 au 11/06/2010).

http://hdl.handle.net/2078.1/86173

Monette, Jean-Noël ; Deville, Yves ; Van Hentenryck, Pascal. Aeon: Synthesizing Scheduling Algorithms from High-Level Models. INFORMS computing society conference (Charleston, South Carolina, du 11/01/2009 au 13/01/2011).

http://hdl.handle.net/2078.1/86155

le Clément de Saint Marcq, Vianney ; Deville, Yves ; Solnon, Christine. Constraint-based graph matching. Principles and Practice of Constraint Programming. 15th International Conference, CP 2009 (Lisbon, Portugal, 20-24 September 2009). In: Principles and Practice of Constraint Programming. 15th International Conference, CP 2009, Springer-verlag, 2009. 978-3-642-04243-0, p. 274-288.

http://hdl.handle.net/2078.1/67478

Ho, Trong Viêt ; François, Pierre ; Deville, Yves ; Bonaventure, Olivier. Implementation of a traffic engineering technique that preserves IP Fast Reroute inCOMET. Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Carry Le Rouet (Bouches-du-Rhône), du 16/06/2009 au 19/06/2009).

http://hdl.handle.net/2078.1/79292

Monette, Jean-Noël ; Deville, Yves ; Van Hentenryck, Pascal. Just-In-Time Scheduling with Constraint Programming. International conference on automated planning and scheduling (ICAPS) (Tessaloniki, Greece, 2009).

http://hdl.handle.net/2078.1/86160

Pham, Quang Dung. LS(Graph & Tree): A Local Search Framework for Constraint Optimization on Graphs and Trees. Proceedings of the 2009 ACM Symposium on Applied Computing (SAC'09) (Honolulu, Hawaii, USA, du 9/03/2009 au 12/03/2009) (Soumis).

http://hdl.handle.net/2078.1/70878

Pham, Quang Dung ; Deville, Yves ; Van Hentenryck, Pascal. LS(Graph) : a local search framework for constraint optimization on graphs and trees. The 2009 ACM Symposium on Applied Computing (Honolulu, HI, USA , du 08/03/2008 au 12/03/2008).

http://hdl.handle.net/2078.1/85633

Brohée, Sylvain ; Faust, Karoline ; Lima Mendez, Gipsi ; Sand, Olivier ; Janky, Rekin's ; Vanderstocken, Gilles ; Deville, Yves ; van Helden, Jacques. NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways.. In: Nucleic acids research, Vol. 36, no. Web Server issue, p. W444-51 (2008). doi:10.1093/nar/gkn336.

http://hdl.handle.net/2078.1/12642

Schaus, Pierre ; Deville, Yves. A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. AAAI-08, Twenty-Third AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (Chicago, USA, du 13/07/2008 au 13/07/2008) (Soumis).

http://hdl.handle.net/2078.1/85268

Deville, Yves ; Dooms, Grégoire ; Zampelli, Stéphane. Combining two structured domains for modeling various graph matching problems. Recent Advances in Constraints. 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 (Rocquencourt, France, 7-8 June 2007). In: Recent Advances in Constraints. 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Springer-verlag, 2008. 978-3-540-89811-5, 76-90. doi:10.1007/978-3-540-89812-2_6.

http://hdl.handle.net/2078.1/67626

Schaus, Pierre ; Deville, Yves. 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 (Brussels, Belgium, du 16/01/2008 au 18/01/2008).

http://hdl.handle.net/2078.1/85165

Schaus, Pierre ; Deville, Yves. 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, du 04/06/2008 au 06/06/2008) (Soumis).

http://hdl.handle.net/2078.1/85197

Schaus, Pierre ; Deville, Yves. Hybridization of CP and VLNS for Eternity II. JFPC'08 Quatrième Journées Francophones de Programmation par Contraintes (Nantes, France, du 04/06/2008 au 06/06/2008).

http://hdl.handle.net/2078.1/85275

Pham, Quang Dung ; Deville, Yves ; Van Hentenryck, Pascal. 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, du 04/06/2008 au 06/06/2008) (Soumis).

http://hdl.handle.net/2078.1/85272

Zampelli, Stéphane ; Mann, Martin ; Deville, Yves ; Backofen, Rolf. Techniques de Décomposition pour l'Isomorphisme de Sous-Graphe. Ournées Francophones de Programmation par Contraintes (JFPC'08) (Nantes, France, du 04/06/2008 au 06/06/2008) (Soumis).

http://hdl.handle.net/2078.1/85201

Mouthuy, Sébastien ; Deville, Yves ; Van Hentenryck,, Pascal. Toward a Generic Comet Implementation of Very Large-Scale Neighborhoods. 22nd national conference of the Belgian Operations Research Society (Brussels, Belgium, du 16/01/2008 au 18/01/2008).

http://hdl.handle.net/2078.1/85171

Schaus, Pierre ; Deville, Yves. 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, du 04/06/2006 au 06/06/2008) (Soumis).

http://hdl.handle.net/2078.1/85222

Schaus, Pierre ; Deville, Yves ; Dupont, Pierre. Bound-Consistent Deviation Constraint. In: Bessiere, Christian, Principles and Practice of Constraint Programming, CP 2007, Springer, 2007, p. 620-634. 978-3-540-74969-1.

http://hdl.handle.net/2078.1/85096

Deville, Yves ; Lemer, Christian ; wodak, Shoshana. Representing and Analyzing Biochemical Networks Using BioMaze. In: Sangdun Choi, Introduction to System Biology, Humana Press, 2007, p. 484-507. 978-1-58829-706-8.

http://hdl.handle.net/2078.1/85067

Schaus, Pierre ; Deville, Yves ; Dupont, Pierre ; Regin, Jean-Charles. Simplification and extension of the SPREAD Constraint. In: Benhamou, Frédéric; Jussien, Narendra; O'Sullivan, Barry (Ed. by), Trends in Constraint Programming, 2007, p. 95-99. 978-1-905209-97-2.

http://hdl.handle.net/2078.1/108029

Zampelli, Stéphane ; Deville, Yves ; Dupont, Pierre. Symmetry breaking in subgraph pattern matching. In: Frédéric Benhamou,Narendra Jussien,Barry O'Sullivan, Trends in Constraint Programming, 2007, p. 203-218. 978-1-905209-97-2.

http://hdl.handle.net/2078.1/108037

Monette, Jean-Noël ; Schaus, Pierre ; Zampelli, Stéphane ; Deville, Yves ; Dupont, Pierre. A CP Approach to the Balanced Academic Curriculum Problem. Symcon'07, The Seventh International Workshop on Symmetry and Constraint Satisfaction Problems (Providence, USA, September 23).

http://hdl.handle.net/2078.1/85071

Monette, Jean-Noël ; Deville, Yves ; Dupont, Pierre. A position-based propagator for the open-shop problem. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. 4th International Conference, CPAIOR 2007 (Brussels, Belgium, 23-26 May 2007). In: Lecture Notes in Computer Science, Vol. 4510, p. 186-199. In: Integration of AI and OR Techniques in Constraint Programming forCombinatorial Optimization Problems. Proceedings 4th InternationalConference, CPAIOR 2007, Springer: (Germany) Heidelberg, 2007. 3-540-72396-X, p. 186-199.

http://hdl.handle.net/2078.1/67869

Deville, Yves ; Dupont, Pierre ; Dooms, Grégoire ; Monette, Jean-Noël ; Schaus, Pierre ; Zampelli, Stéphane ; Wodak, Shoshana . BioEdge: a tool box for advanced analyses of biochemical networks. Benelux Bioinformatics Conference (BBC'07) (Leuven, Belgium, du 12/11/2007 au 13/11/2007).

http://hdl.handle.net/2078.1/85101

Mouthuy, Sébastien ; Deville, Yves ; Dooms, Grégoire. Contrainte globale pour le problème de recouvrement d'ensembles. Journées Francophones de Programmation par Contraintes (JFPC'07) (Rocquencourt, France,, du 04/06/2007 au 06/06/2007) (Soumis).

http://hdl.handle.net/2078.1/85026

Zampelli, Stephane ; Deville, Yves ; Solnon, Christine ; Sorlin, Sébastien ; Dupont, Pierre. Filtering for subgraph isomorphism. Principles and Practice of Constraint Programming. 13th International Conference, CP 2007 (Providence, RI, USA, du 23/09/2007 au 27/09/2007). In: Lecture Notes in Computer Science, Vol. 4741, p. 728-742. In: Principles and Practice of Constraint Programming. 13th International Conference, CP 2007, Springer: (Germany) Heidelberg, 2007. 3-540-74969-1, p. 728-742.

http://hdl.handle.net/2078.1/67727

Zampelli, Stéphane ; Deville, Yves ; Solnon, Christine ; Sorlin, Sébastien ; Dupont, Pierre. Filtrage pour l'isomorphisme de sous-graphe. Journées Francophones de Programmation par Contraintes (JFPC'07) (Rocquencourt, France,, du 04/06/2007 au 06/06/2007).

http://hdl.handle.net/2078.1/85048

Schaus, Pierre ; Deville, Yves ; Dupont, Pierre ; Régin, Jean-Charles. La Contrainte Déviation. Journées Francophones de Programmation par Contraintes (JFPC'07) (Rocquencourt, France, du 04/06/2007 au 06/06/2007).

http://hdl.handle.net/2078.1/85034

Schaus, Pierre ; Deville, Yves ; Dupont, Pierre ; Régin, Jean-Charles. Simplification and extension of the SPREAD Constraint. Third international workshop on constraint propagation and implementation (Nantes, France, du 25/09/2006 au 25/09/2006).

http://hdl.handle.net/2078.1/85009

Zampelli, Stéphane ; Deville, Yves ; Saïdi, Mohamed Reda ; Benhamou, Belaïd. Symmetry Breaking in Subgraph Isomorphism. SymCon'07, the Seventh International Workshop on Symmetry and Constraint Satisfaction Problem (Providence, USA, September 23).

http://hdl.handle.net/2078.1/85077

Schaus, Pierre ; Deville, Yves ; Dupont, Pierre ; Regin, J.-C.. The deviation constraint. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. 4th International Conference, CPAIOR 2007 (Brussels, Belgium, du 23/05/2007 au 26/05/2007). In: Lecture Notes in Computer Science, Vol. 4510, p. 260-274. In: Integration of AI and OR Techniques in Constraint Programming forCombinatorial Optimization Problems. Proceedings 4th InternationalConference, CPAIOR 2007, Springer: (Germany) Heidelberg, 2007. 3-540-72396-X, p. 260-274.

http://hdl.handle.net/2078.1/67864

Monette, Jean-Noël ; Deville, Yves ; Dupont, Pierre. Un propagateur basé sur les positions pour le problème d'Open-Shop. Journées Francophones de Programmation par Contraintes (JFPC'07) (Rocquencourt, France,, du 04/06/2006 au 06/06/2007).

http://hdl.handle.net/2078.1/85028

Zampelli, Stéphane ; Deville, Yves ; Dupont, Pierre. Elimination des symétries pour l'appariement de graphes. JFPC'06, Deuxièmes Journées Francophones de Programmation par Contraintes (Nîmes, France, du 07/06/2006 au 09/06/2006).

http://hdl.handle.net/2078.1/108868

Schaus, Pierre ; Deville, Yves ; Dupont, Pierre ; Régin, Jean-Charles. Simplification and extension of the SPREAD Constraint. Third International Workshop on Constraint Propagation And Implementation (CPAI'06) (Nantes, France, du 25/09/2006 au 25/09/2006).

http://hdl.handle.net/2078.1/108869

Zampelli, Stéphane ; Deville, Yves ; Dupont, Pierre. Symmetry Breaking in Subgraph Pattern Matching. Sixth International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'06) (Nantes, France, du 25/09/2002 au 25/09/2006). In: Trends in Constraint Programming, Wiley, 2006. 978-1-905209-97-2, p. 203-218.

http://hdl.handle.net/2078.1/85004

Quesada, Luis ; Van Roy, Peter ; Deville, Yves ; Collet, Raphaël. Using dominators for solving constrained path problems. 8th International Symposium on Practical Aspects of Declarative Languages (Charleston(Sc), Jan 09-10, 2006). In: Lecture Notes in Computer Science, Vol. 3819, p. 73-87 (2006). doi:10.1007/11603023_6.

http://hdl.handle.net/2078.1/60068

Dupont, Pierre ; Callut, Jérôme ; Dooms, Grégoire ; Monette, Jean-Noël ; Deville, Yves. Relevant subgraph extraction from random walks in a graph, 2006. 1-30 p.

http://hdl.handle.net/2078.1/109752

Dooms, Grégoire ; Deville, Yves ; Dupont, Pierre. A Mozart implementation of CP(BioNet). 2nd International Conference Multiparadigm Programming in Mozart/Oz (Charleroi(Belgium), Oct 07-08, 2004). In: Lecture Notes in Computer Science, Vol. 3389, p. 237-250 (2005). doi:10.1007/978-3-540-31845-3_20.

http://hdl.handle.net/2078.1/60992

Zampelli, S. ; Deville, Yves ; Dupont, Pierre. Approximate constrained subgraph matching. 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) (Sitges(Spain), Oct 01-05, 2005). In: Lecture Notes in Computer Science, Vol. 3709, p. 832-836 (2005). doi:10.1007/11564751_74.

http://hdl.handle.net/2078.1/60797

Vast, Sébastien ; Dupont, Pierre ; Deville, Yves. Automatic extraction of relevant nodes in biochemical networks. Atelier Apprentissage et Bioinformatique, CAp 2005, Conférence d'Apprentissage (Nice, France, du 31/05/2005 au 03/06/2005).

http://hdl.handle.net/2078.1/108975

Deville, Yves ; Dooms, Grégoire ; Zampelli, Stéphane ; Dupont, Pierre. CP(Graph+Map) for Approximate Graph Matching. 1st International Workshop on Constraint Programming Beyond Finate Integer Domains (Stiges, Spain, du 01/10/2005 au 01/10/2005).

http://hdl.handle.net/2078.1/108867

Dooms, Grégoire ; Deville, Yves ; Dupont, Pierre. CP(graph): Introducing a graph computation domain in constraint programming. 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) (Sitges(Spain), Oct 01-05, 2005). In: Lecture Notes in Computer Science, Vol. 3709, p. 211-225 (2005). doi:10.1007/11564751_18.

http://hdl.handle.net/2078.1/60796

Dooms, Grégoire ; Deville, Yves ; Dupont, Pierre. Constrained metabolic network analysis: discovering pathways using CP(Graph). Workshop on Constraint Based Methods for Bioinformatics, CP2005 (Sitges, Spain, du October 5, 2005 au 05/10/2005).

http://hdl.handle.net/2078.1/108865

Zampelli, Stéphane ; Deville, Yves ; Dupont, Pierre. Declarative Approximate Graph Matching Using a Constraint Approach. Second International Workshop on Constraint Propagation and Implementation (Stiges, Spain, du 01/10/2005 au 01/10/2005).

http://hdl.handle.net/2078.1/108864

Quesada, Luis ; Van Roy, Peter ; Deville, Yves. Speeding up constrained path solvers with a reachability propagator. 11th International Conference on Principles and Practice of Constraint Programming (CP 2005) (Sitges(Spain), Oct 01-05, 2005). In: Lecture Notes in Computer Science, Vol. 3709, p. 866 (2005). doi:10.1007/11564751_104.

http://hdl.handle.net/2078.1/60798

Basin, D ; Deville, Yves ; Flener, P. ; Hamfelt, AN ; Nilsson, JF. Synthesis of programs in computational logic. In: Lecture Notes in Computer Science, Vol. 3049, p. 30-65 (2004). doi:10.1007/978-3-540-25951-0_2.

http://hdl.handle.net/2078.1/40037

Lemer, C ; Antezana, E ; Couche, F ; Fays, F ; Santolaria, X ; Janky, R ; Deville, Yves ; Richelle, J ; Wodak, SJ. The aMAZE LightBench: a web interface to a relational database of cellular processes. In: Nucleic Acids Research, Vol. 32, p. D443-D448 (2004). doi:10.1093/nar/gkh139.

http://hdl.handle.net/2078.1/40436

Dooms, Grégoire ; Deville, Yves ; Dupont, Pierre. Constrained Path Finding in Biochemical Networks: a Constraint Programming Approach. 5th Open Days in Biology, Computer Science and Mathematics (JOBIM 2004) (Montreal, Canada, du 28/06/2004 au 30/06/2004).

http://hdl.handle.net/2078.1/108859

Zampelli, Stéphane ; Deville, Yves ; Dupont, Pierre. Finding Patterns in Biochemical Networks. 5h Open Days in Biology, Computer Science and Mathematics (JOBIM 2004) (Montreal, Canada, du 28/06/2004 au 30/06/2004).

http://hdl.handle.net/2078.1/108857

Dooms, Grégoire ; Deville, Yves ; Dupont, Pierre. 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) (Angers, France, du 21/06/2004 au 23/06/2004).

http://hdl.handle.net/2078.1/108861

Deville, Yves ; Gilbert, David ; van Helden, Jacques ; Wodak, Shoshana J. An overview of data models for the analysis of biochemical pathways.. In: Briefings in bioinformatics, Vol. 4, no. 3, p. 246-59 (2003). doi:10.1093/bib/4.3.246.

http://hdl.handle.net/2078.1/9648

Nguyen Tran Sy ; Deville, Yves. Consistency techniques for interprocedural test data generation. Joint 9th European Software Engineering Conference (ESEC) and the 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11) (Helsinki, Finland, 1-5 September 2003). In: Software Engineering Notes, Acm, 2003, Vol. 28, p. 108-117. doi:10.1145/949952.940087.

http://hdl.handle.net/2078.1/67967

Janssen, M. ; Van Hentenryck, P. ; Deville, Yves. A constraint satisfaction approach for enclosing solutions to parametric ordinary differential equations. In: SIAM Journal on Numerical Analysis, Vol. 40, no. 5, p. 1896-1939 (2002). doi:10.1137/S0036142901392316.

http://hdl.handle.net/2078.1/41291

Vermaut, F ; Deville, Yves ; Marichal, Xavier ; Macq, Benoît. A distributed adaptive block matching algorithm: Dis-ABMA. In: Signal Processing: Image Communication, Vol. 16, no. 5, p. 431-444 (2001). doi:10.1016/S0923-5965(00)00008-4.

http://hdl.handle.net/2078.1/42972

Sy, N.T. ; Deville, Yves. Automatic test data generation for programs with integer and float variables. Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (San Diego, CA, USA, 26-29 November 2001). In: Proceedings 16th Annual International Conference on Automated SoftwareEngineering (ASE 2001), IEEE comput. soc, 2001. 0-7695-1426-X, p. 13-21. doi:10.1109/ASE.2001.989786.

http://hdl.handle.net/2078.1/68155

Janssen, M. ; Van Hentenryck, P. ; Deville, Yves. Optimal pruning in parametric differential equations. Proceedings of 7th International Conference on Principles and Practice of Constraint Programming (Paphos, Cyprus, 26 November-1 December 2001). In: Principles and Practice of Constraint Programming - CP 2002. 7thInternational Conference, CP 2001. Proceedings (Lecture Notes inComputer Science Vol.2239), Springer-verlag, 2001. 3-540-42863-1, p. 539-553.

http://hdl.handle.net/2078.1/68122

Poupaert, E ; Deville, Yves. Simulated Annealing with estimated temperature. NAIC Conference (AMSTERDAM(Netherlands), Nov 18-19, 1998). In: A I Communications : the European journal on artificial intelligence, Vol. 13, no. 1, p. 19-26 (2000).

http://hdl.handle.net/2078.1/62139

Deville, Yves ; Barette, O ; Van Hentenryck, P.. Constraint satisfaction over connected row-convex constraints. In: Artificial Intelligence, Vol. 109, no. 1-2, p. 243-271 (1999). doi:10.1016/S0004-3702(99)00012-0.

http://hdl.handle.net/2078.1/44406

Bossi, A. ; Deville, Yves. Guest editors' introduction - Special issue: synthesis, transformation and analysis of logic programs. In: Journal of Logic Programming, Vol. 39, no. 1-3, p. 1-2 (1999). doi:10.1016/S0743-1066(98)10031-6.

http://hdl.handle.net/2078.1/44543

Bossi, A. ; Deville, Yves. Special issue: synthesis, transformation and analysis of logic programs 2. In: Journal of Logic Programming, Vol. 41, no. 2-3, p. 139-140 (1999). doi:10.1016/S0743-1066(99)00027-8.

http://hdl.handle.net/2078.1/44187

Janssen, M. ; Deville, Yves ; Van Hentenryck, P.. Multistep filtering operators for ordinary differential equations. 5th International Conference on Principles and Practice of Constraint Programming (CP 99) (ALEXANDRIA(Virginia), Oct 11-14, 1999). In: Lecture Notes in Computer Science, Vol. 1713, p. 246-260 (1999). doi:10.1007/978-3-540-48085-3_18.

http://hdl.handle.net/2078.1/62121

Van Hentenryck, P. ; Saraswat, V ; Deville, Yves. Design, implementation, and evaluation of the constraint language cc (FD). In: Journal of Logic Programming, Vol. 37, no. 1-3, p. 139-164 (1998). doi:10.1016/S0743-1066(98)10006-7.

http://hdl.handle.net/2078.1/45132

Nguyen, T ; Deville, Yves. A distributed arc-consistency algorithm. Workshop on Concurrent Constraint Programming (CCP 95) (UNIV VENICE, VENICE (Italy), May 29-31, 1995). In: Science of Computer Programming, Vol. 30, no. 1-2, p. 227-250 (1998). doi:10.1016/S0167-6423(97)00012-9.

http://hdl.handle.net/2078.1/62558

Legat, Jean-Didier ; de Saint Moulin, Renaud ; Deville, Yves. An adaptive pre-processing for on-line hand-written character recognition by blind people. ICAPR'98, invited paper. Proc. of the Intern. Conf. On Advances in Pattern Recognition (Plymouth (UK), du 23/11/1998 au 25/11/1998). In: Proc. of ICAPR'98, 1998, p. 287-296.

http://hdl.handle.net/2078.1/102438

Legat, Jean-Didier ; de Saint Moulin, Renaud ; Deville, Yves. An on-line hand-written character recognition system dedicated to blind people. IEE 3d European Workshop on Handwriting Analysis and Recognition (Brussels (Belgium), du 14/7/1998 au 15/7/1998). In: Proc. of the IEE 3d European Workshop on Handwriting Analysis and Recognition, 1998, p. 22.1-22.4.

http://hdl.handle.net/2078.1/102444

Deville, Yves ; Janssen, M. ; Van Hentenryck, P.. Consistency techniques in ordinary differential equations. 4th International Conference on Principles and Practice of Constraint Programming (CP 98) (PISA(Italy), Oct 26-30, 1998). In: Lecture Notes in Computer Science, Vol. 1520, p. 162-176 (1998). doi:10.1007/3-540-49481-2_13.

http://hdl.handle.net/2078.1/62157

Deville, Yves ; Lau, KK.. Logic Program Synthesis. In: Journal of Logic Programming, Vol. 20, p. 321-350 (1994). doi:10.1016/0743-1066(94)90029-9.

http://hdl.handle.net/2078.1/48860

Flener, P. ; Deville, Yves. Logic Program Synthesis From Incomplete Specifications. In: Journal of Symbolic Computation, Vol. 15, no. 5-6, p. 775-805 (1993). doi:10.1016/S0747-7171(06)80012-X.

http://hdl.handle.net/2078.1/49590

Vanhentenryck, P. ; Deville, Yves ; Teng, CM.. A Generic Arc-consistency Algorithm and its Specializations. In: Artificial Intelligence, Vol. 57, no. 2-3, p. 291-321 (1992). doi:10.1016/0004-3702(92)90020-X.

http://hdl.handle.net/2078.1/50644