Travelled to:1 × Canada
1 × France
1 × Jamaica
1 × USA
2 × Italy
Collaborated with:P.V.Hentenryck B.L.Charlier O.Degimbe J.A.Pavlich-Mariscal S.A.Demurjian L.Perron J.Régin S.Davtyan A.Kiayias A.Russell A.A.Shvartsman P.B.Luh E.S.Jr. D.Yu A.See B.Xiong G.Johnson S.Chang
Talks about:constraint (2) interpret (2) abstract (2) program (2) system (2) prolog (2) base (2) use (2) cryptographi (1) architectur (1)
Person: Laurent Michel
DBLP: Michel:Laurent
Contributed to:
2012
2005
2005
2002
1999
1993Wrote 7 papers:
- SAC-2012-DavtyanKMRS #encryption #using
- Integrity of electronic voting systems: fallacious use of cryptography (SD, AK, LM, AR, AAS), pp. 1486–1493.
- CASE-2005-LuhMSYSXJC
- Coherent configuration and operation of building transportation systems (PBL, LM, ESJ, DY, AS, BX, GJ, SCC), pp. 178–184.
- MoDELS-2005-Pavlich-MariscalMD #aspect-oriented #data access #framework #programming #using
- A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming (JAPM, LM, SAD), pp. 537–552.
- OOPSLA-2002-MichelH #architecture #constraints
- A constraint-based architecture for local search (LM, PVH), pp. 83–100.
- PPDP-1999-HentenryckMPR #constraints #programming
- Constraint Programming in OPL (PVH, LM, LP, JCR), pp. 98–116.
- WSA-1993-CharlierDMH #abstract interpretation #algorithm #fixpoint #optimisation #performance #prolog
- Optimization Techniques for General Purpose Fixpoint Algorithms — Practical Efficiency for the Abstract Interpretation of Prolog (BLC, OD, LM, PVH), pp. 15–26.
- WSA-1993-HentenryckDCM #abstract interpretation #prolog
- The Impact of Granularity in Abstract Interpretation of Prolog (PVH, OD, BLC, LM), pp. 1–14.