Statistics
Publications
2
Citations
46
H-Index
2
Active since
1997
Affiliations
Taokuan Hu is an author at University of Washington specializing in computer science, symbolic execution, and computer engineering.
Publications per year
1997–2005
2
2
Symbolic timing verification of timing diagrams using Presburger formulas
Tod Tracy Amon, Gaetano Borriello, Taokuan Hu et al. · 1997 · 36 citations · Full text
1–2 of 2