![]() | ![]() |
| 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] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page