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

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

BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts. - William Poole; Ayush Pandey 001; 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 001; 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 001; 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 001; 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 001; Nicholas Nolan; Emma L. Peterman; Kate E. Galloway; Eduardo D. Sontag; Domitilla Del Vecchio (CDC, 2024)

Parameter Robustness in Data-Driven Estimation of Dynamical Systems. - Ayush Pandey 001 (CDC, 2025)

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. - Inigo Incer; Apurva Badithela; Josefine B. Graebener; Piergiuseppe Mallozzi; Ayush Pandey 001; 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)

Teach2Learn: Assessing the Learning among CS1 Students on How Well They Can Teach LLM-Simulated Students. - Aizen Baidya; Ayush Pandey 001 (SIGCSE (2), 2026)