| 2026 | ICALP | Algebraic Proof Systems: An Algebraic Approach to Analysing Proofs (Invited Talk). | Nutan Limaye |
| 2025 | ICALP | Algorithms for the Diverse-k-SAT Problem: The Geometry of Satisfying Assignments. | Per Austrin, Ioana O. Bercea, Mayank Goswami, Nutan Limaye, Adarsh Srinivasan |
| 2025 | ICALP | New Bounds for the Ideal Proof System in Positive Characteristic. | Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan |
| 2025 | MFCS | #SAT-Algorithms for Classes of Threshold Circuits Based on Probabilistic Rank. | Nutan Limaye, Adarsh Srinivasan, Srikanth Srinivasan |
| 2024 | STOC | On the Power of Homogeneous Algebraic Formulas. | Herv Fournier, Nutan Limaye, Srikanth Srinivasan, Sbastien Tavenas |
| 2024 | STOC | Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers. | Tuomas Hakoniemi, Nutan Limaye, Iddo Tzameret |
| 2022 | LATIN | On the Closures of Monotone Algebraic Classes and Variants of the Determinant. | Prasad Chaugule, Nutan Limaye |
| 2022 | STOC | Set-multilinear and non-commutative formula lower bounds for iterated matrix multiplication. | Sbastien Tavenas, Nutan Limaye, Srikanth Srinivasan |
| 2021 | CSR | Variants of the Determinant Polynomial and the VP-Completeness. | Prasad Chaugule, Nutan Limaye, Shourya Pandey |
| 2021 | FOCS | Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits. | Nutan Limaye, Srikanth Srinivasan, Sbastien Tavenas |
| 2019 | COCOON | Variants of Homomorphism Polynomials Complete for Algebraic Complexity Classes. | Prasad Chaugule, Nutan Limaye, Aditya Varre |
| 2019 | STOC | A fixed-depth size-hierarchy theorem for AC | Nutan Limaye, Karteek Sreenivasaiah, Srikanth Srinivasan, Utkarsh Tripathi, S. Venkitesh |
| 2018 | FOCS | A Near-Optimal Depth-Hierarchy Theorem for Small-Depth Multilinear Circuits. | Suryajith Chillara, Christian Engels, Nutan Limaye, Srikanth Srinivasan |
| 2018 | ICALP | A Quadratic Size-Hierarchy Theorem for Small-Depth Multilinear Formulas. | Suryajith Chillara, Nutan Limaye, Srikanth Srinivasan |
| 2018 | STACS | Small-depth Multilinear Formula Lower Bounds for Iterated Matrix Multiplication, with Applications. | Suryajith Chillara, Nutan Limaye, Srikanth Srinivasan |
| 2017 | MFCS | Lower Bounds and PIT for Non-Commutative Arithmetic Circuits with Restricted Parse Trees. | Guillaume Lagarde, Nutan Limaye, Srikanth Srinivasan |
| 2016 | COCOON | Cost Register Automata for Nested Words. | Andreas Krebs, Nutan Limaye, Michael Ludwig |
| 2015 | COCOON | Skew Circuits of Small Width. | Nikhil Balaji, Andreas Krebs, Nutan Limaye |
| 2015 | MFCS | The Shifted Partial Derivative Complexity of Elementary Symmetric Polynomials. | Herv Fournier, Nutan Limaye, Meena Mahajan, Srikanth Srinivasan |
| 2014 | FOCS | An Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas. | Neeraj Kayal, Nutan Limaye, Chandan Saha, Srikanth Srinivasan |
| 2014 | STOC | Lower bounds for depth 4 formulas computing iterated matrix multiplication. | Herv Fournier, Nutan Limaye, Guillaume Malod, Srikanth Srinivasan |
| 2014 | STOC | Super-polynomial lower bounds for depth-4 homogeneous arithmetic formulas. | Neeraj Kayal, Nutan Limaye, Chandan Saha, Srikanth Srinivasan |
| 2013 | MFCS | Small Depth Proof Systems. | Andreas Krebs, Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah |
| 2012 | COCOON | The Complexity of Unary Subset Sum. | Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah |
| 2011 | MFCS | Streaming Algorithms for Recognizing Nearly Well-Parenthesized Expressions. | Andreas Krebs, Nutan Limaye, Srikanth Srinivasan |
| 2010 | COCOON | Counting Paths in VPA Is Complete for #NC | Andreas Krebs, Nutan Limaye, Meena Mahajan |
| 2010 | TAMC | Streaming Algorithms for Some Problems in Log-Space. | Ajesh Babu, Nutan Limaye, Girish Varma |
| 2009 | LATA | Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata. | Nutan Limaye, Meena Mahajan |
| 2008 | CSR | On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. | Nutan Limaye, Meena Mahajan, Antoine Meyer |
| 2007 | CSR | Planarity, Determinants, Permanents, and (Unique) Matchings. | Samir Datta, Raghav Kulkarni, Nutan Limaye, Meena Mahajan |
| 2007 | STACS | Arithmetizing Classes Around NC | Nutan Limaye, Meena Mahajan, B. V. Raghavendra Rao |
| 2006 | STACS | Evaluating Monotone Circuits on Cylinders, Planes and Tori. | Nutan Limaye, Meena Mahajan, Jayalal Sarma |