Get started
Author

Thuy Duong Vu

Observed names: Duong Vu, Vu Thuy Duong, Vu, Thuy Duong
ORCID: 0000-0001-7960-2765
Observed ORCID: 0000-0001-7960-2765
OpenAlex ID: A5070409396
Nuclear ribosomal internal transcribed spacer (ITS) region as a universal DNA barcode marker for Fungi
2012 · Conrad L. Schoch, Keith A. Seifert, et al. · Proceedings of the National Academy of Sciences · 5,435
PDF
Semantics and applications of process and program algebra
2007 · Thuy Duong Vu · Data Archiving and Networked Services (DANS) · 55
PDF
Metric Denotational Semantics for BPPA
2005 · Thuy Duong Vu · 27
A laboratory information management system for DNA barcoding workflows
2012 · Thuy Duong Vu, Ursula Eberhardt, et al. · Integrative Biology · 25
Structural operational semantics and bounded nondeterminism
2003 · Wan Fokkink, Thuy Duong Vu · Acta Informatica · 15
Formalizing SANE Virtual Processor in Thread Algebra
2007 · Thuy Duong Vu, Chris Jesshope · Lecture notes in computer science · 13
The Verification of the On-Chip COMA Cache Coherence Protocol
2008 · Thuy Duong Vu, Li Zhang, et al. · Lecture notes in computer science · 6
Denotational semantics for thread algebra
2007 · Thuy Duong Vu · The Journal of Logic and Algebraic Programming · 4
Online Transitivity Clustering of Biological Data with Missing Values
2012 · Röttger, Richard, Kreutzer, Christoph, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 3
PDF
Deciding orthogonal bisimulation
2007 · Thuy Duong Vu · Formal Aspects of Computing · 3
PDF
The compression structure of a process
2005 · Thuy Duong Vu · Information Processing Letters · 3
Thread algebra for noninterference
2008 · Thuy Duong Vu · RAIRO - Theoretical Informatics and Applications · 1
PDF
Goto elimination in program algebra
2008 · Thuy Duong Vu · Science of Computer Programming · 1
Multiple Level Clustering Software
2016 · S. Szoke, Duong Vu, et al. · Data Archiving and Networked Services (DANS)
Works count: 18
Citation count: 5,591
H-index: 6
I10-index: 6
Year
Topic
Type