Dai Tri Man Le

According to our database, Dai Tri Man Le authored at least 15 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Bounded Arithmetic and Formalizing Probabilistic Proofs.

Dai Tri Man Le

PhD thesis, 2019

2014

The complexity of the comparator circuit value problem.

Stephen A. Cook, Yuval Filmus, Dai Tri Man Le

ACM Trans. Comput. Theory, 2014

2011

Modelling concurrency with comtraces and generalized comtraces.

Ryszard Janicki, Dai Tri Man Le

Inf. Comput., 2011

On Three Alternative Characterizations of Combined Traces.

Dai Tri Man Le

Fundam. Informaticae, 2011

Complexity Classes and Theories for the Comparator Circuit Value Problem

Dai Tri Man Le, Stephen A. Cook, Yuli Ye

CoRR, 2011

Formalizing Randomized Matching Algorithms

Dai Tri Man Le, Stephen A. Cook

Log. Methods Comput. Sci., 2011

A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem.

Dai Tri Man Le, Stephen A. Cook, Yuli Ye

Proceedings of the Computer Science Logic, 2011

2010

A Characterization of Combined Traces Using Labeled Stratified Order Structures.

Dai Tri Man Le

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

Statechart Verification with iState

Dai Tri Man Le

CoRR, 2009

Modelling Concurrent Behaviors in the Process Specification Language

Dai Tri Man Le

CoRR, 2009

Closure Operators for Order Structures.

Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova

Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

2008

A Categorical Approach to Mereology and Its Application to Modelling Software Components.

Dai Tri Man Le, Ryszard Janicki

Trans. Rough Sets, 2008

Modelling Concurrency with Quotient Monoids.

Ryszard Janicki, Dai Tri Man Le

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Towards a Pragmatic Mereology.

Ryszard Janicki, Dai Tri Man Le

Fundam. Informaticae, 2007

2006

On a Parthood Specification Method for Component Software.

Dai Tri Man Le, Ryszard Janicki

Proceedings of the Rough Sets and Current Trends in Computing, 2006