| 2004 | ||
|---|---|---|
| 2 | Ji Zhang, Meng Lou, Tok Wang Ling, Hai H. Wang: HOS-Miner: A System for Detecting Outlying Subspaces of High-dimensional Data. VLDB 2004: 1265-1268 | |
| 2002 | ||
| 1 | Mark Aagaard, Nancy A. Day, Meng Lou: Relating Multi-step and Single-Step Microprocessor Correctness Statements. FMCAD 2002: 123-141 | |
| 1 | Mark Aagaard | [1] |
| 2 | Nancy A. Day | [1] |
| 3 | Tok Wang Ling | [2] |
| 4 | Hai H. Wang | [2] |
| 5 | Ji Zhang | [2] |