Dai Tri Man Lê

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The complexity of the comparator circuit value problem ACM Transactions on Computation Theory	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 Logical Methods in Computer Science	2012-08-15	Paper
On three alternative characterizations of combined traces	2012-03-22	Paper
On three alternative characterizations of combined traces (available as arXiv preprint)	2012-03-22	Paper
Modelling concurrency with comtraces and generalized comtraces Information and Computation	2011-12-12	Paper
A Characterization of Combined Traces Using Labeled Stratified Order Structures Applications and Theory of Petri Nets	2010-06-22	Paper
Closure Operators for Order Structures Fundamentals of Computation Theory	2009-10-20	Paper
A Categorical Approach to Mereology and Its Application to Modelling Software Components Transactions on Rough Sets VIII	2009-02-10	Paper
On a Parthood Specification Method for Component Software Rough Sets and Current Trends in Computing	2008-11-13	Paper
Modelling Concurrency with Quotient Monoids Applications and Theory of Petri Nets	2008-07-03	Paper
scientific article; zbMATH DE number 5129610 (Why is no real title available?)	2007-02-26	Paper

Research outcomes over time

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