Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Invitation to data reduction and problem kernelization | ACM SIGACT News | 133 | 2007 | |
Constructing Locally Computable Extractors and Cryptosystems in the Bounded-Storage Model | Journal of Cryptology |
| 30 | 2004 |
Graph nonisomorphism has subexponential size proofs unless the polynomial hierarchy collapses | SIAM Journal on Computing |
| 2002 | |
Probabilistic checking of proofs | Journal of the ACM |
| 243 | 1998 |
Proof verification and the hardness of approximation problems | Journal of the ACM |
| 396 | 1998 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Preprocessing to reduce the search space: Antler structures for feedback vertex set | Journal of Computer and System Sciences |
| 2024 | |
Local Proofs Approaching the Witness Length | Journal of the ACM |
| 2024 | |
Multistage s–t Path: Confronting Similarity with Dissimilarity | Algorithmica |
| 2023 | |
Building large k-cores from sparse graphs | Journal of Computer and System Sciences |
| 2023 | |
Polynomial Kernel for Interval Vertex Deletion | ACM Transactions on Algorithms |
| 2023 |