( en | de | ru )

 

Disambiguation of "Michel, Laurent D."

Author of the publication

copydeleteadd this publication to your clipboard
A Framework for Composable Security Definition, Assurance, and Enforcement.

, , and . MoDELS (Satellite Events), volume 3844 of Lecture Notes in Computer Science, page 353-354. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michel d' Ixnard

Michel D Weber

Laurent Bartholdi

Thomas Laurent

Laurent Herschke

 

Other publications of authors with the same name

Stateful Design for Secure Information Systems., , , and . WOSIS, page 277-286. INSTICC Press, (2005)Parallelizing constraint programs.. DAMP, page 3-4. ACM, (2010)Coherent Modeling and Effective Coordination for Building Emergency Evacuation., , , , and . CASE, page 670-677. IEEE, (2007)Transportation and HVAC Systems for Building Emergency Evacuation., , , , and . CASE, page 363-368. IEEE, (2006)Synthesis of Constraint-Based Local Search Algorithms from High-Level Models., and . AAAI, page 273-279. AAAI Press, (2007)Parallel and distributed local search in COMET., , and . Comput. Oper. Res., 36 (8): 2357-2375 (2009)LOCALIZER A Modeling Language for Local Search.. Brown University, USA, (1999)ML and Network Traces to M.A.R.S., , , and . CSR, page 240-245. IEEE, (2023)A Framework for Composable Security Definition, Assurance, and Enforcement., , and . MoDELS (Satellite Events), volume 3844 of Lecture Notes in Computer Science, page 353-354. Springer, (2005)Constraint Satisfaction over Bit-Vectors., and . CP, volume 7514 of Lecture Notes in Computer Science, page 527-543. Springer, (2012)