Pratyush Agarwal

According to our database, Pratyush Agarwal authored at least 5 papers between 2017 and 2023.

Collaborative distances:

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

2023

Fog and Edge Computing Issues and Challenges - A Review.

Arnaav Anand, Pratyush Agarwal, Mann Bajpai, Ankita Kashyap, Punit Gupta

Proceedings of the 9th International Symposium on Embedded Computing and System Design, 2023

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