Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Yves Deville
2010 – today
- 2013
[j20]Yves Deville, Pascal Van Hentenryck, Jean-Baptiste Mairy: Domain consistency with forbidden values. Constraints 18(3): 377-403 (2013)- [c55]Quoc Trung Bui, Quang-Dung Pham, Yves Deville: Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search. CP 2013: 749-757
- [c54]Florence Massen, Manuel López-Ibáñez, Thomas Stützle, Yves Deville: Experimental Analysis of Pheromone-Based Heuristic Column Generation Using irace. Hybrid Metaheuristics 2013: 92-106
- 2012
- [j19]Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville: Constraint-based Very Large-Scale Neighborhood search. Constraints 17(2): 87-122 (2012)
- [j18]Quang-Dung Pham, Yves Deville, Pascal Van Hentenryck: LS(Graph): a constraint-based local search for constraint optimization on trees and paths. Constraints 17(4): 357-408 (2012)
- [j17]Quang-Dung Pham, Yves Deville: Solving the quorumcast routing problem by constraint programming. Constraints 17(4): 409-431 (2012)
- [c53]Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville: An Optimal Filtering Algorithm for Table Constraints. CP 2012: 496-511
- [c52]Florence Massen, Yves Deville, Pascal Van Hentenryck: Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. CPAIOR 2012: 260-274
- [c51]Quang-Dung Pham, Yves Deville: Solving the Longest Simple Path Problem with Constraint-Based Techniques. CPAIOR 2012: 292-306
- [c50]Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon, Pierre-Antoine Champin: Castor: A Constraint-Based SPARQL Engine with Active Filter Processing. ESWC 2012: 391-405
- 2011
- [j16]Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville: Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. Constraints 16(2): 125-147 (2011)
- [c49]Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon: An Efficient Light Solver for Querying the Semantic Web. CP 2011: 145-159
- [c48]Quoc Trung Bui, Quang-Dung Pham, Yves Deville: Constraint-based local search for fields partitioning problem. SoICT 2011: 19-28
- [c47]Ho Trong Viet, Yves Deville, Olivier Bonaventure, Pierre François: Traffic engineering for multiple spanning tree protocol in large data centers. International Teletraffic Congress 2011: 23-30
- 2010
- [j15]Stéphane Zampelli, Yves Deville, Christine Solnon: Solving subgraph isomorphism problems with constraint programming. Constraints 15(3): 327-353 (2010)
- [c46]
- [c45]Julien Dupuis, Pierre Schaus, Yves Deville: Consistency Check for the Bin Packing Constraint Revisited. CPAIOR 2010: 117-122
- [c44]Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: Constraint-Based Local Search for Constrained Optimum Paths Problems. CPAIOR 2010: 267-281
- [c43]Pham Quang Dung, Phan-Thuan Do, Yves Deville, Tuong-Vinh Ho: Constraint-based local search for solving non-simple paths problems on graphs: application to the routing for network covering problem. SoICT 2010: 1-8
- [c42]Ho Trong Viet, Olivier Bonaventure, Yves Deville, Pham Quang Dung, Pierre François: Using local search for traffic engineering in switched Ethernet networks. International Teletraffic Congress 2010: 1-8
2000 – 2009
- 2009
- [c41]Jean-Noël Monette, Yves Deville, Pascal Van Hentenryck: Just-In-Time Scheduling with Constraint Programming. ICAPS 2009
- [c40]Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon: Constraint-Based Graph Matching. CP 2009: 274-288
- [c39]Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: LS(graph & tree): a local search framework for constraint optimization on graphs and trees. SAC 2009: 1402-1407
- [c38]Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract). LSCS 2009: 5-11
- [e1]Yves Deville, Christine Solnon (Eds.): Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction. EPTCS 5, 2009
- 2008
- [j14]Sylvain Brohée, Karoline Faust, Gipsi Lima-Mendez, Olivier Sand, Rekin's Janky, Gilles Vanderstocken, Yves Deville, Jacques van Helden: NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways. Nucleic Acids Research 36(Web-Server-Issue): 444-451 (2008)
- [c37]Pierre Schaus, Yves Deville: A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. AAAI 2008: 369-374
- [i1]Stéphane Zampelli, Martin Mann, Yves Deville, Rolf Backofen: Decomposition Techniques for Subgraph Matching. CoRR abs/0805.1030 (2008)
- 2007
- [c36]
- [c35]Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont: Filtering for Subgraph Isomorphism. CP 2007: 728-742
- [c34]Jean-Noël Monette, Yves Deville, Pierre Dupont: A Position-Based Propagator for the Open-Shop Problem. CPAIOR 2007: 186-199
- [c33]Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Régin: The Deviation Constraint. CPAIOR 2007: 260-274
- [c32]Yves Deville, Grégoire Dooms, Stéphane Zampelli: Combining Two Structured Domains for Modeling Various Graph Matching Problems. CSCLP 2007: 76-90
- 2006
- [c31]Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet: Using Dominators for Solving Constrained Path Problems. PADL 2006: 73-87
- 2005
- [j13]Yves Deville: Book review: Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi, MIT Press, 2004, ISBN 0-262-22069-5. TPLP 5(4-5): 595-600 (2005)
- [c30]Grégoire Dooms, Yves Deville, Pierre Dupont: CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. CP 2005: 211-225
- [c29]Stéphane Zampelli, Yves Deville, Pierre Dupont: Approximate Constrained Subgraph Matching. CP 2005: 832-836
- [c28]Luis Quesada, Peter Van Roy, Yves Deville: Speeding Up Constrained Path Solvers with a Reachability Propagator. CP 2005: 866
- 2004
- [j12]Christian Lemer, Erick Antezana, Fabian Couche, Frédéric Fays, Xavier Santolaria, Rekin's Janky, Yves Deville, Jean Richelle, Shoshana J. Wodak: The aMAZE LightBench: a web interface to a relational database of cellular processes. Nucleic Acids Research 32(Database-Issue): 443-448 (2004)
- [c27]Grégoire Dooms, Yves Deville, Pierre Dupont: Recherche de chemins contraints dans les réseaux biochimiques. JFPLC 2004
- [c26]David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson: Synthesis of Programs in Computational Logic. Program Development in Computational Logic 2004: 30-65
- [c25]Grégoire Dooms, Yves Deville, Pierre Dupont: A Mozart Implementation of CP(BioNet). MOZ 2004: 237-250
- 2003
- [j11]Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak: An overview of data models for the analysis of biochemical pathways. Briefings in Bioinformatics 4(3): 246-259 (2003)
- [c24]Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak: An Overview of Data Models for the Analysis of Biochemical Pathways. CMSB 2003: 174
- [c23]Aik Choon Tan, David Gilbert, Yves Deville: Integrative machine learning approach for multi-class SCOP protein fold classification. German Conference on Bioinformatics 2003: 153-159
- [c22]Nguyen Tran Sy, Yves Deville: Consistency techniques for interprocedural test data generation. ESEC / SIGSOFT FSE 2003: 108-117
- 2002
- [j10]Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. Constraints 7(3-4): 289-315 (2002)
- [j9]Micha Janssen, Pascal Van Hentenryck, Yves Deville: A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. SIAM J. Numerical Analysis 40(5): 1896-1939 (2002)
- [c21]Philippe Massonet, Yves Deville, Cédric Nève: From AOSE methodology to agent implementation. AAMAS 2002: 27-34
- 2001
- [c20]Micha Janssen, Pascal Van Hentenryck, Yves Deville: Optimal Pruning in Parametric Differential Equations. CP 2001: 539-553
- [c19]Micha Janssen, Pascal Van Hentenryck, Yves Deville: A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI 2001: 297-302
- [c18]Nguyen Tran Sy, Yves Deville: Automatic Test Data Generation for Programs with Integer and Float Variables. ASE 2001: 13-21
- 2000
- [j8]E. Poupaert, Yves Deville: Simulated Annealing with Estimated Temperature. AI Commun. 13(1): 19-26 (2000)
1990 – 1999
- 1999
- [j7]Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. Artif. Intell. 109(1-2): 243-271 (1999)
- [j6]Annalisa Bossi, Yves Deville: Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. J. Log. Program. 41(2-3): 139-140 (1999)
- [c17]Micha Janssen, Yves Deville, Pascal Van Hentenryck: Multistep Filtering Operators for Ordinary Differential Equations. CP 1999: 246-260
- 1998
- [j5]Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD). J. Log. Program. 37(1-3): 139-164 (1998)
- [j4]T. Nguyen, Yves Deville: A Distributed Arc-Consistency Algorithm. Sci. Comput. Program. 30(1-2): 227-250 (1998)
- [c16]Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. CP 1998: 162-176
- 1997
- [c15]Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. IJCAI (1) 1997: 405-411
- [c14]Eric Chasseur, Yves Deville: Logic Program Schemas, Constraints, and Semi-unification. LOPSTR 1997: 69-89
- 1995
- [c13]Pierre Flener, Yves Deville: Logic Program Transformation through Generalization Schemata. LOPSTR 1995: 171-173
- 1994
- [j3]
- [c12]Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD). Constraint Programming 1994: 293-316
- 1993
- [j2]Pierre Flener, Yves Deville: Logic Program Synthesis from Incomplete Specifications. J. Symb. Comput. 15(5/6): 778-805 (1993)
- [c11]
- 1992
- [j1]Pascal Van Hentenryck, Yves Deville, Choh-Man Teng: A Generic Arc-Consistency Algorithm and its Specializations. Artif. Intell. 57(2-3): 291-321 (1992)
- [c10]Pierre Flener, Yves Deville: SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. LPE 1992: 9-15
- 1991
- [c9]Pierre Flener, Yves Deville: Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 67-96
- [c8]Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ICLP 1991: 745-759
- [c7]Yves Deville, Leon Sterling, Pierre Deransart: Software Development and Logic Programming. ICLP 1991: 941
- [c6]Yves Deville, Pascal Van Hentenryck: An Efficient Arc Consistency Algorithm for a Class of CSP Problems. IJCAI 1991: 325-330
- [c5]Pierre Flener, Yves Deville: Towards Stepwise, Schema-guided Synthesis of Logic Programms. LOPSTR 1991: 46-64
- [c4]Pascal Van Hentenryck, Yves Deville: Operational Semantics of Constraint Logic Programming over Finite Domains. PLILP 1991: 395-406
- [c3]Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. WCLP 1991: 283-403
- 1990
- [b1]Yves Deville: Logic programming - systematic program development. International series in logic programming, Addison-Wesley 1990, ISBN 978-0-201-17576-9, pp. I-XVII, 1-338
- [c2]
1980 – 1989
- 1989
- [c1]Yves Deville, Jean Burnay: Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs. NACLP 1989: 409-425
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:14 CEST by the dblp team