Laurent D. Michel

Laurent Michel

	2009
51		Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Online Selection of Quorum Systems for RAMBO Reconfiguration. CP 2009: 88-103
50		Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal: Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2009: 193-207
49		Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent D. Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha Shashidhar, Alexander A. Shvartsman: Taking total control of voting systems: firmware manipulations on an optical scan voting terminal. SAC 2009: 2049-2053
48		Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Optimizing Network Deployment of Formally-Specified Distributed Systems. SEDE 2009: 230-237
47		Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel: Model-driven visualizations of constraint-based local search. Constraints 14(3): 294-324 (2009)
46		Laurent Michel, Andrew See, Pascal Van Hentenryck: Transparent Parallelization of Constraint Programming. INFORMS Journal on Computing 21(3): 363-382 (2009)
	2008
45		Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck: Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2008: 188-202
44		Pascal Van Hentenryck, Laurent Michel: The Steel Mill Slab Design Problem Revisited. CPAIOR 2008: 377-381
43		Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha Shashidhar, Alexander A. Shvartsman: Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards. EVT 2008
42		Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel: A Framework of Composable Access Control Definition, Enforcement and Assurance. SCCC 2008: 13-22
	2007
41		Pascal Van Hentenryck, Laurent D. Michel: Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. AAAI 2007: 273-
40		Aggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha Shashidhar, Andrew See, Alexander A. Shvartsman, Seda Davtyan: Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting. ACSAC 2007: 30-39
39		Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel: Model-Driven Visualizations of Constraint-Based Local Search. CP 2007: 271-285
38		Laurent Michel, Andrew See, Pascal Van Hentenryck: Parallelizing Constraint Programs Transparently. CP 2007: 514-528
	2006
37		Laurent Michel, Andrew See, Pascal Van Hentenryck: Distributed Constraint-Based Local Search. CP 2006: 344-358
36		Laurent Michel, Andrew See, Pascal Van Hentenryck: High-Level Nondeterministic Abstractions in. CP 2006: 359-374
35		Pascal Van Hentenryck, Laurent Michel: Differentiable Invariants. CP 2006: 604-619
34		Pascal Van Hentenryck, Laurent Michel: Nondeterministic Control for Hybrid Search. Constraints 11(4): 353-373 (2006)
33		Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados: A simulated annealing approach to the traveling tournament problem. J. Scheduling 9(2): 177-193 (2006)
	2005
32		Laurent Michel, Pascal Van Hentenryck: Parallel Local Search in Comet. CP 2005: 430-444
31		Laurent Michel, Pascal Van Hentenryck: The Comet Programming Language and System. CP 2005: 881-881
30		Pascal Van Hentenryck, Laurent Michel: Nondeterministic Control for Hybrid Search. CPAIOR 2005: 380-395
29		Jaime A. Pavlich-Mariscal, Thuong Doan, Laurent Michel, Steven A. Demurjian, T. C. Ting: Role Slices: A Notation for RBAC Permission Assignment and Enforcement. DBSec 2005: 40-53
28		Jaime A. Pavlich-Mariscal, Laurent Michel, Steven A. Demurjian: A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming. MoDELS 2005: 537-552
27		Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel: A Framework for Composable Security Definition, Assurance, and Enforcement. MoDELS Satellite Events 2005: 353-354
26		Thuong Doan, Laurent D. Michel, Steven A. Demurjian, T. C. Ting: Stateful Design for Secure Information Systems. WOSIS 2005: 277-286
25		Pascal Van Hentenryck, Laurent Michel: Control Abstractions for Local Search. Constraints 10(2): 137-157 (2005)
24		Irit Katriel, Laurent Michel, Pascal Van Hentenryck: Maintaining Longest Paths Incrementally. Constraints 10(2): 159-183 (2005)
23		Pascal Van Hentenryck, Laurent Michel, Liyuan Liu: Contraint-Based Combinators for Local Search. Constraints 10(4): 363-384 (2005)
22		Laurent Michel, Pascal Van Hentenryck: A Modeling Layer for Constraint-Programming Libraries. INFORMS Journal on Computing 17(4): 389-401 (2005)
	2004
