On the Frobenius Complexity of Stanley-Reisner Rings, Communications in Algebra, Volume 48, Pages 4176-4185,2020

Strong Test Ideals associated to Cartier Algebras (with Florian Enescu), Journal of Algebra and its Applications, January 2019

Rectification of Arithmetic Circuits  with Craig Interpolants in Finite Fields (with Utkarsh Gupta,  Vikas Rao, Arpitha Srinath, Priyank Kalla and Florian Enescu), VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms, 79-106, 2019

Exploring Algebraic Interpolants for Rectification of Finite Field Arithmetic Circuits with Groebner Bases (with Utkarsh Gupta, Priyank Kalla and Florian Enescu), European Test Symposium, March , 2019

Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques (with  Vikas Rao, Utkarsh Gupta, Arpitha Srinath, Priyank Kalla and Florian Enescu), International Conference on Formal Method in Computer-Aided Design(FMCAD), November, 2018

On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields (with Utkarsh Gupta,  Vikas Rao, Arpitha Srinath, Priyank Kalla and Florian Enescu), 26th IFIP/IEEE, International Conference on Very Large Scale Integration, VLSI-SOC, October, 2018

Craig Interpolants in Finite Fields using Algebraic Geometry: Theory and Applications (with Utkarsh Gupta, Priyank Kalla, Florian Enescu, Vikas Rao and Arpitha Srinath), International Workshop on Logic and Synthesis, June 2018

Finding Unsatisfiable Cores of a Set of Polynomials using the Grobner Basis Algorithm (with Xiaojun Sun, Priyank Kalla and Florian Enescu ), The 22nd International Conference on Principles and Practice of Constraint Programming, France, 2016