Vo Hong Thanh先生;罗伯托·祖尼诺;普里阿米,科拉多 计算生化反应灵敏度的有效有限差分方法。 (英语) Zbl 1407.92009号 程序。英国皇家学会。,A、 数学。物理学。工程科学。 474,No.2218,文章ID 20180303,20 p.(2018).MSC公司:92-08 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{V.H.Thanh}等人,Proc。英国皇家学会。,A、 数学。物理学。工程科学。474,No.2218,Article ID 20180303,20 p.(2018;Zbl 1407.92009) 全文: 内政部 arXiv公司
亚历山德罗·罗曼内尔;普里阿米,科拉多 关于BlenX的计算能力。 (英语) Zbl 1186.68200号 西奥。计算。科学。 411,第2期,542-565(2010).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Romanel}和\textit{C.Priami},Theor。计算。科学。411,第2号,542--565(2010;Zbl 1186.68200) 全文: 内政部 链接
A.罗曼内尔。;C·普里亚米。 关于β-结合物结构同余的可判定性和复杂性。 (英语) Zbl 1151.68040号 西奥。计算。科学。 404,编号1-2156-169(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Romanel}和\textit{C.Priami},Theor。计算。科学。404,编号1--2,156-169(2008;Zbl 1151.68040) 全文: 内政部 链接
大卫·普兰迪;普里阿米,科拉多;保拉夸格里亚 通过兼容性进行通信。 (英语) Zbl 1137.68045号 J.日志。阿尔盖布。程序。 75,第2期,167-181(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Prandi}等人,J.Log。阿尔盖布。程序。75,第2号,167--181(2008;Zbl 1137.68045) 全文: 内政部
普里阿米,科拉多;亚历山德罗·罗曼内尔 β-结合物结构一致性的可判定性。 (英语) 兹比尔1277.68200 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,155-170(2007)。MSC公司:68问题85 03B25号 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Priami}和\textit{A.Romanel},电子。注释Theor。计算。科学。171,No.2,155--170(2007;Zbl 1277.68200) 全文: 内政部
费德里卡·乔切塔;普里阿米,科拉多 定量模型的生物交易。 (英语) Zbl 1277.68173号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,55-67(2007)。MSC公司:68问题85 68问题55 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciocchetta}和\textit{C.Priami},Electron。注释Theor。计算。科学。171,第2号,第55-67条(2007;Zbl 1277.68173) 全文: 内政部
拉杜·马达尔;普里阿米,科拉多 轩尼诗-米尔纳逻辑的可判定扩展。 (英语) Zbl 1225.03031号 Najm,Elie(编辑)等人,网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议,法国巴黎,2006年9月26-29日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-46219-4/pbk)。计算机科学课堂讲稿4229196-211(2006)。MSC公司:03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Mardare}和\textit{C.Priami},莱克特。注释计算。科学。4229196-211(2006;Zbl 1225.03031) 全文: 内政部
博迪,C。;德加诺,P。;C·普里亚米。 本地处理的\(\pi\)-演算代理的名称。 (英语) Zbl 0956.68007号 西奥。计算。科学。 253,第2期,155-184(2001).MSC公司:68米14 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。253,第2号,155--184(2001;Zbl 0956.68007) 全文: 内政部