![]() | 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] |