Sumit Kumar Jha

	2012
22		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
21		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
20		Yuichi Motai, Sumit Kumar Jha, Daniel Kruse: Human tracking from a mobile agent: Optical flow and Kalman filter arbitration. Sig. Proc.: Image Comm. 27(1): 83-95 (2012)
	2011
19		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
18		Sumit Kumar Jha, Christopher James Langmead: Exploring behaviors of SDE models of biological systems using change of measures. ICCABS 2011: 111-116
17		Sumit Kumar Jha, Christopher James Langmead: Poster: Synthesis of biochemical models. ICCABS 2011: 248
16		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)
	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	Raj Gautam Dutta	[21]
3	James R. Faeder	[12]
4	Ansgar Fehnker	[1] [2]
5	Goran Frehse	[9]
6	Arup K. Ghosh	[22]
7	Leonard A. Harris	[12]
8	Faraz Hussain	[21] [22]
9	Susmit Jha	[10] [11] [21] [22]
10	Bruce H. Krogh	[2] [7] [9]
11	Daniel Kruse	[20]
12	Christopher James Langmead	[5] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22]
13	Axel Legay	[12] [15]
14	Krishna K. Mehra	[6]
15	Swarup Mohalik	[19]
16	Yuichi Motai	[20]
17	André Platzer	[15]
18	Sriram K. Rajamani	[6]
19	S. Ramesh (Sethu Ramesh)	[19]
20	A. Prasad Sistla	[6]
21	Helmut Veith	[1]
22	James E. Weimer	[7]
23	Paolo Zuliani	[15]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page