Word level predicate abstraction and refinement for verifying RTL verilog. - Himanshu Jain; Daniel Kroening; Natasha Sharygina; Edmund M. Clarke (DAC, 2005)

Localization and Register Sharing for Predicate Abstraction. - Himanshu Jain; Franjo Ivancic; Aarti Gupta; Malay K. Ganai (TACAS, 2005)

Grand Challenge: Model Check Software. - Edmund M. Clarke; Himanshu Jain; Nishant Sinha 001 (VISSAS, 2005)

Model Checking: Back and Forth between Hardware and Software. - Edmund M. Clarke; Anubhav Gupta 001; Himanshu Jain; Helmut Veith (VSTTE, 2005)

Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. - Himanshu Jain; Franjo Ivancic; Aarti Gupta; Ilya Shlyakhter; Chao Wang 001 (CAV, 2006)

Satisfiability Checking of Non-clausal Formulas Using General Matings. - Himanshu Jain; Constantinos Bartzis; Edmund M. Clarke (SAT, 2006)

VCEGAR: Verilog CounterExample Guided Abstraction Refinement. - Himanshu Jain; Daniel Kroening; Natasha Sharygina; Edmund M. Clarke (TACAS, 2007)

Verification of SpecC using predicate abstraction. - Edmund M. Clarke; Himanshu Jain; Daniel Kroening (Formal Methods Syst. Des., 2007)

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. - Himanshu Jain; Daniel Kroening; Natasha Sharygina; Edmund M. Clarke (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts. - Himanshu Jain; Edmund M. Clarke (DAC, 2009)

Solver technology for system-level to RTL equivalence checking. - Alfred Kölbl; Reily Jacoby; Himanshu Jain; Carl Pixley (DATE, 2009)

Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. - Himanshu Jain; Edmund M. Clarke; Orna Grumberg (Formal Methods Syst. Des., 2009)

Detection and Severity Classification of Rotor Imbalance Faults in Induction Machines. - Himanshu Jain; Suratsavadee Korkua; Wei-Jen Lee; Chiman Kwan (IAS, 2010)

Design of tensegrity structures using parametric analysis and stochastic search. - Landolf Rhode-Barbarigos; Himanshu Jain; Prakash Kripakaran; Ian F. C. Smith (Eng. Comput., 2010)

Parent to Mean-Centric Self-Adaptation in SBX Operator for Real-Parameter Optimization. - Himanshu Jain; Kalyanmoy Deb (SEMCCO (1), 2011)

Handling many-objective problems using an improved NSGA-II procedure. - Kalyanmoy Deb; Himanshu Jain (IEEE Congress on Evolutionary Computation, 2012)

An Improved Adaptive Approach for Elitist Nondominated Sorting Genetic Algorithm for Many-Objective Optimization. - Himanshu Jain; Kalyanmoy Deb (EMO, 2013)

e-contract enactment system for effective e-governance. - Himanshu Jain; P. Radha Krishna 001; Kamalakar Karlapalem (ICEGOV, 2013)

Analysis of Chaos in Double Pendulum. - Himanshu Jain; Ashish Ranjan; Kshitij Gupta (ICETET, 2013)

Plug-In Electric Vehicles - Distribution system impacts and high level screening methodologies for calculating costs and benefits. - Himanshu Jain; Kiran Kumaraswamy; Rakesh N. Maurya (ISGT, 2014)

An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point-Based Nondominated Sorting Approach, Part I: Solving Problems With Box Constraints. - Kalyanmoy Deb; Himanshu Jain (IEEE Trans. Evol. Comput., 2014)

An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point Based Nondominated Sorting Approach, Part II: Handling Constraints and Extending to an Adaptive Approach. - Himanshu Jain; Kalyanmoy Deb (IEEE Trans. Evol. Comput., 2014)

Sparse Local Embeddings for Extreme Multi-label Classification. - Kush Bhatia; Himanshu Jain; Purushottam Kar; Manik Varma; Prateek Jain 002 (NIPS, 2015)

Locally Non-linear Embeddings for Extreme Multi-label Learning. - Kush Bhatia; Himanshu Jain; Purushottam Kar; Prateek Jain 002; Manik Varma (CoRR, 2015)

Three-Phase Dynamics Simulation of Power Systems Using Combined Transmission and Distribution System Models. - Himanshu Jain; Abhineet Parchure; Robert P. Broadwater; Murat Dilek; Jeremy Woyak (CoRR, 2015)

HS-Nets: Estimating Human Body Shape from Silhouettes with Convolutional Neural Networks. - Endri Dibra; Himanshu Jain; A. Cengiz Öztireli; Remo Ziegler; Markus H. Gross (3DV, 2016)

Context-Aware Workflow Execution Engine for E-Contract Enactment. - Himanshu Jain; P. Radha Krishna 001; Kamalakar Karlapalem (ER, 2016)

FPGA based hardware implementation of automatic vehicle license plate detection system. - Surbhi Chhabra; Himanshu Jain; Sandeep Saini (ICACCI, 2016)

Extreme Multi-label Loss Functions for Recommendation, Tagging, Ranking & Other Missing Label Applications. - Himanshu Jain; Yashoteja Prabhu; Manik Varma (KDD, 2016)

Integrated Transmission & Distribution System Modeling and Analysis: Need & Advantages. - Himanshu Jain; Kaveh Rahimi; Ahmad Tbaileh; Robert P. Broadwater; Akshay Kumar Jain; Murat Dilek (CoRR, 2016)

Human Shape from Silhouettes Using Generative HKS Descriptors and Cross-Modal Neural Networks. - Endri Dibra; Himanshu Jain; A. Cengiz Öztireli; Remo Ziegler; Markus H. Gross (CVPR, 2017)

Hardware implementation of k-means clustering based spectrum sensing using usrp in a cognitive radio system. - Anirudh Agarwal; Himanshu Jain; Ranjan Gangopadhyay; Soumitra Debnath (ICACCI, 2017)

A bottom up procedure for text line segmentation of latin script. - Himanshu Jain; Archana Praveen Kumar (ICACCI, 2017)

A Sequential Thinning Algorithm For Multi-Dimensional Binary Patterns. - Himanshu Jain (CoRR, 2017)

Equivalent Test Bed in PSCAD and PSLF for Studying Advanced Power Systems Controller Performance. - Reetam Sen Biswas; Jin Tan; Himanshu Jain; Vahan Gevorgian; Yingchen Zhang (ISGT, 2019)

Evaluating the Impact of Price-Responsive Load on Power Systems Using Integrated T&D Simulation. - Himanshu Jain; Bryan Palmintier; Dheepak Krishnamurthy; Ibrahim Krad; Elaine T. Hale (ISGT, 2019)

Slice: Scalable Linear Extreme Classifiers Trained on 100 Million Labels for Related Searches. - Himanshu Jain; Venkatesh Balasubramanian; Bhanu Chunduri; Manik Varma (WSDM, 2019)

Semantic Label Smoothing for Sequence to Sequence Problems. - Michal Lukasik; Himanshu Jain; Aditya Krishna Menon; Seungyeon Kim 001; Srinadh Bhojanapalli; Felix X. Yu; Sanjiv Kumar (EMNLP (1), 2020)

Adversarial robustness via robust low rank representations. - Pranjal Awasthi; Himanshu Jain; Ankit Singh Rawat; Aravindan Vijayaraghavan (NeurIPS, 2020)

Fast and Efficient Decision-Based Attack for Deep Neural Network on Edge. - Himanshu Jain; Sakshi Rathore; T. P. Abdul Rahoof; Vivek Chaturvedi; Satyajit Das (SiPS, 2020)

Long-tail learning via logit adjustment. - Aditya Krishna Menon; Sadeep Jayasumana; Ankit Singh Rawat; Himanshu Jain; Andreas Veit; Sanjiv Kumar (ICLR, 2021)

MAPLE -MAsking words to generate blackout Poetry using sequence-to-sequence LEarning. - Aditeya Baral; Himanshu Jain; Deeksha D; Mamatha H. R (ICNLSP, 2021)

DeepXML: A Deep Extreme Multi-Label Learning Framework Applied to Short Text Documents. - Kunal Dahiya; Deepak Saini; Anshul Mittal; Ankush Shaw; Kushal Dave 001; Akshay Soni; Himanshu Jain; Sumeet Agarwal; Manik Varma (WSDM, 2021)

Eigen Analysis of Self-Attention and its Reconstruction from Partial Computation. - Srinadh Bhojanapalli; Ayan Chakrabarti; Himanshu Jain; Sanjiv Kumar; Michal Lukasik; Andreas Veit (CoRR, 2021)

Leveraging redundancy in attention with Reuse Transformers. - Srinadh Bhojanapalli; Ayan Chakrabarti; Andreas Veit; Michal Lukasik; Himanshu Jain; Frederick Liu; Yin-Wen Chang; Sanjiv Kumar (CoRR, 2021)

Grid-Supportive Loads - A New Approach to Increasing Renewable Energy in Power Systems. - Himanshu Jain; Barry Mather; Akshay Kumar Jain; Samuel F. Baldwin (IEEE Trans. Smart Grid, 2022)

Formal Verification of Floating-Point Division. - Ashish Kapoor; Warren E. Ferguson; Himanshu Jain; Sudipta Kundu (ARITH, 2023)

Treeformer: Dense Gradient Trees for Efficient Attention Computation. - Lovish Madaan; Srinadh Bhojanapalli; Himanshu Jain; Prateek Jain 002 (ICLR, 2023)

Teacher Guided Training: An Efficient Framework for Knowledge Transfer. - Manzil Zaheer; Ankit Singh Rawat; Seungyeon Kim 001; Chong You; Himanshu Jain; Andreas Veit; Rob Fergus; Sanjiv Kumar (ICLR, 2023)

SpecTr: Fast Speculative Decoding via Optimal Transport. - Ziteng Sun; Ananda Theertha Suresh; Jae Hun Ro; Ahmad Beirami; Himanshu Jain; Felix X. Yu (NeurIPS, 2023)

Mathematical model of the tumor cells' population growth. - Nishant Namdev; Himanshu Jain; Arvind Kumar Sinha (Netw. Model. Anal. Health Informatics Bioinform., 2023)

Modeling the effect of Wolbachia to control malaria transmission. - Himanshu Jain; Arvind Kumar Sinha (Expert Syst. Appl., 2023)

PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Sudipta Kundu; Himanshu Jain (DATE, 2024)

Efficient Document Ranking with Learnable Late Interactions. - Ziwei Ji; Himanshu Jain; Andreas Veit; Sashank J. Reddi; Sadeep Jayasumana; Ankit Singh Rawat; Aditya Krishna Menon; Felix X. Yu; Sanjiv Kumar (CoRR, 2024)

Improving hp-Variational Physics-Informed Neural Networks for Steady-State Convection-Dominated Problems. - Thivin Anandh; Divij Ghose; Himanshu Jain; Pratham Sunkad; Sashikumaar Ganesan; Volker John (CoRR, 2024)

Mathematical model of mixed invasive ductal and lobular breast cancer. - Himanshu Jain; Arvind Kumar Sinha (Netw. Model. Anal. Health Informatics Bioinform., 2024)

Efficient and Asymptotically Unbiased Constrained Decoding for Large Language Models. - Haotian Ye; Himanshu Jain; Chong You; Ananda Theertha Suresh; Haowei Lin; James Zou 001; Felix X. Yu (AISTATS, 2025)

SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Himanshu Jain; Sudipta Kundu (ASP-DAC, 2025)

PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification. - Sourav Das; Aritra Hazra; Pallab Dasgupta; Himanshu Jain; Sudipta Kundu (VLSID, 2025)

FastVPINNs: Tensor-Driven Acceleration of VPINNs for Complex Geometries. - Thivin Anandh; Divij Ghose; Himanshu Jain; Sashikumaar Ganesan (SIAM J. Sci. Comput., 2025)

Automated Fast Frequency Response From Inverter-Based Motor Loads. - Zarka Mirza; Himanshu Jain (IEEE Trans. Smart Grid, 2025)