Lower bounds for the low hierarchy
Journal of the ACM (JACM)
ACM SIGACT News
Designing programs that check their work
Journal of the ACM (JACM)
ACM SIGACT News
Algebraic Properties for P-Selectivity
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Polynomial time quantum computation with advice
Information Processing Letters
Query-monotonic Turing reductions
Theoretical Computer Science
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
| Hi-index | 5.23 |