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 × Sweden
1 × USA
Collaborated with:
G.Pesant P.Tarau E.Biham P.O.Boykin T.Mor V.P.Roychowdhury
Talks about:
elementari (1) constraint (1) distribut (1) geometri (1) quantum (1) quadrat (1) program (1) secur (1) proof (1) logic (1)

Person: Michel Boyer

DBLP DBLP: Boyer:Michel

Contributed to:

STOC 20002000
ILPS 19931993
PLILP 19901990

Wrote 3 papers:

STOC-2000-BihamBBMR #proving #quantum #security
A proof of the security of quantum key distribution (EB, MB, POB, TM, VPR), pp. 715–724.
ILPS-1993-PesantB #constraints #geometry #polynomial
Handling Quadratic Constraints through Geometry (GP, MB), p. 659.
PLILP-1990-TarauB #logic programming #source code
Elementary Logic Programs (PT, MB), pp. 159–173.

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.