| |
| 2008 | ||
|---|---|---|
| 7 | EE | Dell Zhang, Zheng Zhu: A fast approximate algorithm for large-scale Latent Semantic Indexing. ICDIM 2008: 626-631 |
| 6 | EE | Zheng Zhu, Ingemar J. Cox, Mark Levene: Ranked-Listed or Categorized Results in IR: 2 Is Better Than 1. NLDB 2008: 111-123 |
| 1994 | ||
| 5 | Zheng Zhu, Carl-Johan H. Seger: The Completeness of a Hardware Inference System. CAV 1994: 286-298 | |
| 4 | Zheng Zhu, Steven D. Johnson: Capturing Synchronization Specifications for Sequential Compositions. ICCD 1994: 117-121 | |
| 3 | Zheng Zhu: A Compositional Circuit Model and Verification by Composition. TPCD 1994: 92-109 | |
| 1993 | ||
| 2 | Zheng Zhu, Steven D. Johnson: Automatic Synthesis of Sequential Synchronizations. CHDL 1993: 299-315 | |
| 1 | Zheng Zhu, Jeffrey J. Joyce, Carl-Johan H. Seger: Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment. HUG 1993: 253-266 | |
| 1 | Ingemar J. Cox | [6] |
| 2 | Steven D. Johnson | [2] [4] |
| 3 | Jeffrey J. Joyce | [1] |
| 4 | Mark Levene | [6] |
| 5 | Carl-Johan H. Seger | [1] [5] |
| 6 | Dell Zhang | [7] |