斯特凡·库恩;伊雷克·乌利多夫斯基 用可逆过程演算模拟DNA错配修复。 (英语) Zbl 1493.92020年 西奥。计算。科学。 925, 68-86 (2022).MSC公司:92C40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kuhn}和\textit{I.Ulidowski},Theor。计算。科学。925,68-86(2022;Zbl 1493.92020) 全文: 内政部
亚拉·哈马沙维;弗洛林·丹尼尔;佩恩,安德烈;阿萨夫·马尔卡;罗恩·皮兰 具有蛋白质规则的P系统。 (英语) Zbl 1489.92032号 J.富兰克林研究所。 359,第8号,3779-3807(2022).MSC公司:92C30型 92立方37 92C40型 92-08 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hamshawi}等人,J.Franklin Inst.359,No.8,3779--3807(2022;Zbl 1489.92032) 全文: 内政部
琳达·布罗多;卡洛斯·奥拉特 用于多方交互的基于约束的语言。 (英语) Zbl 07313964号 Nalon,Cláudia(编辑)等人,《逻辑和语义框架及其应用第15届国际研讨会论文集》,LSFA 2020,虚拟研讨会,2020年8月27日至28日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。351, 25-50 (2020).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}和\textit{C.Olarte},电子。注释Theor。计算。科学。351、25-50(2020;Zbl 07313964) 全文: 内政部
博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 这个链接-开放多方交互的微积分。 (英语) Zbl 1496.68218号 Inf.计算。 275,文章ID 104587,38 p.(2020).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Inf.计算。275,文章ID 104587,38 p.(2020;Zbl 1496.68218) 全文: 内政部
毛里西奥·托罗 生态系统个性化建模的形式语言概述。 (英语) Zbl 1423.68318号 J.日志。代数。方法计划。 104, 117-126 (2019).MSC公司:68问题85 92D40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Toro},J.Log。代数。方法计划。104117-126(2019年;Zbl 1423.68318) 全文: 内政部 arXiv公司
博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 开放多方交互的正式方法。 (英语) Zbl 1411.68074号 西奥。计算。科学。 763, 38-65 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。763,38-65(2019年;Zbl 1411.68074) 全文: 内政部 arXiv公司
安德烈亚·贝尔尼尼;琳达·布罗多;皮耶保罗·德加诺;莫雷诺,法拉斯基;戴安娜埃尔米思 生物过程的过程计算。 (英语) Zbl 07772437号 自然计算。 17,第2号,345-373(2018).MSC公司:92立方厘米 92-08 PDF格式BibTeX公司 XML格式引用 \textit{A.Bernini}等人,《自然计算》。17,编号2345-373(2018;兹bl 07772437) 全文: 内政部
琳达·布罗多 关于编码移动环境的\(\pi\)-演算的表达性。 (英语) Zbl 1387.68164号 数学。结构。计算。科学。 28,第2期,202-240(2018).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo},数学。结构。计算。科学。28,第2号,202--240(2018;Zbl 1387.68164) 全文: 内政部
康斯坦蒂诺斯·吉安娜基斯;西奥多·安德洛尼科斯 模拟生物分子过程的膜自动机。 (英语) Zbl 1415.68084号 自然计算。 第151-163号第16页(2017年).MSC公司:2005年第68季度 2010年第68季度 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{K.Giannakis}和\textit{T.Andronikos},自然计算。16,第1号,151--163(2017;Zbl 1415.68084) 全文: 内政部
宋博生;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;潘林强 使用膜上蛋白质的P系统,可以有效地解决QSAT问题。 (英语) Zbl 1376.68041号 Inf.计算。 256, 287-299 (2017).MSC公司:2005年第68季度 2010年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Song}等人,Inf.计算。256287--299(2017;Zbl 1376.68041) 全文: 内政部
博迪,C。;布罗多,L。;R.戈里。;列维,F。;A.贝尔尼尼。;D.赫米思。 膜计算的静态分析,提供全局发生计数信息。 (英语) Zbl 1383.92032号 西奥。计算。科学。 696, 11-51 (2017).MSC公司:92立方厘米 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。696,11--51(2017;Zbl 1383.92032) 全文: 内政部 链接
阿曼,博格丹;加布里埃尔·乔巴努 蛋白质网络的计算能力。 (英语) Zbl 1483.68109号 Lepori,Alberto(编辑)等人,《膜计算》。2016年7月25日至29日,第17届国际会议,CMC 2016,意大利米兰。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。10105, 103-118 (2017).MSC公司:2007年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Lect。注释计算。科学。10105103--118(2017年;兹比尔1483.68109) 全文: 内政部
C·奥尔特。;Chiarugi,D。;M.法拉斯基。;D.赫米思。 生物化学系统中空间和时间依赖性的证明理论观点。 (英语) Zbl 1344.68140号 西奥。计算。科学。 641, 25-42 (2016).MSC公司:60年第68季度 03楼52 2005年第68季度 2010年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,Theor。计算。科学。641、25-42(2016年;Zbl 1344.68140) 全文: 内政部
阿曼,博格丹;加布里埃尔·乔巴努 加权峰值神经系统的建模和验证。 (英语) Zbl 1336.68064号 西奥。计算。科学。 623, 92-102 (2016).MSC公司:2005年第68季度 2010年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Theor。计算。科学。623、92——102(2016年;Zbl 1336.68064) 全文: 内政部
戴维·齐亚鲁吉;莫雷诺,法拉斯基;戴安娜埃尔米思;卡洛斯·奥拉特 生物化学系统中空间和时间模式的验证。 (英语) Zbl 1351.68157号 Pauleve,Loic(编辑)等人,第五届静态分析和系统生物学国际研讨会(SASB 2014)的后期报道,德国慕尼黑,2014年9月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记316,29-44(2015)。MSC公司:60年第68季度 03B70号 2005年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Chiarugi}等人,《电子》。注释Theor。计算。科学。316、29-44(2015;Zbl 1351.68157) 全文: 内政部
博迪,恰拉;琳达·布罗多;罗伯塔·戈里;戴安娜埃尔米思;弗朗西丝卡·列维 膜结石的全局发生计数分析。 (英语) 兹伯利1417.68118 Falaschi,Moreno(编辑),基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。9527, 179-200 (2015).MSC公司:68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Lect。注释计算。科学。9527179-200(2015年;Zbl 1417.68118) 全文: 内政部 链接
博迪,恰拉;罗伯塔·戈里;弗朗西丝卡·列维 膜结石的原因静态分析。 (英语) Zbl 1327.68099号 西奥。计算。科学。 587, 73-103 (2015).MSC公司:2005年第68季度 68问题85 92C30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。587、73——103(2015年;Zbl 1327.68099) 全文: 内政部
阿尔贝托·卡萨格兰德;卡拉广场 解开生物系统。 (英语) Zbl 1328.92027号 西奥。计算。科学。 587, 26-48 (2015).MSC公司:92立方厘米 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}和\textit{C.Piazza},提奥。计算。科学。587,26-48(2015;Zbl 1328.92027) 全文: 内政部 链接
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 空间P系统模型的模拟。 (英语) Zbl 1358.68098号 西奥。计算。科学。 529, 11-45 (2014).MSC公司:2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Theor。计算。科学。529,11--45(2014;Zbl 1358.68098) 全文: 内政部
博迪,恰拉;罗伯塔·戈里;弗朗西丝卡·列维 膜相互作用因果特性分析。 (英语) Zbl 1337.68100号 Merelli,Emanuela(编辑)等人,《第四届计算机科学与生物学相互作用国际研讨会论文集》(CS2Bio'13),意大利佛罗伦萨,2013年6月6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》299,15-31(2013)。MSC公司:2005年第68季度 第68季度55 92立方37 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,《电子》。注释Theor。计算。科学。299、15--31(2013年;Zbl 1337.68100) 全文: 内政部
马蒂亚斯·约翰;汉斯·约尔格·舒尔茨;海德伦·舒曼;阿德琳德·乌尔马赫。;安德烈亚·昂格尔 从微积分模型构建和可视化化学反应网络。 (英语) Zbl 1298.92128号 正式Asp。计算。 25,第5期,723-742(2013).MSC公司:92E20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.John}等人,正式Asp。计算。25,编号5,723--742(2013;Zbl 1298.92128) 全文: 内政部
彼得·索西克;佩恩,安德烈;阿方索·罗德里格斯-帕顿 膜上有蛋白质的P系统是PSPACE的特征。 (英语) Zbl 1293.68175号 西奥。计算。科学。 488, 78-95 (2013).MSC公司:65年第68季度 2005年第68季度 2010年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Sosík}等人,Theor。计算。科学。488,78-95(2013;Zbl 1293.68175) 全文: 内政部
Degasperi,A。;卡尔德,M。 生物系统多尺度建模的过程代数框架。 (英语) 兹比尔1293.68204 西奥。计算。科学。 488,15-45(2013).MSC公司:68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Degasperi}和\textit{M.Calder},Theor。计算。科学。488、15--45(2013年;Zbl 1293.68204) 全文: 内政部
沃博伊斯,M.F。 使用双图对嵌入在可定向曲面中的拓扑图进行建模。 (英语) Zbl 1296.05137号 西奥。计算。科学。 484, 56-69 (2013).MSC公司:05C60型 05年10月 68兰特 68单位05 PDF格式BibTeX公司 XML格式引用 \文本{M.F.Worboys},Theor。计算。科学。484、56-69(2013年;Zbl 1296.05137) 全文: 内政部
尼古拉斯·欧里;戈登·普洛金 通过随机多级多集重写进行多级建模。 (英语) Zbl 1318.92015年 数学。结构。计算。科学。 23,第2期,471-503(2013).MSC公司:92立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Oury}和\textit{G.Plotkin},数学。结构。计算。科学。23,第2号,471--503(2013;Zbl 1318.92015) 全文: 内政部
汤普森-沃尔什,C.D。;J.海曼。;温斯克尔,G。 基于规则的模型中的包含。 (英语) Zbl 1283.92045号 Feret,Jéróme(编辑)等人,第二届静态分析和系统生物学国际研讨会论文集(SASB 2011),意大利威尼斯,2011年9月13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记284125-137(2012)。MSC公司:92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.D.Thompson-Walsh}等人,《电子》。注释Theor。计算。科学。284125-137(2012年;Zbl 1283.92045) 全文: 内政部
Troels C.Damgaard。;埃斯彭·Höjsgaard;吉恩·克里文 正式的细胞机器。 (英语) Zbl 1283.92039号 Feret,Jéróme(编辑)等人,第二届静态分析和系统生物学国际研讨会论文集(SASB 2011),意大利威尼斯,2011年9月13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记284,55-74(2012)。MSC公司:92立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Damgaard}等人,《电子》。注释Theor。计算。科学。284、55--74(2012;Zbl 1283.92039) 全文: 内政部
博迪,恰拉;琳达·布罗多;戴维·齐亚鲁吉 广义布尔网络的控制流分析。 (英语) Zbl 1283.92058号 Feret,Jéróme(编辑)等人,第二届静态分析和系统生物学国际研讨会论文集(SASB 2011),意大利威尼斯,2011年9月13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记284,3-22(2012)。MSC公司:92D10型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,《电子》。注释Theor。计算。科学。284、3--22(2012年;Zbl 1283.92058) 全文: 内政部
拉斐尔·V·卡瓦略。;码头Kleijn;Annemarie H.Meijer。;Verbeek,Fons J。 对早期分枝杆菌感染的先天免疫反应建模。 (英语) Zbl 1261.92019号 计算。数学。方法医学。 2012,文章ID 790482,第12页(2012).MSC公司:92 C50 92C60型 92-08 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Carvalho}等人,计算。数学。方法Med.2012,文章ID 790482,12 p.(2012;Zbl 1261.92019) 全文: 内政部
Gemma Bel-Enguix公司;吉梅内斯·洛佩斯(Jiménez-López),M.多洛雷斯(M.Dolores) 生物计算:来自语言学的见解。 (英语) Zbl 1251.68274号 自然计算。 11,第1期,131-139(2012).MSC公司:68T50型 91层20 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bel-Enguix}和\textit{M.D.Jiménez-López},国家计算。11,第1号,131--139(2012;Zbl 1251.68274) 全文: 内政部
马修·拉金。;洛伊奇·波列维;安德鲁·菲利普斯 生物多过程计算的随机模拟。 (英语) Zbl 1251.68158号 西奥。计算。科学。 431, 181-206 (2012).MSC公司:68问题85 92B05型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Lakin}等人,Theor。计算。科学。43181--206(2012;Zbl 1251.68158) 全文: 内政部
利维奥·比奥利奥;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;安吉洛·特洛伊娜 循环序列演算的类型化随机语义。 (英语) Zbl 1284.68317号 西奥。计算。科学。 431165-180(2012年).MSC公司:2012年第68季度 第68季度55 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Bioglio}等人,Theor。计算。科学。431165-180(2012年;Zbl 1284.68317) 全文: 内政部
乔治·巴奇;马里诺·米库兰 Brane演算的可测随机性。 (英语) Zbl 1255.68099号 西奥。计算。科学。 431, 117-136 (2012).MSC公司:68问题85 2010年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}和\textit{M.Miculan},Theor。计算。科学。431117--136(2012年;Zbl 1255.68099) 全文: 内政部 arXiv公司
马里奥·科普;费卢西奥·达米亚尼;毛里齐奥·德罗科;埃琳娜·格拉西;伊娃·萨卡;Spinella,萨尔瓦多;安吉洛·特洛伊娜 包裹舱室演算的模拟技术。 (英语) Zbl 1238.68096号 西奥。计算。科学。 431, 75-95 (2012).MSC公司:68问题85 92B05型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Coppo}等人,Theor。计算。科学。431、75-95(2012年;Zbl 1238.68096) 全文: 内政部 arXiv公司
阿曼,博格丹;加布里埃尔·乔巴努 通过内吞和外吐进行计算。 (英语) Zbl 1274.68123号 安提恩。Al.I.Cuza IașI大学。马特·努。 57,补遗,13-24(2011).MSC公司:2005年第68季度 2017年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},An.Științ。Al.I.Cuza IașI大学。努埃,Mat.57,13-24(2011;Zbl 1274.68123) 全文: 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 循环序列的空间演算。 (英语) Zbl 1230.92002年 西奥。计算。科学。 412,第43号,5976-6001(2011).MSC公司:92B05型 2012年第68季度 92-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Theor。计算。科学。412,第43号,5976--6001(2011;Zbl 1230.92002) 全文: 内政部
米拉·达拉·普雷达;辛齐亚·迪·朱斯托 使用\(\kappa\)-演算搜索分布式恶意软件。 (英语) Zbl 1342.68078号 Owe,Olaf(编辑)等人,《计算理论基础》。2011年8月22日至25日在挪威奥斯陆举行的FCT 2011第18届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22952-7/pbk)。计算机科学课堂讲稿6914,102-113(2011)。MSC公司:68号30 92天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.Dalla Preda}和\textit{C.Di Giusto},莱克特。注释计算。科学。6914、102-113(2011;Zbl 1342.68078) 全文: 内政部
阿曼,博格丹;加布里埃尔·乔巴努 表面有物体的相互移动膜。 (英语) Zbl 1217.92037号 自然计算。 10,第2期,777-793(2011).MSC公司:92立方37 92C99型 2010年第68季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},自然计算。10,第2号,777--793(2011;Zbl 1217.92037) 全文: 内政部
利维奥·比奥利奥 循环序列演算的枚举类型语义。 (英语) Zbl 1214.92028号 西奥·雷罗。通知。申请。 45,第1号,35-58(2011).MSC公司:92立方厘米 2012年第68季度 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{L.Bioglio},RAIRO,Theor。通知。申请。45,第1号,35-58(2011;Zbl 1214.92028) 全文: 内政部 欧洲DML 链接
加布里埃尔·乔巴努;桑卡拉·纳拉亚南·克里希纳 增强型移动膜:可计算性结果。 (英语) Zbl 1217.68093号 理论计算。系统。 48,第3期,715-729(2011).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}和\textit{S.N.Krishna},理论计算。系统。48,第3号,715--729(2011;Zbl 1217.68093) 全文: 内政部
佩恩,安德烈;佩恩,米哈拉;阿方索·罗德里格斯-帕顿;曼努埃拉·西多罗夫 膜上蛋白质的P系统:一项调查。 (英语) Zbl 1213.68268号 发现的国际期刊。计算。科学。 22,第1号,39-53(2011).MSC公司:2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pun}等人,国际期刊发现。计算。科学。22,第1号,39-53(2011;Zbl 1213.68268) 全文: 内政部
彼得·比克博士;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 交互式系统的模块化验证与生物学应用。 (英语) Zbl 1283.68204号 Krivine,Jean(编辑)等人,第一届计算机科学与生物学相互作用国际研讨会论文集(CS2Bio'10),荷兰阿姆斯特丹,2010年6月10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记268,61-75(2010)。MSC公司:60年第68季度 65年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Drábik}等人,《电子》。注释Theor。计算。科学。268、61-75(2010年;Zbl 1283.68204) 全文: 内政部
安德烈亚·德加斯佩里;卡德,莫菲 用于模式形成模型的带钩子的过程代数。 (英语) Zbl 1283.68237号 Krivine,Jean(编辑)等人,第一届计算机科学与生物学相互作用国际研讨会论文集(CS2Bio'10),荷兰阿姆斯特丹,2010年6月10日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》268,31-47(2010)。MSC公司:68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Degasperi}和\textit{M.Calder},电子。注释Theor。计算。科学。268、31-47(2010年;Zbl 1283.68237) 全文: 内政部
迈克尔·佩德森;戈登·普洛金(Gordon D.Plotkin)。 生化系统语言:设计和形式规范。 (英语) Zbl 1275.92020年 Priami,Corrado(编辑)等人,《计算系统生物学学报》第十二卷。关于建模方法的特别问题。柏林:施普林格出版社(ISBN 978-3-642-11711-4/pbk)。计算机科学课堂讲稿5945。生物信息学课堂讲稿。《期刊副刊》,77-145(2010年)。MSC公司:92C40型 60J28型 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Pedersen}和\textit{G.D.Plotkin},莱克特。注释计算。科学。5945,77--145(2010;Zbl 1275.92020) 全文: 内政部
马蒂亚斯·约翰;塞德里克·侯赛因;约阿希姆·尼伦;阿德琳德·乌尔马赫。 具有优先级的属性像素。 (英语) Zbl 1275.92023号 Priami,Corrado(编辑)等人,《计算系统生物学学报》第十二卷。关于建模方法的特别问题。柏林:施普林格出版社(ISBN 978-3-642-11711-4/pbk)。计算机科学课堂讲稿5945。生物信息学课堂讲稿。《Subline期刊》,13-76(2010)。MSC公司:92立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.John}等人,Lect。注释计算。科学。5945,13-76(2010;Zbl 1275.92023) 全文: 内政部
罗伯塔·戈里;弗朗西丝卡·列维 基于抽象解释的生物环境时间特性验证。 (英语) Zbl 1205.68244号 Inf.计算。 208,第8期,869-921(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{F.Levi},Inf.Compute。208,第8号,869--921(2010;Zbl 1205.68244) 全文: 内政部
亚历山德罗·罗曼内尔;科拉多·普里亚米 关于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) 全文: 内政部 链接
阿曼,博格丹;马里亚纽拉州Dezani-Ciancaglini;安吉洛·特洛伊娜 用于分析生物相关特性的类型规程。 (英语) Zbl 1348.92066号 Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记227,97-111(2009)。MSC公司:92立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}等人,《电子》。注释Theor。计算。科学。227、97-111(2009年;Zbl 1348.92066) 全文: 内政部
费德里卡·乔切塔;玛丽亚·路易莎 生物-PEPA中生物隔间的建模。 (英语) Zbl 1348.92069号 Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记2277-95(2009)。MSC公司:92立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciocchetta}和\textit{M.L.Guerriro},电子。注释Theor。计算。科学。227,77-95(2009年;兹bl 1348.92069) 全文: 内政部
博迪,恰拉;安德烈亚·布拉夏利;戴维·齐亚鲁吉 膜结石的控制流分析。 (英语) Zbl 1348.92068号 Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记227,59-75(2009)。MSC公司:92立方厘米 60年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,《电子》。注释Theor。计算。科学。227、59-75(2009年;Zbl 1348.92068) 全文: 内政部
托马斯·安努·巴苏基;安东尼奥·塞隆;保罗·米拉佐 将随机CLS转换为Maude。 (英语) Zbl 1347.68340号 Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记227,37-58(2009)。MSC公司:68单位05 2012年第68季度 60年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Basuki}等人,《电子》。注释Theor。计算。科学。227、37-58(2009年;Zbl 1347.68340) 全文: 内政部
阿莱西奥·科莱塔;罗伯塔·戈里;弗朗西丝卡·列维 使用抽象解释近似生物系统的概率行为。 (英语) Zbl 1283.92037号 尼古拉·卡纳塔(编辑)等人,《第二次研讨会论文集——从生物学到并发性再到向后》(FBTC 2008),冰岛雷克雅未克,2008年7月12日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第1期,165-182(2009)。MSC公司:92立方厘米 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{A.Coletta}等人,《电子》。注释Theor。计算。科学。229,第1号,165--182(2009;Zbl 1283.92037) 全文: 内政部
奥利维尔·米歇尔;斯皮彻,安托万;吉安·卢伊斯·贾维托 用于集成生物建模的基于规则的编程。应用于噬菌体基因开关的建模。 (英语) Zbl 1185.68208号 自然计算。 8,第4期,865-889(2009).MSC公司:68甲19 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{O.Michel}等人,《自然计算》。8,第4号,865--889(2009;Zbl 1185.68208) 全文: 内政部
奥纳·安德烈;赫莱内·基什内尔 用于自主计算的高阶图形演算。 (英语) Zbl 1194.68117号 Lipshteyn,Marina(编辑)等人,《图论、计算智能和思维》。纪念马丁·查尔斯·格伦比奇60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-02028-5/pbk)。计算机科学课堂讲稿5420,15-26(2009)。MSC公司:2010年第68季度 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.Andrei}和\textit{H.Kirchner},莱克特。注释计算。科学。5420,15-26(2009;Zbl 1194.68117) 全文: 内政部
玛丽亚·帕梅拉·戴维。;约翰·罗布·班唐。;爱德华多·门多萨。 以激活、萌芽和交配为原始动作的投影膜演算。 (英语) Zbl 1260.92018年 Priami,Corrado(编辑)等人,《计算系统生物学学报》第十一卷。柏林:施普林格出版社(ISBN 978-3-642-04185-3/pbk)。计算机科学课程讲稿5750。生物信息学课堂讲稿。期刊副刊,164-186(2009)。MSC公司:92立方37 PDF格式BibTeX公司 XML格式引用 \textit{M.P.C.David}等人,Lect。注释计算。科学。5750、164--186(2009年;Zbl 1260.92018年) 全文: 内政部
卡德,莫菲;简·希尔斯顿 生物分子过程的过程代数建模风格。 (英语) Zbl 1260.92030 Priami,Corrado(编辑)等人,《计算系统生物学学报》第十一卷。柏林:施普林格出版社(ISBN 978-3-642-04185-3/pbk)。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》,1-25(2009)。MSC公司:92C45型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Calder}和\textit{J.Hillston},莱克特。注释计算。科学。5750,1-25(2009年;Zbl 1260.92030) 全文: 内政部
博迪,恰拉 带和不带静态隔间的Beta粘合剂的控制流分析。 (英语) Zbl 1173.68039号 西奥。计算。科学。 410,编号33-34,3110-3127(2009).MSC公司:68问题85 92B05型 PDF格式BibTeX公司 XML格式引用 \文本{C.Bodei},Theor。计算。科学。410,编号33-34,3110--3127(2009;Zbl 1173.68039) 全文: 内政部
克里斯蒂安·维萨里;纳迪亚·布西 存在多个隔间的随机生物模型。 (英语) Zbl 1173.68043号 西奥。计算。科学。 410,编号33-34,3039-3064(2009).MSC公司:68问题85 92B05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Versari}和\textit{N.Busi},Theor。计算。科学。410,编号33-34,3039-3064(2009;Zbl 1173.68043) 全文: 内政部
⑩erbénuţ\355 ;Ņene,Traian;tefénescu,Gheorghe;格里高·罗什乌 使用K语言中的结构化数据定义和执行P系统。 (英语) Zbl 1196.68084号 Corne,David Wolfe(编辑)等人,《膜计算》。2008年7月28日至31日在英国爱丁堡举行的2008年世界气象大会第九届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-95884-0/pbk)。计算机科学课堂讲稿5391374-393(2009)。MSC公司:2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.öerbţ\355}等人,Lect。注释计算。科学。5391、374--393(2009年;Zbl 1196.68084) 全文: 内政部
桑卡拉·纳拉亚南·克里希纳 带运输和嵌入蛋白质的膜计算。 (英语) Zbl 1158.68010号 西奥。计算。科学。 410,编号4-5,355-375(2009).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Krishna},Theor。计算。科学。410,编号4--5,355--375(2009;Zbl 1158.68010) 全文: 内政部
纳迪亚·布西;克劳迪奥·赞德隆 遗传系统的计算表达能力。 (英语) Zbl 1169.68017号 西奥。计算。科学。 410,编号4-5,286-293(2009).MSC公司:2010年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{C.Zandron},Theor。计算。科学。410,编号4--5,286--293(2009;Zbl 1169.68017) 全文: 内政部
吉恩·克里文;罗宾·米尔纳;安吉洛·特洛伊娜 随机双图。 (英语) Zbl 1286.68354号 Bauer,Andrej(编辑)等人,《第24届编程语义数学基础会议论文集》(MFPS XXIV),美国宾夕法尼亚州费城,2008年5月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记21873-96(2008)。MSC公司:68问题85 第68季度55 第68季度87 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Krivine}等人,《电子》。注释Theor。计算。科学。218、73-96(2008年;Zbl 1286.68354) 全文: 内政部
博迪,恰拉 β-粘合剂的静态分析。 (英语) Zbl 1279.68197号 尼古拉·卡纳塔(编辑)等人,第一次研讨会《从生物学到并发性再到并发性(FBTC 2007)》会议记录,葡萄牙里斯本,2007年9月8日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》194,第3期,69-85(2008)。MSC公司:60年第68季度 68问题85 92立方37 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei},电子。注释Theor。计算。科学。194,第3号,69-85(2008;Zbl 1279.68197) 全文: 内政部
罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐 用于模拟生物系统的中间语言。 (英语) Zbl 1279.92030号 尼古拉·卡纳塔(编辑)等人,第一次研讨会《从生物学到并发性再到并发性(FBTC 2007)》会议记录,葡萄牙里斯本,2007年9月8日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》194,第3期,19-34(2008)。MSC公司:92立方厘米 2012年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,《电子》。注释Theor。计算。科学。194,第3号,19-34(2008;Zbl 1279.92030) 全文: 内政部
纳迪亚·布西 brane calculi中的表达问题:一项调查。 (英语) Zbl 1279.68251号 Palamidessi,Catuscia(ed.)等人,《LIX并发理论新兴趋势研讨会论文集》(LIX 2006),法国巴黎,2006年11月13日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记209,107-124(2008)。MSC公司:68问题85 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi},电子。注释Theor。计算。科学。209、107-124(2008年;Zbl 1279.68251) 全文: 内政部
弗朗索瓦·法赫斯;西尔万·索利曼 系统生物学的抽象解释和类型。 (英语) Zbl 1155.68049号 西奥。计算。科学。 403,第1期,52-70(2008).MSC公司:第68季度55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Fages}和\textit{S.Soliman},Theor。计算。科学。403,编号1,52-70(2008;Zbl 1155.68049) 全文: 内政部
安德烈亚·布拉夏利;马塞洛·布鲁内利;恩里科·加泰罗多;皮耶保罗·德加诺 合成为随机并发系统。 (英语) Zbl 1155.92007年 西奥。计算。科学。 408,编号1,66-82(2008). 审核人:Jörg Desel(艾希斯特) MSC公司:92C20美元 68T05型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Braciali}等人,Theor。计算。科学。408,编号1,66-82(2008年;兹bl 1155.92007) 全文: 内政部
弗朗索瓦·法赫斯;奥雷连·里兹克 数值数据时间序列分析的时序逻辑约束求解。 (英语) Zbl 1160.68545号 西奥。计算。科学。 408,编号1,55-65(2008).MSC公司:68T20型 68周05 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Fages}和\textit{A.Rizk},Theor。计算。科学。408,编号1,55-65(2008;兹bl 1160.68545) 全文: 内政部
A.罗曼内尔。;C·普里亚米。 关于β-结合物结构同余的可判定性和复杂性。 (英语) Zbl 1151.68040号 西奥。计算。科学。 404,编号1-2,156-169(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Romanel}和\textit{C.Priami},Theor。计算。科学。404,编号1--2,156-169(2008;Zbl 1151.68040) 全文: 内政部 链接
埃兹贝特·苏哈伊·瓦尔朱;György的Vaszil (膜)膜自动机。 (英语) Zbl 1151.68015号 西奥。计算。科学。 404,编号1-2,52-60(2008).MSC公司:2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Csuhaj-Varjü}和\textit{G.Vaszil},Theor。计算。科学。404,编号1--2,52-60(2008;Zbl 1151.68015) 全文: 内政部
罗伯特·布里德;马蒂奥·卡瓦利埃;阿古斯汀·里斯科斯·努涅斯;格列泽戈兹·罗森贝格;斯伯伦、德拉戈什 膜中嵌入蛋白质的膜系统。 (英语) Zbl 1151.68012号 西奥。计算。科学。 404,编号1-2,26-39(2008).MSC公司:2010年第68季度 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Brijder}等人,Theor。计算。科学。404,编号1--2,26-39(2008;Zbl 1151.68012) 全文: 内政部
佩恩,古奥热 膜计算和膜结石。旧的、新的和未来的桥梁。 (英语) Zbl 1151.68021号 西奥。计算。科学。 404,编号1-2,19-25(2008).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun},Theor(西奥)。计算。科学。404,编号1--2,19-25(2008;Zbl 1151.68021) 全文: 内政部
卢卡·卡德利 双功能膜系统:生物膜的相互作用。 (英语) Zbl 1151.68013号 西奥。计算。科学。 404,编号1-2,5-18(2008).MSC公司:2010年第68季度 92立方37 PDF格式BibTeX公司 XML格式引用 \文本{L.Cardelli},Theor。计算。科学。404,编号1--2,5--18(2008;Zbl 1151.68013) 全文: 内政部
亨利克·皮利加德;弗莱明·尼尔森;尼尔森,Hanne Riis BioAmbients的路径分析。 (英语) Zbl 1147.92002号 J.日志。代数。程序。 77,编号1-2,92-130(2008).MSC公司:92B05型 2010年第68季度 68问题85 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Pilegaard}等人,J.日志。代数。程序。77,编号1--2,92-130(2008年;兹bl 1147.92002) 全文: 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 结石模拟膜中的相互模拟。 (英语) Zbl 1152.68035号 正式Asp。计算。 20,编号4-5,351-377(2008).MSC公司:68问题85 2010年第68季度 2012年第68季度 第68季度55 60年第68季度 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,《形式语法》。计算。20,编号4--5,351--377(2008;Zbl 1152.68035) 全文: 内政部
桑卡拉·纳拉亚南·克里希纳;加布里埃尔·乔巴努 增强型移动膜的计算能力。 (英语) Zbl 1142.68355号 Beckmann,Arnold(编辑)等人,《逻辑与算法理论》。第四届欧洲可计算性会议,2008年6月15日至20日,希腊雅典,CiE 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69405-2/pbk)。计算机科学课堂讲稿5028,326-335(2008)。MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Krishna}和\textit{G.Ciobanu},莱克特。注释计算。科学。5028326--335(2008年;Zbl 1142.68355) 全文: 内政部
弗朗索瓦·法赫斯;西尔万·索利曼 计算系统生物学中时间逻辑特性的模型修正。 (英语) Zbl 1137.68534号 De Raedt,Luc(编辑)等人,概率归纳逻辑编程。理论和应用。柏林:施普林格出版社(ISBN 978-3-540-78651-1/pbk)。计算机科学课堂讲稿4911。人工智能课堂讲稿,287-304(2008)。MSC公司:68T05型 68N17号 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Fages}和\textit{S.Soliman},Lect。注释计算。科学。4911287-304(2008年;兹bl 1137.68534) 全文: 内政部
徐,西安;董晓菊;傅玉玺 {\(\kappa\)}中的DNA加成模型。 (英语) Zbl 1277.68080号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,209-222(2007)。MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人,《电子》。注释Theor。计算。科学。171,第2号,209--222(2007;Zbl 1277.68080) 全文: 内政部
安东尼奥·维塔莱;吉安卡洛·莫里 通过膜结石中的活动小泡进行通讯。 (英语) Zbl 1277.68212号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,187-196(2007)。MSC公司:68问题85 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Vitale}和\textit{G.Mauri},电子。注释Theor。计算。科学。171,第2号,187--196(2007;Zbl 1277.68212) 全文: 内政部
克里斯蒂安·维萨里 在{\(\pi\)}@中编码催化P系统。 (英语) Zbl 1277.68211号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,171-186(2007)。MSC公司:68问题85 2005年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Versari},电子。注释Theor。计算。科学。171,第2号,171--186(2007;Zbl 1277.68211) 全文: 内政部
科拉多·普里亚米;亚历山德罗·罗曼内尔 β结合剂结构同余的可判定性。 (英语) Zbl 1277.68200号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记171,第2期,155-170(2007)。MSC公司:68问题85 03年2月25日 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Priami}和\textit{A.Romanel},电子。注释Theor。计算。科学。171,No.2,155--170(2007;Zbl 1277.68200) 全文: 内政部
科西莫·拉内夫;法比安·塔里桑 蛋白质和细胞的简单演算。 (英语) Zbl 1277.68195号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,139-154(2007)。MSC公司:68问题85 92C40型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Laneve}和\textit{F.Tarissau},电子。注释Theor。计算。科学。171,第2号,139--154(2007;Zbl 1277.68195) 全文: 内政部
朱利安·古铁雷斯;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 用于分析生物系统的时间并发约束编程。 (英语) Zbl 1277.68188号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,117-137(2007)。MSC公司:68问题85 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutiérrez}等人,《电子》。注释Theor。计算。科学。171,No.2,117--137(2007;Zbl 1277.68188) 全文: 内政部
鲁道夫·弗伦德;玛丽安·奥斯瓦尔德 组织P系统和(膜)膜系统,在弦上进行配对和滴水操作。 (英语) Zbl 1277.68075号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,105-115(2007)。MSC公司:2005年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Freund}和\textit{M.Oswald},电子。注释Theor。计算。科学。171,编号2105-115(2007年;兹bl 1277.68075) 全文: 内政部
丹尼尔·迪亚斯·佩尼尔;Miguel A.Gutiérrez-Naranjo。;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;阿古斯汀·里斯科斯·努涅斯 基于线性时间组织P系统的3-着色问题的解决方案。 (英语) Zbl 1277.68073号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,81-93(2007)。MSC公司:2005年第68季度 05C15号 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Díaz-Pernil}等人,《电子》。注释Theor。计算。科学。171,No.2,81--93(2007;Zbl 1277.68073) 全文: 内政部
马蒂奥·卡瓦利埃;肖恩·塞德瓦兹 外周蛋白的膜系统:运输和进化。 (英语) Zbl 1277.68072号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,37-53(2007)。MSC公司:2005年第68季度 2017年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Cavaliere}和\textit{S.Sedwards},电子。注释Theor。计算。科学。171,编号2,37-53(2007;Zbl 1277.68072) 全文: 内政部
罗伯特·布里德;马蒂奥·卡瓦利埃;阿古斯汀·里斯科斯·努涅斯;格列泽戈兹·罗森贝格;斯伯伦、德拉戈什 带有标记膜的膜系统。 (英语) Zbl 1277.68071号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,25-36(2007)。MSC公司:2005年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brijder}等人,电子。注释Theor。计算。科学。171,第2号,25-36(2007;Zbl 1277.68071) 全文: 内政部
佩恩,古奥热 膜计算和膜结石(一些个人笔记)。 (英语) Zbl 1277.68079号 Busi,Nadia(编辑)等人,《膜计算和生物启发过程计算第一次研讨会论文集》(MeCBIC 2006),S.Servolo,意大利威尼斯,2006年7月9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第2期,3-10页(2007年)。MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Păun},电子。注释Theor。计算。科学。171,第2、3--10号(2007;Zbl 1277.68079) 全文: 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 模拟生物膜的循环序列演算。 (英语) Zbl 1137.68371号 Eleftherakis,George(编辑)等人,《膜计算》。2007年6月25日至28日,希腊塞萨洛尼基WMC 2007第八届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-77311-5/pbk)。计算机科学课堂讲稿4860,54-76(2007)。MSC公司:2010年第68季度 2012年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Lect。注释计算。科学。4860、54-76(2007年;Zbl 1137.68371) 全文: 内政部
傅玉玺 环境优美。 (英语) Zbl 1111.68082号 Acta信息。 43,第8期,535-594(2007).MSC公司:68问题85 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fu},《学报》第43期,第8期,第535--594页(2007;Zbl 1111.68082) 全文: 内政部
奥纳·安德烈;加布里埃尔·乔巴努;多雷尔·卢卡努 膜系统操作语义的重写逻辑框架。 (英语) Zbl 1111.68064号 西奥。计算。科学。 373,第3号,163-181(2007).MSC公司:第68季度55 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Andrei}等人,Theor。计算。科学。373,第3号,163--181(2007;Zbl 1111.68064) 全文: 内政部
桑卡拉·纳拉亚南·克里希纳 基于膜结石手术的P系统的普遍性结果。 (英语) Zbl 1108.68057号 西奥。计算。科学。 371,编号1-2,83-105(2007).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Krishna},Theor。计算。科学。371,编号1--2,83-105(2007;Zbl 1108.68057) 全文: 内政部
彼得·本特利。 系统计算:具有自然特性的交互系统模型。 (英语) Zbl 1113.68052号 国际J.并行紧急配送系统。 22,第2期,103-121(2007).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Bentley},国际J.并行紧急配送系统。22,No.2,103--121(2007;Zbl 1113.68052) 全文: 内政部