Mapping Switch-Level Simulation onto Gate-Level Hardware Accelerators. - Alok Jain; Randal E. Bryant (DAC, 1991)

Inverter minimization in multi-level logic networks. - Alok Jain; Randal E. Bryant (ICCAD, 1993)

Automatic Clock Abstraction from Sequential Circuits. - Samir Jain; Randal E. Bryant; Alok Jain (DAC, 1995)

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 (ICCD, 1995)

Verifying Nondeterministic Implementations of Deterministic Systems. - Alok Jain; Kyle L. Nelson; Randal E. Bryant (FMCAD, 1996)

Efficient Modeling of Memory Arrays in Symbolic Simulation. - Miroslav N. Velev; Randal E. Bryant; Alok Jain (CAV, 1997)

Formal Verification of a Superscalar Execution Unit. - Kyle L. Nelson; Alok Jain; Randal E. Bryant (DAC, 1997)

Formal Verification of an ARM Processor. - Vishnu A. Patankar; Alok Jain; Randal E. Bryant (VLSI Design, 1999)

An improved and simplified design of cosine-modulated pseudo-QMF filterbanks. - Alok Jain; Rajiv Saxena; S. C. Saxena (Digit. Signal Process., 2006)

Anti-image FIR filters for large interpolation factors. - Alok Jain; Rajiv Saxena; S. C. Saxena (Signal Process., 2006)

Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. - Praveen Tiwari; Raj S. Mitra; Manu Chopra; Alok Jain (VLSI Design, 2007)

Formal verification of an ASIC ethernet switch block. - B. A. Krishna; Anamaya Sullerey; Alok Jain (FMCAD, 2010)

Investigation and Assessment of Disorder of Ultrasound B-mode Images - Vidhi Rawat; Alok Jain; Vibhakar Shrimali (CoRR, 2010)

An improved and simplified design of pseudo-transmultiplexer using Blackman window family. - Ram Kumar Soni; Alok Jain; Rajiv Saxena (Digit. Signal Process., 2010)

Design of NPR-Type Cosine Modulated Filterbank Using Combinational Window Functions. - Ram Kumar Soni; Alok Jain; Rajiv Saxena (Int. J. Commun. Netw. Syst. Sci., 2010)

Design of M-Band NPR Cosine-Modulated Filterbank Using IFIR Technique. - Ram Kumar Soni; Alok Jain; Rajiv Saxena (J. Signal Inf. Process., 2010)

Design of Kaiser window based optimized prototype filter for cosine modulated filter banks. - Ashutosh Datar; Alok Jain; Pramod Chandra Sharma (Signal Process., 2010)

Liveness vs Safety - A Practical Viewpoint. - B. A. Krishna; Jonathan Michelson; Vigyan Singhal; Alok Jain (Haifa Verification Conference, 2011)

Analysis and Assessment of Ultrasound Images for Fetal Biometry Using Morphological Operators. - Vidhi Rawat; Alok Jain; Vibhakar Shrimali (IICAI, 2011)

Dynamics of Noncovalent Interactions in All-α and All-β Class Proteins: Implications for the Stability of Amyloid Aggregates. - Alok Jain; Ramasubbu Sankararamakrishnan (J. Chem. Inf. Model., 2011)

An optimized transmultiplexer using combinational window functions. - Ram Kumar Soni; Alok Jain; Rajiv Saxena (Signal Image Video Process., 2011)

Adaptive Fusion Based Hybrid Denoising Method for Texture Images. - Preety D. Swami; Alok Jain (ACITY (2), 2012)

Design and performance analysis of adjustable window functions based cosine modulated filter banks. - Ashutosh Datar; Alok Jain; Pramod Chandra Sharma (Digit. Signal Process., 2013)

Image denoising by supervised adaptive fusion of decomposed images restored using wave atom, curvelet and wavelet transform. - Preety D. Swami; Alok Jain (Signal Image Video Process., 2014)

Application of convolved hanning window in designing filterbanks with reduced aliasing error. - Shilpa Datar; Alok Jain (ICSIPA, 2015)

Speech enhancement by noise driven adaptation of perceptual scales and thresholds of continuous wavelet transform coefficients. - Preety D. Swami; Rupali Sharma; Alok Jain; Dhirendra K. Swami (Speech Commun., 2015)

Automatic Detection of Fetal Abnormality Using Head and Abdominal Circumference. - Vidhi Rawat; Alok Jain; Vibhakar Shrimali; Abhishek Rawat (ICCCI (2), 2016)

