|
Search the dblp DataBase
Laurent Michel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Laurent Michel, Pascal Van Hentenryck
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. [Citation Graph (0, 0)][DBLP] ICAPS, 2004, pp:200-208 [Conf]
- Laurent Michel, Pascal Van Hentenryck
Comet in Context. [Citation Graph (0, 0)][DBLP] PCK50, 2003, pp:95-107 [Conf]
- 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]
- Pascal Van Hentenryck, Laurent Michel
Control Abstractions for Local Search. [Citation Graph (0, 0)][DBLP] CP, 2003, pp:65-80 [Conf]
- Pascal Van Hentenryck, Laurent Michel
Differentiable Invariants. [Citation Graph (0, 0)][DBLP] CP, 2006, pp:604-619 [Conf]
- Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
Constraint-Based Combinators for Local Search. [Citation Graph (0, 0)][DBLP] CP, 2004, pp:47-61 [Conf]
- Laurent Michel, Pascal Van Hentenryck
Maintaining Longest Paths Incrementally. [Citation Graph (0, 0)][DBLP] CP, 2003, pp:540-554 [Conf]
- Laurent Michel, Pascal Van Hentenryck
Parallel Local Search in Comet. [Citation Graph (0, 0)][DBLP] CP, 2005, pp:430-444 [Conf]
- Laurent Michel, Pascal Van Hentenryck
The Comet Programming Language and System. [Citation Graph (0, 0)][DBLP] CP, 2005, pp:881-881 [Conf]
- Laurent Michel, Pascal Van Hentenryck
Localizer: A Modeling Language for Local Search. [Citation Graph (0, 0)][DBLP] CP, 1997, pp:237-251 [Conf]
- Laurent Michel, Jean-Francois Puget
Interval Methods for Non-linear Constraints. [Citation Graph (0, 0)][DBLP] CP, 1997, pp:371- [Conf]
- Laurent Michel, Andrew See, Pascal Van Hentenryck
Distributed Constraint-Based Local Search. [Citation Graph (0, 0)][DBLP] CP, 2006, pp:344-358 [Conf]
- Laurent Michel, Andrew See, Pascal Van Hentenryck
High-Level Nondeterministic Abstractions in. [Citation Graph (0, 0)][DBLP] CP, 2006, pp:359-374 [Conf]
- Pascal Van Hentenryck, Laurent Michel
Scheduling Abstractions for Local Search. [Citation Graph (0, 0)][DBLP] CPAIOR, 2004, pp:319-334 [Conf]
- Pascal Van Hentenryck, Laurent Michel
Nondeterministic Control for Hybrid Search. [Citation Graph (0, 0)][DBLP] CPAIOR, 2005, pp:380-395 [Conf]
- 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]
- 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]
- 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]
- Laurent Michel, Pascal Van Hentenryck
A constraint-based architecture for local search. [Citation Graph (0, 0)][DBLP] OOPSLA, 2002, pp:83-100 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Laurent Michel, Pascal Van Hentenryck
Localizer. [Citation Graph (0, 0)][DBLP] Constraints, 2000, v:5, n:1/2, pp:43-84 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Laurent Michel, Andrew See, Pascal Van Hentenryck
Parallelizing Constraint Programs Transparently. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:514-528 [Conf]
Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting. [Citation Graph (, )][DBLP]
Online Selection of Quorum Systems for RAMBO Reconfiguration. [Citation Graph (, )][DBLP]
Optimal Deployment of Eventually-Serializable Data Services. [Citation Graph (, )][DBLP]
The Steel Mill Slab Design Problem Revisited. [Citation Graph (, )][DBLP]
Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards. [Citation Graph (, )][DBLP]
Model-driven visualizations of constraint-based local search. [Citation Graph (, )][DBLP]
Search in 0.006secs, Finished in 0.008secs
|