7.CMSB 2009年：意大利博洛尼亚
皮耶保罗·德加诺 , 罗伯托·戈里埃里 :
系统生物学中的计算方法，第七届国际会议，CMSB 2009，意大利博洛尼亚，2009年8月31日至9月1日。 诉讼程序。 计算机科学课堂讲稿 5688, 施普林格 2009 ，国际标准图书编号 978-3-642-03844-0 丽莎·巴托利 , Luigi Martelli码头 
, 伊凡·罗西 , 皮耶罗·法里塞利 , 丽塔·卡萨迪奥 :
蛋白质相互作用位点的预测：如何将分子事件连接到大规模蛋白质相互作用网络。 1-17 约翰·K·希思 :
生物学和计算之间的等价性。 18-25 科拉多·普里亚米 , 保罗·巴拉里尼 , 保拉·夸格里亚 :
BlenX4Bio-BlenX生物学家专用。 26-51 奥兹古尔·阿克曼 , 费德里卡·乔切塔 , 安德烈亚·德加斯佩里 , 玛丽亚·路易莎·格雷罗 :
用Bio-PEPA模拟生物钟：随机性和鲁棒性 粗糙神经孢子虫 昼夜节律网络。 52-67 米歇尔·巴吉 , 黛米斯·巴利斯 , 莫雷诺·法拉斯基 :
计算生物学的定量路径逻辑。 68-82 马克·贝利·贝切 , 阿尔弗雷多·布劳恩斯坦 , 里卡多·泽奇纳 :
用于转导网络推理的Prize-Collecting-Steiner树方法。 83-95 詹保罗·贝拉 , 彼得罗·利奥 :
遗传开关的形式分析。 96-110 埃琳娜·齐兹勒 , 尤根·齐兹勒 , 拉尔夫·约翰回来 , 离子皮特 :
真核生物热休克反应调控的控制策略。 111-125 陶当（Thao Dang） , 科尔斯·勒格尔尼奇 , 奥德·马勒 :
计算非线性生物模型的可达状态。 126-141 伊丽莎白·德·玛丽亚 , 弗朗索瓦·法赫斯 , 西尔万·索利曼 :
使用模型检查的耦合模型：伊立替康注射液对哺乳动物细胞周期的影响。 142-157 乔治·德尔扎诺 , 辛齐亚·迪·朱斯托 , 毛里齐奥·加布里埃利 , 科西莫·拉伊夫 , 吉安路易吉·扎瓦塔罗 :
这个 卡帕 -格：生物语言中定性分析的可判定边界。 158-172 弗雷德里克·迪迪埃（Frédéric Didier） , 托马斯·汉津格 , 玛丽亚·马特埃斯库 , Verena Wolf公司 :
噪声细胞过程中事件概率的近似。 173-188 瓦什蒂·加尔宾 , 简·希尔斯顿 :
生物-PEPA中的等效性和离散性。 189-204 彼得·根纳马克 , 达格·韦德林 :
完全可观测常微分方程的改进参数估计及其在生物系统中的应用。 205-217 苏米特·库马尔Jha , 埃德蒙·克拉克 , 克里斯托弗·詹姆斯·朗米德 , Axel Legay公司 , 安德烈·普拉泽 , 保罗·祖利亚尼 :
生物系统模型检验的贝叶斯方法。 218-234 马蒂亚斯·约翰 , 塞德里克·侯赛因 , 约阿希姆·尼伦 :
命令中的动态分隔 圆周率 -微积分。 235-250 刘冰（Bing Liu） , P.S.Thiagarajan先生 , 行政总裁许立庆 :
信号通路动力学的概率近似。 251-265 奥雷连·纳尔迪 , 伊丽莎白·雷米 , 丹尼斯·蒂夫里 , 克劳丁·朝义亚（Claudine Chaouiya） :
保持基本动力学特性的逻辑调控图的约简。 266-280 露西娅·纳皮恩 , 丹尼尔·马尼尼 , 弗朗西丝卡·科德罗 , 安德拉斯·霍瓦思 , 安德烈亚·皮科 , 马西米利亚诺·德皮耶罗 , 西蒙娜·帕凡 , 马泰奥·塞里诺 , 安德烈亚·维格利奥 , 费德里科·巴斯索利诺 , 吉安弗兰科·巴尔博 :
随机Petri网在血管生成过程信号转导通路分析中的应用。 281-295 马丁·施瓦里克 , 莫妮卡·海纳 :
用区间决策图检验生化网络的CSL模型。 296-312 海萨姆·苏伊丹 , 格雷戈伊尔·苏特雷 , 马查·尼科尔斯基 :
参数化动态模型中瞬态行为抽象和比较的定性过渡系统。 313-327
