第二 ICALP的FBTC 2008年:冰岛雷克雅未克
尼古拉·卡纳塔 , 伊曼纽拉·梅雷利 , 伊雷克·乌利多夫斯基 :
第二次研讨会会议记录——从生物学到并行性再到并行性, ICALP的FBTC 2008年7月12日,冰岛雷克雅未克。 理论计算机科学电子笔记 229(1), 爱思维尔 2009 尼古拉·卡纳塔 , 埃马努埃拉·梅雷利 , 伊雷克·乌利多夫斯基 :
前言。 1-2 保罗·巴拉里尼 , 拉杜·马尔代尔 , 伊凡·穆拉 :
通过概率模型检验分析生化振荡。 3-19 罗伯托·巴布蒂 , 安德烈亚·马吉奥洛·谢蒂尼 , 保罗·米拉佐 , 乔瓦尼·帕迪尼 :
循环序列的空间演算。 21-39 埃齐奥·巴托西 , 弗拉维奥·科拉迪尼 , 埃马努埃拉·梅雷利 , 卢卡·特塞 :
模型检查生物振荡器。 41-58 Soufiene Benkirane公司 , 简·希尔斯顿 , 克里斯·麦凯格 , 雷切尔·诺曼 , 卡伦·桑克兰 :
通过流行病学示例改进PEPA模型的连续逼近。 59-74 卢卡·博托鲁西 , 阿尔贝托·波利克里蒂 :
离散的重要性。 75-92 达里奥·坎帕尼亚 , 卡拉广场 :
系统生物学中的混合自动机:我们能走多远? 93-108 伊戈尔·卡佩罗 , 保拉·夸格里亚 :
优先Pi-calculus中Beta-binders的翻译。 109-125 鲁卡·凯德利 , 艾曼纽尔·卡隆 , 菲利普·加德纳 , 奥赞·卡拉马诺古拉里 , 安德鲁·菲利普斯 :
肌动蛋白聚合过程模型。 127-144 费德里卡·乔切塔 , 安德里亚·德加斯贝里 , 简·希尔斯顿 , 穆菲·考尔德 :
关于CTMC和源自Bio-PEPA的ODE模型的一些研究。 145-163 阿莱西奥·科尔塔 , 罗伯塔·戈里 , 弗朗西丝卡·列维 :
使用抽象解释近似生物系统的概率行为。 165-182
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)