Himanshu Shukla

13 papers B 3C 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
When Hilbert approximates: A Strong Nullstellensatz for Approximate Polynomial Satisfiability.
Electron. Colloquium Comput. Complex.
Sanyam Agarwal, Sagnik Dutta, Anurag Pandey, Himanshu Shukla
2024 J jnl
Towards a classification of isolated ๐‘—-invariants.
Math. Comput.
Abbey Bourdon, Sachi Hashimoto, Timo Keller, Zev Klagsbrun, David Lowry-Duda, Travis Morrison, Filip Najman, Himanshu Shukla
2023 J jnl
Uniform mixture designs using designs in 2-dimensional spherical region.
Int. J. Syst. Assur. Eng. Manag.
Poonam Singh, Himanshu Shukla
2020 J jnl
Definable combinatorics with dense linear orders.
Arch. Math. Log.
Himanshu Shukla, Arihant Jain, Amit Kuber
2020 B conf
How many zeros of a random sparse polynomial are real?
ISSAC
Gorav Jindal, Anurag Pandey, Himanshu Shukla, Charilaos Zisopoulos
2019 โ€” conf
Hotspot Mitigations for the Masses.
SoCC
Fabien Hermenier, Aditya Ramesh, Abhinay Nagpal, Himanshu Shukla, Ramesh Chandra
2019 J jnl
How many zeros of a random sparse polynomial are real?
CoRR
Gorav Jindal, Anurag Pandey, Himanshu Shukla, Charilaos Zisopoulos
2017 B conf
High Availability for VM Placement and a Stochastic Model for Multiple Knapsack.
ICCCN
Bochao Shen, Ravi Sundaram, Alexander Russell, Srinivas Aiyar, Karan Gupta, Abhinay Nagpal, Aditya Ramesh, Himanshu Shukla
2017 C conf
On Resource-Bounded Versions of the van Lambalgen Theorem.
TAMC
Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla
2017 J jnl
On Resource-bounded versions of the van Lambalgen theorem.
CoRR
Diptarka Chakraborty, Satyadev Nandakumar, Himanshu Shukla
2017 B conf
QUEST: Search-Driven Management of Cloud-Scale Data Centers.
IC2E
Atreyee Maiti, Rahul Singh, Ramesh Chandra, Himanshu Shukla
2013 โ€” conf
Enhance OS security by restricting privileges of vulnerable application.
GCCE
Himanshu Shukla, Vivek Singh, Young-Ho Choi, Jaeook Kwon, Cheul-Hee Hahm
2008 โ€” conf
Automatic co-registration of volumetric images based on implanted fiducial markers.
ISBI
Martin Koch, Jonathan S. Maltz, Bijumon Gangadharan, Supratik Bose, Himanshu Shukla, Ali R. Bani-Hashemi, Serge J. Belongie