# Thuy Duong Vu

According to our database

Collaborative distances:

^{1}, Thuy Duong Vu authored at least 9 papers between 2003 and 2012.Collaborative distances:

## 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.

RAIRO Theor. Informatics Appl., 2009

2008

Goto elimination in program algebra.

Sci. Comput. Program., 2008

Denotational semantics for thread algebra.

J. Log. Algebraic Methods 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 Informatica, 2003