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

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