Bo Yi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

5 Yu Ping, Jianguo Lu, Terence C. Lau, Kostas Kontogiannis, Tack Tong, Bo Yi: Migration of legacy web applications to enterprise Java^TM environments net.data® to JSP^TM 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

	2003
5		Yu Ping, Jianguo Lu, Terence C. Lau, Kostas Kontogiannis, Tack Tong, Bo Yi: Migration of legacy web applications to enterprise Java^TM environments net.data® to JSP^TM 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

Coauthor Index