dblp.uni-trier.dewww.uni-trier.de

Zheng Zhu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEDell Zhang, Zheng Zhu: A fast approximate algorithm for large-scale Latent Semantic Indexing. ICDIM 2008: 626-631
6EEZheng 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

Coauthor Index

1Ingemar J. Cox [6]
2Steven D. Johnson [2] [4]
3Jeffrey J. Joyce [1]
4Mark Levene [6]
5Carl-Johan H. Seger [1] [5]
6Dell Zhang [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)