Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels. - Jay Thakkar; Aditya Kanade 001; Rajeev Alur (FMOODS/FORTE, 2013)

Non-deterministic transducer models of retransmission protocols over noisy channels. - Jay Thakkar; Aditya Kanade 001 (Inf. Process. Lett., 2015)

SMT-Based Verification of Safety-Critical Embedded Control Software. - Sunandan Adhikary; Amit Gurung; Jay Thakkar; Antonio Anastasio Bruto da Costa; Soumyajit Dey; Aritra Hazra; Pallab Dasgupta (IEEE Embed. Syst. Lett., 2021)

Computational Thinking Based STEM Art Exhibits. - Jay Thakkar; Manish Jain (CMSC, 2024)

Online Making-Based Learning at Scale: Towards Equity in STEM Learning. - Deeksha Gautam; Aditi Kothiyal; Rashmi Sheoran; Neha Garg; Adithi Iyer; Ashutosh Bhakuni; Jay Thakkar; Jyothi Krishnan; Manish Jain (ICCE, 2024)

Optimizing Energy Management in Smart Grids: A Hybrid Approach to Load Forecasting. - Nilkanth Mukund Deshpande; Jay Thakkar; Varshilkumar Hasmukhbhai Prajapati; Mrugank Gandhi; Shrikrishna Kolhar; Shilpa Gite (PACIS, 2025)

Cardiorespiratory dynamics in the brain: Review on the significance of cardiovascular and respiratory correlates in functional MRI signal. - Mahathi Kandimalla; Seokbeen Lim; Jay Thakkar; Sannidhi Dewan; Daehun Kang; Myung-Ho In; Hang Joon Jo; Dong Pyo Jang; Zuzana Nedelska; Maria I. Lapid; Yunhong Shu; Cheon-Pyung; et al. (NeuroImage, 2025)