Statistics
Publications
2
Citations
56
H-Index
2
Active since
2007
Affiliations
Rice University(Current)
Angela Yun Zhu is an author at Rice University specializing in software engineering, formal methods, and formal verification.
Publications per year
2007–2008
2
2
Roumen Kaiabachev, Walid Taha, Angela Yun Zhu · 2007 · 41 citations
Event-driven Architecture, Engineering, Software Engineering +23
Synthesizable high level hardware descriptions
Jennifer Gillenwater, Gregory Malecha, Cherif Salama et al. · 2008 · 15 citations
Hardware Modeling, Engineering, Hardware Verification Language +19
1–2 of 2