Sumit Kumar Jha

	2009
15		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
14		Christopher James Langmead, Sumit Kumar Jha: Symbolic Approaches for Finding Control Strategies in Boolean Networks. J. Bioinformatics and Computational Biology 7(2): 323-338 (2009)
	2008
13		Christopher James Langmead, Sumit Kumar Jha: Symbolic Approaches for Finding Control Strategies in Boolean Networks. APBC 2008: 307-320
12		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
11		Susmit Jha, Sumit Kumar Jha: Randomization Based Probabilistic Approach to Detect Trojan Circuits. HASE 2008: 117-124
10		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
9		Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh: A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. HSCC 2008: 187-200
8		Sumit Kumar Jha: d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. HSCC 2008: 618-621
	2007
7		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
6		Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha: Verification of Object Relational Maps. SEFM 2007: 283-292
5		Christopher James Langmead, Sumit Kumar Jha: Predicting Protein Folding Kinetics Via Temporal Logic Model Checking. WABI 2007: 252-264
4		Sumit Kumar Jha: Design of a Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata CoRR abs/0710.3764: (2007)
	2006
3		Sumit Kumar Jha: Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata CoRR abs/cs/0611051: (2006)
	2005
2		Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh: Refining Abstractions of Hybrid Systems Using Counterexample Fragments. HSCC 2005: 242-257
1		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

1	Edmund M. Clarke	[1] [2] [7] [12] [15]
2	James R. Faeder	[12]
3	Ansgar Fehnker	[1] [2]
4	Goran Frehse	[9]
5	Leonard A. Harris	[12]
6	Susmit Jha	[10] [11]
7	Bruce H. Krogh	[2] [7] [9]
8	Christopher James Langmead	[5] [12] [13] [14] [15]
9	Axel Legay	[12] [15]
10	Krishna K. Mehra	[6]
11	André Platzer	[15]
12	Sriram K. Rajamani	[6]
13	A. Prasad Sistla	[6]
14	Helmut Veith	[1]
15	James E. Weimer	[7]
16	Paolo Zuliani	[15]

Colors in the list of coauthors