Pratyush Agarwal

According to our database, Pratyush Agarwal authored at least 4 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Secure Non-Interactive Reduction and Spectral Analysis of Correlations.

Pratyush Agarwal, Varun Narayanan, Shreya Pathak, Manoj Prabhakaran, Vinod M. Prabhakaran, Mohammad Ali Rehan

IACR Cryptol. ePrint Arch., 2022

Some Upper Bounds on the Running Time of Policy Iteration on Deterministic MDPs.

Ritesh Goenka, Eashan Gupta, Sushil Khyalia, Pratyush Agarwal, Mulinti Shaik Wajid, Shivaram Kalyanakrishnan

CoRR, 2022

2021

Stateless Model Checking Under a Reads-Value-From Equivalence.

Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2017

Enhancing the value of detailed kinetic models through the development of interrogative software applications.

Triveni Billa, Scott R. Horton, Mayuresh Sahasrabudhe, Chandra Saravanan, Zhen Hou, Pratyush Agarwal, Juan Lucio-Vega, Michael T. Klein

Comput. Chem. Eng., 2017