Laurent Michel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
49
Venues
14
Active years
1993–2026
Best venue rank
A*
Where they publish
Papers
49 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | GPU-Accelerated Relaxed Decision Diagrams for Branch-and-Bound Optimization. | Fabio Tardivo, Laurent Michel, Willem-Jan van Hoeve |
| 2026 | CPAIOR | Complete Anytime Decision Diagram Search with GPU-Accelerated State Expansion. | Fabio Tardivo, Laurent Michel, Willem-Jan van Hoeve |
| 2025 | CCS | Busting the Paper Ballot: Voting Meets Adversarial Machine Learning. | Kaleel Mahmood, Caleb Manicke, Ethan Rathbun, Aayushi Verma, Sohaib Ahmad, Nicholas Stamatakis, Laurent Michel, Benjamin Fuller |
| 2024 | CP | CP for Bin Packing with Multi-Core and GPUs. | Fabio Tardivo, Laurent Michel, Enrico Pontelli |
| 2024 | ECAI | CODD: A Decision Diagram-Based Solver for Combinatorial Optimization. | Laurent Michel, Willem-Jan van Hoeve |
| 2023 | CPAIOR | Optimization Bounds from Decision Diagrams in Haddock. | Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve |
| 2023 | CPAIOR | Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. | Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli |
| 2022 | CP | DUELMIPs: Optimizing SDN Functionality and Security. | Timothy Curry, Gabriel De Pace, Benjamin Fuller, Laurent Michel, Yan Lindsay Sun |
| 2022 | CP | Heuristics for MDD Propagation in HADDOCK. | Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve |
| 2020 | CP | HADDOCK: A Language and Architecture for Decision Diagram Compilation. | Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve |
| 2019 | ACISP | DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks. | Timothy Curry, Devon Callahan, Benjamin Fuller, Laurent Michel |
| 2019 | CPAIOR | A Counting-Based Approach to Scalable Micro-service Deployment. | Waldemar Cruz, Fanghui Liu, Laurent Michel |
| 2018 | CP | Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure. | Waldemar Cruz, Fanghui Liu, Laurent Michel |
| 2018 | CP | A Complete Tolerant Algebraic Side-Channel Attack for AES with CP. | Fanghui Liu, Waldemar Cruz, Laurent Michel |
| 2017 | CP | A Tolerant Algebraic Side-Channel Attack on AES Using CP. | Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel |
| 2017 | CP | Search Strategies for Floating Point Constraint Systems. | Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel |
| 2016 | ISAIM | Model Combinators in the Scheduling Domain. | Laurent Michel, Daniel Fontaine |
| 2013 | CP | Model Combinators for Hybrid Optimization. | Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck |
| 2013 | CP | The Objective-CP Optimization System. | Pascal Van Hentenryck, Laurent Michel |
| 2012 | CPAIOR | A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers. | Daniel Fontaine, Laurent Michel |
| 2012 | CPAIOR | Activity-Based Search for Black-Box Constraint Programming Solvers. | Laurent Michel, Pascal Van Hentenryck |
| 2012 | SAC | Integrity of electronic voting systems: fallacious use of cryptography. | Seda Davtyan, Aggelos Kiayias, Laurent Michel, Alexander Russell, Alexander A. Shvartsman |
| 2011 | CP | Synthesis of Search Algorithms from High-Level CP Models. | Samir A. Mohamed Elsayed, Laurent Michel |
| 2010 | CP | Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. | Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
| 2009 | CP | Online Selection of Quorum Systems for RAMBO Reconfiguration. | Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
| 2008 | CPAIOR | The Steel Mill Slab Design Problem Revisited. | Pascal Van Hentenryck, Laurent Michel |
| 2008 | CPAIOR | Optimal Deployment of Eventually-Serializable Data Services. | Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
| 2007 | ACSAC | Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting. | Aggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha K. Shashidhar, Andrew See, Alexander A. Shvartsman, Seda Davtyan |
| 2007 | CP | Model-Driven Visualizations of Constraint-Based Local Search. | Grgoire Dooms, Pascal Van Hentenryck, Laurent Michel |
| 2007 | CP | Parallelizing Constraint Programs Transparently. | Laurent Michel, Andrew See, Pascal Van Hentenryck |
| 2006 | CP | Differentiable Invariants. | Pascal Van Hentenryck, Laurent Michel |
| 2006 | CP | Distributed Constraint-Based Local Search. | Laurent Michel, Andrew See, Pascal Van Hentenryck |
| 2006 | CP | High-Level Nondeterministic Abstractions in. | Laurent Michel, Andrew See, Pascal Van Hentenryck |
| 2005 | CP | Parallel Local Search in Comet. | Laurent Michel, Pascal Van Hentenryck |
| 2005 | CP | The Comet Programming Language and System. | Laurent Michel, Pascal Van Hentenryck |
| 2005 | CPAIOR | Nondeterministic Control for Hybrid Search. | Pascal Van Hentenryck, Laurent Michel |
| 2005 | DBSEC | Role Slices: A Notation for RBAC Permission Assignment and Enforcement. | Jaime A. Pavlich-Mariscal, Thuong Doan, Laurent Michel, Steven A. Demurjian, T. C. Ting |
| 2004 | CP | Constraint-Based Combinators for Local Search. | Pascal Van Hentenryck, Laurent Michel, Liyuan Liu |
| 2004 | CPAIOR | Scheduling Abstractions for Local Search. | Pascal Van Hentenryck, Laurent Michel |
| 2003 | CP | Control Abstractions for Local Search. | Pascal Van Hentenryck, Laurent Michel |
| 2003 | CP | Maintaining Longest Paths Incrementally. | Laurent Michel, Pascal Van Hentenryck |
| 2003 | IJCAI | A Simulated Annealing Approach to the Travelling Tournament Problem. | Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados |
| 2002 | OOPSLA | A constraint-based architecture for local search. | Laurent Michel, Pascal Van Hentenryck |
| 1999 | EPIA | Combinatorial Optimization in OPL Studio. | Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie |
| 1999 | PPDP | Constraint Programming in OPL. | Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Rgin |
| 1997 | CP | Localizer: A Modeling Language for Local Search. | Laurent Michel, Pascal Van Hentenryck |
| 1997 | CP | Interval Methods for Non-linear Constraints. | Laurent Michel, Jean-Francois Puget |
| 1993 | SAS | Optimization Techniques for General Purpose Fixpoint Algorithms - Practical Efficiency for the Abstract Interpretation of Prolog. | Baudouin Le Charlier, Olivier Degimbe, Laurent Michel, Pascal Van Hentenryck |
| 1993 | SAS | The Impact of Granularity in Abstract Interpretation of Prolog. | Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel |