Skip to content

Laurent D. Michel

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

5

Active years

2007–2017

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2017AAAIWhat's Hot in Constraint Programming.Laurent D. Michel, Michel Rueher
2016CPAIORParallel Composition of Scheduling Solvers.Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck
2014CPConstraint-Based Lagrangian Relaxation.Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck
2014CPDomain Views for Constraint Programming.Pascal Van Hentenryck, Laurent D. Michel
2013SACMalicious takeover of voting systems: arbitrary code execution on optical scan voting terminals.Russell J. Jancewicz, Aggelos Kiayias, Laurent D. Michel, Alexander Russell, Alexander A. Shvartsman
2012CPConstraint Programming and a Usability Quest.Laurent D. Michel
2012CPConstraint Satisfaction over Bit-Vectors.Laurent D. Michel, Pascal Van Hentenryck
2010POPLParallelizing constraint programs.Laurent D. Michel
2009CPAIORBandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services.Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal
2009SACTaking total control of voting systems: firmware manipulations on an optical scan voting terminal.Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent D. Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha K. Shashidhar, Alexander A. Shvartsman
2007AAAISynthesis of Constraint-Based Local Search Algorithms from High-Level Models.Pascal Van Hentenryck, Laurent D. Michel