Browse by Fellow

Beyersdorff, Olaf ; Blinkhorn, Joshua ; Mahajan, Meena (2021) Building Strategies into QBF Proofs Journal of Automated Reasoning, 65 (1). pp. 125-154. ISSN 0168-7433

Chattopadhyay, Arkadev ; Mahajan, Meena ; Mande, Nikhil ; Saurabh, Nitin (2020) Lower bounds for linear decision lists Chicago Journal of Theoretical Computer Science, 26 (1). pp. 1-15. ISSN 1073-0486

Mahajan, Meena (2019) Depth-2 Threshold Circuits Resonance, 24 (3). pp. 371-380. ISSN 0971-8044

Mahajan, Meena ; Mukund, Madhavan ; Saxena, Nitin (2019) Research in theoretical computer science Communications of the ACM, 62 (11). pp. 92-95. ISSN 0001-0782

Mahajan, Meena ; Nimbhorkar, Prajakta ; Tawari, Anuj (2019) Shortest path length with bounded-alternation $$(\min ,+)$$ ( min , + ) formulas International Journal of Advances in Engineering Sciences and Applied Mathematics, 11 (1). pp. 68-74. ISSN 0975-0770

Beyersdorff, Olaf ; Chew, Leroy ; Mahajan, Meena ; Shukla, Anil (2018) Are Short Proofs Narrow? QBF Resolution Is Not So Simple ACM Transactions on Computational Logic, 19 (1). pp. 1-26. ISSN 1529-3785

Mahajan, Meena ; Saurabh, Nitin (2018) Some Complete and Intermediate Polynomials in Algebraic Complexity Theory Theory of Computing Systems, 62 (3). pp. 622-652. ISSN 1432-4350

Mahajan, Meena ; Tawari, Anuj (2018) Sums of read-once formulas: How many summands are necessary? Theoretical Computer Science, 708 . pp. 34-45. ISSN 0304-3975

Beyersdorff, Olaf ; Chew, Leroy ; Mahajan, Meena ; Shukla, Anil (2018) Understanding cutting planes for QBFs Information and Computation, 262 . pp. 141-161. ISSN 0890-5401

Beyersdorff, Olaf ; Chew, Leroy ; Mahajan, Meena ; Shukla, Anil (2017) Feasible Interpolation for QBF Resolution Calculi Logical Methods in Computer Science, 13 (2). pp. 1-20.

Fournier, Herve ; Limaye, Nutan ; Mahajan, Meena ; Srinivasan, Srikanth (2017) The shifted partial derivative complexity of elementary symmetric polynomials Theory of Computing, 13 (1). pp. 1-34. ISSN 1557-2862

Mahajan, Meena ; Rao, B. V. Raghavendra ; Sreenivasaiah, Karteek (2016) Building Above Read-Once Polynomials: Identity Testing and Hardness of Representation Algorithmica, 76 (4). pp. 890-909. ISSN 0178-4617

Mahajan, Meena ; Shukla, Anil (2016) Level-ordered Q -resolution and tree-like Q -resolution are incomparable Information Processing Letters, 116 (3). pp. 256-258. ISSN 0020-0190

Krebs, Andreas ; Limaye, Nutan ; Mahajan, Meena ; Sreenivasaiah, Karteek (2016) Small Depth Proof Systems ACM Transactions on Computation Theory, 9 (1). pp. 1-26. ISSN 1942-3454

Gál, Anna ; Jang, Jing-Tang ; Limaye, Nutan ; Mahajan, Meena ; Sreenivasaiah, Karteek (2016) Space-Efficient Approximations for Subset Sum ACM Transactions on Computation Theory, 8 (4). pp. 1-28. ISSN 1942-3454

Mahajan, Meena ; Saurabh, Nitin ; Tavenas, Sébastien (2016) VNP=VP in the multilinear world Information Processing Letters, 116 (2). pp. 179-182. ISSN 0020-0190

Mahajan, Meena ; Rao, B.V. Raghavendra ; Sreenivasaiah, Karteek (2014) Monomials, multilinearity and identity testing in simple read-restricted circuits Theoretical Computer Science, 524 . pp. 90-102. ISSN 0304-3975

Allender, Eric ; Arvind, V. ; Mahajan, Meena (2013) Comments on Arithmetic Complexity, Kleene Closure, and Formal Power Series Theory of Computing Systems, 53 (3). pp. 503-506. ISSN 1432-4350

Jansen, Maurice ; Mahajan, Meena ; Rao, B. V. Raghavendra (2013) Resource Trade-offs in Syntactically Multilinear Arithmetic Circuits computational complexity, 22 (3). pp. 517-564. ISSN 1016-3328

Mahajan, Meena ; Raghavendra Rao, B. V. (2013) Small Space Analogues of Valiant’s Classes and the Limitations of Skew Formulas Computational Complexity, 22 (1). pp. 1-38. ISSN 1016-3328

Beyersdorff, Olaf ; Datta, Samir ; Krebs, Andreas ; Mahajan, Meena ; Scharfenberger-Fabian, Gido ; Sreenivasaiah, Karteek ; Thomas, Michael ; Vollmer, Heribert (2013) Verifying proofs in constant depth ACM Transactions on Computation Theory, 5 (1). pp. 1-23. ISSN 1942-3454

Krebs, Andreas ; Limaye, Nutan ; Mahajan, Meena (2012) Counting Paths in VPA Is Complete for #NC 1 Algorithmica, 64 (2). pp. 279-294. ISSN 0178-4617

Datta, Samir ; Mahajan, Meena ; Raghavendra Rao, B.V. ; Thomas, Michael ; Vollmer, Heribert (2012) Counting classes and the fine structure between NC1 and L Theoretical Computer Science, 417 . pp. 36-49. ISSN 0304-3975

