Yves Deville

	2009
56		Vianney le Clément, Yves Deville, Christine Solnon: Constraint-Based Graph Matching. CP 2009: 274-288
55		Jean-Noël Monette, Yves Deville, Pascal Van Hentenryck: Just-In-Time Scheduling with Constraint Programming. ICAPS 2009
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
53		Pham Quang Dung, Yves Deville, Pascal Van Hentenryck: A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) CoRR abs/0910.1238: (2009)
52		Yves Deville, Christine Solnon: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction CoRR abs/0910.1404: (2009)
	2008
51		Pierre Schaus, Yves Deville: A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. AAAI 2008: 369-374
50		Stéphane Zampelli, Martin Mann, Yves Deville, Rolf Backofen: Decomposition Techniques for Subgraph Matching CoRR abs/0805.1030: (2008)
49		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
48		Pierre Schaus, Yves Deville, Pierre Dupont: Bound-Consistent Deviation Constraint. CP 2007: 620-634
47		Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont: Filtering for Subgraph Isomorphism. CP 2007: 728-742
46		Jean-Noël Monette, Yves Deville, Pierre Dupont: A Position-Based Propagator for the Open-Shop Problem. CPAIOR 2007: 186-199
45		Pierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Régin: The Deviation Constraint. CPAIOR 2007: 260-274
44		Yves Deville, Grégoire Dooms, Stéphane Zampelli: Combining Two Structured Domains for Modeling Various Graph Matching Problems. CSCLP 2007: 76-90
	2006
43		Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet: Using Dominators for Solving Constrained Path Problems. PADL 2006: 73-87
	2005
42		Grégoire Dooms, Yves Deville, Pierre Dupont: CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. CP 2005: 211-225
41		Stéphane Zampelli, Yves Deville, Pierre Dupont: Approximate Constrained Subgraph Matching. CP 2005: 832-836
40		Luis Quesada, Peter Van Roy, Yves Deville: Speeding Up Constrained Path Solvers with a Reachability Propagator. CP 2005: 866
39		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
38		Grégoire Dooms, Yves Deville, Pierre Dupont: Recherche de chemins contraints dans les réseaux biochimiques. JFPLC 2004
37		Grégoire Dooms, Yves Deville, Pierre Dupont: A Mozart Implementation of CP(BioNet). MOZ 2004: 237-250
36		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
35		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
34		Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak: An Overview of Data Models for the Analysis of Biochemical Pathways. CMSB 2003: 174
33		Nguyen Tran Sy, Yves Deville: Consistency techniques for interprocedural test data generation. ESEC / SIGSOFT FSE 2003: 108-117
32		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
31		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
30		Philippe Massonet, Yves Deville, Cédric Nève: From AOSE methodology to agent implementation. AAMAS 2002: 27-34
29		Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. Constraints 7(3-4): 289-315 (2002)
	2001
28		Nguyen Tran Sy, Yves Deville: Automatic Test Data Generation for Programs with Integer and Float Variables. ASE 2001: 13-21
27		Micha Janssen, Pascal Van Hentenryck, Yves Deville: Optimal Pruning in Parametric Differential Equations. CP 2001: 539-553
26		Micha Janssen, Pascal Van Hentenryck, Yves Deville: A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI 2001: 297-302
	2000
25		E. Poupaert, Yves Deville: Simulated Annealing with Estimated Temperature. AI Commun. 13(1): 19-26 (2000)
	1999
24		Micha Janssen, Yves Deville, Pascal Van Hentenryck: Multistep Filtering Operators for Ordinary Differential Equations. CP 1999: 246-260
23		Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. Artif. Intell. 109(1-2): 243-271 (1999)
22		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
21		Yves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. CP 1998: 162-176
20		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)
19		T. Nguyen, Yves Deville: A Distributed Arc-Consistency Algorithm. Sci. Comput. Program. 30(1-2): 227-250 (1998)
	1997
18		Yves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. IJCAI (1) 1997: 405-411
17		Eric Chasseur, Yves Deville: Logic Program Schemas, Constraints, and Semi-unification. LOPSTR 1997: 69-89
	1995
