Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Christopher James Langmead
2010 – today
- 2012
[j11]Sumit Kumar Jha, Christopher James Langmead: Exploring behaviors of stochastic differential equation models of biological systems using change of measures. BMC Bioinformatics 13(S-5): S8 (2012)- [j10]Narges Razavian, Hetunandan Kamisetty, Christopher James Langmead: Learning generative models of molecular dynamics. BMC Genomics 13(S-1): S5 (2012)
- [j9]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. IJBRA 8(3/4): 263-285 (2012)
- [c23]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
- [c22]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
- [j8]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)
- [c21]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
- [c20]Sumit Kumar Jha, Christopher James Langmead: Exploring behaviors of SDE models of biological systems using change of measures. ICCABS 2011: 111-116
- [c19]Sumit Kumar Jha, Christopher James Langmead: Poster: Synthesis of biochemical models. ICCABS 2011: 248
- [c18]Hetunandan Kamisetty, Eric P. Xing, Christopher James Langmead: Approximating Correlated Equilibria using Relaxations on the Marginal Polytope. ICML 2011: 1153-1160
- 2010
- [j7]Arvind Ramanathan, Pratul K. Agarwal, Maria Kurnikova, Christopher James Langmead: An Online Approach for Mining Collective Behaviors from Molecular Dynamics Simulations. Journal of Computational Biology 17(3): 309-324 (2010)
- [j6]Alexandre Donzé, Gilles Clermont, Christopher James Langmead: Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. Journal of Computational Biology 17(3): 325-336 (2010)
2000 – 2009
- 2009
- [j5]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)
- [c17]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
- [c16]Hetunandan Kamisetty, Christopher James Langmead: A Bayesian approach to protein model quality assessment. ICML 2009: 61
- [c15]Arvind Ramanathan, Pratul K. Agarwal, Maria Kurnikova, Christopher James Langmead: An Online Approach for Mining Collective Behaviors from Molecular Dynamics Simulations. RECOMB 2009: 138-154
- [c14]Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead: Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. RECOMB 2009: 155-169
- 2008
- [j4]Hetunandan Kamisetty, Eric P. Xing, Christopher James Langmead: Free Energy Estimates of All-Atom Protein Structures Using Generalized Belief Propagation. Journal of Computational Biology 15(7): 755-766 (2008)
- [c13]Christopher James Langmead, Sumit Kumar Jha: Symbolic Approaches for Finding Control Strategies in Boolean Networks. APBC 2008: 307-320
- [c12]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
- 2007
- [c11]Hetunandan Kamisetty, Eric P. Xing, Christopher James Langmead: Free Energy Estimates of All-Atom Protein Structures Using Generalized Belief Propagation. RECOMB 2007: 366-380
- [c10]Christopher James Langmead, Sumit Kumar Jha: Predicting Protein Folding Kinetics Via Temporal Logic Model Checking. WABI 2007: 252-264
- 2006
- [c9]Christopher James Langmead: A Randomized Algorithm for Learning Mahalanobis Metrics: Application to Classification and Regression of Biological Data. APBC 2006: 217-226
- [c8]
- 2005
- [j3]Anthony K. Yan, Christopher James Langmead, Bruce Randall Donald: A Probability-Based Similarity Measure for Saupe Alignment Tensors with Applications to Residual Dipolar Couplings in NMR Structural Biology. I. J. Robotic Res. 24(2-3): 165-182 (2005)
- 2004
- [j2]Christopher James Langmead, Anthony K. Yan, Ryan H. Lilien, Lincong Wang, Bruce Randall Donald: A Polynomial-Time Nuclear Vector Replacement Algorithm for Automated NMR Resonance Assignments. Journal of Computational Biology 11(2/3): 277-298 (2004)
- [c7]Christopher James Langmead, Bruce Randall Donald: High-Throughput 3D Structural Homology Detection via NMR Resonance Assignment. CSB 2004: 278-289
- [c6]
- 2003
- [j1]Christopher James Langmead, Anthony K. Yan, C. Robertson McClung, Bruce Randall Donald: Phase-Independent Rhythmic Analysis of Genome-Wide Expression Patterns. Journal of Computational Biology 10(3/4): 521-536 (2003)
- [c5]Christopher James Langmead, Bruce Randall Donald: 3D Structural Homology Detection via Unassigned Residual Dipolar Couplings. CSB 2003: 209-219
- [c4]Christopher James Langmead, Anthony K. Yan, Ryan H. Lilien, Lincong Wang, Bruce Randall Donald: Large a polynomial-time nuclear vector replacement algorithm for automated NMR resonance assignments. RECOMB 2003: 176-187
- 2002
- [c3]Christopher James Langmead, C. Robertson McClung, Bruce Randall Donald: A Maximum Entropy Algorithm for Rhythmic Analysis of Genome-Wide Expression Patterns. CSB 2002: 237-245
- [c2]Christopher James Langmead, Anthony K. Yan, C. Robertson McClung, Bruce Randall Donald: Phase-independent rhythmic analysis of genome-wide expression patterns. RECOMB 2002: 205-215
- 2001
- [c1]Christopher James Langmead, Bruce Randall Donald: Extracting structural information using time-frequency analysis of protein NMR data. RECOMB 2001: 164-175
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-13 23:11 CEST by the dblp team