| |
| 2008 | ||
|---|---|---|
| 2 | EE | Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic: AURA: a programming language for authorization and audit. ICFP 2008: 27-38 |
| 2004 | ||
| 1 | EE | Jianzhou Zhao, Jinian Bian, Weimin Wu: PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie. COMPSAC 2004: 108-113 |
| 1 | Jinian Bian | [1] |
| 2 | Limin Jia | [2] |
| 3 | Karl Mazurak | [2] |
| 4 | Joseph Schorr | [2] |
| 5 | Jeffrey A. Vaughan | [2] |
| 6 | Weimin Wu | [1] |
| 7 | Luke Zarko | [2] |
| 8 | Steve Zdancewic | [2] |