Skip to content

Valentine Kabanets

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

23

Venues

9

Active years

1997–2026

Best venue rank

A*

Where they publish

Papers

23 indexed papers, newest first.

YearVenueTitleAuthors
2026STOCKolmogorov's Approach to P vs. NP: Chain Rules for Time-Bounded Kolmogorov Complexity.Valentine Kabanets, Antonina Kolokolova
2021FOCSLEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic.Marco Carmosino, Valentine Kabanets, Antonina Kolokolova, Igor C. Oliveira
2021ICALPLifting for Constant-Depth Circuits and Applications to MCSP.Marco Carmosino, Kenneth Hoover, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova
2019ICALPCircuit Lower Bounds for MCSP from Local Pseudorandom Generators.Mahdi Cheraghchi, Valentine Kabanets, Zhenjian Lu, Dimitrios Myrisiotis
2019ICALPACAlexander Golovnev, Rahul Ilango, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, Avishay Tal
2017MFCSDoes Looking Inside a Circuit Help?.Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova, Pierre McKenzie, Shadab Romani
2017STOCA polynomial restriction lemma with applications.Valentine Kabanets, Daniel M. Kane, Zhenjian Lu
2016TCCSimultaneous Secrecy and Reliability Amplification for a General Channel Model.Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets, Bruce M. Kapron, Valerie King, Stefano Tessaro
2015COCOONCorrelation Bounds and #SAT Algorithms for Small Linear-Size Circuits.Ruiwen Chen, Valentine Kabanets
2015STACSThe Minimum Oracle Circuit Size Problem.Eric Allender, Dhiraj Holden, Valentine Kabanets
2014MFCSAn Improved Deterministic #SAT Algorithm for Small De Morgan Formulas.Ruiwen Chen, Valentine Kabanets, Nitin Saurabh
2012COCOONLower Bounds against Weakly Uniform Circuits.Ruiwen Chen, Valentine Kabanets
2009STOCAn axiomatic approach to algebrization.Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova
2009STOCNew direct-product testers and 2-query PCPs.Russell Impagliazzo, Valentine Kabanets, Avi Wigderson
2009TCCSecurity Amplification for InteractiveCryptographic Primitives.Yevgeniy Dodis, Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets
2008STOCUniform direct product theorems: simplified, optimized, and derandomized.Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets, Avi Wigderson
2007CRYPTOChernoff-Type Direct Product Theorems.Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets
2006FOCSApproximately List-Decoding Direct Product Codes and Uniform Hardness Amplification.Russell Impagliazzo, Ragesh Jaiswal, Valentine Kabanets
2006LATINHardness Amplification Via Space-Efficient Direct Products.Venkatesan Guruswami, Valentine Kabanets
2003STOCDerandomizing polynomial identity tests means proving circuit lower bounds.Valentine Kabanets, Russell Impagliazzo
2000LATINAlmostValentine Kabanets
2000STOCCircuit minimization problem.Valentine Kabanets, Jin-yi Cai
1997ICALPRecognizability Equals Definability for Partial k-Paths.Valentine Kabanets