Dai Tri Man Lê

Available identifiers

zbMath Open le.dai-tri-manMaRDI QIDQ651307

List of research outcomes

Publication	Date of Publication	Type
The complexity of the comparator circuit value problem	2016-10-24	Paper
Weakly Submodular Functions	2014-01-26	Paper
A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem	2012-09-18	Paper
Formalizing Randomized Matching Algorithms	2012-08-15	Paper
https://portal.mardi4nfdi.de/entity/Q3225719	2012-03-22	Paper
Modelling concurrency with comtraces and generalized comtraces	2011-12-12	Paper
A Characterization of Combined Traces Using Labeled Stratified Order Structures	2010-06-22	Paper
Closure Operators for Order Structures	2009-10-20	Paper
A Categorical Approach to Mereology and Its Application to Modelling Software Components	2009-02-10	Paper
On a Parthood Specification Method for Component Software	2008-11-13	Paper
Modelling Concurrency with Quotient Monoids	2008-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q3425582	2007-02-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dai Tri Man Lê