( en | de | ru )

 

Disambiguation of "Jha, Sumit Kumar"

Author of the publication

copydeleteadd this publication to your clipboard
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata.

. HSCC, volume 4981 of Lecture Notes in Computer Science, page 618-621. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sumit Kumar

Rajeev Kumar Jha

Mithilesh Kumar Jha

Deepti Jha

Development of a new cell penetrating peptide: design, synthesis and applications = Entwicklung eines neuen zell-penetrierenden Peptids. Uni Tübingen, (2009)

Vandana Jha

 

Other publications of authors with the same name

Temporal Logic Model Checking, , , and . Handbook of Networked and Embedded Control Systems, Birkhäuser Boston, (2005)Memory-Efficient Filter-Based Approximate Optimal Regulation of Unknown LTI Systems Using Initial Excitation., , and . CDC, page 1638-1643. IEEE, (2018)DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision., , , and . ICCAD, page 151:1-151:9. IEEE, (2020)Verification of Flow-Based Computing Systems Using Bounded Model Checking., , , , and . ICCAD, page 1-9. IEEE, (2023)Hybrid Analog-Digital In-Memory Computing., , and . ICCAD, page 1-9. IEEE, (2021)Detecting Deepfake Videos using Attribution-Based Confidence Metric., , , , , , , and . CVPR Workshops, page 1250-1259. Computer Vision Foundation / IEEE, (2020)Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking., and . BIBM, page 179-184. IEEE Computer Society, (2018)3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability., and . ICCD, page 171-178. IEEE Computer Society, (2018)When to stop verification?: Statistical trade-off between expected loss and simulation cost., , , and . DATE, page 1309-1314. IEEE, (2011)Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis., and . IPDPS Workshops, page 347-352. IEEE Computer Society, (2018)