| A bayesian approach to model checking biological systems SK Jha, EM Clarke, CJ Langmead, A Legay, A Platzer, P Zuliani Computational Methods in Systems Biology: 7th International Conference, CMSB …, 2009 | 302 | 2009 |
| Randomization based probabilistic approach to detect trojan circuits S Jha, SK Jha 2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008 | 158 | 2008 |
| 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 Computational Methods in Systems Biology: 6th International Conference CMSB …, 2008 | 138 | 2008 |
| A counterexample-guided approach to parameter synthesis for linear hybrid automata G Frehse, SK Jha, BH Krogh Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008 | 116 | 2008 |
| Reachability for linear hybrid automata using iterative relaxation abstraction SK Jha, BH Krogh, JE Weimer, EM Clarke Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007 | 94 | 2007 |
| Symbolic approaches for finding control strategies in Boolean networks CJ Langmead, SK Jha Journal of Bioinformatics and Computational Biology 7 (02), 323-338, 2009 | 87 | 2009 |
| Predicting heart rate variations of deepfake videos using neural ode S Fernandes, S Raj, E Ortiz, I Vintila, M Salter, G Urosevic, S Jha Proceedings of the IEEE/CVF international conference on computer vision …, 2019 | 79 | 2019 |
| Attribution-based confidence metric for deep neural networks S Jha, S Raj, S Fernandes, SK Jha, S Jha, B Jalaian, G Verma, A Swami Advances in Neural Information Processing Systems 32, 2019 | 46 | 2019 |
| 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 | 41 | 2011 |
| Refining abstractions of hybrid systems using counterexample fragments A Fehnker, E Clarke, SK Jha, B Krogh Hybrid Systems: Computation and Control: 8th International Workshop, HSCC …, 2005 | 39 | 2005 |
| 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 | 34 | 2016 |
| 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 | 34 | 2016 |
| 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 | 33 | 2017 |
| Exploring behaviors of stochastic differential equation models of biological systems using change of measures SK Jha, CJ Langmead BMC bioinformatics 13 (5), 1-10, 2012 | 32 | 2012 |
| 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 | 30 | 2016 |
| Detecting deepfake videos using attribution-based confidence metric S Fernandes, S Raj, R Ewetz, JS Pannu, SK Jha, E Ortiz, I Vintila, M Salter Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020 | 24 | 2020 |
| 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 | 23 | 2015 |
| Predicting protein folding kinetics via temporal logic model checking CJ Langmead, SK Jha Algorithms in Bioinformatics: 7th International Workshop, WABI 2007 …, 2007 | 23 | 2007 |
| Temporal logic model checking E Clarke, A Fehnker, SK Jha, H Veith Handbook of Networked and Embedded Control Systems, 539-558, 2005 | 22 | 2005 |
| 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 | 19 | 2014 |
