Sumit Kumar Jha
Sumit Kumar Jha
University of Texas at San Antonio
Verified email at sumitkumarjha.com - Homepage
Title
Cited by
Cited by
Year
A bayesian approach to model checking biological systems
SK Jha, EM Clarke, CJ Langmead, A Legay, A Platzer, P Zuliani
International conference on computational methods in systems biology, 218-234, 2009
2672009
Statistical model checking in biolab: Applications to the automated analysis of t-cell receptor signaling pathway
EM Clarke, JR Faeder, CJ Langmead, LA Harris, SK Jha, A Legay
International Conference on Computational Methods in Systems Biology, 231-250, 2008
1282008
Randomization based probabilistic approach to detect trojan circuits
S Jha, SK Jha
2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008
1252008
A counterexample-guided approach to parameter synthesis for linear hybrid automata
G Frehse, SK Jha, BH Krogh
International Workshop on Hybrid Systems: Computation and Control, 187-200, 2008
1102008
Reachability for linear hybrid automata using iterative relaxation abstraction
SK Jha, BH Krogh, JE Weimer, EM Clarke
International Workshop on Hybrid Systems: Computation and Control, 287-300, 2007
822007
Symbolic approaches for finding control strategies in Boolean networks
CJ Langmead, SK Jha
Journal of Bioinformatics and Computational Biology 7 (02), 323-338, 2009
802009
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
SK Jha, CJ Langmead
Theoretical Computer Science 412 (21), 2162-2187, 2011
392011
Symbolic reachability analysis of lazy linear hybrid automata
S Jha, BA Brady, SA Seshia
International Conference on Formal Modeling and Analysis of Timed Systems …, 2007
352007
Refining abstractions of hybrid systems using counterexample fragments
A Fehnker, E Clarke, SK Jha, B Krogh
International Workshop on Hybrid Systems: Computation and Control, 242-257, 2005
352005
Flow-based computing on nanoscale crossbars: Design and implementation of full adders
Z Alamgir, K Beckmann, N Cady, A Velasquez, SK Jha
2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1870-1873, 2016
282016
Exploring behaviors of stochastic differential equation models of biological systems using change of measures
SK Jha, CJ Langmead
BMC bioinformatics 13 (S5), S8, 2012
262012
Computation of boolean formulas using sneak paths in crossbar computing
SK Jha, DE Rodriguez, JE Van Nostrand, A Velasquez
US Patent 9,319,047, 2016
232016
Automated synthesis of compact crossbars for sneak-path based in-memory computing
D Chakraborty, SK Jha
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
212017
Predicting protein folding kinetics via temporal logic model checking
CJ Langmead, SK Jha
International Workshop on Algorithms in Bioinformatics, 252-264, 2007
212007
Temporal logic model checking
E Clarke, A Fehnker, SK Jha, H Veith
Handbook of Networked and Embedded Control Systems, 539-558, 2005
192005
Automated synthesis of crossbars for nanoscale computing using formal methods
A Velasquez, SK Jha
Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale …, 2015
172015
Temporal logics as query languages for dynamic Bayesian networks: Application to D. Melanogaster embryo development
C Langmead, S Jha, E Clarke
Technical report, Carnegie Mellon University, 2006
162006
Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision
A Ramanathan, LL Pullum, F Hussain, D Chakrabarty, SK Jha
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 786-791, 2016
152016
Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck
A Velasquez, SK Jha
2014 9th International Design and Test Symposium (IDT), 147-152, 2014
142014
Object relational map verification system
K Mehra, SK Rajamani, AP Sistla, SK Jha
US Patent 7,702,695, 2010
142010
The system can't perform the operation now. Try again later.
Articles 1–20