Structural operational semantics and bounded nondeterminism. - Wan J. Fokkink; Thuy Duong Vu (Acta Informatica, 2003)

The compression structure of a process. - Thuy Duong Vu (Inf. Process. Lett., 2005)

Formalizing SANE Virtual Processor in Thread Algebra. - Thuy Duong Vu; Chris R. Jesshope (ICFEM, 2007)

Deciding orthogonal bisimulation. - Thuy Duong Vu (Formal Aspects Comput., 2007)

The Verification of the On-Chip COMA Cache Coherence Protocol. - Thuy Duong Vu; Li Zhang 034; Chris R. Jesshope (AMAST, 2008)

Denotational semantics for thread algebra. - Thuy Duong Vu (J. Log. Algebraic Methods Program., 2008)

Goto elimination in program algebra. - Thuy Duong Vu (Sci. Comput. Program., 2008)

Thread algebra for noninterference. - Thuy Duong Vu (RAIRO Theor. Informatics Appl., 2009)

Online Transitivity Clustering of Biological Data with Missing Values. - Richard Röttger; Christoph Kreutzer; Thuy Duong Vu; Tobias Wittkop; Jan Baumbach (GCB, 2012)