| |
| 2008 | ||
|---|---|---|
| 3 | EE | Xiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319 |
| 2007 | ||
| 2 | EE | Xiang Yin, Jianguo Jiang, Na Xia: A Novel Strategy of Coalition Evolvement Based on Interest. SNPD (1) 2007: 611-615 |
| 2006 | ||
| 1 | EE | Xiang Yin: The echo approach to formal verification. ICSE 2006: 981-984 |
| 1 | Jianguo Jiang | [2] |
| 2 | John C. Knight | [3] |
| 3 | Elisabeth A. Nguyen | [3] |
| 4 | Westley Weimer | [3] |
| 5 | Na Xia | [2] |