| Probabilistic checking of proofs: A new characterization of NP S Arora, S Safra Journal of the ACM (JACM) 45 (1), 70-122, 1998 | 1856 | 1998 |
| A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP R Raz, S Safra Proceedings of the twenty-ninth annual ACM symposium on Theory of computing …, 1997 | 1100 | 1997 |
| On the complexity of omega-automata S Safra [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science …, 1988 | 994* | 1988 |
| Approximating clique is almost NP-complete U Feige, S Goldwasser, L Lovász, S Safra, M Szegedy [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science …, 1991 | 623 | 1991 |
| Interactive proofs and the hardness of approximating cliques U Feige, S Goldwasser, L Lovász, S Safra, M Szegedy Journal of the ACM (JACM) 43 (2), 268-292, 1996 | 550 | 1996 |
| On data structures and asymmetric communication complexity PB Miltersen, N Nisan, S Safra, A Wigderson Proceedings of the twenty-seventh annual ACM symposium on Theory of …, 1995 | 402 | 1995 |
| Algorithmic construction of sets for k-restrictions N Alon, D Moshkovitz, S Safra ACM Transactions on Algorithms (TALG) 2 (2), 153-177, 2006 | 367 | 2006 |
| The importance of being biased I Dinur, S Safra Proceedings of the thiry-fourth annual ACM symposium on Theory of computing …, 2002 | 306 | 2002 |
| Approximating-CVP to within almost-polynomial factors is NP-hard I Dinur, G Kindler, S Safra Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat …, 1998 | 304 | 1998 |
| On the hardness of approximating the chromatic number S Khanna, N Linial, S Safra Combinatorica 20 (3), 393-415, 2000 | 281 | 2000 |
| Approximating shortest lattice vectors is not harder than approximating closest lattice vectors O Goldreich, D Micciancio, S Safra, JP Seifert Information Processing Letters 71 (2), 55-61, 1999 | 230 | 1999 |
| On the complexity of approximating k-set packing E Hazan, S Safra, O Schwartz computational complexity 15 (1), 20-39, 2006 | 207 | 2006 |
| Testing juntas E Fischer, G Kindler, D Ron, S Safra, A Samorodnitsky Journal of Computer and System Sciences 68 (4), 753-787, 2004 | 175 | 2004 |
| Pseudorandom sets in grassmann graph have near-perfect expansion K Subhash, D Minzer, M Safra 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS …, 2018 | 153 | 2018 |
| On the complexity of equilibria X Deng, C Papadimitriou, S Safra Proceedings of the thiry-fourth annual ACM symposium on Theory of computing …, 2002 | 151 | 2002 |
| Complexity of automata on infinite objects S Safra PhD thesis, The Weizmann Institute of Science, 1989 | 151 | 1989 |
| Proving hard-core predicates using list decoding A Akavia, S Goldwasser, S Safra FOCS 44, 146-159, 2003 | 140 | 2003 |
| Exponential determinization for ω-automata with strong-fairness acceptance condition S Safra Proceedings of the twenty-fourth annual ACM symposium on Theory of computing …, 1992 | 128 | 1992 |
| Meta interpreters for real S Safra, E Shapiro Concurrent Prolog: Collected Papers, 166-179, 1988 | 117 | 1988 |
| Extractors from reed–muller codes A Ta-Shma, D Zuckerman, S Safra Journal of Computer and System Sciences 72 (5), 786-812, 2006 | 111 | 2006 |
