Dai Tri Man Le

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Electronic Circuits

Computational Cost

Evolutionary Algorithm

Top Venues

ACM Trans. Comput. Theory

Publications

Stephen A. Cook, Yuval Filmus, Dai Tri Man Le
The complexity of the comparator circuit value problem. ACM Trans. Comput. Theory 6 (4) (2014)
Stephen A. Cook, Yuval Filmus, Dai Tri Man Le
The Complexity of the Comparator Circuit Value Problem CoRR (2012)
Dai Tri Man Le, Stephen A. Cook
Formalizing Randomized Matching Algorithms. LICS (2011)
Dai Tri Man Le
On Three Alternative Characterizations of Combined Traces. Fundam. Informaticae 113 (3-4) (2011)
Dai Tri Man Le, Stephen A. Cook
Formalizing Randomized Matching Algorithms Log. Methods Comput. Sci. 8 (3) (2011)
Dai Tri Man Le, Stephen A. Cook, Yuli Ye
Complexity Classes and Theories for the Comparator Circuit Value Problem CoRR (2011)
Ryszard Janicki, Dai Tri Man Le
Modelling concurrency with comtraces and generalized comtraces. Inf. Comput. 209 (11) (2011)
Dai Tri Man Le, Stephen A. Cook, Yuli Ye
A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem. CSL (2011)
Dai Tri Man Le
A Characterization of Combined Traces Using Labeled Stratified Order Structures CoRR (2010)
Dai Tri Man Le
A Characterization of Combined Traces Using Labeled Stratified Order Structures. Petri Nets (2010)
Dai Tri Man Le
On Three Alternative Characterizations of Combined Traces CoRR (2010)
Ryszard Janicki, Dai Tri Man Le
Modelling Concurrency with Comtraces and Generalized Comtraces CoRR (2009)
Dai Tri Man Le
Statechart Verification with iState CoRR (2009)
Dai Tri Man Le
Modelling Concurrent Behaviors in the Process Specification Language CoRR (2009)
Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova
Closure Operators for Order Structures. FCT (2009)
Dai Tri Man Le, Ryszard Janicki
A Categorical Approach to Mereology and Its Application to Modelling Software Components. Trans. Rough Sets 8 (2008)
Ryszard Janicki, Dai Tri Man Le
Modelling Concurrency with Quotient Monoids. Petri Nets (2008)
Ryszard Janicki, Dai Tri Man Le
Towards a Pragmatic Mereology. Fundam. Informaticae 75 (1-4) (2007)
Dai Tri Man Le, Ryszard Janicki
On a Parthood Specification Method for Component Software. RSCTC (2006)