Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSumit Kumar Jha 0001
Person information
- affiliation: University of Texas San Antonio, TX, USA
- affiliation (former): University of Central Florida, Orlando, USA
- affiliation (former): Carnegie Mellon University, Pittsburgh, PA, USA
- affiliation (former): Virginia Commonwealth University, Richmond, VA, USA
Other persons with the same name
- Sumit Kumar Jha 0002 — International Institute of Information Technology, Hyderabad, India
- Sumit Kumar Jha 0003 — Centre for Development of Telematics, Mehrauli, New Delhi, India
- Sumit Kumar Jha 0004
![[0000-0003-4853-6085]](https://dblp.org/img/orcid-mark.12x12.png "0000-0003-4853-6085")
— Indian Institute of Technology Delhi, New Delhi, India - Sumit Kumar Jha 0005 — Presidency University, Bangalore, India (and 1 more)
- Sumit Kumar Jha 0006 — Motilal Nehru National Institute of Technology Allahabad, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j19]Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Fan Yao, Rickard Ewetz:
STREAM: Toward READ-Based In-Memory Computing for Streaming-Based Processing for Data-Intensive Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11): 3854-3867 (2023)- [c83]Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz:
Discovering the in-Memory Kernels of 3D Dot-Product Engines. ASP-DAC 2023: 240-245 - [c82]Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz:
FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter. ASP-DAC 2023: 775-780 - [c81]Sven Thijssen, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz:
UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance. DAC 2023: 1-6 - [c80]Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema:
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. ICAA 2023: 149-152 - [c79]Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz:
Automated Synthesis for In-Memory Computing. ICCAD 2023: 1-9 - [c78]Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Hao Zheng, Rickard Ewetz:
Path-Based Processing using In-Memory Systolic Arrays for Accelerating Data-Intensive Applications. ICCAD 2023: 1-9 - [c77]Sven Thijssen, Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz:
Verification of Flow-Based Computing Systems Using Bounded Model Checking. ICCAD 2023: 1-9 - [c76]Suraj Singireddy, Muhammad Rashedul Haq Rashed, Sven Thijssen, Rickard Ewetz, Sumit Kumar Jha:
Input-Aware Flow-Based In-Memory Computing. ICCD 2023: 523-530 - [c75]Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. MILCOM 2023: 655-660 - [c74]Chase Walker, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz:
Adversarial Pixel and Patch Detection Using Attribution Analysis. MILCOM 2023: 710-715 - [c73]Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema:
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. MILCOM 2023: 944-949 - [i13]Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha:
On the Robustness of AlphaFold: A COVID-19 Case Study. CoRR abs/2301.04093 (2023) - [i12]Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez:
Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions. CoRR abs/2309.15386 (2023) - [i11]Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema:
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving. CoRR abs/2309.16436 (2023) - [i10]Suraj Singireddy, Andre Beckus, George K. Atia, Sumit Kumar Jha, Alvaro Velasquez:
Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning. CoRR abs/2310.19137 (2023) - 2022
- [j18]Andy Michel, Sumit Kumar Jha, Rickard Ewetz:
A survey on the vulnerability of deep neural networks against adversarial attacks. Prog. Artif. Intell. 11(2): 131-141 (2022) - [j17]Necati Uysal, Baogang Zhang, Sumit Kumar Jha, Rickard Ewetz:
XMAP: Programming Memristor Crossbars for Analog Matrix-Vector Multiplication: Toward High Precision Using Representable Matrices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(6): 1827-1841 (2022) - [j16]Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz:
COMPACT: Flow-Based Computing on Nanoscale Crossbars With Minimal Semiperimeter and Maximum Dimension. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4600-4611 (2022) - [c72]Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha:
Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. AAAI 2022: 9567-9574 - [c71]Suraj Singireddy, Rickard Ewetz, Sumit Kumar Jha:
Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems. AICAS 2022: 50-53 - [c70]Muhammad Rashedul Haq Rashed, Sven Thijssen, Sumit Kumar Jha, Fan Yao, Rickard Ewetz:
STREAM: Towards READ-based In-Memory Computing for Streaming based Data Processing. ASP-DAC 2022: 690-695 - [c69]Muhammad Rashedul Haq Rashed, Amro Awad, Sumit Kumar Jha, Rickard Ewetz:
Towards resilient analog in-memory deep learning via data layout re-organization. DAC 2022: 859-864 - [c68]Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz:
PATH: evaluation of boolean logic using path-based in-memory computing. DAC 2022: 1129-1134 - [c67]Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Fan Yao, Rickard Ewetz:
Hybrid Digital-Digital In-Memory Computing. DATE 2022: 1177-1180 - [c66]Steven Lawrence Fernandes, Senka Krivic, Poonam Sharma, Sumit Kumar Jha:
Attribution-Based Confidence Metric for Detection of Adversarial Attacks on Breast Histopathological Images. ECCV Workshops (1) 2022: 501-516 - [c65]Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz:
Logic Synthesis for Digital In-Memory Computing. ICCAD 2022: 90:1-90:9 - [c64]Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz:
Equivalence Checking for Flow-Based Computing. ICCD 2022: 656-663 - [c63]Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha:
ExplainIt!: A Tool for Computing Robust Attributions of DNNs. IJCAI 2022: 5916-5919 - [i9]Kazi Abu Zubair, Sumit Kumar Jha, David Mohaisen, Clayton Hughes, Amro Awad:
FAT-PIM: Low-Cost Error Detection for Processing-In-Memory. CoRR abs/2207.12231 (2022) - 2021
- [j15]Sumit Kumar Jha, Ion I. Mandoiu, Sanguthevar Rajasekaran, Pavel Skums, Alexander Zelikovsky:
Special Issue: 10th International Computational Advances in Bio and Medical Sciences (ICCABS 2020). J. Comput. Biol. 28(11): 1033-1034 (2021) - [j14]Sarah Rafiq, Jubin Hazra, Maximilian Liehr, Karsten Beckmann, Minhaz Abedin, Jodh S. Pannu, Sumit Kumar Jha, Nathaniel C. Cady:
Investigation of ReRAM Variability on Flow-Based Edge Detection Computing Using HfO2-Based ReRAM Arrays. IEEE Trans. Circuits Syst. I Regul. Pap. 68(7): 2900-2910 (2021) - [c62]Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz:
COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter. DATE 2021: 232-237 - [c61]Shravya Channamadhavuni, Sven Thijssen, Sumit Kumar Jha, Rickard Ewetz:
Accelerating AI Applications using Analog In-Memory Computing: Challenges and Opportunities. ACM Great Lakes Symposium on VLSI 2021: 379-384 - [c60]Muhammad Rashedul Haq Rashed, Sumit Kumar Jha, Rickard Ewetz:
Hybrid Analog-Digital In-Memory Computing. ICCAD 2021: 1-9 - [c59]Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha:
On Smoother Attributions using Neural Stochastic Differential Equations. IJCAI 2021: 522-528 - [c58]Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha:
Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. ISCAS 2021: 1-5 - [c57]Arvind Ramanathan, Sumit Kumar Jha:
Adversarial Attacks against AI-driven Experimental Peptide Design Workflows. XLOOP@SC 2021: 30-35 - [e1]Sumit Kumar Jha, Ion I. Mandoiu, Sanguthevar Rajasekaran, Pavel Skums, Alex Zelikovsky:
Computational Advances in Bio and Medical Sciences - 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12686, Springer 2021, ISBN 978-3-030-79289-3 [contents] - [i8]Max Zvyagin, Thomas S. Brettin, Arvind Ramanathan, Sumit Kumar Jha:
CrossedWires: A Dataset of Syntactically Equivalent but Semantically Disparate Deep Learning Models. CoRR abs/2108.12768 (2021) - [i7]Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha:
Protein Folding Neural Networks Are Not Robust. CoRR abs/2109.04460 (2021) - 2020
- [j13]Sunny Raj, Jodh S. Pannu, Steven Lawrence Fernandes, Arvind Ramanathan, Laura L. Pullum, Sumit Kumar Jha:
Attacking NIST biometric image software using nonlinear optimization. Pattern Recognit. Lett. 131: 79-84 (2020) - [j12]Jodh S. Pannu, Sunny Raj, Steven Lawrence Fernandes, Dwaipayan Chakraborty, Sarah Rafiq, Nathaniel C. Cady, Sumit Kumar Jha:
Design and Fabrication of Flow-Based Edge Detection Memristor Crossbar Circuits1. IEEE Trans. Circuits Syst. II Express Briefs 67-II(5): 961-965 (2020) - [c56]Steven Lawrence Fernandes, Sunny Raj, Rickard Ewetz, Jodh Singh Pannu, Sumit Kumar Jha, Eddy Ortiz, Iustina Vintila, Margaret Salter:
Detecting Deepfake Videos using Attribution-Based Confidence Metric. CVPR Workshops 2020: 1250-1259 - [c55]Steven Lawrence Fernandes, Sumit Kumar Jha:
Adversarial Attack on Deepfake Detection Using RL Based Texture Patches. ECCV Workshops (1) 2020: 220-235 - [c54]Dwaipayan Chakraborty, Andy Michel, Jodh S. Pannu, Sunny Raj, Suresh Chandra Satapathy, Steven Lawrence Fernandes, Sumit Kumar Jha:
Automated Synthesis of Memristor Crossbars Using Deep Neural Networks. FICTA (2) 2020: 345-357 - [c53]Necati Uysal, Baogang Zhang, Sumit Kumar Jha, Rickard Ewetz:
DP-MAP: Towards Resistive Dot-Product Engines with Improved Precision. ICCAD 2020: 151:1-151:9 - [i6]Jason W. Bentley, Daniel Gibney, Gary Hoppenworth, Sumit Kumar Jha:
Quantifying Membership Inference Vulnerability via Generalization Gap and Other Model Metrics. CoRR abs/2009.05669 (2020) - [i5]Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Sunny Raj, Alvaro Velasquez, Laura L. Pullum, Ananthram Swami:
An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks. CoRR abs/2009.08097 (2020)
2010 – 2019
- 2019
- [j11]Dwaipayan Chakraborty, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha:
Input-Aware Flow-Based Computing on Memristor Crossbars With Applications to Edge Detection. IEEE J. Emerg. Sel. Topics Circuits Syst. 9(3): 580-591 (2019) - [c52]Steven Lawrence Fernandes, Sunny Raj, Eddy Ortiz, Iustina Vintila, Sumit Kumar Jha:
Directed Adversarial Attacks on Fingerprints using Attributions. ICB 2019: 1-8 - [c51]Steven Lawrence Fernandes, Sunny Raj, Eddy Ortiz, Iustina Vintila, Margaret Salter, Gordana Urosevic, Sumit Kumar Jha:
Predicting Heart Rate Variations of Deepfake Videos using Neural ODE. ICCV Workshops 2019: 1721-1729 - [c50]Mesut Ozdag, Sunny Raj, Steven Lawrence Fernandes, Alvaro Velasquez, Laura Pullum, Sumit Kumar Jha:
On the Susceptibility of Deep Neural Networks to Natural Perturbations. AISafety@IJCAI 2019 - [c49]Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Brian Jalaian, Gunjan Verma, Ananthram Swami:
Attribution-Based Confidence Metric For Deep Neural Networks. NeurIPS 2019: 11826-11837 - [i4]Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Gunjan Verma, Brian Jalaian, Ananthram Swami:
Attribution-driven Causal Analysis for Detection of Adversarial Examples. CoRR abs/1903.05821 (2019) - 2018
- [j10]Amad Ul Hassen, Dwaipayan Chakraborty, Sumit Kumar Jha:
Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing. IEEE Trans. Circuits Syst. II Express Briefs 65-II(5): 622-626 (2018) - [c48]Arfeen Khalid, Sumit Kumar Jha:
Calibration of Rule-Based Stochastic Biochemical Models using Statistical Model Checking. BIBM 2018: 179-184 - [c47]Alvaro Velasquez, Sumit Kumar Jha:
In-memory computing using paths-based logic and heterogeneous components. DATE 2018: 1512-1515 - [c46]Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar:
Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems. FORMATS 2018: 235-251 - [c45]Arfeen Khalid, Sumit Kumar Jha:
Parameter Estimation of Stochastic Biochemical Models using Multiple Hypothesis Testing. ICCABS 2018: 1 - [c44]Alvaro Velasquez, Sumit Kumar Jha:
3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability. ICCD 2018: 171-178 - [c43]Sunny Raj, Sumit Kumar Jha:
Predicting Success in Undergraduate Parallel Programming via Probabilistic Causality Analysis. IPDPS Workshops 2018: 347-352 - [c42]Amad Ul Hassen, Salman Anwar Khokhar, Haseeb Aslam Butt, Sumit Kumar Jha:
Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing. NANOARCH 2018: 107-113 - [c41]Alvaro Velasquez, Sumit Kumar Jha:
Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory. SPAA 2018: 95-98 - 2017
- [j9]Sunny Raj, Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Damla Turgut, Narsingh Deo, Sumanta N. Pattanaik, Chung-Che Jeff Chang, Sumit Kumar Jha:
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data. BMC Bioinform. 18(8): 245:1-245:11 (2017) - [c40]Dwaipayan Chakraborty, Sumit Kumar Jha:
Automated synthesis of compact crossbars for sneak-path based in-memory computing. DATE 2017: 770-775 - [c39]Sunny Raj, Sumit Kumar Jha, Arvind Ramanathan, Laura L. Pullum:
Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress. EMSOFT Companion 2017: 1:1-1:2 - [c38]Sunny Raj, Laura Pullum, Arvind Ramanathan, Sumit Kumar Jha:
SATYA : Defending Against Adversarial Attacks Using Statistical Hypothesis Testing. FPS 2017: 277-292 - [c37]Arvind Ramanathan, Laura L. Pullum, Zubir Husein, Sunny Raj, Neslisah Torosdagli, Sumanta N. Pattanaik, Sumit Kumar Jha:
Adversarial attacks on computer vision algorithms using natural perturbations. IC3 2017: 1-6 - [c36]Sumit Kumar Jha, Arfeen Khalid:
Calibration of stochastic biochemical models against behavioral temporal logic specifications. ICCABS 2017: 1 - [c35]Dwaipayan Chakraborty, Sunny Raj, Julio Cesar Gutierrez, Troyle Thomas, Sumit Kumar Jha:
In-Memory Execution of Compute Kernels Using Flow-Based Memristive Crossbar Computing. ICRC 2017: 1-6 - [c34]Dwaipayan Chakraborty, Sumit Kumar Jha:
Design of compact memristive in-memory computing systems using model counting. ISCAS 2017: 1-4 - [c33]Alvaro Velasquez, Sumit Kumar Jha:
Computation of Boolean matrix chain products in 3D ReRAM. ISCAS 2017: 1-4 - [c32]Dwaipayan Chakraborty, Sunny Raj, Sumit Kumar Jha:
A compact 8-bit adder design using in-memory memristive computing: Towards solving the Feynman Grand Prize challenge. NANOARCH 2017: 67-72 - 2016
- [c31]Arvind Ramanathan, Laura L. Pullum, Faraz Hussain, Dwaipayan Chakrabarty, Sumit Kumar Jha:
Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision. DATE 2016: 786-791 - [c30]Amad Ul Hassen, Brigadesh Chandrasekar, Sumit Kumar Jha:
Automated synthesis of stochastic computational elements using decision procedures. ISCAS 2016: 1678-1681 - [c29]Zahiruddin Alamgir, Karsten Beckmann, Nathaniel C. Cady, Alvaro Velasquez, Sumit Kumar Jha:
Flow-based computing on nanoscale crossbars: Design and implementation of full adders. ISCAS 2016: 1870-1873 - [c28]Alvaro Velasquez, Sumit Kumar Jha:
Parallel boolean matrix multiplication in linear time using rectifying memristors. ISCAS 2016: 1874-1877 - [c27]Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha:
The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks. NCA 2016: 126-130 - 2015
- [j8]Faraz Hussain, Christopher J. Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, Sumit Kumar Jha:
Automated parameter estimation for biological models using Bayesian statistical model checking. BMC Bioinform. 16(S17): S8 (2015) - [c26]Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Narsingh Deo, Sumanta N. Pattanaik, Chung-Che Chang, Sumit Kumar Jha:
SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures. ICCABS 2015: 1 - [c25]Alvaro Velasquez, Sumit Kumar Jha:
Fault-tolerant in-memory crossbar computing using quantified constraint solving. ICCD 2015: 101-108 - [c24]Alvaro Velasquez, Sumit Kumar Jha:
Automated synthesis of crossbars for nanoscale computing using formal methods. NANOARCH 2015: 130-136 - [c23]Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan:
Distributed Markov Chains. VMCAI 2015: 117-134 - 2014
- [j7]Faraz Hussain, Sumit Kumar Jha, Susmit Jha, Christopher James Langmead:
Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. Int. J. Bioinform. Res. Appl. 10(4/5): 519-539 (2014) - [j6]Arup Kumar Ghosh, Faraz Hussain, Susmit Jha, Christopher James Langmead, Sumit Kumar Jha:
Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model. Int. J. Bioinform. Res. Appl. 10(4/5): 540-558 (2014) - [c22]Faraz Hussain, Christopher James Langmead, Qi Mi, Joyeeta Dutta-Moscato, Yoram Vodovotz, Sumit Kumar Jha:
Parameter discovery for stochastic computational models in systems biology using Bayesian model checking. ICCABS 2014: 1-2 - [c21]Faraz Hussain, Arvind Ramanathan, Laura L. Pullum, Sumit Kumar Jha:
EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth. ICCABS 2014: 1-6 - [c20]Faraz Hussain, Alvaro Velasquez, Emily Sassano, Sumit Kumar Jha:
Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data. ICCABS 2014: 1-6 - [c19]Alvaro Velasquez, Sumit Kumar Jha:
Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck. IDT 2014: 147-152 - [i3]Sumit Kumar Jha, Madhavan Mukund, Ratul Saha, P. S. Thiagarajan:
Distributed Markov Chains. CoRR abs/1408.0979 (2014) - 2012
- [j5]Sumit Kumar Jha, Christopher James Langmead:
Exploring behaviors of stochastic differential equation models of biological systems using change of measures. BMC Bioinform. 13(S-5): S8 (2012) - [j4]Sumit Kumar Jha, Raj Gautam Dutta, Christopher James Langmead, Susmit Jha, Emily Sassano:
Synthesis of insulin pump controllers from safety specifications using Bayesian model validation. Int. J. Bioinform. Res. Appl. 8(3/4): 263-285 (2012) - [j3]Yuichi Motai, Sumit Kumar Jha, Daniel Kruse:
Human tracking from a mobile agent: Optical flow and Kalman filter arbitration. Signal Process. Image Commun. 27(1): 83-95 (2012) - [c18]Aditya Reddy Kolli, Frank Sommerhage, Peter Molnar, Jonathan E. Hood, Jerry J. Jenkins, Faraz Hussain, Arup K. Ghosh, Sumit Kumar Jha, James J. Hickman:
A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout. BCB 2012: 530-532 - [c17]Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha:
Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems. ICCABS 2012: 1-6 - [c16]Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha:
Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. ICCABS 2012: 1-6 - 2011
- [j2]Sumit Kumar Jha, Christopher James Langmead:
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. Theor. Comput. Sci. 412(21): 2162-2187 (2011) - [c15]Sumit Kumar Jha, Christopher James Langmead, Swarup Mohalik, S. Ramesh:
When to stop verification?: Statistical trade-off between expected loss and simulation cost. DATE 2011: 1309-1314 - [c14]Sumit Kumar Jha, Christopher James Langmead:
Exploring behaviors of SDE models of biological systems using change of measures. ICCABS 2011: 111-116 - [c13]Sumit Kumar Jha, Christopher James Langmead:
Poster: Synthesis of biochemical models. ICCABS 2011: 248 - 2010
- [b1]Sumit Kumar Jha:
Model Validation and Discovery for Complex Stochastic Systems. Carnegie Mellon University, USA, 2010
2000 – 2009
- 2009
- [j1]Christopher James Langmead, Sumit Kumar Jha:
Symbolic Approaches for Finding Control Strategies in Boolean Networks. J. Bioinform. Comput. Biol. 7(2): 323-338 (2009) - [c12]Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani:
A Bayesian Approach to Model Checking Biological Systems. CMSB 2009: 218-234 - 2008
- [c11]Christopher James Langmead, Sumit Kumar Jha:
Symbolic Approaches for Finding Control Strategies in Boolean Networks. APBC 2008: 307-320 - [c10]Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay:
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. CMSB 2008: 231-250 - [c9]Susmit Jha, Sumit Kumar Jha:
Randomization Based Probabilistic Approach to Detect Trojan Circuits. HASE 2008: 117-124 - [c8]Sumit Kumar Jha, Susmit Jha:
Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking. HASE 2008: 147-153 - [c7]Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh:
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200 - [c6]Sumit Kumar Jha:
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. HSCC 2008: 618-621 - 2007
- [c5]Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke:
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC 2007: 287-300 - [c4]Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha:
Verification of Object Relational Maps. SEFM 2007: 283-292 - [c3]Christopher James Langmead, Sumit Kumar Jha:
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking. WABI 2007: 252-264 - [i2]Sumit Kumar Jha:
Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. CoRR abs/0710.3764 (2007) - 2006
- [c2]Shengbing Jiang, Thomas E. Fuhrman, Sumit Kumar Jha:
Model Checking For Fault Explanation. CDC 2006: 404-409 - [i1]Sumit Kumar Jha:
Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata. CoRR abs/cs/0611051 (2006) - 2005
- [c1]Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh:
Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257 - [p1]Edmund M. Clarke, Ansgar Fehnker, Sumit Kumar Jha, Helmut Veith:
Temporal Logic Model Checking. Handbook of Networked and Embedded Control Systems 2005: 539-558
Coauthor Index
a service of 
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-04-16 20:27 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:
