2009 |
51 | EE | 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 |
50 | | Pierre Schaus,
Yves Deville:
A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem.
AAAI 2008: 369-374 |
49 | EE | Stéphane Zampelli,
Martin Mann,
Yves Deville,
Rolf Backofen:
Decomposition Techniques for Subgraph Matching
CoRR abs/0805.1030: (2008) |
2007 |
48 | EE | Pierre Schaus,
Yves Deville,
Pierre Dupont:
Bound-Consistent Deviation Constraint.
CP 2007: 620-634 |
47 | EE | Stéphane Zampelli,
Yves Deville,
Christine Solnon,
Sébastien Sorlin,
Pierre Dupont:
Filtering for Subgraph Isomorphism.
CP 2007: 728-742 |
46 | EE | Jean-Noël Monette,
Yves Deville,
Pierre Dupont:
A Position-Based Propagator for the Open-Shop Problem.
CPAIOR 2007: 186-199 |
45 | EE | Pierre Schaus,
Yves Deville,
Pierre Dupont,
Jean-Charles Régin:
The Deviation Constraint.
CPAIOR 2007: 260-274 |
44 | EE | Yves Deville,
Grégoire Dooms,
Stéphane Zampelli:
Combining Two Structured Domains for Modeling Various Graph Matching Problems.
CSCLP 2007: 76-90 |
2006 |
43 | EE | Luis Quesada,
Peter Van Roy,
Yves Deville,
Raphaël Collet:
Using Dominators for Solving Constrained Path Problems.
PADL 2006: 73-87 |
2005 |
42 | EE | Grégoire Dooms,
Yves Deville,
Pierre Dupont:
CP(Graph): Introducing a Graph Computation Domain in Constraint Programming.
CP 2005: 211-225 |
41 | EE | Stéphane Zampelli,
Yves Deville,
Pierre Dupont:
Approximate Constrained Subgraph Matching.
CP 2005: 832-836 |
40 | EE | Luis Quesada,
Peter Van Roy,
Yves Deville:
Speeding Up Constrained Path Solvers with a Reachability Propagator.
CP 2005: 866 |
39 | EE | 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 | EE | Grégoire Dooms,
Yves Deville,
Pierre Dupont:
A Mozart Implementation of CP(BioNet).
MOZ 2004: 237-250 |
36 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Nguyen Tran Sy,
Yves Deville:
Automatic Test Data Generation for Programs with Integer and Float Variables.
ASE 2001: 13-21 |
27 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |