Statistics
Publications
1
Citations
32
H-Index
1
Active since
1994
Affiliations
Xumin Nie is an author at University at Albany, State University of New York specializing in proof schemas, formal methods, and computer systems.
Publications per year
1994–1994
1
1
An overview of the Tecton proof system
Deepak Kapur, Xumin Nie, David R. Musser · Theoretical Computer Science · 1994 · 32 citations
1–1 of 1