The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yves Deville: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yves Deville, Pascal Van Hentenryck
    Construction of CLP Programs. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:112-135 [Conf]
  2. Philippe Massonet, Yves Deville, Cédric Nève
    From AOSE methodology to agent implementation. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:27-34 [Conf]
  3. Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak
    An Overview of Data Models for the Analysis of Biochemical Pathways. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:174- [Conf]
  4. Yves Deville, Micha Janssen, Pascal Van Hentenryck
    Consistency Techniques in Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:162-176 [Conf]
  5. Grégoire Dooms, Yves Deville, Pierre E. Dupont
    CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:211-225 [Conf]
  6. Micha Janssen, Yves Deville, Pascal Van Hentenryck
    Multistep Filtering Operators for Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:246-260 [Conf]
  7. Micha Janssen, Pascal Van Hentenryck, Yves Deville
    Optimal Pruning in Parametric Differential Equations. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:539-553 [Conf]
  8. Luis O. Quesada, Peter Van Roy, Yves Deville
    Speeding Up Constrained Path Solvers with a Reachability Propagator. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:866- [Conf]
  9. Stéphane Zampelli, Yves Deville, Pierre E. Dupont
    Approximate Constrained Subgraph Matching. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:832-836 [Conf]
  10. Aik Choon Tan, David Gilbert, Yves Deville
    Integrative machine learning approach for multi-class SCOP protein fold classification. [Citation Graph (0, 0)][DBLP]
    German Conference on Bioinformatics, 2003, pp:153-159 [Conf]
  11. Yves Deville, Leon Sterling, Pierre Deransart
    Software Development and Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:941- [Conf]
  12. Pierre Flener, Yves Deville
    Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Construction of Logic Programs, 1991, pp:67-96 [Conf]
  13. Pascal Van Hentenryck, Yves Deville
    The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:745-759 [Conf]
  14. Yves Deville, Olivier Barette, Pascal Van Hentenryck
    Constraint Satisfaction over Connected Row Convex Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:405-411 [Conf]
  15. Yves Deville, Pascal Van Hentenryck
    An Efficient Arc Consistency Algorithm for a Class of CSP Problems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:325-330 [Conf]
  16. Micha Janssen, Pascal Van Hentenryck, Yves Deville
    A Constraint Satisfaction Approach to Parametric Differential Equations. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:297-302 [Conf]
  17. Grégoire Dooms, Yves Deville, Pierre E. Dupont
    Recherche de chemins contraints dans les réseaux biochimiques. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2004, pp:- [Conf]
  18. Nguyen Tran Sy, Yves Deville
    Automatic Test Data Generation for Programs with Integer and Float Variables. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:13-21 [Conf]
  19. David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson
    Synthesis of Programs in Computational Logic. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:30-65 [Conf]
  20. Pierre Flener, Yves Deville
    Towards Stepwise, Schema-guided Synthesis of Logic Programms. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1991, pp:46-64 [Conf]
  21. Pierre Flener, Yves Deville
    Logic Program Transformation through Generalization Schemata. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1995, pp:171-173 [Conf]
  22. Eric Chasseur, Yves Deville
    Logic Program Schemas, Constraints, and Semi-unification. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:69-89 [Conf]
  23. Vincent Lombart, Geraint A. Wiggins, Yves Deville
    Guiding Synthesis Proofs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:67-81 [Conf]
  24. Pierre Flener, Yves Deville
    SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. [Citation Graph (0, 0)][DBLP]
    LPE, 1992, pp:9-15 [Conf]
  25. Grégoire Dooms, Yves Deville, Pierre E. Dupont
    A Mozart Implementation of CP(BioNet). [Citation Graph (0, 0)][DBLP]
    MOZ, 2004, pp:237-250 [Conf]
  26. Luis O. Quesada, Peter Van Roy, Yves Deville, Raphaël Collet
    Using Dominators for Solving Constrained Path Problems. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:73-87 [Conf]
  27. Pascal Van Hentenryck, Yves Deville
    Operational Semantics of Constraint Logic Programming over Finite Domains. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:395-406 [Conf]
  28. Nguyen Tran Sy, Yves Deville
    Consistency techniques for interprocedural test data generation. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:108-117 [Conf]
  29. Yves Deville, Jean Burnay
    Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:409-425 [Conf]
  30. Pascal Van Hentenryck, Yves Deville
    The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:283-403 [Conf]
  31. Yves Deville, Olivier Barette, Pascal Van Hentenryck
    Constraint Satisfaction over Connected Row Convex Constraints. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:109, n:1-2, pp:243-271 [Journal]
  32. Pascal Van Hentenryck, Yves Deville, Choh-Man Teng
    A Generic Arc-Consistency Algorithm and its Specializations. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1992, v:57, n:2-3, pp:291-321 [Journal]
  33. E. Poupaert, Yves Deville
    Simulated Annealing with Estimated Temperature. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2000, v:13, n:1, pp:19-26 [Journal]
  34. Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak
    An overview of data models for the analysis of biochemical pathways. [Citation Graph (0, 0)][DBLP]
    Briefings in Bioinformatics, 2003, v:4, n:3, pp:246-259 [Journal]
  35. Yves Deville, Micha Janssen, Pascal Van Hentenryck
    Consistency Techniques in Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP]
    Constraints, 2002, v:7, n:3-4, pp:289-315 [Journal]
  36. Annalisa Bossi, Yves Deville
    Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:139-140 [Journal]
  37. Yves Deville, Kung-Kiu Lau
    Logic Program Synthesis. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:321-350 [Journal]
  38. Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
    Design, Implementation, and Evaluation of the Constraint Language cc(FD). [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:37, n:1-3, pp:139-164 [Journal]
  39. Pierre Flener, Yves Deville
    Logic Program Synthesis from Incomplete Specifications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:5/6, pp:778-805 [Journal]
  40. Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
    Design, Implementation, and Evaluation of the Constraint Language cc(FD) [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:293-316 [Journal]
  41. 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. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 2004, v:32, n:Database-Issue, pp:443-448 [Journal]
  42. T. Nguyen, Yves Deville
    A Distributed Arc-Consistency Algorithm. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:1-2, pp:227-250 [Journal]
  43. 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. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:595-600 [Journal]
  44. Pierre Schaus, Yves Deville, Pierre Dupont
    Bound-Consistent Deviation Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:620-634 [Conf]
  45. Stéphane Zampelli, Yves Deville, Christine Solnon, Sébastien Sorlin, Pierre Dupont
    Filtering for Subgraph Isomorphism. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:728-742 [Conf]
  46. Jean-Noël Monette, Yves Deville, Pierre E. Dupont
    A Position-Based Propagator for the Open-Shop Problem. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2007, pp:186-199 [Conf]
  47. Pierre Schaus, Yves Deville, Pierre E. Dupont, Jean-Charles Régin
    The Deviation Constraint. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2007, pp:260-274 [Conf]

  48. A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem. [Citation Graph (, )][DBLP]


  49. Just-In-Time Scheduling with Constraint Programming. [Citation Graph (, )][DBLP]


  50. Constraint-Based Graph Matching. [Citation Graph (, )][DBLP]


  51. Consistency Check for the Bin Packing Constraint Revisited. [Citation Graph (, )][DBLP]


  52. Constraint-Based Local Search for Constrained Optimum Paths Problems. [Citation Graph (, )][DBLP]


  53. Combining Two Structured Domains for Modeling Various Graph Matching Problems. [Citation Graph (, )][DBLP]


  54. LS(graph & tree): a local search framework for constraint optimization on graphs and trees. [Citation Graph (, )][DBLP]


  55. Decomposition Techniques for Subgraph Matching [Citation Graph (, )][DBLP]


  56. A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract) [Citation Graph (, )][DBLP]


  57. Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction [Citation Graph (, )][DBLP]


Search in 0.679secs, Finished in 0.682secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002