Srikanth Srinivasan
Orcid: 0000-0001-6491-124XAffiliations:
- Aarhus University, Denmark
- IIT Bombay, Department of Mathematics, India
According to our database1,
Srikanth Srinivasan
authored at least 76 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Commun. ACM, February, 2024
Electron. Colloquium Comput. Complex., 2024
2023
Comput. Complex., June, 2023
Electron. Colloquium Comput. Complex., 2023
Electron. Colloquium Comput. Complex., 2023
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023
2022
SIGACT News, 2022
Electron. Colloquium Comput. Complex., 2022
Electron. Colloquium Comput. Complex., 2022
Electron. Colloquium Comput. Complex., 2022
Set-multilinear and non-commutative formula lower bounds for iterated matrix multiplication.
Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022
2021
A Fixed-Depth Size-Hierarchy Theorem for $\mathrm{AC}^0[\oplus]$ via the Coin Problem.
SIAM J. Comput., 2021
Electron. Colloquium Comput. Complex., 2021
Electron. Colloquium Comput. Complex., 2021
2020
ACM Trans. Comput. Theory, 2020
Random Struct. Algorithms, 2020
Electron. Colloquium Comput. Complex., 2020
2019
Small-Depth Multilinear Formula Lower Bounds for Iterated Matrix Multiplication with Applications.
SIAM J. Comput., 2019
Electron. Colloquium Comput. Complex., 2019
Electron. Colloquium Comput. Complex., 2019
Electron. Colloquium Comput. Complex., 2019
Electron. Colloquium Comput. Complex., 2019
Electron. Colloquium Comput. Complex., 2019
Lower Bounds and PIT for Non-commutative Arithmetic Circuits with Restricted Parse Trees.
Comput. Complex., 2019
Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019
2018
Certifying Polynomials for $\mathrm{AC}^0[\oplus]$ Circuits, with Applications to Lower Bounds and Circuit Compression.
Theory Comput., 2018
Electron. Colloquium Comput. Complex., 2018
Electron. Colloquium Comput. Complex., 2018
Electron. Colloquium Comput. Complex., 2018
Electron. Colloquium Comput. Complex., 2018
Deterministically Counting Satisfying Assignments for Constant-Depth Circuits with Parity Gates, with Implications for Lower Bounds.
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
2017
SIAM J. Comput., 2017
SIAM J. Comput., 2017
Electron. Colloquium Comput. Complex., 2017
Electron. Colloquium Comput. Complex., 2017
Electron. Colloquium Comput. Complex., 2017
Bull. EATCS, 2017
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
2016
Electron. Colloquium Comput. Complex., 2016
Electron. Colloquium Comput. Complex., 2016
Electron. Colloquium Comput. Complex., 2016
Composition limits and separating examples for some boolean function complexity measures.
Comb., 2016
2015
SIAM J. Comput., 2015
Random Struct. Algorithms, 2015
Electron. Colloquium Comput. Complex., 2015
Electron. Colloquium Comput. Complex., 2015
Electron. Colloquium Comput. Complex., 2015
Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits.
Electron. Colloquium Comput. Complex., 2015
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015
2014
Proceedings of the Symposium on Theory of Computing, 2014
2013
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
2012
Electron. Colloquium Comput. Complex., 2012
Electron. Colloquium Comput. Complex., 2012
Electron. Colloquium Comput. Complex., 2012
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012
Proceedings of the 27th Conference on Computational Complexity, 2012
Approximating AC^0 by Small Height Decision Trees and a Deterministic Algorithm for #AC^0SAT.
Proceedings of the 27th Conference on Computational Complexity, 2012
2011
Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011
Correlation Bounds for Poly-size $\mbox{\rm AC}^0$ Circuits with n 1 - o(1) Symmetric Gates.
Proceedings of the Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 2011
2010
Comput. Complex., 2010
2009
Electron. Colloquium Comput. Complex., 2009
Electron. Colloquium Comput. Complex., 2009
Electron. Colloquium Comput. Complex., 2009
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009