21		Pascal Van Hentenryck, Laurent Michel, Liyuan Liu: Constraint-Based Combinators for Local Search. CP 2004: 47-61
20		Pascal Van Hentenryck, Laurent Michel: Scheduling Abstractions for Local Search. CPAIOR 2004: 319-334
19		Laurent Michel, Pascal Van Hentenryck: Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. ICAPS 2004: 200-208
18		Laurent Michel, Pascal Van Hentenryck: A decomposition-based implementation of search strategies. ACM Trans. Comput. Log. 5(2): 351-383 (2004)
17		Laurent Michel, Pascal Van Hentenryck: A simple tabu search for warehouse location. European Journal of Operational Research 157(3): 576-591 (2004)
	2003
16		Laurent Michel, Pascal Van Hentenryck: Maintaining Longest Paths Incrementally. CP 2003: 540-554
15		Pascal Van Hentenryck, Laurent Michel: Control Abstractions for Local Search. CP 2003: 65-80
14		Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados: A Simulated Annealing Approach to the Travelling Tournament Problem. IJCAI 2003: 1357-1358
13		Laurent Michel, Pascal Van Hentenryck: Comet in Context. PCK50 2003: 95-107
	2002
12		Laurent Michel, Pascal Van Hentenryck: A constraint-based architecture for local search. OOPSLA 2002: 83-100
	2000
11		Laurent Michel, Pascal Van Hentenryck: Localizer. Constraints 5(1/2): 43-84 (2000)
	1999
10		Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie: Combinatorial Optimization in OPL Studio. EPIA 1999: 1-15
9		Pascal Van Hentenryck, Laurent Michel: OPL Script: Composing and Controlling Models. New Trends in Constraints 1999: 75-90
8		Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin: Constraint Programming in OPL. PPDP 1999: 98-116
7		Laurent D. Michel, Pascal Van Hentenryck: Localizer: A Modeling Language for Local Search. INFORMS Journal on Computing 11(1): 1-14 (1999)
	1998
6		Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou: Newton - Constraint Programming over Nonlinear Constraints. Sci. Comput. Program. 30(1-2): 83-118 (1998)
	1997
5		Laurent Michel, Pascal Van Hentenryck: Localizer: A Modeling Language for Local Search. CP 1997: 237-251
4		Laurent Michel, Jean-Francois Puget: Interval Methods for Non-linear Constraints. CP 1997: 371
3		Laurent Michel, Pascal Van Hentenryck: Helios: A Modeling Language for Global Optimization and its Implementation in Newton. Theor. Comput. Sci. 173(1): 3-48 (1997)
	1993
2		Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel: The Impact of Granularity in Abstract Interpretation of Prolog. WSA 1993: 1-14
1		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. WSA 1993: 15-26

Coauthor Index

1	Aris Anagnostopoulos	[14] [33]
2	Frédéric Benhamou	[6]
3	Baudouin Le Charlier	[1] [2]
4	Carleton Coffrin	[48]
5	Seda Davtyan	[40] [43] [49]
6	Olivier Degimbe	[1] [2]
7	Steven A. Demurjian	[26] [27] [28] [29] [42]
8	Thuong Doan	[26] [29]
9	Grégoire Dooms	[39] [47]
10	Pascal Van Hentenryck	[1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [41] [44] [45] [46] [47] [48] [50] [51]
11	Irit Katriel	[24]
12	Sotiris Kentros	[43] [49]
13	Aggelos Kiayias	[40] [43] [49]
14	Philippe Laborie	[10]
15	Liyuan Liu	[21] [23]
16	Martijn Moraal	[50] [51]
17	Nicolas C. Nicolaou	[43] [49]
18	Wim Nuijten (W. P. M. Nuijten)	[10]
19	Jaime A. Pavlich-Mariscal	[27] [28] [29] [42]
20	Laurent Perron	[8]
21	Jean-François Puget (Jean-Francois Puget)	[4]
22	Jean-Charles Régin	[8]
23	Jerome Rogerie	[10]
24	Alexander Russell	[40] [43] [49]
25	Andrew See	[36] [37] [38] [40] [43] [46] [49]
26	Narasimha Shashidhar	[40] [43] [49]
27	Alexander A. Shvartsman	[40] [43] [45] [48] [49] [50] [51]
28	Elaine L. Sonderegger	[45] [48] [50] [51]
29	T. C. Ting	[26] [29]
30	Yannis Vergados (Ioannis Vergados)	[14] [33]