Low Cost Autonomous Navigation and Control of a Mechanically Balanced Bicycle with Dual Locomotion Mode. - Ayush Pandey; Subhamoy Mahajan; Adarsh Kosta; Dhananjay Yadav; Vikas Pandey; Saurav Sahay; Siddharth Jha; Shubh Agarwal; Aashay Bhise; Raushan Kumar; Aniket Bhushan; Vraj Parikh; et al. (CoRR, 2016)

Modeling and Control of an Autonomous Three Wheeled Mobile Robot with Front Steer. - Ayush Pandey; Siddharth Jha; Debashish Chakravarty (IRC, 2017)

Towards reproducible state-of-the-art energy disaggregation. - Nipun Batra 001; Rithwik Kukunuri; Ayush Pandey; Raktim Malakar; Rajat Kumar; Odysseas Krystalakos; Mingjun Zhong; Paulo Meira; Oliver Parson (BuildSys, 2019)

A demonstration of reproducible state-of-the-art energy disaggregation using NILMTK. - Nipun Batra 001; Rithwik Kukunuri; Ayush Pandey; Raktim Malakar; Rajat Kumar; Odysseas Krystalakos; Mingjun Zhong; Paulo Meira; Oliver Parson (BuildSys, 2019)

On a Converse theorem for Finite-time Lyapunov Functions to Estimate Domains of Attraction. - Ayush Pandey; Aaron D. Ames (ACC, 2020)

Robustness Guarantees for Structured Model Reduction of Dynamical Systems. - Ayush Pandey; Richard M. Murray (CDC, 2021)

BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts. - William Poole; Ayush Pandey; Andrey Shur; Zoltán A. Tuza; Richard M. Murray (PLoS Comput. Biol., 2022)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. - Inigo Incer; Apurva Badithela; Josefine Graebener; Piergiuseppe Mallozzi; Ayush Pandey; Sheng-Jung Yu; Albert Benveniste; Benoît Caillaud; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CoRR, 2023)

Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape. - Ayush Pandey; William Poole; Anandh Swaminathan; Victoria Hsiao; Richard M. Murray (Zenodo, 2023)

Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape. - Ayush Pandey; William Poole; Anandh Swaminathan; Victoria Hsiao; Richard M. Murray (J. Open Source Softw., 2023)

Guaranteeing System-level Properties in Genetic Circuits Subject to Context Effects. - Inigo Incer; Ayush Pandey; Nicholas Nolan; Emma L. Peterman; Kate E. Galloway; Eduardo D. Sontag; Domitilla Del Vecchio (CDC, 2024)

SONIC: Connect the Unconnected via FM Radio & SMS. - Ayush Pandey; Rohail Asim; Khalid Mengal; Matteo Varvello; Yasir Zaki (CoNEXT (Short Papers), 2024)

Demo: Towards Faster Web in Developing Regions. - Ayush Pandey; Rohail Asim; Matteo Varvello; Lakshmi Subramanian; Yasir Zaki (SIGCOMM (Posters and Demos), 2024)

Demo: Connecting the Unconnected Using FM Radio. - Ayush Pandey; Rohail Asim; Matteo Varvello; Yasir Zaki (SIGCOMM (Posters and Demos), 2024)

Towards Realistic Generative 3D Face Models. - Aashish Rai; Hiresh Gupta; Ayush Pandey; Francisco Vicente Carrasco 001; Shingo Jason Takagi 001; Amaury Aubel; Daeil Kim; Aayush Prakash; Fernando De la Torre (WACV, 2024)

SONIC: Connect the Unconnected via FM Radio & SMS. - Ayush Pandey; Rohail Asim; Khalid Mengal; Matteo Varvello; Yasir Zaki (CoRR, 2024)

CALock: Multi-Granularity Locking in Dynamic Hierarchies. - Ayush Pandey; Julien Sopena; Marc Shapiro 001; Swan Dubois (IPDPS, 2025)

Towards Local-First Distributed Property Graphs. - Ayush Pandey; Stefania Dumbrava; Marc Shapiro 001; Carla Ferreira 001; Mário Pereira; Nuno M. Preguiça (PaPoC@EuroSys, 2025)

MAML: Towards a Faster Web in Developing Regions. - Ayush Pandey; Matteo Varvello; Syed Ishtiaque Ahmed; Shurui Zhou; Lakshmi Subramanian; Yasir Zaki (WWW, 2025)

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. - Inigo Incer; Apurva Badithela; Josefine B. Graebener; Piergiuseppe Mallozzi; Ayush Pandey; Nicolas Rouquette; Sheng-Jung Yu; Albert Benveniste; Benoît Caillaud; Richard M. Murray; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (ACM Trans. Cyber Phys. Syst., 2025)

SONIC: Cost-Effective Web Access for Developing Countries. - Ayush Pandey; Rohail Asim; Jean Louis Ebongue Kedieng Fendji; Talal Rahwan; Matteo Varvello; Yasir Zaki (CoRR, 2025)