Beyond NP: the work and legacy of Larry Stockmeyer
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Lower bounds for non-black-box zero knowledge
Journal of Computer and System Sciences - Special issue on FOCS 2003
Journal of Computer and System Sciences
Pseudorandomness for Approximate Counting and Sampling
Computational Complexity
On the Complexity of Succinct Zero-Sum Games
Computational Complexity
Optimization problems in the polynomial-time hierarchy
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Communication efficient secure linear algebra
TCC'06 Proceedings of the Third conference on Theory of Cryptography
A scalable and nearly uniform generator of SAT witnesses
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
| Hi-index | 0.00 |