|
Home |
Christopher James Langmead
Associate Professor, Department of Computer ScienceEmail: my initials at cs.cmu.edu Ray and Stephanie
Lane Center for Computational Biology 5000 Forbes Avenue
Other Affiliations and Titles
Office: 7215 Gates-Hillman
Office Hours: Please make an appointment |
|
|
Recent Papers, Abstracts, and Software 1) “Synthesis of Insulin Pump Controllers from Safety Specifications using Bayesian Model Validation”, APBC 2012 2) “Learning Generative Models of Molecular Dynamics”, APBC 2012 3) “Exploring Behaviors of Stochastic Differential Equation Models of Biological Systems using Change of Measures”, BMC Bioinformatics 2012 4) “Learning Generative Models of Molecular Dynamics”, BMC Genomics 2012 5) “Serum Biomarker Profiles as Screening Tools in Lung Cancer”, Cancer Biomarkers, 2012 6) “Discovering Rare Behaviors of Stochastic Models of Biological Systems using Decision Procedures based Design Tool”, DAC 2012 7) “Decision Procedure Based Discovery of Rare Behaviors in SDE Models of Biological Systems: Applications to Minimal Cell Cycle Model”, ICCABS 2012 |