Reports for Author "Cai, Jin-Yi"

TR-325-91 - Computations Over Infinite Groups (1991-06-00)
Cai, Jin-Yi
TR-433-93 - Uncheatable Benchmarks Using Numerical Instability (1993-09-00)
Ar, Sigal H. / Cai, Jin-Yi
TR-237-89 - On Bounded Round Multi-Prover Interactive Proof Systems (1989-12-00)
Cai, Jin-Yi / Lipton, Richard J. / Condon, Anne
TR-238-89 - Playing Games of Incomplete Information (1989-12-00)
Cai, Jin-Yi / Lipton, Richard J. / Condon, Anne
TR-260-90 - The Polynomial Hierarchy is Provable by Two Provers in One Round (1989-12-00)
Cai, Jin-Yi
TR-268-90 - More Efficient Bottom-Up Tree Pattern Matching (1990-05-00)
Cai, Jin-Yi / Tarjan, Robert E. / Paige, R.