default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Himanshu Jain
@article{DBLP:journals/netmahib/JainS24,
author = {Himanshu Jain and
Arvind Kumar Sinha},
title = {Mathematical model of mixed invasive ductal and lobular breast cancer},
journal = {Netw. Model. Anal. Health Informatics Bioinform.},
volume = {13},
number = {1},
pages = {28},
year = {2024},
url = {https://doi.org/10.1007/s13721-024-00465-2},
doi = {10.1007/S13721-024-00465-2},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/netmahib/JainS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DasHDKJ24,
author = {Sourav Das and
Aritra Hazra and
Pallab Dasgupta and
Sudipta Kundu and
Himanshu Jain},
title = {{PURSE:} Property Ordering Using Runtime Statistics for Efficient
Multi - Property Verification},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2024, Valencia, Spain, March 25-27, 2024},
pages = {1--6},
publisher = {{IEEE}},
year = {2024},
url = {https://ieeexplore.ieee.org/document/10546895},
timestamp = {Mon, 17 Jun 2024 14:45:14 +0200},
biburl = {https://dblp.org/rec/conf/date/DasHDKJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-12063,
author = {Thivin Anandh and
Divij Ghose and
Himanshu Jain and
Sashikumaar Ganesan},
title = {FastVPINNs: Tensor-Driven Acceleration of VPINNs for Complex Geometries},
journal = {CoRR},
volume = {abs/2404.12063},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.12063},
doi = {10.48550/ARXIV.2404.12063},
eprinttype = {arXiv},
eprint = {2404.12063},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-12063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-17968,
author = {Ziwei Ji and
Himanshu Jain and
Andreas Veit and
Sashank J. Reddi and
Sadeep Jayasumana and
Ankit Singh Rawat and
Aditya Krishna Menon and
Felix Yu and
Sanjiv Kumar},
title = {Efficient Document Ranking with Learnable Late Interactions},
journal = {CoRR},
volume = {abs/2406.17968},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.17968},
doi = {10.48550/ARXIV.2406.17968},
eprinttype = {arXiv},
eprint = {2406.17968},
timestamp = {Mon, 22 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-17968.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/JainS23,
author = {Himanshu Jain and
Arvind Kumar Sinha},
title = {Modeling the effect of Wolbachia to control malaria transmission},
journal = {Expert Syst. Appl.},
volume = {221},
pages = {119769},
year = {2023},
url = {https://doi.org/10.1016/j.eswa.2023.119769},
doi = {10.1016/J.ESWA.2023.119769},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/JainS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/netmahib/NamdevJS23,
author = {Nishant Namdev and
Himanshu Jain and
Arvind Kumar Sinha},
title = {Mathematical model of the tumor cells' population growth},
journal = {Netw. Model. Anal. Health Informatics Bioinform.},
volume = {12},
number = {1},
pages = {2},
year = {2023},
url = {https://doi.org/10.1007/s13721-022-00399-7},
doi = {10.1007/S13721-022-00399-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/netmahib/NamdevJS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/KapoorFJK23,
author = {Ashish Kapoor and
Warren E. Ferguson and
Himanshu Jain and
Sudipta Kundu},
title = {Formal Verification of Floating-Point Division},
booktitle = {30th {IEEE} Symposium on Computer Arithmetic, {ARITH} 2023, Portland,
OR, USA, September 4-6, 2023},
pages = {93--96},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ARITH58626.2023.00018},
doi = {10.1109/ARITH58626.2023.00018},
timestamp = {Mon, 08 Apr 2024 20:48:38 +0200},
biburl = {https://dblp.org/rec/conf/arith/KapoorFJK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/MadaanBJ023,
author = {Lovish Madaan and
Srinadh Bhojanapalli and
Himanshu Jain and
Prateek Jain},
title = {Treeformer: Dense Gradient Trees for Efficient Attention Computation},
booktitle = {The Eleventh International Conference on Learning Representations,
{ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/forum?id=DWn1TEb2fK},
timestamp = {Wed, 24 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/MadaanBJ023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/ZaheerRKYJVFK23,
author = {Manzil Zaheer and
Ankit Singh Rawat and
Seungyeon Kim and
Chong You and
Himanshu Jain and
Andreas Veit and
Rob Fergus and
Sanjiv Kumar},
title = {Teacher Guided Training: An Efficient Framework for Knowledge Transfer},
booktitle = {The Eleventh International Conference on Learning Representations,
{ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/forum?id=GVSf7Z7DbYL},
timestamp = {Wed, 24 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/ZaheerRKYJVFK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/SunSRBJY23,
author = {Ziteng Sun and
Ananda Theertha Suresh and
Jae Hun Ro and
Ahmad Beirami and
Himanshu Jain and
Felix X. Yu},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {SpecTr: Fast Speculative Decoding via Optimal Transport},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/6034a661584af6c28fd97a6f23e56c0a-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/SunSRBJY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-15141,
author = {Ziteng Sun and
Ananda Theertha Suresh and
Jae Hun Ro and
Ahmad Beirami and
Himanshu Jain and
Felix X. Yu},
title = {SpecTr: Fast Speculative Decoding via Optimal Transport},
journal = {CoRR},
volume = {abs/2310.15141},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.15141},
doi = {10.48550/ARXIV.2310.15141},
eprinttype = {arXiv},
eprint = {2310.15141},
timestamp = {Mon, 30 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-15141.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsg/JainMJB22,
author = {Himanshu Jain and
Barry Mather and
Akshay Kumar Jain and
Samuel F. Baldwin},
title = {Grid-Supportive Loads - {A} New Approach to Increasing Renewable Energy
in Power Systems},
journal = {{IEEE} Trans. Smart Grid},
volume = {13},
number = {4},
pages = {2959--2972},
year = {2022},
url = {https://doi.org/10.1109/TSG.2022.3153230},
doi = {10.1109/TSG.2022.3153230},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsg/JainMJB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-06825,
author = {Manzil Zaheer and
Ankit Singh Rawat and
Seungyeon Kim and
Chong You and
Himanshu Jain and
Andreas Veit and
Rob Fergus and
Sanjiv Kumar},
title = {Teacher Guided Training: An Efficient Framework for Knowledge Transfer},
journal = {CoRR},
volume = {abs/2208.06825},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.06825},
doi = {10.48550/ARXIV.2208.06825},
eprinttype = {arXiv},
eprint = {2208.06825},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-06825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-09015,
author = {Lovish Madaan and
Srinadh Bhojanapalli and
Himanshu Jain and
Prateek Jain},
title = {Treeformer: Dense Gradient Trees for Efficient Attention Computation},
journal = {CoRR},
volume = {abs/2208.09015},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.09015},
doi = {10.48550/ARXIV.2208.09015},
eprinttype = {arXiv},
eprint = {2208.09015},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-09015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/MenonJRJVK21,
author = {Aditya Krishna Menon and
Sadeep Jayasumana and
Ankit Singh Rawat and
Himanshu Jain and
Andreas Veit and
Sanjiv Kumar},
title = {Long-tail learning via logit adjustment},
booktitle = {9th International Conference on Learning Representations, {ICLR} 2021,
Virtual Event, Austria, May 3-7, 2021},
publisher = {OpenReview.net},
year = {2021},
url = {https://openreview.net/forum?id=37nvvqkCo5},
timestamp = {Wed, 23 Jun 2021 17:36:39 +0200},
biburl = {https://dblp.org/rec/conf/iclr/MenonJRJVK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnlsp/BaralJDR21,
author = {Aditeya Baral and
Himanshu Jain and
Deeksha D and
Mamatha H. R},
editor = {Mourad Abbas and
Abed Alhakim Freihat},
title = {{MAPLE} -MAsking words to generate blackout Poetry using sequence-to-sequence
LEarning},
booktitle = {4th International Conference on Natural Language and Speech Processing,
Trento, Italy, November 12-13, 2021},
pages = {239--246},
publisher = {Association for Computational Linguistics},
year = {2021},
url = {https://aclanthology.org/2021.icnlsp-1.6},
timestamp = {Mon, 08 May 2023 14:38:38 +0200},
biburl = {https://dblp.org/rec/conf/icnlsp/BaralJDR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/DahiyaSMSDSJAV21,
author = {Kunal Dahiya and
Deepak Saini and
Anshul Mittal and
Ankush Shaw and
Kushal Dave and
Akshay Soni and
Himanshu Jain and
Sumeet Agarwal and
Manik Varma},
editor = {Liane Lewin{-}Eytan and
David Carmel and
Elad Yom{-}Tov and
Eugene Agichtein and
Evgeniy Gabrilovich},
title = {DeepXML: {A} Deep Extreme Multi-Label Learning Framework Applied to
Short Text Documents},
booktitle = {{WSDM} '21, The Fourteenth {ACM} International Conference on Web Search
and Data Mining, Virtual Event, Israel, March 8-12, 2021},
pages = {31--39},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3437963.3441810},
doi = {10.1145/3437963.3441810},
timestamp = {Fri, 09 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsdm/DahiyaSMSDSJAV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-08823,
author = {Srinadh Bhojanapalli and
Ayan Chakrabarti and
Himanshu Jain and
Sanjiv Kumar and
Michal Lukasik and
Andreas Veit},
title = {Eigen Analysis of Self-Attention and its Reconstruction from Partial
Computation},
journal = {CoRR},
volume = {abs/2106.08823},
year = {2021},
url = {https://arxiv.org/abs/2106.08823},
eprinttype = {arXiv},
eprint = {2106.08823},
timestamp = {Tue, 29 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-08823.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-06821,
author = {Srinadh Bhojanapalli and
Ayan Chakrabarti and
Andreas Veit and
Michal Lukasik and
Himanshu Jain and
Frederick Liu and
Yin{-}Wen Chang and
Sanjiv Kumar},
title = {Leveraging redundancy in attention with Reuse Transformers},
journal = {CoRR},
volume = {abs/2110.06821},
year = {2021},
url = {https://arxiv.org/abs/2110.06821},
eprinttype = {arXiv},
eprint = {2110.06821},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-06821.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-06685,
author = {Kunal Dahiya and
Deepak Saini and
Anshul Mittal and
Ankush Shaw and
Kushal Dave and
Akshay Soni and
Himanshu Jain and
Sumeet Agarwal and
Manik Varma},
title = {DeepXML: {A} Deep Extreme Multi-Label Learning Framework Applied to
Short Text Documents},
journal = {CoRR},
volume = {abs/2111.06685},
year = {2021},
url = {https://arxiv.org/abs/2111.06685},
eprinttype = {arXiv},
eprint = {2111.06685},
timestamp = {Fri, 09 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-06685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/LukasikJMKBYK20,
author = {Michal Lukasik and
Himanshu Jain and
Aditya Krishna Menon and
Seungyeon Kim and
Srinadh Bhojanapalli and
Felix X. Yu and
Sanjiv Kumar},
editor = {Bonnie Webber and
Trevor Cohn and
Yulan He and
Yang Liu},
title = {Semantic Label Smoothing for Sequence to Sequence Problems},
booktitle = {Proceedings of the 2020 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2020, Online, November 16-20, 2020},
pages = {4992--4998},
publisher = {Association for Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.emnlp-main.405},
doi = {10.18653/V1/2020.EMNLP-MAIN.405},
timestamp = {Tue, 20 Aug 2024 07:54:43 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/LukasikJMKBYK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/AwasthiJRV20,
author = {Pranjal Awasthi and
Himanshu Jain and
Ankit Singh Rawat and
Aravindan Vijayaraghavan},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Adversarial robustness via robust low rank representations},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/837a7924b8c0aa866e41b2721f66135c-Abstract.html},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/AwasthiJRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sips/JainRRCD20,
author = {Himanshu Jain and
Sakshi Rathore and
T. P. Abdul Rahoof and
Vivek Chaturvedi and
Satyajit Das},
title = {Fast and Efficient Decision-Based Attack for Deep Neural Network on
Edge},
booktitle = {{IEEE} Workshop on Signal Processing Systems, SiPS 2020, Coimbra,
Portugal, October 20-22, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SiPS50750.2020.9195260},
doi = {10.1109/SIPS50750.2020.9195260},
timestamp = {Tue, 03 Nov 2020 16:23:57 +0100},
biburl = {https://dblp.org/rec/conf/sips/JainRRCD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06555,
author = {Pranjal Awasthi and
Himanshu Jain and
Ankit Singh Rawat and
Aravindan Vijayaraghavan},
title = {Adversarial robustness via robust low rank representations},
journal = {CoRR},
volume = {abs/2007.06555},
year = {2020},
url = {https://arxiv.org/abs/2007.06555},
eprinttype = {arXiv},
eprint = {2007.06555},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-07314,
author = {Aditya Krishna Menon and
Sadeep Jayasumana and
Ankit Singh Rawat and
Himanshu Jain and
Andreas Veit and
Sanjiv Kumar},
title = {Long-tail learning via logit adjustment},
journal = {CoRR},
volume = {abs/2007.07314},
year = {2020},
url = {https://arxiv.org/abs/2007.07314},
eprinttype = {arXiv},
eprint = {2007.07314},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-07314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-07447,
author = {Michal Lukasik and
Himanshu Jain and
Aditya Krishna Menon and
Seungyeon Kim and
Srinadh Bhojanapalli and
Felix X. Yu and
Sanjiv Kumar},
title = {Semantic Label Smoothing for Sequence to Sequence Problems},
journal = {CoRR},
volume = {abs/2010.07447},
year = {2020},
url = {https://arxiv.org/abs/2010.07447},
eprinttype = {arXiv},
eprint = {2010.07447},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-07447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgt/BiswasTJGZ19,
author = {Reetam Sen Biswas and
Jin Tan and
Himanshu Jain and
Vahan Gevorgian and
Yingchen Zhang},
title = {Equivalent Test Bed in {PSCAD} and {PSLF} for Studying Advanced Power
Systems Controller Performance},
booktitle = {{IEEE} Power {\&} Energy Society Innovative Smart Grid Technologies
Conference, {ISGT} 2019, Washington, DC, USA, February 18-21, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISGT.2019.8791603},
doi = {10.1109/ISGT.2019.8791603},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isgt/BiswasTJGZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgt/JainPKKH19,
author = {Himanshu Jain and
Bryan Palmintier and
Dheepak Krishnamurthy and
Ibrahim Krad and
Elaine T. Hale},
title = {Evaluating the Impact of Price-Responsive Load on Power Systems Using
Integrated T{\&}D Simulation},
booktitle = {{IEEE} Power {\&} Energy Society Innovative Smart Grid Technologies
Conference, {ISGT} 2019, Washington, DC, USA, February 18-21, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISGT.2019.8791634},
doi = {10.1109/ISGT.2019.8791634},
timestamp = {Sun, 20 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isgt/JainPKKH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/JainBCV19,
author = {Himanshu Jain and
Venkatesh Balasubramanian and
Bhanu Chunduri and
Manik Varma},
editor = {J. Shane Culpepper and
Alistair Moffat and
Paul N. Bennett and
Kristina Lerman},
title = {Slice: Scalable Linear Extreme Classifiers Trained on 100 Million
Labels for Related Searches},
booktitle = {Proceedings of the Twelfth {ACM} International Conference on Web Search
and Data Mining, {WSDM} 2019, Melbourne, VIC, Australia, February
11-15, 2019},
pages = {528--536},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3289600.3290979},
doi = {10.1145/3289600.3290979},
timestamp = {Sat, 30 May 2020 20:02:29 +0200},
biburl = {https://dblp.org/rec/conf/wsdm/JainBCV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/DibraJOZG17,
author = {Endri Dibra and
Himanshu Jain and
A. Cengiz {\"{O}}ztireli and
Remo Ziegler and
Markus H. Gross},
title = {Human Shape from Silhouettes Using Generative {HKS} Descriptors and
Cross-Modal Neural Networks},
booktitle = {2017 {IEEE} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2017, Honolulu, HI, USA, July 21-26, 2017},
pages = {5504--5514},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CVPR.2017.584},
doi = {10.1109/CVPR.2017.584},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/DibraJOZG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icacci/JainK17,
author = {Himanshu Jain and
Archana Praveen Kumar},
title = {A bottom up procedure for text line segmentation of latin script},
booktitle = {2017 International Conference on Advances in Computing, Communications
and Informatics, {ICACCI} 2017, Udupi (Near Mangalore), India, September
13-16, 2017},
pages = {1182--1187},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICACCI.2017.8126002},
doi = {10.1109/ICACCI.2017.8126002},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icacci/JainK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icacci/AgarwalJGD17,
author = {Anirudh Agarwal and
Himanshu Jain and
Ranjan Gangopadhyay and
Soumitra Debnath},
title = {Hardware implementation of k-means clustering based spectrum sensing
using usrp in a cognitive radio system},
booktitle = {2017 International Conference on Advances in Computing, Communications
and Informatics, {ICACCI} 2017, Udupi (Near Mangalore), India, September
13-16, 2017},
pages = {1772--1777},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICACCI.2017.8126101},
doi = {10.1109/ICACCI.2017.8126101},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icacci/AgarwalJGD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03025,
author = {Himanshu Jain},
title = {A Sequential Thinning Algorithm For Multi-Dimensional Binary Patterns},
journal = {CoRR},
volume = {abs/1710.03025},
year = {2017},
url = {http://arxiv.org/abs/1710.03025},
eprinttype = {arXiv},
eprint = {1710.03025},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03027,
author = {Himanshu Jain and
Archana Praveen Kumar},
title = {A Bottom Up Procedure for Text Line Segmentation of Latin Script},
journal = {CoRR},
volume = {abs/1710.03027},
year = {2017},
url = {http://arxiv.org/abs/1710.03027},
eprinttype = {arXiv},
eprint = {1710.03027},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03027.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3dim/DibraJOZG16,
author = {Endri Dibra and
Himanshu Jain and
A. Cengiz {\"{O}}ztireli and
Remo Ziegler and
Markus H. Gross},
title = {HS-Nets: Estimating Human Body Shape from Silhouettes with Convolutional
Neural Networks},
booktitle = {Fourth International Conference on 3D Vision, 3DV 2016, Stanford,
CA, USA, October 25-28, 2016},
pages = {108--117},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/3DV.2016.19},
doi = {10.1109/3DV.2016.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/3dim/DibraJOZG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/JainKK16,
author = {Himanshu Jain and
P. Radha Krishna and
Kamalakar Karlapalem},
editor = {Isabelle Comyn{-}Wattiau and
Katsumi Tanaka and
Il{-}Yeol Song and
Shuichiro Yamamoto and
Motoshi Saeki},
title = {Context-Aware Workflow Execution Engine for E-Contract Enactment},
booktitle = {Conceptual Modeling - 35th International Conference, {ER} 2016, Gifu,
Japan, November 14-17, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9974},
pages = {293--301},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46397-1\_23},
doi = {10.1007/978-3-319-46397-1\_23},
timestamp = {Thu, 23 Jun 2022 19:56:58 +0200},
biburl = {https://dblp.org/rec/conf/er/JainKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icacci/ChhabraJS16,
author = {Surbhi Chhabra and
Himanshu Jain and
Sandeep Saini},
title = {{FPGA} based hardware implementation of automatic vehicle license
plate detection system},
booktitle = {2016 International Conference on Advances in Computing, Communications
and Informatics, {ICACCI} 2016, Jaipur, India, September 21-24, 2016},
pages = {1181--1187},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICACCI.2016.7732205},
doi = {10.1109/ICACCI.2016.7732205},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icacci/ChhabraJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/JainPV16,
author = {Himanshu Jain and
Yashoteja Prabhu and
Manik Varma},
editor = {Balaji Krishnapuram and
Mohak Shah and
Alexander J. Smola and
Charu C. Aggarwal and
Dou Shen and
Rajeev Rastogi},
title = {Extreme Multi-label Loss Functions for Recommendation, Tagging, Ranking
{\&} Other Missing Label Applications},
booktitle = {Proceedings of the 22nd {ACM} {SIGKDD} International Conference on
Knowledge Discovery and Data Mining, San Francisco, CA, USA, August
13-17, 2016},
pages = {935--944},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2939672.2939756},
doi = {10.1145/2939672.2939756},
timestamp = {Tue, 06 Nov 2018 16:59:37 +0100},
biburl = {https://dblp.org/rec/conf/kdd/JainPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JainRTBJD16,
author = {Himanshu Jain and
Kaveh Rahimi and
Ahmad Tbaileh and
Robert P. Broadwater and
Akshay Kumar Jain and
Murat Dilek},
title = {Integrated Transmission {\&} Distribution System Modeling and
Analysis: Need {\&} Advantages},
journal = {CoRR},
volume = {abs/1606.01612},
year = {2016},
url = {http://arxiv.org/abs/1606.01612},
eprinttype = {arXiv},
eprint = {1606.01612},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JainRTBJD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BhatiaJKVJ15,
author = {Kush Bhatia and
Himanshu Jain and
Purushottam Kar and
Manik Varma and
Prateek Jain},
editor = {Corinna Cortes and
Neil D. Lawrence and
Daniel D. Lee and
Masashi Sugiyama and
Roman Garnett},
title = {Sparse Local Embeddings for Extreme Multi-label Classification},
booktitle = {Advances in Neural Information Processing Systems 28: Annual Conference
on Neural Information Processing Systems 2015, December 7-12, 2015,
Montreal, Quebec, Canada},
pages = {730--738},
year = {2015},
url = {https://proceedings.neurips.cc/paper/2015/hash/35051070e572e47d2c26c241ab88307f-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/BhatiaJKVJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JainPBDW15,
author = {Himanshu Jain and
Abhineet Parchure and
Robert P. Broadwater and
Murat Dilek and
Jeremy Woyak},
title = {Three-Phase Dynamics Simulation of Power Systems Using Combined Transmission
and Distribution System Models},
journal = {CoRR},
volume = {abs/1505.06225},
year = {2015},
url = {http://arxiv.org/abs/1505.06225},
eprinttype = {arXiv},
eprint = {1505.06225},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JainPBDW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BhatiaJK0V15,
author = {Kush Bhatia and
Himanshu Jain and
Purushottam Kar and
Prateek Jain and
Manik Varma},
title = {Locally Non-linear Embeddings for Extreme Multi-label Learning},
journal = {CoRR},
volume = {abs/1507.02743},
year = {2015},
url = {http://arxiv.org/abs/1507.02743},
eprinttype = {arXiv},
eprint = {1507.02743},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BhatiaJK0V15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tec/DebJ14,
author = {Kalyanmoy Deb and
Himanshu Jain},
title = {An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point-Based
Nondominated Sorting Approach, Part {I:} Solving Problems With Box
Constraints},
journal = {{IEEE} Trans. Evol. Comput.},
volume = {18},
number = {4},
pages = {577--601},
year = {2014},
url = {https://doi.org/10.1109/TEVC.2013.2281535},
doi = {10.1109/TEVC.2013.2281535},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tec/DebJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tec/JainD14,
author = {Himanshu Jain and
Kalyanmoy Deb},
title = {An Evolutionary Many-Objective Optimization Algorithm Using Reference-Point
Based Nondominated Sorting Approach, Part {II:} Handling Constraints
and Extending to an Adaptive Approach},
journal = {{IEEE} Trans. Evol. Comput.},
volume = {18},
number = {4},
pages = {602--622},
year = {2014},
url = {https://doi.org/10.1109/TEVC.2013.2281534},
doi = {10.1109/TEVC.2013.2281534},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tec/JainD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgt/JainKM14,
author = {Himanshu Jain and
Kiran Kumaraswamy and
Rakesh N. Maurya},
title = {Plug-In Electric Vehicles - Distribution system impacts and high level
screening methodologies for calculating costs and benefits},
booktitle = {{IEEE} {PES} Innovative Smart Grid Technologies Conference, {ISGT}
2014, Washington, DC, USA, February 19-22, 2014},
pages = {1--5},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ISGT.2014.6816436},
doi = {10.1109/ISGT.2014.6816436},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/isgt/JainKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emo/JainD13,
author = {Himanshu Jain and
Kalyanmoy Deb},
editor = {Robin C. Purshouse and
Peter J. Fleming and
Carlos M. Fonseca and
Salvatore Greco and
Jane Shaw},
title = {An Improved Adaptive Approach for Elitist Nondominated Sorting Genetic
Algorithm for Many-Objective Optimization},
booktitle = {Evolutionary Multi-Criterion Optimization - 7th International Conference,
{EMO} 2013, Sheffield, UK, March 19-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7811},
pages = {307--321},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37140-0\_25},
doi = {10.1007/978-3-642-37140-0\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/emo/JainD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/JainKK13,
author = {Himanshu Jain and
P. Radha Krishna and
Kamalakar Karlapalem},
editor = {Jeanne Holm and
Tomasz Janowski},
title = {e-contract enactment system for effective e-governance},
booktitle = {7th International Conference on Theory and Practice of Electronic
Governance, {ICEGOV} '13, Seoul, Republic of Korea, October 22-25,
2013},
pages = {344--345},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2591888.2591951},
doi = {10.1145/2591888.2591951},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icegov/JainKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icetet/JainRG13,
author = {Himanshu Jain and
Ashish Ranjan and
Kshitij Gupta},
title = {Analysis of Chaos in Double Pendulum},
booktitle = {6th International Conference on Emerging Trends in Engineering and
Technology, {ICETET} 2013, 16-18 December, 2013, Nagpur, India},
pages = {171--176},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICETET.2013.50},
doi = {10.1109/ICETET.2013.50},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icetet/JainRG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/DebJ12,
author = {Kalyanmoy Deb and
Himanshu Jain},
title = {Handling many-objective problems using an improved {NSGA-II} procedure},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2012, Brisbane, Australia, June 10-15, 2012},
pages = {1--8},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CEC.2012.6256519},
doi = {10.1109/CEC.2012.6256519},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cec/DebJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semcco/JainD11,
author = {Himanshu Jain and
Kalyanmoy Deb},
editor = {Bijaya K. Panigrahi and
Ponnuthurai Nagaratnam Suganthan and
Swagatam Das and
Suresh Chandra Satapathy},
title = {Parent to Mean-Centric Self-Adaptation in {SBX} Operator for Real-Parameter
Optimization},
booktitle = {Swarm, Evolutionary, and Memetic Computing - Second International
Conference, {SEMCCO} 2011, Visakhapatnam, Andhra Pradesh, India, December
19-21, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7076},
pages = {299--306},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-27172-4\_37},
doi = {10.1007/978-3-642-27172-4\_37},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/semcco/JainD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ewc/Rhode-BarbarigosJKS10,
author = {Landolf Rhode{-}Barbarigos and
Himanshu Jain and
Prakash Kripakaran and
Ian F. C. Smith},
title = {Design of tensegrity structures using parametric analysis and stochastic
search},
journal = {Eng. Comput.},
volume = {26},
number = {2},
pages = {193--203},
year = {2010},
url = {https://doi.org/10.1007/s00366-009-0154-1},
doi = {10.1007/S00366-009-0154-1},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ewc/Rhode-BarbarigosJKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasam/JainKLK10,
author = {Himanshu Jain and
Suratsavadee Korkua and
Wei{-}Jen Lee and
Chiman Kwan},
title = {Detection and Severity Classification of Rotor Imbalance Faults in
Induction Machines},
booktitle = {Annual Meeting of the {IEEE} Industry Applications Society, {IAS}
2010, Houston, TX, USA, 3-7 October, 2010, Proceedings},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IAS.2010.5615966},
doi = {10.1109/IAS.2010.5615966},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iasam/JainKLK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/JainCG09,
author = {Himanshu Jain and
Edmund M. Clarke and
Orna Grumberg},
title = {Efficient Craig interpolation for linear Diophantine (dis)equations
and linear modular equations},
journal = {Formal Methods Syst. Des.},
volume = {35},
number = {1},
pages = {6--39},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0069-x},
doi = {10.1007/S10703-009-0069-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/JainCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JainC09,
author = {Himanshu Jain and
Edmund M. Clarke},
title = {Efficient {SAT} solving for non-clausal formulas using DPLL, graphs,
and watched cuts},
booktitle = {Proceedings of the 46th Design Automation Conference, {DAC} 2009,
San Francisco, CA, USA, July 26-31, 2009},
pages = {563--568},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629911.1630057},
doi = {10.1145/1629911.1630057},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/JainC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KoelblJJP09,
author = {Alfred K{\"{o}}lbl and
Reily Jacoby and
Himanshu Jain and
Carl Pixley},
editor = {Luca Benini and
Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller},
title = {Solver technology for system-level to {RTL} equivalence checking},
booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
April 20-24, 2009},
pages = {196--201},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/DATE.2009.5090657},
doi = {10.1109/DATE.2009.5090657},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/KoelblJJP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/JainKSC08,
author = {Himanshu Jain and
Daniel Kroening and
Natasha Sharygina and
Edmund M. Clarke},
title = {Word-Level Predicate-Abstraction and Refinement Techniques for Verifying
{RTL} Verilog},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {2},
pages = {366--379},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2007.907270},
doi = {10.1109/TCAD.2007.907270},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/JainKSC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JainCG08,
author = {Himanshu Jain and
Edmund M. Clarke and
Orna Grumberg},
editor = {Aarti Gupta and
Sharad Malik},
title = {Efficient Craig Interpolation for Linear Diophantine (Dis)Equations
and Linear Modular Equations},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {254--267},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_24},
doi = {10.1007/978-3-540-70545-1\_24},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/JainCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ClarkeJK07,
author = {Edmund M. Clarke and
Himanshu Jain and
Daniel Kroening},
title = {Verification of SpecC using predicate abstraction},
journal = {Formal Methods Syst. Des.},
volume = {30},
number = {1},
pages = {5--28},
year = {2007},
url = {https://doi.org/10.1007/s10703-006-0020-3},
doi = {10.1007/S10703-006-0020-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ClarkeJK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JainKSC07,
author = {Himanshu Jain and
Daniel Kroening and
Natasha Sharygina and
Edmund M. Clarke},
editor = {Orna Grumberg and
Michael Huth},
title = {{VCEGAR:} Verilog CounterExample Guided Abstraction Refinement},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {583--586},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_45},
doi = {10.1007/978-3-540-71209-1\_45},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JainKSC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JainIGSW06,
author = {Himanshu Jain and
Franjo Ivancic and
Aarti Gupta and
Ilya Shlyakhter and
Chao Wang},
editor = {Thomas Ball and
Robert B. Jones},
title = {Using Statically Computed Invariants Inside the Predicate Abstraction
and Refinement Loop},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {137--151},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_15},
doi = {10.1007/11817963\_15},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/cav/JainIGSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JainBC06,
author = {Himanshu Jain and
Constantinos Bartzis and
Edmund M. Clarke},
editor = {Armin Biere and
Carla P. Gomes},
title = {Satisfiability Checking of Non-clausal Formulas Using General Matings},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4121},
pages = {75--89},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948\_10},
doi = {10.1007/11814948\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/JainBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/JainKSC05,
author = {Himanshu Jain and
Daniel Kroening and
Natasha Sharygina and
Edmund M. Clarke},
editor = {William H. Joyner Jr. and
Grant Martin and
Andrew B. Kahng},
title = {Word level predicate abstraction and refinement for verifying {RTL}
verilog},
booktitle = {Proceedings of the 42nd Design Automation Conference, {DAC} 2005,
San Diego, CA, USA, June 13-17, 2005},
pages = {445--450},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065579.1065697},
doi = {10.1145/1065579.1065697},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/JainKSC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JainIGG05,
author = {Himanshu Jain and
Franjo Ivancic and
Aarti Gupta and
Malay K. Ganai},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Localization and Register Sharing for Predicate Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {397--412},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_26},
doi = {10.1007/978-3-540-31980-1\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JainIGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/ClarkeJS05,
author = {Edmund M. Clarke and
Himanshu Jain and
Nishant Sinha},
editor = {Edmund M. Clarke and
Marius Minea and
Ferucio Laurentiu Tiplea},
title = {Grand Challenge: Model Check Software},
booktitle = {Verification of Infinite-State Systems with Applications to Security,
Proceedings of the {NATO} Advanced Research Workshop "Verification
of Infinite State Systems with Applications to Security {VISSAS} 2005",
Timisoara, Romania, March 17-22, 2005},
series = {{NATO} Security through Science Series {D:} Information and Communication
Security},
volume = {1},
pages = {55--68},
publisher = {{IOS} Press},
year = {2005},
timestamp = {Wed, 29 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vissas/ClarkeJS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ClarkeGJV05,
author = {Edmund M. Clarke and
Anubhav Gupta and
Himanshu Jain and
Helmut Veith},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Model Checking: Back and Forth between Hardware and Software},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {251--255},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_27},
doi = {10.1007/978-3-540-69149-5\_27},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/ClarkeGJV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/JainKC04,
author = {Himanshu Jain and
Daniel Kroening and
Edmund M. Clarke},
title = {Verification of SpecC using predicate abstraction},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {7--16},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459808},
doi = {10.1109/MEMCOD.2004.1459808},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/JainKC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-08-11 01:04 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:
