Manindra Agrawal
Manindra Agrawal
Professor of Computer Science, IIT Kanpur
Verified email at - Homepage
Cited by
Cited by
PRIMES is in P
M Agrawal, N Kayal, N Saxena
Annals of mathematics, 781-793, 2004
Arithmetic circuits: A chasm at depth four
M Agrawal, V Vinay
2008 49th Annual IEEE Symposium on Foundations of Computer Science, 67-75, 2008
Primality and identity testing via Chinese remaindering
M Agrawal, S Biswas
Journal of the ACM (JACM) 50 (4), 429-443, 2003
Proving lower bounds via pseudo-random generators
M Agrawal
International Conference on Foundations of Software Technology and …, 2005
On TC0, AC0, and arithmetic circuits
M Agrawal, E Allender, S Datta
Journal of Computer and System Sciences 60 (2), 395-421, 2000
Jacobian Hits Circuits: Hitting Sets, Lower Bounds for Depth- Occur- Formulas and Depth-3 Transcendence Degree- Circuits
M Agrawal, C Saha, R Saptharishi, N Saxena
SIAM Journal on Computing 45 (4), 1533-1562, 2016
Reductions in circuit complexity: An isomorphism theorem and a gap theorem
M Agrawal, E Allender, S Rudich
Journal of Computer and System Sciences 57 (2), 127-143, 1998
Annals of Mathematics
M Agrawal, N Kayal, N Saxena
PRIMES is in P 160, 781-798, 2004
The Boolean isomorphism problem
M Agrawal, T Thierauf
Proceedings of 37th Conference on Foundations of Computer Science, 422-430, 1996
Quasi-polynomial hitting-set for set-depth-Δ formulas
M Agrawal, C Saha, N Saxena
Proceedings of the forty-fifth annual ACM symposium on Theory of computing …, 2013
Reducing the complexity of reductions
M Agrawal, E Allender, R Impagliazzo, T Pitassi, S Rudich
Computational Complexity 10 (2), 117-138, 2001
The formula isomorphism problem
M Agrawal, T Thierauf
SIAM Journal on Computing 30 (3), 990-1009, 2000
Polynomial time truth-table reductions to P-selective sets
M Agrawal, V Arvind
Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory …, 1994
Hitting-sets for ROABP and sum of set-multilinear circuits
M Agrawal, R Gurjar, A Korwar, N Saxena
SIAM Journal on Computing 44 (3), 669-697, 2015
Approximate verification of the symbolic dynamics of Markov chains
M Agrawal, S Akshay, B Genest, PS Thiagarajan
Journal of the ACM (JACM) 62 (1), 1-34, 2015
Pseudo-random generators and structure of complete degrees
M Agrawal
Proceedings 17th IEEE Annual Conference on Computational Complexity, 139-147, 2002
The discrete time behavior of lazy linear hybrid automata
M Agrawal, PS Thiagarajan
International Workshop on Hybrid Systems: Computation and Control, 55-69, 2005
Equivalence of -Algebras and Cubic Forms
M Agrawal, N Saxena
Annual Symposium on Theoretical Aspects of Computer Science, 115-126, 2006
Quasi-linear truth-table reductions to p-selective sets
M Agrawal, V Arvind
Theoretical Computer Science 158 (1-2), 361-370, 1996
Hybrid systems: computation and control
J Hespanha, A Tiwari
Springer Berlin/Heidelberg., 2006
The system can't perform the operation now. Try again later.
Articles 1–20