Yves Deville

	2012
70		Florence Massen, Yves Deville, Pascal Van Hentenryck: Pheromone-Based Heuristic Column Generation for Vehicle Routing Problems with Black Box Feasibility. CPAIOR 2012: 260-274
69		Quang-Dung Pham, Yves Deville: Solving the Longest Simple Path Problem with Constraint-Based Techniques. CPAIOR 2012: 292-306
68		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
67		Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville: Constraint-based Very Large-Scale Neighborhood search. Constraints 17(2): 87-122 (2012)
	2011
66		Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon: An Efficient Light Solver for Querying the Semantic Web. CP 2011: 145-159
65		Quoc Trung Bui, Quang-Dung Pham, Yves Deville: Constraint-based local search for fields partitioning problem. SoICT 2011: 19-28
64		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)
	2010
63		Yves Deville, Pascal Van Hentenryck: Domain Consistency with Forbidden Values. CP 2010: 191-205
62		Julien Dupuis, Pierre Schaus, Yves Deville: Consistency Check for the Bin Packing Constraint Revisited. CPAIOR 2010: 117-122
61		Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: Constraint-Based Local Search for Constrained Optimum Paths Problems. CPAIOR 2010: 267-281
60		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
59		Stéphane Zampelli, Yves Deville, Christine Solnon: Solving subgraph isomorphism problems with constraint programming. Constraints 15(3): 327-353 (2010)
	2009
58		Yves Deville, Christine Solnon: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction LSCS 2009
57		Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon: Constraint-Based Graph Matching. CP 2009: 274-288
56		Jean-Noël Monette, Yves Deville, Pascal Van Hentenryck: Just-In-Time Scheduling with Constraint Programming. ICAPS 2009
55		Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) LSCS 2009: 5-11
54		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
	2008
53		Pierre Schaus, Yves Deville: A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. AAAI 2008: 369-374
52		Stéphane Zampelli, Martin Mann, Yves Deville, Rolf Backofen: Decomposition Techniques for Subgraph Matching CoRR abs/0805.1030: (2008)
51		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)
	2007
50		Pierre Schaus, Yves Deville, Pierre Dupont: Bound-Consistent Deviation Constraint. CP 2007: 620-634
49		Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont: Filtering for Subgraph Isomorphism. CP 2007: 728-742
48		Jean-Noël Monette, Yves Deville, Pierre Dupont: A Position-Based Propagator for the Open-Shop Problem. CPAIOR 2007: 186-199
47		Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Régin: The Deviation Constraint. CPAIOR 2007: 260-274
46		Yves Deville, Grégoire Dooms, Stéphane Zampelli: Combining Two Structured Domains for Modeling Various Graph Matching Problems. CSCLP 2007: 76-90
	2006
45		Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet: Using Dominators for Solving Constrained Path Problems. PADL 2006: 73-87
	2005
44		Grégoire Dooms, Yves Deville, Pierre Dupont: CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. CP 2005: 211-225
43		Stéphane Zampelli, Yves Deville, Pierre Dupont: Approximate Constrained Subgraph Matching. CP 2005: 832-836
42		Luis Quesada, Peter Van Roy, Yves Deville: Speeding Up Constrained Path Solvers with a Reachability Propagator. CP 2005: 866
41		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)
	2004
40		Grégoire Dooms, Yves Deville, Pierre Dupont: Recherche de chemins contraints dans les réseaux biochimiques. JFPLC 2004
39		Grégoire Dooms, Yves Deville, Pierre Dupont: A Mozart Implementation of CP(BioNet). MOZ 2004: 237-250
38		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
37		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)
	2003
36		Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak: An Overview of Data Models for the Analysis of Biochemical Pathways. CMSB 2003: 174
35		Nguyen Tran Sy, Yves Deville: Consistency techniques for interprocedural test data generation. ESEC / SIGSOFT FSE 2003: 108-117
34		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
33		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)
	2002
32		Philippe Massonet, Yves Deville, Cédric Nève: From AOSE methodology to agent implementation. AAMAS 2002: 27-34
31		Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. Constraints 7(3-4): 289-315 (2002)
30		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)
	2001
29		Nguyen Tran Sy, Yves Deville: Automatic Test Data Generation for Programs with Integer and Float Variables. ASE 2001: 13-21
28		Micha Janssen, Pascal Van Hentenryck, Yves Deville: Optimal Pruning in Parametric Differential Equations. CP 2001: 539-553
27		Micha Janssen, Pascal Van Hentenryck, Yves Deville: A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI 2001: 297-302
	2000
26		E. Poupaert, Yves Deville: Simulated Annealing with Estimated Temperature. AI Commun. 13(1): 19-26 (2000)
	1999
25		Micha Janssen, Yves Deville, Pascal Van Hentenryck: Multistep Filtering Operators for Ordinary Differential Equations. CP 1999: 246-260
24		Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. Artif. Intell. 109(1-2): 243-271 (1999)
23		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)
	1998
22		Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. CP 1998: 162-176
21		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)
20		T. Nguyen, Yves Deville: A Distributed Arc-Consistency Algorithm. Sci. Comput. Program. 30(1-2): 227-250 (1998)
	1997
