Dai Tri Man Le

20 papers A* 1B 4Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2019 — —
Bounded Arithmetic and Formalizing Probabilistic Proofs.
Dai Tri Man Le
2014 J jnl
The complexity of the comparator circuit value problem.
ACM Trans. Comput. Theory
Stephen A. Cook, Yuval Filmus, Dai Tri Man Le
2012 J jnl
The Complexity of the Comparator Circuit Value Problem
CoRR
Stephen A. Cook, Yuval Filmus, Dai Tri Man Le
2011 B conf
A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem.
CSL
Dai Tri Man Le, Stephen A. Cook, Yuli Ye
2011 J jnl
Complexity Classes and Theories for the Comparator Circuit Value Problem
CoRR
Dai Tri Man Le, Stephen A. Cook, Yuli Ye
2011 J jnl
Formalizing Randomized Matching Algorithms
Log. Methods Comput. Sci.
Dai Tri Man Le, Stephen A. Cook
2011 A* conf
Formalizing Randomized Matching Algorithms.
LICS
Dai Tri Man Le, Stephen A. Cook
2011 J jnl
Modelling concurrency with comtraces and generalized comtraces.
Inf. Comput.
Ryszard Janicki, Dai Tri Man Le
2011 J jnl
On Three Alternative Characterizations of Combined Traces.
Fundam. Informaticae
Dai Tri Man Le
2010 J jnl
A Characterization of Combined Traces Using Labeled Stratified Order Structures
CoRR
Dai Tri Man Le
2010 B conf
A Characterization of Combined Traces Using Labeled Stratified Order Structures.
Petri Nets
Dai Tri Man Le
2010 J jnl
On Three Alternative Characterizations of Combined Traces
CoRR
Dai Tri Man Le
2009 B conf
Closure Operators for Order Structures.
FCT
Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova
2009 J jnl
Modelling Concurrency with Comtraces and Generalized Comtraces
CoRR
Ryszard Janicki, Dai Tri Man Le
2009 J jnl
Modelling Concurrent Behaviors in the Process Specification Language
CoRR
Dai Tri Man Le
2009 J jnl
Statechart Verification with iState
CoRR
Dai Tri Man Le
2008 J jnl
A Categorical Approach to Mereology and Its Application to Modelling Software Components.
Trans. Rough Sets
Dai Tri Man Le, Ryszard Janicki
2008 B conf
Modelling Concurrency with Quotient Monoids.
Petri Nets
Ryszard Janicki, Dai Tri Man Le
2007 J jnl
Towards a Pragmatic Mereology.
Fundam. Informaticae
Ryszard Janicki, Dai Tri Man Le
2006 — conf
On a Parthood Specification Method for Component Software.
RSCTC
Dai Tri Man Le, Ryszard Janicki