2016年第八届SASB:英国苏格兰爱丁堡——论文精选”
吉多·桑吉内蒂 , 大卫·萨法内克 :
2018年SASB会议记录,第七届静态分析和系统生物学国际研讨会,爱丁堡大学,2016年9月7日。 理论计算机科学电子笔记 335, 爱思维尔 2020 吉多·桑吉内蒂 , 大卫·萨夫拉内克 :
前言。 1-2 塞利亚·比安 , 弗兰克·德拉普拉斯 , 塔里克·梅利提 :
针对靶向治疗发现的诱拐性网络动作推理。 3-25 杰罗姆·费雷特 , 金·奎恩·利奥 :
通过正交模式集进行可达性分析。 27-48 里卡多·霍诺拉托·齐梅尔 , 安德鲁·J·米勒 , 戈登·D·普洛特金 , Argyris Zardilis公司 :
Chromar,一种基于规则的参数化对象语言。 49-66 尤拉杰·科拉克 , 大卫·萨法内克 , 斯特凡·哈尔 , 洛伊克·保列夫 :
参数布尔网络的展开。 67-90 纪尧姆Terradot , 安德烈亚·贝卡 , 安德烈亚·韦伊(Andrea Y.Wei) , 文森特·达诺斯 :
肥胖者的生存:细胞资源存储的进化权衡。 91-112 佩德罗·瓦雷拉 , Inés Lync公司 , Vasco M.Manquinho公司 , 克劳丁·朝义亚(Claudine Chaouiya) , 佩德罗·蒙泰罗 :
六边形网格上布尔调节网络的稳定状态。 113-130
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)