Author

Alok Kumar Jain

Observed names: A Jain, A. Jain, A.K. Jain, Alok Jain, Alok Jain*, Jain, Alok

Institution: Pandit Deendayal Energy University

Observed institutions: Boise State University, Solid State Physics Laboratory, Thapar Institute of Engineering & Technology, Pandit Deendayal Energy University, Applied Materials (Singapore), Cadence Design Systems (India), Indian Institute of Technology BHU, University of Cincinnati, Cadence Design Systems (United States), Carnegie Mellon University, Indian Institute of Technology Kanpur

ORCID: 0000-0001-9465-6884

Observed ORCID: 0000-0001-9465-6884

OpenAlex ID: A5051011002

An Interactive Simulation Tool for Complex Multilayer Dielectric Devices

2011 · R G Southwick, A Sup, et al. · IEEE Transactions on Device and Materials Reliability · 77

Operating modes of grid integrated PV-solar based electric vehicle charging system- a comprehensive review

2024 · Alok Jain, Suman Bhullar · e-Prime - Advances in Electrical Engineering Electronics and Energy · 60

A 300 MHz 64 b quad-issue CMOS RISC microprocessor

2002 · W.J. Bowhill, R.L. Allmon, et al. · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · 54

Formal verification of an ARM processor

1999 · V.A. Patankar, A. Jain, et al. · International Conference on VLSI Design · 37

A hardware-software co-simulator for embedded system design and debugging

1995 · A. Ghosh, M. Bershteyn, et al. · Asia and South Pacific Design Automation Conference (ASP-DAC) · 27

Design and performance analysis of solar PV-battery energy storage system integration with three-phase grid

2025 · Alok Jain, Suman Bhullar · Journal of Power Sources · 25

Formal hardware verification by symbolic trajectory evaluation

1997 · Randal E. Bryant, Alok Jain · 25

Efficient modeling of memory arrays in symbolic simulation

1997 · Miroslav Velev, Randal E. Bryant, et al. · Lecture notes in computer science · 25

A 433 MHz 64 b quad issue RISC microprocessor

2002 · P.E. Gronowski, P. Bannon, et al. · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · 22

Formal Verification of a Superscalar Execution Unit

1997 · K.L. Nelson, A. Jain, et al. · ACM/IEEE Design Automation Conference (DAC) · 21

AI-driven wearable health devices with health-aware control and secure Prognostics: Experimental and Simulation-Based Validation

2025 · Alok Jain, Suman Bhullar · Array · 19

Shallow Trench Isolation for the 45-nm CMOS Node and Geometry Dependence of STI Stress on CMOS Device Performance

2007 · Armin T. Tilke, Chris Stapelmann, et al. · IEEE Transactions on Semiconductor Manufacturing · 19

An extensive analysis of power converter architectures for grid-connected solar photovoltaic driven electric vehicles (EVs)

2024 · Alok Jain, Suman Bhullar · Engineering Science and Technology an International Journal · 17

Micro-phasor Measurement Units (μPMUs) and Its Applications in Smart Distribution Systems

2018 · Alok Jain, Suman Bhullar · Lecture notes in electrical engineering · 17

Development of DFT Based MATLAB and LABVIEW Models for Phasor Measurements

2016 · Alok Jain, M. K. Verma · International Journal of Information and Electronics Engineering · 17

PDF

Inverter minimization in multi-level logic networks

1993 · Alok Jain, Randal E. Bryant · 14

Grid-Tied Solar Integrated Electric Vehicle Charging System with Advanced LMS Control

2024 · Alok Jain, Suman Bhullar · Journal of Electrical Engineering and Technology · 13

Automatic Clock Abstraction from Sequential Circuits

1995 · Samir Jain, Randal E. Bryant, et al. · ACM/IEEE Design Automation Conference (DAC) · 12

Online management and assessment of power quality issues through smart metering in smart grid architecture

2022 · Alok Jain, Suman Bhullar · Energy Reports · 11

Changes & challenges in smart grid towards smarter grid

2016 · Alok Jain, Rahul Mishra · IEEE International Conference on Electrical Power and Energy Systems (ICEPES) · 11

Verifying nondeterministic implementations of deterministic systems

1996 · Alok Jain, Kyle Nelson, et al. · Lecture notes in computer science · 11

A 100-MHz macropipelined VAX microprocessor

1992 · R.W. Badeau, R.I. Bahar, et al. · IEEE Journal of Solid-State Circuits · 11

Extraction of finite state machines from transistor netlists by symbolic simulation

2002 · M. Pandey, A. Jain, et al. · IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD) · 9

A 100 MHz macropipelined CISC CMOS microprocessor

2003 · R. Badeau, R.I. Bahar, et al. · Digest of technical papers/Digest of technical papers - IEEE International Solid-State Circuits Conference · 8

Mapping switch-level simulation onto gate-level hardware accelerators

1991 · Alok Jain, Randal E. Bryant · ACM/IEEE Design Automation Conference (DAC) · 8

PDF

Works count: 65

Citation count: 637

H-index: 15

I10-index: 22