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: Le:Dai_Tri_Man
Contributed to:
2011
2011Wrote 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.