Xumin Nie (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8		Deepak Kapur, Xumin Nie, David R. Musser: An Overview of the Tecton Proof System. Theor. Comput. Sci. 133(2): 307-339 (1994)
7		Deepak Kapur, David R. Musser, Xumin Nie: The Tecton Proof System. Formal Methods in Databases and Software Engineering 1992: 54-79
4		Raj Agarwal, David R. Musser, Deepak Kapur, Xumin Nie: The Tecton Proof System. RTA 1991: 442-444

Selection of 3 from 11 records - Xumin Nie has 5 coauthors