伊丽莎白·德·玛丽亚;亚历山大·穆齐;丹尼尔·加菲;安妮·雷苏切;弗兰克·格拉蒙特 验证建模为同步反应系统的神经元原型的时间特性。 （英文） Zbl 1428.92008年 Cinquemani，Eugenio（编辑）等人，《混合系统生物学》。2016年10月20日至21日在法国格勒诺布尔举行的2016年HSB第五届国际研讨会。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9957, 97-112 (2016).MSC公司：92B20型 92-08 92-04 PDF格式BibTeX公司 XML格式引用 \textit{E.De Maria}等人，Lect。注释计算。科学。9957，97-112（2016；Zbl 1428.92008） 全文： 内政部 链接 哈尔
斯特凡诺·佐丹奴 具有任意时间色散的随机取向涂层椭球的色散的非线性有效行为。 （英文） 兹比尔1423.74213 国际工程科学杂志。 98, 14-35 (2016).MSC公司：74E30型 2015年第74季度 74E05型 PDF格式BibTeX公司 XML格式引用 \textit{S.佐丹奴}，国际工程科学杂志。98、14-35（2016年；Zbl 1423.74213） 全文： 内政部
Vo V.安。;尼古拉·N·列昂尼科（Nikolai N.Leonenko）。;Maria D.Ruiz-Medina。 正则有界开域上的时空分数阶随机方程。 （英文） Zbl 1354.60065号 压裂。计算应用程序。分析。 19，第5期，1161-1199（2016）.MSC公司：60甲15 60G22型 60G60型 60G15年 6020万 60G17年 60年12月 26A33飞机 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Anh}等人，分形。计算应用程序。分析。19，第5号，1161--1199（2016；Zbl 1354.60065） 全文： 内政部 arXiv公司 链接
明弘市穆拉斯;大雄县Terauchi;直纪小林;佐藤隆介;不，Hiroshi 高阶功能程序的时间验证。 （英文） Zbl 1347.68233号 Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。57-68 (2016).MSC公司：60年第68季度 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Murase}等人，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。57-68（2016；Zbl 1347.68233） 全文： 内政部
马里亚·斯沃雷奥娃;玛尔塔·奎亚特科夫斯卡 随机博弈的定量验证与策略综合。 （英文） 兹比尔1347.93240 欧洲药典控制 30，15-30（2016）.MSC公司：93E03型 91A15型 93亿B50 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}和\textit{M.Kwiatkowska}，《欧洲期刊控制》30，15-30（2016；Zbl 1347.93240） 全文： 内政部
约旦维亚德;马蒂厄·拉塔比;Clémence Magnien 计算链路流中的最大团。 （英文） Zbl 1331.68158号 西奥。计算。科学。 609，第1部分，245-252（2016）.MSC公司：68兰特 05C69号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{J.Viard}等人，Theor。计算。科学。609，第1部分，245--252（2016；Zbl 1331.68158） 全文： 内政部 arXiv公司