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 × Norway
Collaborated with:
S.A.Cook Y.Ye
Talks about:
formal (2) algorithm (1) problem (1) marriag (1) complex (1) theori (1) random (1) associ (1) stabl (1) match (1)

Person: Dai Tri Man Le

DBLP DBLP: Le:Dai_Tri_Man

Contributed to:

CSL 20112011
LICS 20112011

Wrote 2 papers:

CSL-2011-LeCY #complexity #formal method #problem
A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem (DTML, SAC, YY), pp. 381–395.
LICS-2011-LeC #algorithm #formal method #random
Formalizing Randomized Matching Algorithms (DTML, SAC), pp. 185–194.

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.