Thuy Duong Vu

According to our database1, Thuy Duong Vu
  • authored at least 9 papers between 2003 and 2012.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Online Transitivity Clustering of Biological Data with Missing Values.
Proceedings of the German Conference on Bioinformatics 2012, 2012

2009
Thread algebra for noninterference.
ITA, 2009

2008
Goto elimination in program algebra.
Sci. Comput. Program., 2008

Denotational semantics for thread algebra.
J. Log. Algebr. Program., 2008

The Verification of the On-Chip COMA Cache Coherence Protocol.
Proceedings of the Algebraic Methodology and Software Technology, 2008

2007
Deciding orthogonal bisimulation.
Formal Asp. Comput., 2007

Formalizing SANE Virtual Processor in Thread Algebra.
Proceedings of the Formal Methods and Software Engineering, 2007

2005
The compression structure of a process.
Inf. Process. Lett., 2005

2003
Structural operational semantics and bounded nondeterminism.
Acta Inf., 2003


  Loading...