安基特·古普塔（编辑）;塔贾纳·彼得罗夫（编辑） 2018年8月28日，德国弗莱堡，第九届静态分析和系统生物学国际研讨会，SASB会议记录。 （英语） Zbl 1448.92002号 理论计算机科学电子笔记350.阿姆斯特丹：爱思唯尔。158页。，仅电子化、开放存取（2020年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于第七次研讨会，请参阅[Zbl 1391.92004号].索引文章：安德烈亚·贝卡；杰罗姆·费雷特；塔贾纳·彼得罗夫，保证生化反应网络的热带抽象，3-32[Zbl 1458.92031号]Boutilier，Pierre；福雷·德·佩贝尔（Faure de Pebeyre），奥雷利（Aurélie）；杰罗姆·费雷特，证明基于规则的模型中不存在无界聚合物，33-56[Zbl 1458.92027号]Hajnal，Matej；塞缪尔·帕斯特瓦，通过形式化方法进行模型选择，57-71[Zbl 1458.92035号]汉斯·迈克尔·卡尔滕巴赫，关于二部物种反应图及其与化学反应网络的相互作用图和定性动力学的关系的统一观点，73-90[Zbl 1458.92037号]特罗亚克（Troják，Matej）；萨夫拉内克，大卫；布里姆，卢博什；萨拉戈维奇，雅库布；乔尔文，简，用于生化系统规范和分析的可执行生化空间，91-116[Zbl 1458.92038号]托马斯·赖特（Thomas Wright）；伊恩·斯塔克，键演算中基因调控模式的建模，117-138[兹比尔1458.92039]柴新伟；托尼·里贝罗（Tony Ribeiro）；摩根·马根（Morgan Magnin）；Olivier Roux；井上，胜美，可达性问题的静态分析和随机搜索，139-158[Zbl 1458.92032号] MSC公司： 92-06 与生物学有关的会议记录、会议、收藏等 第92页第42页 系统生物学、网络 00时25分 杂项特定利益的会议记录 引文：Zbl 1391.92004号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gupta}（编辑）和\textit{T.Petrov}（编），《2018年SASB会议录》，第九届静态分析和系统生物学国际研讨会，德国弗莱堡，2018年8月28日。阿姆斯特丹：Elsevier（2020；Zbl 1448.92002） 全文： 链接