16		Pierre Flener, Yves Deville: Logic Program Transformation through Generalization Schemata. LOPSTR 1995: 171-173
	1994
15		Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD) Constraint Programming 1994: 293-316
14		Yves Deville, Kung-Kiu Lau: Logic Program Synthesis. J. Log. Program. 19/20: 321-350 (1994)
	1993
13		Vincent Lombart, Geraint A. Wiggins, Yves Deville: Guiding Synthesis Proofs. LOPSTR 1993: 67-81
12		Pierre Flener, Yves Deville: Logic Program Synthesis from Incomplete Specifications. J. Symb. Comput. 15(5/6): 778-805 (1993)
	1992
11		Pierre Flener, Yves Deville: SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. LPE 1992: 9-15
10		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
9		Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ICLP 1991: 745-759
8		Yves Deville, Leon Sterling, Pierre Deransart: Software Development and Logic Programming. ICLP 1991: 941
7		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
6		Yves Deville, Pascal Van Hentenryck: An Efficient Arc Consistency Algorithm for a Class of CSP Problems. IJCAI 1991: 325-330
5		Pierre Flener, Yves Deville: Towards Stepwise, Schema-guided Synthesis of Logic Programms. LOPSTR 1991: 46-64
4		Pascal Van Hentenryck, Yves Deville: Operational Semantics of Constraint Logic Programming over Finite Domains. PLILP 1991: 395-406
3		Pascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. WCLP 1991: 283-403
	1990
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	[35]
2	Rolf Backofen	[50]
3	Olivier Barette	[18] [23]
4	David A. Basin	[36]
5	Annalisa Bossi	[22]
6	Sylvain Brohée	[49]
7	Jean Burnay	[1]
8	Eric Chasseur	[17]
9	Vianney le Clément	[56]
10	Raphaël Collet	[43]
11	Fabian Couche	[35]
12	Pierre Deransart	[8]
13	Grégoire Dooms	[37] [38] [42] [44]
14	Pham Quang Dung	[53] [54]
15	Pierre Dupont	[37] [38] [41] [42] [45] [46] [47] [48]
16	Karoline Faust	[49]
17	Frédéric Fays	[35]
18	Pierre Flener	[5] [7] [11] [12] [16] [36]
19	David Gilbert (David R. Gilbert)	[31] [32] [34]
20	Andreas Hamfelt	[36]
21	Jacques van Helden	[31] [34] [49]
22	Pascal Van Hentenryck	[2] [3] [4] [6] [9] [10] [15] [18] [20] [21] [23] [24] [26] [27] [29] [53] [54] [55]
23	Rekin's Janky	[35] [49]
24	Micha Janssen	[21] [24] [26] [27] [29]
25	Kung-Kiu Lau	[14]
26	Christian Lemer	[35]
27	Gipsi Lima-Mendez	[49]
28	Vincent Lombart	[13]
29	Martin Mann	[50]
30	Philippe Massonet	[30]
31	Jean-Noël Monette	[46] [55]
32	Cédric Nève	[30]
33	T. Nguyen	[19]
34	Jørgen Fischer Nilsson	[36]
35	E. Poupaert	[25]
36	Luis Quesada	[40] [43]
37	Jean-Charles Régin	[45]
38	Jean Richelle	[35]
39	Peter Van Roy	[40] [43]
40	Olivier Sand	[49]
41	Xavier Santolaria	[35]
42	Vijay A. Saraswat	[15] [20]
43	Pierre Schaus	[45] [48] [51]
44	Christine Solnon	[47] [52] [56]
45	Sébastien Sorlin	[47]
46	Leon Sterling	[8]
47	Nguyen Tran Sy	[28] [33]
48	Aik Choon Tan	[32]
49	Choh-Man Teng	[10]
50	Gilles Vanderstocken	[49]
51	Geraint A. Wiggins	[13]
52	Shoshana J. Wodak	[31] [34] [35]
53	Stéphane Zampelli	[41] [44] [47] [50]

Colors in the list of coauthors