Yves Deville Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVianney le Clément, Yves Deville, Christine Solnon: Constraint-Based Graph Matching. CP 2009: 274-288
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Noël Monette, Yves Deville, Pascal Van Hentenryck: Just-In-Time Scheduling with Constraint Programming. ICAPS 2009
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPham 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPham Quang Dung, Yves Deville, Pascal Van Hentenryck: A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) CoRR abs/0910.1238: (2009)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Christine Solnon: Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction CoRR abs/0910.1404: (2009)
2008
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Schaus, Yves Deville: A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. AAAI 2008: 369-374
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Zampelli, Martin Mann, Yves Deville, Rolf Backofen: Decomposition Techniques for Subgraph Matching CoRR abs/0805.1030: (2008)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSylvain 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Schaus, Yves Deville, Pierre Dupont: Bound-Consistent Deviation Constraint. CP 2007: 620-634
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont: Filtering for Subgraph Isomorphism. CP 2007: 728-742
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Noël Monette, Yves Deville, Pierre Dupont: A Position-Based Propagator for the Open-Shop Problem. CPAIOR 2007: 186-199
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Schaus, Yves Deville, Pierre Dupont, Jean-Charles Régin: The Deviation Constraint. CPAIOR 2007: 260-274
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Grégoire Dooms, Stéphane Zampelli: Combining Two Structured Domains for Modeling Various Graph Matching Problems. CSCLP 2007: 76-90
2006
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet: Using Dominators for Solving Constrained Path Problems. PADL 2006: 73-87
2005
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrégoire Dooms, Yves Deville, Pierre Dupont: CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. CP 2005: 211-225
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStéphane Zampelli, Yves Deville, Pierre Dupont: Approximate Constrained Subgraph Matching. CP 2005: 832-836
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis Quesada, Peter Van Roy, Yves Deville: Speeding Up Constrained Path Solvers with a Reachability Propagator. CP 2005: 866
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrégoire Dooms, Yves Deville, Pierre Dupont: Recherche de chemins contraints dans les réseaux biochimiques. JFPLC 2004
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrégoire Dooms, Yves Deville, Pierre Dupont: A Mozart Implementation of CP(BioNet). MOZ 2004: 237-250
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak: An Overview of Data Models for the Analysis of Biochemical Pathways. CMSB 2003: 174
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNguyen Tran Sy, Yves Deville: Consistency techniques for interprocedural test data generation. ESEC / SIGSOFT FSE 2003: 108-117
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAik Choon Tan, David Gilbert, Yves Deville: Integrative machine learning approach for multi-class SCOP protein fold classification. German Conference on Bioinformatics 2003: 153-159
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Massonet, Yves Deville, Cédric Nève: From AOSE methodology to agent implementation. AAMAS 2002: 27-34
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. Constraints 7(3-4): 289-315 (2002)
2001
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNguyen Tran Sy, Yves Deville: Automatic Test Data Generation for Programs with Integer and Float Variables. ASE 2001: 13-21
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMicha Janssen, Pascal Van Hentenryck, Yves Deville: Optimal Pruning in Parametric Differential Equations. CP 2001: 539-553
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMicha Janssen, Pascal Van Hentenryck, Yves Deville: A Constraint Satisfaction Approach to Parametric Differential Equations. IJCAI 2001: 297-302
2000
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLE. Poupaert, Yves Deville: Simulated Annealing with Estimated Temperature. AI Commun. 13(1): 19-26 (2000)
1999
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMicha Janssen, Yves Deville, Pascal Van Hentenryck: Multistep Filtering Operators for Ordinary Differential Equations. CP 1999: 246-260
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. Artif. Intell. 109(1-2): 243-271 (1999)
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Micha Janssen, Pascal Van Hentenryck: Consistency Techniques in Ordinary Differential Equations. CP 1998: 162-176
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal 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)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. Nguyen, Yves Deville: A Distributed Arc-Consistency Algorithm. Sci. Comput. Program. 30(1-2): 227-250 (1998)
1997
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Olivier Barette, Pascal Van Hentenryck: Constraint Satisfaction over Connected Row Convex Constraints. IJCAI (1) 1997: 405-411
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Chasseur, Yves Deville: Logic Program Schemas, Constraints, and Semi-unification. LOPSTR 1997: 69-89
1995
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Flener, Yves Deville: Logic Program Transformation through Generalization Schemata. LOPSTR 1995: 171-173
1994
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD) Constraint Programming 1994: 293-316
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Kung-Kiu Lau: Logic Program Synthesis. J. Log. Program. 19/20: 321-350 (1994)
1993
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Lombart, Geraint A. Wiggins, Yves Deville: Guiding Synthesis Proofs. LOPSTR 1993: 67-81
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Flener, Yves Deville: Logic Program Synthesis from Incomplete Specifications. J. Symb. Comput. 15(5/6): 778-805 (1993)
1992
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Flener, Yves Deville: SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. LPE 1992: 9-15
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Van Hentenryck, Yves Deville, Choh-Man Teng: A Generic Arc-Consistency Algorithm and its Specializations. Artif. Intell. 57(2-3): 291-321 (1992)
1991
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ICLP 1991: 745-759
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Leon Sterling, Pierre Deransart: Software Development and Logic Programming. ICLP 1991: 941
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Pascal Van Hentenryck: An Efficient Arc Consistency Algorithm for a Class of CSP Problems. IJCAI 1991: 325-330
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Flener, Yves Deville: Towards Stepwise, Schema-guided Synthesis of Logic Programms. LOPSTR 1991: 46-64
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Van Hentenryck, Yves Deville: Operational Semantics of Constraint Logic Programming over Finite Domains. PLILP 1991: 395-406
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPascal Van Hentenryck, Yves Deville: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. WCLP 1991: 283-403
1990
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Pascal Van Hentenryck: Construction of CLP Programs. ALPUK 1990: 112-135
1989
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Deville, Jean Burnay: Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs. NACLP 1989: 409-425

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)