Efficient proactive caching in storage constrained 5G small cells. - Samir Kumar Mishra; Puneet Pandey; Prince Arya; Alok Jain (COMSNETS, 2018)

Efficient polar coded spatial multiplexing. - Samir Kumar Mishra; Prince Arya; Alok Jain; Puneet Pandey (WCNC, 2018)

Log Likelihood Ratio Based Relay Selection Scheme for Amplify and Forward Relaying with Three State Markov Channel. - Manish Sahajwani; Alok Jain; Radheshyam Gamad (Future Internet, 2018)

Performance Analysis of Different Learning Algorithms of Feed Forward Neural Network Regarding Fetal Abnormality Detection. - Vidhi Rawat; Alok Jain; Vibhakar Shrimali; Sammer Raghuvanshi (Trans. Comput. Collect. Intell., 2018)

EncoderMap(II): Visualizing Important Molecular Motions with Improved Generation of Protein Conformations. - Tobias Lemke; Andrej Berg; Alok Jain; Christine Peter (J. Chem. Inf. Model., 2019)

METEOR: A Massive Dense & Heterogeneous Behavior Dataset for Autonomous Driving. - Rohan Chandra; Mridul Mahajan; Rahul Kala; Rishitha Palugulla; Chandrababu Naidu; Alok Jain; Dinesh Manocha (CoRR, 2021)

Structural basis of Omicron immune evasion: A comparative computational study. - Darshan Contractor; Christoph Globisch; Shiv Swaroop; Alok Jain (Comput. Biol. Medicine, 2022)

Knowledge-driven design and optimization of potent symmetric anticancer molecules: A case study on PKM2 activators. - Eshika Jaiswal; Christoph Globisch; Alok Jain (Comput. Biol. Medicine, 2022)

METEOR: A Dense, Heterogeneous, and Unstructured Traffic Dataset with Rare Behaviors. - Rohan Chandra; Xijun Wang 002; Mridul Mahajan; Rahul Kala; Rishitha Palugulla; Chandrababu Naidu; Alok Jain; Dinesh Manocha (ICRA, 2023)

Leveraging Deep Learning Architectures for Accurate Wind Speed and Power Prediction in Renewable Energy Systems. - V. Alekhya; R. J. Anandhi; Alok Jain; Navya Gupta; S. Vikram Singh; Rowsonara Begum (IC3I, 2024)

Revolutionizing Internet of Things with Blockchain for Enhanced Security and Data Management. - G. Anitha; K. Gopal; Alok Jain; Rafal Emad; Nagarjuna Thandra; Preeti Tewari (IC3I, 2024)

Synergizing Blockchain with Big Data for Improved Data Integrity and Transparency. - M. Hari Krishna; Hemanth Raju; Alok Jain; Taqi Mohammed Khattab Al-Rubaye; Nagarjuna Thandra; Preeti Tewari (IC3I, 2024)

Computer Vision and Its Algorithmic Evolution in Image Understanding. - B. S. Smitha; Alok Jain; D. Sreenivasulu; Saurabh Sharma; B. Ravali Reddy; Taqi Mohammed Khattab Al-Rubaye (IC3I, 2024)

Advanced Hybrid Intelligence Framework for Scalable and Robust Big Data Analytics. - S. P. Sreeja; D. Sreenivasulu; Alok Jain; R. Akhilesh Reddy; Fatimah Dhari Jabbar; V. Keerthi (IC3I, 2024)

Analyzing Automatic Code Generation for Learning Models in Generative AI. - Alok Jain; P. William; Firas Tayseer Ayasrah; G. Prasanna Lakshmi; Tarun Dhar Diwan (SDS, 2024)

Learning Based on Generative AI With Image Synthesis and Data Augmentation Techniques. - Alok Jain; Dharmendra Kumar Roy; Firas Tayseer Ayasrah; P. William; G. Prasanna Lakshmi (SNAMS, 2024)

Fast and accurate ECG signal peaks detection using symbolic aggregate approximation. - Divya Jain; Rakesh Ranjan; Archana Sharma; Sanjaeev Narayan Sharma; Alok Jain (Multim. Tools Appl., 2024)

Performance analysis of LMS and LN-LMS adaptive control algorithms for grid-tied solar PV-based EV charging systems. - Alok Jain; Kaibalya Prasad Panda; Suman Bhullar (Comput. Electr. Eng., 2025)