Thuy Duong Vu

According to our database, Thuy Duong Vu authored at least 9 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Online Transitivity Clustering of Biological Data with Missing Values.

Richard Röttger, Christoph Kreutzer, Thuy Duong Vu, Tobias Wittkop, Jan Baumbach

Proceedings of the German Conference on Bioinformatics 2012, 2012

2009

Thread algebra for noninterference.

Thuy Duong Vu

RAIRO Theor. Informatics Appl., 2009

2008

Goto elimination in program algebra.

Thuy Duong Vu

Sci. Comput. Program., 2008

Denotational semantics for thread algebra.

Thuy Duong Vu

J. Log. Algebraic Methods Program., 2008

The Verification of the On-Chip COMA Cache Coherence Protocol.

Thuy Duong Vu, Li Zhang, Chris R. Jesshope

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Deciding orthogonal bisimulation.

Thuy Duong Vu

Formal Aspects Comput., 2007

Formalizing SANE Virtual Processor in Thread Algebra.

Thuy Duong Vu, Chris R. Jesshope

Proceedings of the Formal Methods and Software Engineering, 2007

2005

The compression structure of a process.

Thuy Duong Vu

Inf. Process. Lett., 2005

2003

Structural operational semantics and bounded nondeterminism.

Wan J. Fokkink, Thuy Duong Vu

Acta Informatica, 2003