Designing programs that check their work
Journal of the ACM (JACM)
Software reliability via run-time result-checking
Journal of the ACM (JACM)
Theoretical Computer Science - Algorithmic learning theory
A Low Communication Competitive Interactive Proof System for Promised Quadratic Residuosity
CRYPTO '93 Proceedings of the 13th Annual International Cryptology Conference on Advances in Cryptology
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Autoreducibility, mitoticity, and immunity
Journal of Computer and System Sciences
Theoretical Computer Science
SIGACT news complexity theory column 64
ACM SIGACT News
Randomness and completeness in computational complexity
Randomness and completeness in computational complexity
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
From logic to theoretical computer science: an update
Pillars of computer science
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Mitosis in computational complexity
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Separating the notions of self- and autoreducibility
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Autoreducibility, mitoticity, and immunity
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Autoreducibility of complete sets for log-space and polynomial-time reductions
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Hi-index | 0.00 |