On randomization in sequential and distributed algorithms
ACM Computing Surveys (CSUR)
Interactive proofs and the hardness of approximating cliques
Journal of the ACM (JACM)
Making games short (extended abstract)
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Toward a general theory of quantum games
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
An application of quantum finite automata to interactive proof systems
Journal of Computer and System Sciences
Quantum interactive proofs with competing provers
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Hi-index | 0.00 |