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] |