Dai Tri Man Le
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CSL | A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem. | Dai Tri Man Le, Stephen A. Cook, Yuli Ye |
| 2011 | LICS | Formalizing Randomized Matching Algorithms. | Dai Tri Man Le, Stephen A. Cook |
| 2009 | FCT | Closure Operators for Order Structures. | Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova |