| |
| 2003 | ||
|---|---|---|
| 5 | EE | Yu Ping, Jianguo Lu, Terence C. Lau, Kostas Kontogiannis, Tack Tong, Bo Yi: Migration of legacy web applications to enterprise JavaTM environments net.data® to JSPTM transformation. CASCON 2003: 223-237 |
| 1995 | ||
| 4 | Bo Yi, Jiafu Xu: Analogical Type Theory. J. Symb. Comput. 19(1-3): 3-24 (1995) | |
| 1993 | ||
| 3 | Bo Yi, Jiafu Xu: Analogical Type Theory. DISCO 1993: 33-44 | |
| 2 | Bo Yi, Jiafu Xu: Analogy Calculus. Theor. Comput. Sci. 113(2): 211-230 (1993) | |
| 1992 | ||
| 1 | Jianguo Lu, Bo Yi: An Approach to Analogical Theorem Proving. IWAR 1992: 285-294 | |
| 1 | Kostas Kontogiannis | [5] |
| 2 | Terence C. Lau | [5] |
| 3 | Jianguo Lu | [1] [5] |
| 4 | Yu Ping | [5] |
| 5 | Tack Tong | [5] |
| 6 | Jiafu Xu | [2] [3] [4] |