default search action
Himanshu Jain
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Himanshu Jain
, Arvind Kumar Sinha
Mathematical model of mixed invasive ductal and lobular breast cancer. Netw. Model. Anal. Health Informatics Bioinform. 13(1): 28 (2024) - [c40]Sourav Das, Aritra Hazra, Pallab Dasgupta, Sudipta Kundu, Himanshu Jain:
PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification. DATE 2024: 1-6 - [i16]Thivin Anandh, Divij Ghose, Himanshu Jain, Sashikumaar Ganesan:
FastVPINNs: Tensor-Driven Acceleration of VPINNs for Complex Geometries. CoRR abs/2404.12063 (2024) - [i15]Ziwei Ji, Himanshu Jain, Andreas Veit, Sashank J. Reddi, Sadeep Jayasumana, Ankit Singh Rawat, Aditya Krishna Menon, Felix Yu, Sanjiv Kumar:
Efficient Document Ranking with Learnable Late Interactions. CoRR abs/2406.17968 (2024) - 2023
- [j9]Himanshu Jain
Modeling the effect of Wolbachia to control malaria transmission. Expert Syst. Appl. 221: 119769 (2023) - [j8]Nishant Namdev
Mathematical model of the tumor cells' population growth. Netw. Model. Anal. Health Informatics Bioinform. 12(1): 2 (2023) - [c39]Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu:
Formal Verification of Floating-Point Division. ARITH 2023: 93-96 - [c38]Lovish Madaan, Srinadh Bhojanapalli, Himanshu Jain, Prateek Jain:
Treeformer: Dense Gradient Trees for Efficient Attention Computation. ICLR 2023 - [c37]Manzil Zaheer, Ankit Singh Rawat, Seungyeon Kim, Chong You, Himanshu Jain, Andreas Veit, Rob Fergus, Sanjiv Kumar:
Teacher Guided Training: An Efficient Framework for Knowledge Transfer. ICLR 2023 - [c36]Ziteng Sun, Ananda Theertha Suresh, Jae Hun Ro, Ahmad Beirami, Himanshu Jain, Felix X. Yu:
SpecTr: Fast Speculative Decoding via Optimal Transport. NeurIPS 2023 - [i14]Ziteng Sun, Ananda Theertha Suresh, Jae Hun Ro, Ahmad Beirami, Himanshu Jain, Felix X. Yu:
SpecTr: Fast Speculative Decoding via Optimal Transport. CoRR abs/2310.15141 (2023) - 2022
- [j7]Himanshu Jain
Grid-Supportive Loads - A New Approach to Increasing Renewable Energy in Power Systems. IEEE Trans. Smart Grid 13(4): 2959-2972 (2022) - [i13]Manzil Zaheer, Ankit Singh Rawat, Seungyeon Kim, Chong You, Himanshu Jain, Andreas Veit, Rob Fergus, Sanjiv Kumar:
Teacher Guided Training: An Efficient Framework for Knowledge Transfer. CoRR abs/2208.06825 (2022) - [i12]Lovish Madaan, Srinadh Bhojanapalli, Himanshu Jain, Prateek Jain:
Treeformer: Dense Gradient Trees for Efficient Attention Computation. CoRR abs/2208.09015 (2022) - 2021
- [c35]Aditya Krishna Menon, Sadeep Jayasumana, Ankit Singh Rawat, Himanshu Jain, Andreas Veit, Sanjiv Kumar:
Long-tail learning via logit adjustment. ICLR 2021 - [c34]Aditeya Baral, Himanshu Jain, Deeksha D, Mamatha H. R:
MAPLE -MAsking words to generate blackout Poetry using sequence-to-sequence LEarning. ICNLSP 2021: 239-246 - [c33]Kunal Dahiya
DeepXML: A Deep Extreme Multi-Label Learning Framework Applied to Short Text Documents. WSDM 2021: 31-39 - [i11]Srinadh Bhojanapalli, Ayan Chakrabarti, Himanshu Jain, Sanjiv Kumar, Michal Lukasik, Andreas Veit:
Eigen Analysis of Self-Attention and its Reconstruction from Partial Computation. CoRR abs/2106.08823 (2021) - [i10]Srinadh Bhojanapalli, Ayan Chakrabarti, Andreas Veit, Michal Lukasik, Himanshu Jain, Frederick Liu, Yin-Wen Chang, Sanjiv Kumar:
Leveraging redundancy in attention with Reuse Transformers. CoRR abs/2110.06821 (2021) - [i9]Kunal Dahiya, Deepak Saini, Anshul Mittal, Ankush Shaw, Kushal Dave, Akshay Soni, Himanshu Jain, Sumeet Agarwal, Manik Varma:
DeepXML: A Deep Extreme Multi-Label Learning Framework Applied to Short Text Documents. CoRR abs/2111.06685 (2021) - 2020
- [c32]Michal Lukasik, Himanshu Jain, Aditya Krishna Menon, Seungyeon Kim, Srinadh Bhojanapalli, Felix X. Yu, Sanjiv Kumar:
Semantic Label Smoothing for Sequence to Sequence Problems. EMNLP (1) 2020: 4992-4998 - [c31]Pranjal Awasthi, Himanshu Jain, Ankit Singh Rawat, Aravindan Vijayaraghavan:
Adversarial robustness via robust low rank representations. NeurIPS 2020 - [c30]Himanshu Jain, Sakshi Rathore, T. P. Abdul Rahoof, Vivek Chaturvedi, Satyajit Das:
Fast and Efficient Decision-Based Attack for Deep Neural Network on Edge. SiPS 2020: 1-6 - [i8]Pranjal Awasthi, Himanshu Jain, Ankit Singh Rawat, Aravindan Vijayaraghavan:
Adversarial robustness via robust low rank representations. CoRR abs/2007.06555 (2020) - [i7]Aditya Krishna Menon, Sadeep Jayasumana, Ankit Singh Rawat, Himanshu Jain, Andreas Veit, Sanjiv Kumar:
Long-tail learning via logit adjustment. CoRR abs/2007.07314 (2020) - [i6]Michal Lukasik, Himanshu Jain, Aditya Krishna Menon, Seungyeon Kim, Srinadh Bhojanapalli, Felix X. Yu, Sanjiv Kumar:
Semantic Label Smoothing for Sequence to Sequence Problems. CoRR abs/2010.07447 (2020)
2010 – 2019
- 2019
- [c29]Reetam Sen Biswas
Equivalent Test Bed in PSCAD and PSLF for Studying Advanced Power Systems Controller Performance. ISGT 2019: 1-5 - [c28]Himanshu Jain, Bryan Palmintier
Evaluating the Impact of Price-Responsive Load on Power Systems Using Integrated T&D Simulation. ISGT 2019: 1-5 - [c27]Himanshu Jain, Venkatesh Balasubramanian, Bhanu Chunduri, Manik Varma:
Slice: Scalable Linear Extreme Classifiers Trained on 100 Million Labels for Related Searches. WSDM 2019: 528-536 - 2017
- [c26]Endri Dibra, Himanshu Jain, A. Cengiz Öztireli, Remo Ziegler, Markus H. Gross
Human Shape from Silhouettes Using Generative HKS Descriptors and Cross-Modal Neural Networks. CVPR 2017: 5504-5514 - [c25]Himanshu Jain, Archana Praveen Kumar
A bottom up procedure for text line segmentation of latin script. ICACCI 2017: 1182-1187 - [c24]Anirudh Agarwal
Hardware implementation of k-means clustering based spectrum sensing using usrp in a cognitive radio system. ICACCI 2017: 1772-1777 - [i5]Himanshu Jain:
A Sequential Thinning Algorithm For Multi-Dimensional Binary Patterns. CoRR abs/1710.03025 (2017) - [i4]Himanshu Jain, Archana Praveen Kumar:
A Bottom Up Procedure for Text Line Segmentation of Latin Script. CoRR abs/1710.03027 (2017) - 2016
- [c23]Endri Dibra, Himanshu Jain, A. Cengiz Öztireli, Remo Ziegler, Markus H. Gross:
HS-Nets: Estimating Human Body Shape from Silhouettes with Convolutional Neural Networks. 3DV 2016: 108-117 - [c22]Himanshu Jain, P. Radha Krishna, Kamalakar Karlapalem:
Context-Aware Workflow Execution Engine for E-Contract Enactment. ER 2016: 293-301 - [c21]Surbhi Chhabra
FPGA based hardware implementation of automatic vehicle license plate detection system. ICACCI 2016: 1181-1187 - [c20]Himanshu Jain, Yashoteja Prabhu, Manik Varma:
Extreme Multi-label Loss Functions for Recommendation, Tagging, Ranking & Other Missing Label Applications. KDD 2016: 935-944 - [i3]Himanshu Jain, Kaveh Rahimi, Ahmad Tbaileh, Robert P. Broadwater, Akshay Kumar Jain, Murat Dilek:
Integrated Transmission & Distribution System Modeling and Analysis: Need & Advantages. CoRR abs/1606.01612 (2016) - 2015
- [c19]Kush Bhatia, Himanshu Jain, Purushottam Kar, Manik Varma, Prateek Jain:
Sparse Local Embeddings for Extreme Multi-label Classification. NIPS 2015: 730-738 - [i2]Himanshu Jain, Abhineet Parchure, Robert P. Broadwater, Murat Dilek, Jeremy Woyak:
Three-Phase Dynamics Simulation of Power Systems Using Combined Transmission and Distribution System Models. CoRR abs/1505.06225 (2015) - [i1]Kush Bhatia, Himanshu Jain, Purushottam Kar, Prateek Jain, Manik Varma:
Locally Non-linear Embeddings for Extreme Multi-label Learning. CoRR abs/1507.02743 (2015) - 2014
- [j6]Kalyanmoy Deb, Himanshu Jain:
An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point-Based Nondominated Sorting Approach, Part I: Solving Problems With Box Constraints. IEEE Trans. Evol. Comput. 18(4): 577-601 (2014) - [j5]Himanshu Jain, Kalyanmoy Deb:
An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point Based Nondominated Sorting Approach, Part II: Handling Constraints and Extending to an Adaptive Approach. IEEE Trans. Evol. Comput. 18(4): 602-622 (2014) - [c18]Himanshu Jain, Kiran Kumaraswamy, Rakesh N. Maurya:
Plug-In Electric Vehicles - Distribution system impacts and high level screening methodologies for calculating costs and benefits. ISGT 2014: 1-5 - 2013
- [c17]Himanshu Jain, Kalyanmoy Deb:
An Improved Adaptive Approach for Elitist Nondominated Sorting Genetic Algorithm for Many-Objective Optimization. EMO 2013: 307-321 - [c16]Himanshu Jain, P. Radha Krishna, Kamalakar Karlapalem:
e-contract enactment system for effective e-governance. ICEGOV 2013: 344-345 - [c15]Himanshu Jain, Ashish Ranjan, Kshitij Gupta:
Analysis of Chaos in Double Pendulum. ICETET 2013: 171-176 - 2012
- [c14]Kalyanmoy Deb, Himanshu Jain:
Handling many-objective problems using an improved NSGA-II procedure. IEEE Congress on Evolutionary Computation 2012: 1-8 - 2011
- [c13]Himanshu Jain, Kalyanmoy Deb:
Parent to Mean-Centric Self-Adaptation in SBX Operator for Real-Parameter Optimization. SEMCCO (1) 2011: 299-306 - 2010
- [j4]Landolf Rhode-Barbarigos
Design of tensegrity structures using parametric analysis and stochastic search. Eng. Comput. 26(2): 193-203 (2010) - [c12]Himanshu Jain, Suratsavadee Korkua, Wei-Jen Lee, Chiman Kwan
Detection and Severity Classification of Rotor Imbalance Faults in Induction Machines. IAS 2010: 1-8
2000 – 2009
- 2009
- [j3]Himanshu Jain, Edmund M. Clarke, Orna Grumberg:
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. Formal Methods Syst. Des. 35(1): 6-39 (2009) - [c11]Himanshu Jain, Edmund M. Clarke:
Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts. DAC 2009: 563-568 - [c10]Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley:
Solver technology for system-level to RTL equivalence checking. DATE 2009: 196-201 - 2008
- [j2]Himanshu Jain, Daniel Kroening
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(2): 366-379 (2008) - [c9]Himanshu Jain, Edmund M. Clarke, Orna Grumberg:
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. CAV 2008: 254-267 - 2007
- [j1]Edmund M. Clarke, Himanshu Jain, Daniel Kroening
Verification of SpecC using predicate abstraction. Formal Methods Syst. Des. 30(1): 5-28 (2007) - [c8]Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke:
VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586 - 2006
- [c7]Himanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang:
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV 2006: 137-151 - [c6]Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke:
Satisfiability Checking of Non-clausal Formulas Using General Matings. SAT 2006: 75-89 - 2005
- [c5]Himanshu Jain, Daniel Kroening
Word level predicate abstraction and refinement for verifying RTL verilog. DAC 2005: 445-450 - [c4]Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai:
Localization and Register Sharing for Predicate Abstraction. TACAS 2005: 397-412 - [c3]Edmund M. Clarke, Himanshu Jain, Nishant Sinha:
Grand Challenge: Model Check Software. VISSAS 2005: 55-68 - [c2]Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith:
Model Checking: Back and Forth between Hardware and Software. VSTTE 2005: 251-255 - 2004
- [c1]Himanshu Jain, Daniel Kroening
Verification of SpecC using predicate abstraction. MEMOCODE 2004: 7-16
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: