P. Schaus,
P. Hentenryck,
J. Monette,
C. Coffrin,
L. Michel and
Y. Deville.
Solving steel mill slab problems with constraint-based techniques: CP, lns, and cbls,Constraints,
16(2):125-147,
2011.
L. Michel,
A. Shvartsman,
E. Sonderegger and
P. Hentenryck.
Optimal deployment of eventually-serializable data services,Annals OR,
184(1):273-294,
2011.
T. Doan,
S. Demurjian,
L. Michel and
S. Berhe.
Integrating access control into uml for secure software modeling and analysis,IJSSE,
1(1):1-19,
2010.
Y. Chen,
P. Luh,
C. Guan,
Y. Zhao,
L. Michel,
M. Coolbeth,
P. Friedland and
S. Rourke.
Short-term load forecasting: Similar day-based wavelet neural networks,Power Systems, IEEE Transactions on,
25(1):322 -330,
2010. doi: 10.1109/TPWRS.2009.2030426
L. Michel and
P. Van Hentenryck.Helios: A Modeling Language for Global Optimization and its Implementation in Newton,Theoretical Computer Science,
173(1):3-48,
1997.
P. Van Hentenryck,
L. Michel and
F. Benhamou.Newton: Constraint Programming over Nonlinear Constraints,Science of Computer Programming, 1997.
L. Michel and
M. Rueher:What’s hot in constraint programming. In Proceedings of the thirty-first AAAI conference on artificial intelligence, february 4-9, 2017, san francisco, california, USA.,5073-5075, 2017.
D. Fontaine,
L. Michel and
P. Van Hentenryck:Parallel composition of scheduling solvers. In Integration of ai and or techniques in constraint programming: 13th international conference, cpaior 2016, banff, ab, canada, may 29 - june 1, 2016, proceedings,159-169, 2016. doi: 10.1007/978-3-319-33954-2_12
D. Fontaine,
LaurentMichel and
P. Van Hentenryck:Constraint-based lagrangian relaxation. In Principles and practice of constraint programming: 20th international conference, cp 2014, lyon, france, september 8-12, 2014. Proceedings,324-339, 2014. doi: 10.1007/978-3-319-10428-7_25
B. Yan,
P. Luh,
B. Sun,
C. Song,
C. Dong,
Z. Gan and
L. Michel:Energy-efficient management of eco-communities. In CASE,106-111, 2013. doi: 10.1109/CoASE.2013.6654057
P. Van Hentenryck and
L. Michel:The objective-cp optimization system. In Principles and practice of constraint programming: 19th international conference, cp 2013, uppsala, sweden, september 16-20, 2013. Proceedings,8-29, 2013. doi: 10.1007/978-3-642-40627-0_5
S. Davtyan,
A. Kiayias,
L. Michel,
A. Russell and
A. Shvartsman:Integrity of electronic voting systems: fallacious use of cryptography. In Proceedings of the 27th Symposium on Applied Computing,1486-1493, 2012. doi: 10.1145/2245276.2232013
J.-F. Audy,
N. El Hachemi,
L. Michel and
L. L.-M.:
Solving a combined routing and scheduling problem in forestry. In Industrial engineering and systems management (iesm),1-10, 2011.
D. Fontaine and
L. Michel:
A large-scale neighborhood search approach to matrix decomposition into consecutive-ones matrices. In Proceedings of the 8th workshop on local search techniques in constraint satisfaction,1-15, 2011.
S. Elsayed and
L. Michel:
Synthesis of search algorithms from high-level cp models. In CP,256-270, 2011.
C. Guan,
P. B. Luh,
W. Cao,
L. D. Michel and
K. Cheung:
Dual-tree m-band wavelet transform and composite very short-term load forecasting. In IEEE power and energy society 2011, 2011.
L. Michel,
A. Shvartsman,
E. Sonderegger and
P. Hentenryck:
Load balancing and almost symmetries for rambo quorum hosting. In CP,598-612, 2010.
C. Guan,
P. Luh,
L. Michel,
Y. Bar-Shalom and
P. Friedland:
Interacting multiple model approach for very short-term load forecasting and confidence interval estimation. In Intelligent control and automation (wcica), 2010 8th world congress on,2680-2685, 2010. doi: 10.1109/WCICA.2010.5553745
L. Michel:
Parallelizing constraint programs. In DAMP,3-4, 2010.
C. Guan,
P. Luh,
L. Michel,
M. Coolbeth and
P. Friedland:
Hybrid kalman algorithms for very short-term load forecasting and confidence interval estimation. In Power and energy society general meeting, 2010 ieee,1 -8, 2010. doi: 10.1109/PES.2010.5590077
Che Guan,
Peter B. Luh,
L. Michel,
Matthew A. Coolbeth,
Yige Zhao,
Ying Chen,
Claude J. Manville,
P. Friedland and
S. Rourke:
Very short-term load forecasting: Multilevel wavelet neural networks with data pre-filtering. In Proceedings of the 2009 pesgm conference, 2009.
C. Coffrin,
L. Michel,
A. Shvartsman,
E. Sonderegger and
P. Hentenryck:
Optimizing network deployment of formally-specified distributed systems. In SEDE,230-237, 2009.
T. Antonyan,
S. Davtyan,
S. Kentros,
A. Kiayias,
L. Michel,
N. Nicolaou,
A. Russell and
A. Shvartsman:Automating voting terminal event log analysis. In Proceedings of the 2009 conference on electronic voting technology/workshop on trustworthy elections,1-15, 2009.
P. Hentenryck and
L. Michel:
The steel mill slab design problem revisited. In CPAIOR,377-381, 2008.
L. Michel and
P. Hentenryck:
Incremental accumulators. In LaSh 2008: LOGIC and search. Computation of structures from declarative descriptions, 2008.
L. Michel,
A. See and
P. Hentenryck:
Parallelizing constraint programs transparently. In Proceedings of the 13th international conference on principles and practice of constraint programming,9th 2007.
A. Kiayias,
L. Michel,
A. Russell,
N. Shashidhar,
A. See,
A. Shvartsman and
S. Davtyan:
Tampering with special purpose trusted computing devices: A case study in optical scan e-voting. In Computer security applications conference, 2007. ACSAC 2007. Twenty-third annual,30 -39, 2007. doi: 10.1109/ACSAC.2007.16
Bo Xiong,
P. Luh,
Shi-Chung Chang,
L. Michel and
A. See:
Coherent modeling and effective coordination for building emergency evacuation. In Automation science and engineering. CASE 2007.,670-677, 2007.
S. Demurjian,
J. Pavlich-Mariscal and
L. Michel:
Enhancing uml to model custom security aspects. In Proceedings of the 11th international workshop. On aspect-oriented modeling, 2007.
P. Van Hentenryck and
L. Michel:
Differentiable invariants. In 12th international conference on principles and practice of constraint programming. (CP’06), 2006.
L. Michel,
A. See and
P. Van Hentenryck:
High-level nondeterministic abstractions in c++. In 12th international conference on principles and practice of constraint programming. (CP’06), 2006.
L. Michel,
A. See and
P. Van Hentenryck:
Distributed constraint-based local search. In 12th international conference on principles and practice of constraint programming. (CP’06), 2006.
P. Hentenryck and
L. Michel:Nondeterministic Control for Hybrid Search. In Integration of ai and or techniques in constraint programming for combinatorial optimization problems: Second international conference, cpaior 2005,380-395, 2005.
J. Pavlich-mariscal,
L. Michel and
S. Demurjian:
A formal enforcement framework for role-based access control using aspect-oriented programming. In ACM/ieee 8th intl. Conf. On model driven engineering languages and systems, montego,537-552, 2005.
J. Pavlich-mariscal,
T. Doan,
L. Michel,
S. Demurjian and
T. Ting:
Role slices: A notation for rbac permission assignment and enforcement. In In: Proceedings of 19th annual ifip wg 11.3 working conference on data and applications security. (2005, 2005.
P. Luh,
L. Michel,
J. Santos,
D. Yu,
A. See,
B. Xiong,
G. Johnson and
S. Chang:
Coherent configuration and operation of building transportation systems. In Automation science and engineering,178-184, 2005.
L. Michel and
P. Van Hentenryck:
Parallel local search in comet.. In CP,430-444, 2005.
P. Van Hentenryck and
L. Michel:
Nondeterministic Control For Hybrid Search. In Proceedings of the Second International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR’04),5th 2005.
J. Pavlich-mariscal:
Role slices and runtime permissions: Improving an aop-based access control schema. In In proc. Of the international workshop on aspect-oriented modeling,2, 2005.
P. Van Hentenryck,
L. Michel and
L. Liu:Constraint-Based Combinators for Local Search. In Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming,47-61, 2004.
P. Van Hentenryck and
L. Michel:Scheduling Abstractions for Local Search. In Proceedings of the First International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR’04), 2004.
L. Michel and
P. Van Hentenryck:Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. In 14th International Conference on Automated Planning & Scheduling (ICAPS’04), 2004.
A. Anagnostopoulos,
L. Michel,
P. Hentenryck and
Y. Vergados:
A simulated annealing approach to the traveling tournament problem. In Proceedings cpaior’03, 2003.
P. Van Hentenryck and
L. Michel:Control Abstractions for Local Search. In Ninth International Conference on Principles and Practice of Constraint Programming, 2003.
L. Michel and
P. Van Hentenryck:
Maintaining Longest Paths Incrementally. In CP’03, 2003.
L. Michel and
P. Van Hentenryck:Comet in Context. In PCK50,95-107, 2003.
L. Michel and
P. Van Hentenryck:
Maintaining longest path incrementally. In Ninth International Conference on Principles and Practice of Constraint Programming, 2003.
L. Michel and
P. Van Hentenryck:Modeler++: A Modeling Layer for Constraint Programming Libraries. In CP-AI-OR’2001, 2001.
P. Van Hentenryck,
L. Michel,
L. Perron and
J. Regin:Constraint Programming in OPL. In Proceedings of the International Conference on the Principles and Practice of Declarative Programming (PPDP’99),98-116, 1999.
P. Van Hentenryck,
L. Michel,
P. Laborie,
W. Nuijten and
J. Rogerie:Combinatorial Optimization in OPL Studio. In Proceedings of the 9th Portuguese Conference on Artificial Intelligence International Conference (EPIA’99),1-15, 1999.
L. Michel and
P. Van Hentenryck:Localizer: A Modeling Language for Local Search. In Third International Conference on the Principles and Practice of Constraint Programming (CP’97), 1997.
O. Degimbe,
B. Le Charlier,
L. Michel and
P. Van Hentenryck:Practical Efficiency of Three General Purpose Fixpoint Algorithms applied to the Abstract Intepretation of Prolog. In International Workshop on Static Analysis (WSA-93), 1993.
P. Van Hentenryck,
O. Degimbe,
B. Le Charlier and
L. Michel:The Impact of Granularity in Abstract Interpretation of Prolog. In International Workshop on Static Analysis (WSA-93), 1993.
L. Michel,
A. Shvartsman,
E. Sonderegger and
P. Van Hentenryck.Optimal deployment of eventually-serializable data services. In
L. Perron and
M. Trick,
Editors,
Integration of ai and or techniques in constraint programming for combinatorial optimization problems,188-202, 2008.
L. Michel,
C. Schulte and
P. Van Hentenryck.Chapter 9: Constraint programming tools. In
,41-57,5th 2007.
P. Van Hentenryck and
L. Michel.Chapter 17: Growing comet. In
,5th 2007.
T. Fruhwirth,
L. Michel and
C. Schulte.Constraints in procedural and concurrent languages. In
F. Rossi,
P. van Beek and
T. Walsh,
Editors,
,451-492, 2006.
P. Van Hentenryck and
L. Michel.Operations research and technology: Tutorials from informs 2004. In
, 2004.
P. Hentenryck and
L. Michel.Chapter 9: Constrained languages for combinatorial optimization. In
H. Greenberg,
Editor,
, 2004.
P. Van Hentenryck,
L. Michel,
F. Paulin and
J. Puget.The opl studio modeling system. In
, 2003.
L. Michel and
P. Hentenryck.The modeling language opl - a short overview. In
,265-294, 2002.
P. Van Hentenryck and
L. Michel.OPL script: Composing and controlling models. In
, 2000.