| 2023 | ICRA | METEOR: A Dense, Heterogeneous, and Unstructured Traffic Dataset with Rare Behaviors. | Rohan Chandra, Xijun Wang, Mridul Mahajan, Rahul Kala, Rishitha Palugulla, Chandrababu Naidu, Alok Jain, Dinesh Manocha |
| 2018 | COMSNETS | Efficient proactive caching in storage constrained 5G small cells. | Samir Kumar Mishra, Puneet Pandey, Prince Arya, Alok Jain |
| 2018 | WCNC | Efficient polar coded spatial multiplexing. | Samir Kumar Mishra, Prince Arya, Alok Jain, Puneet Pandey |
| 2016 | ICCCI | Automatic Detection of Fetal Abnormality Using Head and Abdominal Circumference. | Vidhi Rawat, Alok Jain, Vibhakar Shrimali, Abhishek Rawat |
| 2010 | FMCAD | Formal verification of an ASIC ethernet switch block. | B. A. Krishna, Anamaya Sullerey, Alok Jain |
| 2007 | VLSID | Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. | Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain |
| 1999 | VLSID | Formal Verification of an ARM Processor. | Vishnu A. Patankar, Alok Jain, Randal E. Bryant |
| 1997 | CAV | Efficient Modeling of Memory Arrays in Symbolic Simulation. | Miroslav N. Velev, Randal E. Bryant, Alok Jain |
| 1997 | DAC | Formal Verification of a Superscalar Execution Unit. | Kyle L. Nelson, Alok Jain, Randal E. Bryant |
| 1996 | FMCAD | Verifying Nondeterministic Implementations of Deterministic Systems. | Alok Jain, Kyle L. Nelson, Randal E. Bryant |
| 1995 | DAC | Automatic Clock Abstraction from Sequential Circuits. | Samir Jain, Randal E. Bryant, Alok Jain |
| 1995 | ICCD | Extraction of finite state machines from transistor netlists by symbolic simulation. | Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain |
| 1993 | ICCAD | Inverter minimization in multi-level logic networks. | Alok Jain, Randal E. Bryant |
| 1991 | DAC | Mapping Switch-Level Simulation onto Gate-Level Hardware Accelerators. | Alok Jain, Randal E. Bryant |