Mahajan, Meena ; Nimbhorkar, Prajakta ; Varadarajan, Kasturi (2012) The planar k-means problem is NP-hard Theoretical Computer Science, 442 . pp. 13-21. ISSN 0304-3975

Limaye, Nutan ; Mahajan, Meena ; Rao, B. V. Raghavendra (2010) Arithmetizing Classes Around $\textsf{NC}$ 1 and $\textsf{L}$ Theory of Computing Systems, 46 (3). pp. 499-522. ISSN 1432-4350

Limaye, Nutan ; Mahajan, Meena ; Nimbhorkar, Prajakta (2010) Longest paths in planar dags in unambiguous logspace Chicago Journal of Theoretical Computer Science, 16 (1). pp. 1-16. ISSN 1073-0486

Mahajan, Meena ; Sarma, Jayalal M. N. (2010) On the Complexity of Matrix Rank and Rigidity Theory of Computing Systems, 46 (1). pp. 9-26. ISSN 1432-4350

Datta, Samir ; Kulkarni, Raghav ; Limaye, Nutan ; Mahajan, Meena (2010) Planarity, Determinants, Permanents, and (Unique) Matchings ACM Transactions on Computation Theory, 1 (3). pp. 1-20. ISSN 1942-3454

Mahajan, Meena ; Raman, Venkatesh ; Sikdar, Somnath (2009) Parameterizing above or below guaranteed values Journal of Computer and System Sciences, 75 (2). pp. 137-153. ISSN 0022-0000

Limaye, Nutan ; Mahajan, Meena ; Sarma, Jayalal M. N. (2009) Upper Bounds for Monotone Planar Circuit Value and Variants computational complexity, 18 (3). pp. 377-412. ISSN 1016-3328

Mahajan, Meena ; Sarma M.N., Jayalal (2008) Rigidity of a simple extended lower triangular matrix Information Processing Letters, 107 (5). pp. 149-153. ISSN 0020-0190

Kutz, Martin ; Elbassioni, Khaled ; Katriel, Irit ; Mahajan, Meena (2008) Simultaneous matchings: Hardness and approximation Journal of Computer and System Sciences, 74 (5). pp. 884-897. ISSN 0022-0000

Kulkarni, Raghav ; Mahajan, Meena ; Varadarajan, Kasturi R. (2008) Some perfect matchings and perfect half-integral matchings in NC Chicago Journal of Theoretical Computer Science, 14 (1). pp. 1-26. ISSN 1073-0486

MAHAJAN, MEENA ; RAMA, RAGHAVAN ; RAMAN, VENKATESH ; VIJAYKUMAR, S. (2006) APPROXIMATE BLOCK SORTING International Journal of Foundations of Computer Science, 17 (02). pp. 337-355. ISSN 0129-0541

Mahajan, Meena ; Rama, Raghavan ; Vijayakumar, S. (2006) On sorting by 3-bounded transpositions Discrete Mathematics, 306 (14). pp. 1569-1585. ISSN 0012-365X

Mahajan, Meena ; Subramanya, P.R. ; Vinay, V. (2004) The combinatorial approach yields an NC algorithm for computing Pfaffians Discrete Applied Mathematics, 143 (1-3). pp. 1-16. ISSN 0166-218X

Allender, Eric ; Mahajan, Meena (2004) The complexity of planarity testing Information and Computation, 189 (1). pp. 117-134. ISSN 0890-5401

Allender, Eric ; Arvind, V. ; Mahajan, Meena (2003) Arithmetic Complexity, Kleene Closure, and Formal Power Series Theory of Computing Systems, 36 (4). pp. 303-328. ISSN 1432-4350

Mahajan, Meena ; Vinay, V. (1999) Determinant: Old Algorithms, New Insights SIAM Journal on Discrete Mathematics, 12 (4). pp. 474-490. ISSN 0895-4801

Mahajan, Meena ; Raman, Venkatesh (1999) Parameterizing above Guaranteed Values: MaxSat and MaxCut Journal of Algorithms, 31 (2). pp. 335-354. ISSN 0196-6774

Allender, Eric ; Jiao, Jia ; Mahajan, Meena ; Vinay, V. (1998) Non-commutative arithmetic circuits: depth reduction and size lower bounds Theoretical Computer Science, 209 (1-2). pp. 47-86. ISSN 0304-3975

Mahajan, Meena ; V, Vinay (1997) Determinant: Combinatorics, Algorithms, and Complexity Chicago Journal of Theoretical Computer Science, 1997 (5).

Krithivasan, Kamala ; Mahajan, Meena (1995) Nondeterministic, probabilistic and alternating computations on cellular array models Theoretical Computer Science, 143 (1). pp. 23-49. ISSN 0304-3975

Mahajan, Meena ; Thierauf, Thomas ; Vinodchandran, N.V. (1994) A note on SpanP functions Information Processing Letters, 51 (1). pp. 7-10. ISSN 0020-0190

Mahajan, Meena ; Krithivasan, Kamala (1992) Some results on time-varying and relativised cellular automata* International Journal of Computer Mathematics, 43 (1-2). pp. 21-38. ISSN 0020-7160

Nagendra Prasad, M.V. ; Mahajan, Meena ; Krithivasan, Kamala (1990) Fuzzy L-systems International Journal of Computer Mathematics, 36 (3-4). pp. 139-161. ISSN 0020-7160

KRITHIVASAN, KAMALA ; MAHAJAN, MEENA (1989) SYSTOLIC PYRAMID AUTOMATA, CELLULAR AUTOMATA AND ARRAY LANGUAGES International Journal of Pattern Recognition and Artificial Intelligence, 03 (03n04). pp. 405-433. ISSN 0218-0014