19		Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. IJCAI (1) 1997: 405-411
18		Eric Chasseur, Yves Deville: Logic Program Schemas, Constraints, and Semi-unification. LOPSTR 1997: 69-89
	1995
17		Pierre Flener, Yves Deville: Logic Program Transformation through Generalization Schemata. LOPSTR 1995: 171-173
	1994
16		Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD) Constraint Programming 1994: 293-316
15		Yves Deville, Kung-Kiu Lau: Logic Program Synthesis. J. Log. Program. 19/20: 321-350 (1994)
	1993
14		Vincent Lombart, Geraint A. Wiggins, Yves Deville: Guiding Synthesis Proofs. LOPSTR 1993: 67-81
13		Pierre Flener, Yves Deville: Logic Program Synthesis from Incomplete Specifications. J. Symb. Comput. 15(5/6): 778-805 (1993)
	1992
12		Pierre Flener, Yves Deville: SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. LPE 1992: 9-15
11		Pascal Van Hentenryck, Yves Deville, Choh-Man Teng: A Generic Arc-Consistency Algorithm and its Specializations. Artif. Intell. 57(2-3): 291-321 (1992)
	1991
10		Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ICLP 1991: 745-759
9		Yves Deville, Leon Sterling, Pierre Deransart: Software Development and Logic Programming. ICLP 1991: 941
8		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
7		Yves Deville, Pascal Van Hentenryck: An Efficient Arc Consistency Algorithm for a Class of CSP Problems. IJCAI 1991: 325-330
6		Pierre Flener, Yves Deville: Towards Stepwise, Schema-guided Synthesis of Logic Programms. LOPSTR 1991: 46-64
5		Pascal Van Hentenryck, Yves Deville: Operational Semantics of Constraint Logic Programming over Finite Domains. PLILP 1991: 395-406
4		Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. WCLP 1991: 283-403
	1990
3		Yves Deville: Logic programming - systematic program development. Addison-Wesley 1990: I-XVII, 1-338
2		Yves Deville, Pascal Van Hentenryck: Construction of CLP Programs. ALPUK 1990: 112-135
	1989
1		Yves Deville, Jean Burnay: Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs. NACLP 1989: 409-425

Coauthor Index

1	Erick Antezana	[37]
2	Rolf Backofen	[52]
3	Olivier Barette	[19] [24]
4	David A. Basin	[38]
5	Annalisa Bossi	[23]
6	Sylvain Brohée	[51]
7	Quoc Trung Bui	[65]
8	Jean Burnay	[1]
9	Pierre-Antoine Champin	[68]
10	Eric Chasseur	[18]
11	Carleton Coffrin	[64]
12	Raphaël Collet	[45]
13	Fabian Couche	[37]
14	Pierre Deransart	[9]
15	Phan-Thuan Do	[60]
16	Grégoire Dooms	[39] [40] [44] [46]
17	Pham Quang Dung (Quang-Dung Pham)	[54] [55] [60] [61] [65] [69]
18	Pierre Dupont	[39] [40] [43] [44] [47] [48] [49] [50]
19	Julien Dupuis	[62]
20	Karoline Faust	[51]
21	Frédéric Fays	[37]
22	Pierre Flener	[6] [8] [12] [13] [17] [38]
23	David Gilbert (David R. Gilbert)	[33] [34] [36]
24	Andreas Hamfelt	[38]
25	Jacques van Helden	[33] [36] [51]
26	Pascal Van Hentenryck	[2] [4] [5] [7] [10] [11] [16] [19] [21] [22] [24] [25] [27] [28] [30] [31] [54] [55] [56] [61] [63] [64] [67] [70]
27	Tuong-Vinh Ho	[60]
28	Rekin's Janky	[37] [51]
29	Micha Janssen	[22] [25] [27] [28] [30] [31]
30	Kung-Kiu Lau	[15]
31	Christian Lemer	[37]
32	Gipsi Lima-Mendez	[51]
33	Vincent Lombart	[14]
34	Martin Mann	[52]
35	Florence Massen	[70]
36	Philippe Massonet	[32]
37	Laurent D. Michel (Laurent Michel)	[64]
38	Jean-Noël Monette	[48] [56] [64]
39	Sébastien Mouthuy	[67]
40	Cédric Nève	[32]
41	T. Nguyen	[20]
42	Jørgen Fischer Nilsson	[38]
43	E. Poupaert	[26]
44	Luis Quesada	[42] [45]
45	Jean-Charles Régin	[47]
46	Jean Richelle	[37]
47	Peter Van Roy	[42] [45]
48	Vianney le Clément de Saint-Marcq	[57] [66] [68]
49	Olivier Sand	[51]
50	Xavier Santolaria	[37]
51	Vijay A. Saraswat	[16] [21]
52	Pierre Schaus	[47] [50] [53] [62] [64]
53	Christine Solnon	[49] [57] [58] [59] [66] [68]
54	Sébastien Sorlin	[49]
55	Leon Sterling	[9]
56	Nguyen Tran Sy	[29] [35]
57	Aik Choon Tan	[34]
58	Choh-Man Teng	[11]
59	Gilles Vanderstocken	[51]
60	Geraint A. Wiggins	[14]
61	Shoshana J. Wodak	[33] [36] [37]
62	Stéphane Zampelli	[43] [46] [49] [52] [59]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page