Numerical Methods for Approximating Invariant Manifolds of Delayed Systems. - Tuhin Sahai; Alexander Vladimirsky (SIAM J. Appl. Dyn. Syst., 2009)

Wave equation based algorithm for distributed eigenvector computation. - Tuhin Sahai; Alberto Speranzon; Andrzej Banaszuk (CDC, 2010)

Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems. - Andrzej Banaszuk; Vladimir A. Fonoberov; Thomas A. Frewen; Marin Kobilarov; George Mathew; Igor Mezic; Alessandro Pinto; Tuhin Sahai; Harshad S. Sane; Alberto Speranzon; Amit Surana (Annu. Rev. Control., 2011)

Iterative Methods for Scalable Uncertainty Quantification in Complex Networks - Amit Surana; Tuhin Sahai; Andrzej Banaszuk (CoRR, 2011)

An efficient algorithm for the parallel solution of high-dimensional differential equations. - Stefan Klus; Tuhin Sahai; Cong Liu; Michael Dellnitz (J. Comput. Appl. Math., 2011)

Hearing the clusters of a graph: A distributed algorithm. - Tuhin Sahai; Alberto Speranzon; Andrzej Banaszuk (Autom., 2012)

Mapping and Reducing the Brain on the Cloud - Esha Sahai; Tuhin Sahai (CoRR, 2012)

A Traveling Salesman Learns Bayesian Networks - Tuhin Sahai; Stefan Klus; Michael Dellnitz (CoRR, 2012)

Efficient tracking and pursuit of moving targets by heuristic solution of the traveling salesman problem. - Brendan J. Englot; Tuhin Sahai; Isaac Cohen (CDC, 2013)

Polynomial chaos based uncertainty quantification in Hamiltonian and chaotic systems. - Jose Miguel Pasini; Tuhin Sahai (CDC, 2013)

Uncertainty quantification in hybrid dynamical systems. - Tuhin Sahai; Jose Miguel Pasini (J. Comput. Phys., 2013)

A Spectral Assignment Approach for the Graph Isomorphism Problem. - Stefan Klus; Tuhin Sahai (CoRR, 2014)

A Chaotic Dynamical System that Paints. - Tuhin Sahai; George Mathew; Amit Surana (CoRR, 2015)

On Learning Sparse Boolean Formulae for Explaining AI Decisions. - Susmit Jha; Vasumathi Raman; Alessandro Pinto; Tuhin Sahai; Michael Francis (NFM, 2017)

TeLEx: Passive STL Learning Using Only Positive Examples. - Susmit Jha; Ashish Tiwari 001; Sanjit A. Seshia; Tuhin Sahai; Natarajan Shankar (RV, 2017)

Continuous Relaxations for the Traveling Salesman Problem. - Tuhin Sahai; Stefan Klus; Michael Dellnitz (CoRR, 2017)

Spectral Complexity of Directed Graphs and Application to Structural Decomposition. - Igor Mezic; Vladimir A. Fonoberov; Maria Fonoberova; Tuhin Sahai (Complex., 2019)

TeLEx: learning signal temporal logic from positive examples using tightness metric. - Susmit Jha; Ashish Tiwari 001; Sanjit A. Seshia; Tuhin Sahai; Natarajan Shankar (Formal Methods Syst. Des., 2019)

Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. - Susmit Jha; Tuhin Sahai; Vasumathi Raman; Alessandro Pinto; Michael Francis (J. Autom. Reason., 2019)

Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms. - Tuhin Sahai; Anurag Mishra; Jose Miguel Pasini; Susmit Jha (AAAI, 2020)

Dynamical Systems Theory and Algorithms for NP-hard Problems. - Tuhin Sahai (CoRR, 2020)

Talaria: A Framework for Simulation of Permissioned Blockchains for Logistics and Beyond. - Jiali Xing; David Fischer; Nitya Labh; Ryan Piersma; Benjamin C. Lee; Yu Amy Xia; Tuhin Sahai; Vahid Tarokh (CoRR, 2021)

Computing eigenfunctions of the multidimensional Ornstein-Uhlenbeck operator. - Benjamin J. Zhang; Tuhin Sahai; Youssef M. Marzouk (CoRR, 2021)

Post Quantum Secure Command and Control of Mobile Agents Inserting Quantum-Resistant Encryption Schemes in the Secure Robot Operating System. - Richa Varma; Chris Melville; Claudio Pinello; Tuhin Sahai (Int. J. Semantic Comput., 2021)

A Dynamic Mode Decomposition Approach for Decentralized Spectral Clustering of Graphs. - Hongyu Zhu; Stefan Klus; Tuhin Sahai (CCTA, 2022)

Carleman linearization based efficient quantum algorithm for higher order polynomial differential equations. - Amit Surana; Abeynaya Gnanasekaran; Tuhin Sahai (CoRR, 2022)

A Koopman framework for rare event simulation in stochastic differential equations. - Benjamin J. Zhang; Tuhin Sahai; Youssef M. Marzouk (J. Comput. Phys., 2022)

Efficient Quantum Algorithms for Nonlinear Stochastic Dynamical Systems. - Abeynaya Gnanasekaran; Amit Surana; Tuhin Sahai (QCE, 2023)

math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories. - Hassen Saïdi; Susmit Jha; Tuhin Sahai (CoRR, 2023)

On the Emergence of Ergodic Dynamics in Unique Games. - Tuhin Sahai; Abeynaya Gnanasekaran (CoRR, 2024)

Accelerating Spectral Clustering on Quantum and Analog Platforms. - Xingzi Xu; Tuhin Sahai (CoRR, 2024)

An efficient quantum algorithm for simulating polynomial dynamical systems. - Amit Surana; Abeynaya Gnanasekaran; Tuhin Sahai (Quantum Inf. Process., 2024)

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations. - Chandra Kanth Nagesh; Sriram Sankaranarayanan 001; Ramneet Kaur; Tuhin Sahai; Susmit Jha (NeuS, 2025)

Optimal Control for Transformer Architectures: Enhancing Generalization, Robustness and Efficiency. - Kelvin Kan; Xingjian Li 005; Benjamin J. Zhang; Tuhin Sahai; Stanley J. Osher; Markos A. Katsoulakis (CoRR, 2025)

Discovering Algorithms with Computational Language Processing. - Théo Bourdais; Abeynaya Gnanasekaran; Houman Owhadi; Tuhin Sahai (CoRR, 2025)