Accepted Papers
- Carolyn Talcott.The Pathway Logic Formal Modeling System: Diverse views of a formal representation of signal transduction.[PDF/Slides]
John A.P. Sekar, Justin S. Hogg, and James R. Faeder. Energy-based Modeling in BioNetGen.[PDF]
Bing Liu and James R. Faeder. Parameter Estimation of Rule-based Models Using Statistical Model Checking.[PDF/Slides]
Jieyun Bai, Kuanquan Wang, Henggui Zhang, and Henggui Zhang. Multi-scale Cardiac Modelling Reveal Tachyarrhythmias Induced by Abrupt Rate Accelerations in Long QT Syndrome.[Slides]
Md. Ariful Islam, Hyunkyung Limz, Nicola Paolettiz, Houssam Abbas, Zhihao Jiang, Jacek Cyrankay, Rance Cleavelandx, Sicun Gao, Edmund Clarke, Radu Grosuk, Rahul Mangharam, Elizabeth Cherryyy, Flavio Fentonzz, Richard A. Grayx, James Glimmz, Shan Linz, Qinsi Wang, and Scott A. Smolkaz. CyberCardia Project: Modeling, Verification and Validation of Implantable Cardiac Devices. [PDF/Slides]
|
