The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Laurent Michel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Laurent Michel, Pascal Van Hentenryck
    Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2004, pp:200-208 [Conf]
  2. Laurent Michel, Pascal Van Hentenryck
    Comet in Context. [Citation Graph (0, 0)][DBLP]
    PCK50, 2003, pp:95-107 [Conf]
  3. Pascal Van Hentenryck, Laurent Michel
    OPL Script: Composing and Controlling Models. [Citation Graph (0, 0)][DBLP]
    New Trends in Constraints, 1999, pp:75-90 [Conf]
  4. Pascal Van Hentenryck, Laurent Michel
    Control Abstractions for Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:65-80 [Conf]
  5. Pascal Van Hentenryck, Laurent Michel
    Differentiable Invariants. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:604-619 [Conf]
  6. Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
    Constraint-Based Combinators for Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:47-61 [Conf]
  7. Laurent Michel, Pascal Van Hentenryck
    Maintaining Longest Paths Incrementally. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:540-554 [Conf]
  8. Laurent Michel, Pascal Van Hentenryck
    Parallel Local Search in Comet. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:430-444 [Conf]
  9. Laurent Michel, Pascal Van Hentenryck
    The Comet Programming Language and System. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:881-881 [Conf]
  10. Laurent Michel, Pascal Van Hentenryck
    Localizer: A Modeling Language for Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:237-251 [Conf]
  11. Laurent Michel, Jean-Francois Puget
    Interval Methods for Non-linear Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:371- [Conf]
  12. Laurent Michel, Andrew See, Pascal Van Hentenryck
    Distributed Constraint-Based Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:344-358 [Conf]
  13. Laurent Michel, Andrew See, Pascal Van Hentenryck
    High-Level Nondeterministic Abstractions in. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:359-374 [Conf]
  14. Pascal Van Hentenryck, Laurent Michel
    Scheduling Abstractions for Local Search. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2004, pp:319-334 [Conf]
  15. Pascal Van Hentenryck, Laurent Michel
    Nondeterministic Control for Hybrid Search. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2005, pp:380-395 [Conf]
  16. Jaime A. Pavlich-Mariscal, Thuong Doan, Laurent Michel, Steven A. Demurjian, T. C. Ting
    Role Slices: A Notation for RBAC Permission Assignment and Enforcement. [Citation Graph (0, 0)][DBLP]
    DBSec, 2005, pp:40-53 [Conf]
  17. Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie
    Combinatorial Optimization in OPL Studio. [Citation Graph (0, 0)][DBLP]
    EPIA, 1999, pp:1-15 [Conf]
  18. Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados
    A Simulated Annealing Approach to the Travelling Tournament Problem. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1357-1358 [Conf]
  19. Laurent Michel, Pascal Van Hentenryck
    A constraint-based architecture for local search. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:83-100 [Conf]
  20. Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin
    Constraint Programming in OPL. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:98-116 [Conf]
  21. Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck
    Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:15-26 [Conf]
  22. Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel
    The Impact of Granularity in Abstract Interpretation of Prolog. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:1-14 [Conf]
  23. Jaime A. Pavlich-Mariscal, Laurent Michel, Steven A. Demurjian
    A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2005, pp:537-552 [Conf]
  24. Pascal Van Hentenryck, Laurent Michel
    Control Abstractions for Local Search. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:2, pp:137-157 [Journal]
  25. Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
    Contraint-Based Combinators for Local Search. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:4, pp:363-384 [Journal]
  26. Pascal Van Hentenryck, Laurent Michel
    Nondeterministic Control for Hybrid Search. [Citation Graph (0, 0)][DBLP]
    Constraints, 2006, v:11, n:4, pp:353-373 [Journal]
  27. Irit Katriel, Laurent Michel, Pascal Van Hentenryck
    Maintaining Longest Paths Incrementally. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:2, pp:159-183 [Journal]
  28. Laurent Michel, Pascal Van Hentenryck
    Localizer. [Citation Graph (0, 0)][DBLP]
    Constraints, 2000, v:5, n:1/2, pp:43-84 [Journal]
  29. Laurent Michel, Pascal Van Hentenryck
    A Modeling Layer for Constraint-Programming Libraries. [Citation Graph (0, 0)][DBLP]
    INFORMS Journal on Computing, 2005, v:17, n:4, pp:389-401 [Journal]
  30. Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados
    A simulated annealing approach to the traveling tournament problem. [Citation Graph (0, 0)][DBLP]
    J. Scheduling, 2006, v:9, n:2, pp:177-193 [Journal]
  31. Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou
    Newton - Constraint Programming over Nonlinear Constraints. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:1-2, pp:83-118 [Journal]
  32. Laurent Michel, Pascal Van Hentenryck
    Helios: A Modeling Language for Global Optimization and its Implementation in Newton. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:173, n:1, pp:3-48 [Journal]
  33. Laurent Michel, Pascal Van Hentenryck
    A decomposition-based implementation of search strategies. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:2, pp:351-383 [Journal]
  34. Laurent Michel, Pascal Van Hentenryck
    A simple tabu search for warehouse location. [Citation Graph (0, 0)][DBLP]
    European Journal of Operational Research, 2004, v:157, n:3, pp:576-591 [Journal]
  35. Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel
    Model-Driven Visualizations of Constraint-Based Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:271-285 [Conf]
  36. Laurent Michel, Andrew See, Pascal Van Hentenryck
    Parallelizing Constraint Programs Transparently. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:514-528 [Conf]

  37. Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting. [Citation Graph (, )][DBLP]


  38. Online Selection of Quorum Systems for RAMBO Reconfiguration. [Citation Graph (, )][DBLP]


  39. Optimal Deployment of Eventually-Serializable Data Services. [Citation Graph (, )][DBLP]


  40. The Steel Mill Slab Design Problem Revisited. [Citation Graph (, )][DBLP]


  41. Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards. [Citation Graph (, )][DBLP]


  42. Model-driven visualizations of constraint-based local search. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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