| 2022 | COMAD | Probing TryOnGAN. | Saurabh Kumar, Nishant Sinha |
| 2021 | COMAD | Gestop: Customizable Gesture Control of Computer Systems. | Sriram S. K, Nishant Sinha |
| 2021 | COMAD | An Integrated Method for Realtime 2D Hand Pose Detection. | Nihal Rao, Nishant Sinha |
| 2021 | COMAD | Learn to Bind and Grow Neural Structures. | Azhar Shaikh, Nishant Sinha |
| 2021 | COMAD | Image Captioning with Pretrained Language Generators. | Saketh Vishnubhatla, Nishant Sinha |
| 2020 | DATE | Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations. | Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha |
| 2019 | MOBICOM | Poster: In-situ Water-Quality Monitoring System through Ultraviolet Sensing Using Off-the-Shelf Cameras. | Nishant Sinha, Ashwin Ashok |
| 2017 | SMC | Deep learning-based classification for brain-computer interfaces. | John Thomas, Tomasz Maszczyk, Nishant Sinha, Tilmann Kluge, Justin Dauwels |
| 2016 | ICSE | Type-aware concolic testing of JavaScript programs. | Monika Dhok, Murali Krishna Ramanathan, Nishant Sinha |
| 2016 | SMC | EEG hyperscanning study of inter-brain synchrony during cooperative and competitive interaction. | Nishant Sinha, Tomasz Maszczyk, Zhang Wanxuan, Jonathan Tan, Justin Dauwels |
| 2015 | TACAS | Commutativity of Reducers. | Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang |
| 2014 | FMCAD | Efficient verification of periodic programs using sequential consistency and snapshots. | Sagar Chaki, Arie Gurfinkel, Nishant Sinha |
| 2014 | SMC | Development of optimal stimuli in a heterogeneous model of epileptic spike-wave oscillations. | Nishant Sinha, Peter Neal Taylor, Justin Dauwels, Justin Ruths |
| 2013 | ICSE | Guided test generation for web applications. | Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra |
| 2012 | CAV | Alternate and Learn: Finding Witnesses without Looking All over. | Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan |
| 2012 | CC | Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. | Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma |
| 2011 | POPL | On interference abstractions. | Nishant Sinha, Chao Wang |
| 2010 | FMCAD | Scalable and precise program analysis at NEC. | Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang |
| 2010 | FMCAD | Modular bug detection with inertial refinement. | Nishant Sinha |
| 2010 | ICARCV | Active sway control of a single pendulum gantry crane system using output-delayed feedback control technique. | Rajeeb Dey, Nishant Sinha, Priyanka Chaubey, Sandip Ghosh, Goshaidas Ray |
| 2008 | FMCAD | Symbolic Program Analysis Using Term Rewriting and Generalization. | Nishant Sinha |
| 2007 | CAV | SAT-Based Compositional Verification Using Lazy Learning. | Nishant Sinha, Edmund M. Clarke |
| 2006 | CAV | Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions. | Vineet Kahlon, Aarti Gupta, Nishant Sinha |
| 2006 | FMCAD | Assume-Guarantee Reasoning for Deadlock. | Sagar Chaki, Nishant Sinha |
| 2005 | CAV | Automated Assume-Guarantee Reasoning for Simulation Conformance. | Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati |
| 2005 | FM | Dynamic Component Substitutability Analysis. | Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha |
| 2004 | CAV | Range Allocation for Separation Logic. | Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli |
| 2004 | IFM | State/Event-Based Software Model Checking. | Sagar Chaki, Edmund M. Clarke, Jol Ouaknine, Natasha Sharygina, Nishant Sinha |
| 2002 | VLSID | Synthesis of High Performance Low Power Dynamic CMOS Circuits. | Debasis Samanta, Nishant Sinha, Ajit Pal |