BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Michel:Laurent

Contributed to:

SAC 20122012
CASE 20052005
MoDELS 20052005
OOPSLA 20022002
PPDP 19991999
WSA 19931993

Wrote 7 papers:

SAC-2012-DavtyanKMRS #encryption #using
Integrity of electronic voting systems: fallacious use of cryptography (SD, AK, LM, AR, AAS), pp. 1486–1493.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.