Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Himanshu Jain
Institution:
Synopsys (United States)
Observed institutions:
Synopsys (United States),
Anand Hospital,
Parul University
ORCID:
0009-0001-6429-4154
Observed ORCID:
0009-0001-6429-4154
OpenAlex ID:
A5079034586
Comparison of Arterial and Venous Blood Gas Measurements in Non-Respiratory Diseases Patients Admitted in Intensive Care Unit (ICU)
2016
·
Abhinav Gupta
, Himanshu Jain
, et al.
·
Scholars Journal of Applied Medical Sciences
·
6
Navigating the E-Learning Platform with MongoDB, Express, React, and Node
2024
·
Ayush Kulkarni
, Himanshu Jain
, et al.
·
International Journal of Innovative Science and Research Technology (IJISRT)
·
3
PDF
PURSE: Property Ordering Using Runtime Statistics for Efficient Multi - Property Verification
2024
·
Sourav Das
, Aritra Hazra
, et al.
·
Design, Automation, and Test in Europe
·
3
Formal Verification of Floating-Point Division
2023
·
Ashish Kapoor
, Warren Ferguson
, et al.
·
IEEE Symposium on Computer Arithmetic (ARITH)
·
2
SISCO: Selective Invariant Sharing, Clustering and Ordering for Effective Multi-Property Formal Verification
2025
·
Sourav Das
, Aritra Hazra
, et al.
·
Asia and South Pacific Design Automation Conference (ASP-DAC)
PrOFraC: Property Ordering and Frame Clause Reuse for Multi-Property Verification
2025
·
Sourav Das
, Aritra Hazra
, et al.
·
International Conference on VLSI Design
Infrequent Presentation of Pilonidal Sinus over the Nasal Bridge
2023
·
Himanshu Jain
, Stuti Jain
, et al.
·
Indian Journal of Otolaryngology and Head & Neck Surgery
PDF
Neuronavigation-guided Versus Fluoroscopic-guided Microneurosurgical Transsphenoidal Pituitary Surgery
2018
·
Sharad Pandey
, Anurag Sahu
, et al.
·
Journal of Evolution of Medical and Dental Sciences
PDF
Show more works
View as search
Works count:
9
Citation count:
14
H-index:
3
I10-index:
Year
Topic
Type
