马丁·海弗里奇;科什卡,米兰;简·Křetínsk;什蒂凡·马蒂切克 基于抽象的化学反应网络分段模拟。 (英语) Zbl 1505.92074号 Petre,Ion(编辑)等人,《系统生物学中的计算方法》。第20届国际会议,CMSB 2022,罗马尼亚布加勒斯特,2022年9月14-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13447, 41-60 (2022).MSC公司:92立方厘米 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Helfrich}等人,Lect。注释计算。科学。13447,41-60(2022年;兹比尔1505.92074) 全文: 内政部 arXiv公司
伊娃·什米亚科娃;塞缪尔·帕斯特瓦;萨夫拉内克,大卫;卢博什·布里姆 基于混合CTL规范的多仿射混合系统并行参数综合。 (英语) Zbl 1506.93027号 亚历山德罗(编辑)等,《系统生物学中的计算方法》。第18届国际会议,CMSB 2020,德国康斯坦茨,2020年9月23日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12314, 280-297 (2020).MSC公司:93亿B50 93立方 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Šmijáková}等人,Lect。注释计算。科学。12314280-297(2020年;Zbl 1506.93027) 全文: 内政部
卢卡·博托卢西;弗朗西丝卡·凯罗利 马尔可夫人口模型的贝叶斯抽象。 (英语) Zbl 07817526号 Parker,David(编辑)等人,《系统的定量评估》。2019年9月10日至12日,英国格拉斯哥,第16届国际会议,QEST 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11785, 259-276 (2019).MSC公司:92D25型 60J28型 92天30分 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{F.Cairoli},莱克特。注释计算。科学。11785、259--276(2019;Zbl 07817526) 全文: 内政部 链接
卢卡·博托卢西;卢卡·帕尔米耶里 化学反应网络的深度抽象。 (英语) Zbl 1397.92272号 采什卡,米兰(编辑)等人,《系统生物学中的计算方法》。2018年9月12日至14日在捷克共和国布尔诺举行的CMSB 2018第16届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-99428-4/pbk;978-3-3169-99429-1/电子书)。计算机科学讲义11095。生物信息学讲义,21-38(2018)。MSC公司:92C45型 68T05型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{L.Palmieri},莱克特。注释计算。科学。11095,21-38(2018;Zbl 1397.92272) 全文: 内政部 链接
孔慧;埃齐奥·巴托西;塞尔吉·博戈莫洛夫;拉杜·格罗苏;托马斯·亨辛格(Thomas A.Henzinger)。;姜瑜;克里斯蒂安·席林 多仿射系统的离散抽象。 (英语) 兹比尔1428.92040 Cinquemani,Eugenio(编辑)等人,《混合系统生物学》。2016年10月20日至21日在法国格勒诺布尔举行的2016年HSB第五届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9957, 128-144 (2016).MSC公司:92立方厘米 93立方 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{H.Kong}等人,Lect。注释计算。科学。9957128-144(2016年;1428.92040兹罗提) 全文: 内政部 链接 链接
朱利奥·卡拉瓦格纳;卢卡·博托卢西;吉多·桑吉内蒂 用高斯过程跨抽象层匹配模型。 (英语) Zbl 1382.92140号 Bartocci,Ezio(编辑)等人,《系统生物学中的计算方法》。2016年9月21日至23日,第14届国际会议,CMSB 2016,英国剑桥。诉讼程序。查姆:施普林格(ISBN 978-3-319-45176-3/pbk;978-3-3169-45177-0/电子书)。计算机科学课程讲稿9859。生物信息学讲义,49-66(2016)。MSC公司:92立方厘米 60G15年 PDF格式BibTeX公司 XML格式引用 \textit{G.Caravagna}等人,Lect。注释计算。科学。9859,49-66(2016;Zbl 1382.92140) 全文: 内政部 arXiv公司 链接
马克西姆·福舍特;洛伊奇·波列维;摩根·马根;奥利维尔·鲁克斯 多值异步网络中可达性的欠近似。 (英语) Zbl 1337.68181号 Merelli,Emanuela(编辑)等人,《第四届计算机科学与生物学相互作用国际研讨会论文集》(CS2Bio'13),意大利佛罗伦萨,2013年6月6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记299,33-51(2013)。MSC公司:68问题85 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Folschette}等人,《电子》。注释Theor。计算。科学。299,33-51(2013年;兹bl 1337.68181) 全文: 内政部
埃齐奥·巴托西;彼得罗·利奥;伊曼纽拉·梅雷利;尼古拉·保莱蒂 复杂生物系统中的多重验证:骨重塑案例研究。 (英语) Zbl 1381.74152号 Priami,Corrado(编辑)等人,《计算系统生物学学报》第十四卷。细胞过程计算模型专题。柏林:施普林格出版社(ISBN 978-3-642-35523-3/pbk)。计算机科学课堂讲稿7625。生物信息学课堂讲稿。《期刊副刊》,53-76(2012)。MSC公司:74升15 92C30型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人,Lect。注释计算。科学。7625,53-76(2012;Zbl 1381.74152) 全文: 内政部