Karteek Sreenivasaiah

Orcid: 0000-0001-7396-3383

According to our database1, Karteek Sreenivasaiah authored at least 19 papers between 2011 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Linear threshold functions in decision lists, decision trees, and depth-2 circuits.
Inf. Process. Lett., January, 2024

2023
Depth-3 Circuit Lower Bounds for k-OV.
Electron. Colloquium Comput. Complex., 2023

2021
A Fixed-Depth Size-Hierarchy Theorem for $\mathrm{AC}^0[\oplus]$ via the Coin Problem.
SIAM J. Comput., 2021

2019
A game characterisation of tree-like Q-Resolution size.
J. Comput. Syst. Sci., 2019

On the Complexity of Hazard-free Circuits.
J. ACM, 2019

A fixed-depth size-hierarchy theorem for AC<sup>0</sup>[⊕] via the coin problem.
Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019

2018
The Coin Problem in Constant Depth: Sample Complexity and Parity gates.
Electron. Colloquium Comput. Complex., 2018

Graph Pattern Polynomials.
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017
On \varSigma \wedge \varSigma \wedge \varSigma Circuits: The Role of Middle \varSigma Fan-In, Homogeneity and Bottom Degree.
Proceedings of the Fundamentals of Computation Theory - 21st International Symposium, 2017

2016
Lower Bounds and Identity Testing for Projections of Power Symmetric Polynomials.
Electron. Colloquium Comput. Complex., 2016

Building Above Read-Once Polynomials: Identity Testing and Hardness of Representation.
Algorithmica, 2016

2014
Monomials, multilinearity and identity testing in simple read-restricted circuits.
Theor. Comput. Sci., 2014

Space-Efficient Approximations for Subset Sum.
Electron. Colloquium Comput. Complex., 2014

2013
Small Depth Proof Systems.
Electron. Colloquium Comput. Complex., 2013

2012
Verifying Proofs in Constant Depth.
Electron. Colloquium Comput. Complex., 2012

Identity Testing, Multilinearity Testing, and Monomials in Read-Once/Twice Formulas and Branching Programs.
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

The Complexity of Unary Subset Sum.
Proceedings of the Computing and Combinatorics - 18th Annual International Conference, 2012

Counting paths in planar width 2 branching programs.
Proceedings of the Eighteenth Computing: The Australasian Theory Symposium, 2012

2011
Verifying Proofs in Constant Depth.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011


  Loading...