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)

Stateless Model Checking Under a Reads-Value-From Equivalence. - Pratyush Agarwal; Krishnendu Chatterjee; Shreya Pathak; Andreas Pavlogiannis; Viktor Toman (CAV (1), 2021)

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)

Secure Non-Interactive Reduction and Spectral Analysis of Correlations. - Pratyush Agarwal; Varun Narayanan; Shreya Pathak; Manoj Prabhakaran 001; Vinod M. Prabhakaran; Mohammad Ali Rehan (IACR Cryptol. ePrint Arch., 2022)

Fog and Edge Computing Issues and Challenges - A Review. - Arnaav Anand; Pratyush Agarwal; Mann Bajpai; Ankita Kashyap; Punit Gupta (ISED, 2023)