Dai Tri Man Le

Identifiers

• name variant Dai Tri Man Le 0.60 · backfill

Papers (9)

1. Weakly Submodular Functions cs.DM · 2014 · author #2
2. The Complexity of the Comparator Circuit Value Problem cs.CC · 2012 · author #3
3. Complexity Classes and Theories for the Comparator Circuit Value Problem cs.CC · 2011 · author #2
4. On Three Alternative Characterizations of Combined Traces cs.FL · 2010 · author #1
5. A Characterization of Combined Traces Using Labeled Stratified Order Structures cs.DC · 2010 · author #1
6. Combining Partial Order Alignment and Progressive Near-Optimal Alignment cs.DS · 2009 · author #1
7. Statechart Verification with iState cs.SE · 2009 · author #1
8. Modelling Concurrent Behaviors in the Process Specification Language cs.AI · 2009 · author #1
9. Modelling Concurrency with Comtraces and Generalized Comtraces cs.LO · 2009 · author #2

Mentions

• 1401.6697 #2 · backfill · confidence 0.70 Dai Tri Man Le
• 1208.2721 #3 · backfill · confidence 0.70 Dai Tri Man Le
• 1106.4142 #2 · backfill · confidence 0.70 Dai Tri Man Le
• 1011.1030 #1 · backfill · confidence 0.70 Dai Tri Man Le
• 1004.0056 #1 · backfill · confidence 0.70 Dai Tri Man Le
• 0912.2813 #1 · backfill · confidence 0.70 Dai Tri Man Le
• 0909.1361 #1 · backfill · confidence 0.70 Dai Tri Man Le
• 0907.2775 #1 · backfill · confidence 0.70 Dai Tri Man Le
• 0907.1722 #2 · backfill · confidence 0.70 Dai Tri Man Le

Frequent Coauthors

• Stephen A. Cook 2 shared papers
• Yuli Ye 2 shared papers
• Allan Borodin 1 shared papers
• Ryszard Janicki 1 shared papers
• Yuval Filmus 1 shared papers