托鲁加藤;Yoichi Hirashima 同步环境演算。 (英语) Zbl 07826196号 西奥。计算。科学。 994,文章ID 114479,19 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Kato}和\textit{Y.Hirashima},Theor。计算。科学。994,文章ID 114479,19 p.(2024;Zbl 07826196) 全文: 内政部
洛伦佐·卡普拉;迈克尔·科勒-布·迈耶 模块化可重写Petri网:动态分布式系统的有效模型。 (英语) Zbl 07807468号 西奥。计算。科学。 990,文章ID 114397,34 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Capra}和\textit{M.Köhler-Bußmeier},Theor。计算。科学。990,文章ID 114397,第34页(2024;Zbl 07807468) 全文: 内政部
斯特凡·库恩;伊雷克·乌利多夫斯基 用可逆过程演算模拟DNA错配修复。 (英语) Zbl 1493.92020年 西奥。计算。科学。 925, 68-86 (2022).MSC公司:92碳40 PDF格式BibTeX公司 XML格式引用 \textit{S.Kuhn}和\textit{I.Ulidowski},Theor。计算。科学。925,68-86(2022;Zbl 1493.92020) 全文: 内政部
安娜·菲利普;基里亚基·帕萨拉 用于反转Petri网的集合解释语义。 (英语) 兹伯利07540260 西奥。计算。科学。 924, 148-170 (2022).MSC公司:68问题85 2007年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Philippou}和\textit{K.Psara},Theor。计算。科学。924、148——170(2022年;兹bl 07540260) 全文: 内政部
伏玉溪 互动论文。 (英语) Zbl 07437215号 西奥。计算。科学。 897, 114-134 (2022).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \Theor,textit{Y.Fu}。计算。科学。897114-134(2022年;Zbl 07437215) 全文: 内政部
罗伯托·戈里埃里 BPP网络的团队互模拟和H团队互模拟研究。 (英语) Zbl 07437214号 西奥。计算。科学。 897, 83-113 (2022).MSC公司:68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{R.Gorrieri},Theor。计算。科学。897,83-113(2022;Zbl 07437214) 全文: 内政部
伊莎贝尔·克里斯蒂娜·佩雷兹·维罗纳;米尔科·特里巴斯通;安德烈·范丁 对生物模型库中定量模型的精确集中进行的大规模评估。 (英语) Zbl 1518.92067号 西奥。计算。科学。 893, 41-59 (2021).MSC公司:92碳40 92立方厘米 60华氏30 PDF格式BibTeX公司 XML格式引用 \textit{I.C.Perez-Verona}等人,Theor。计算。科学。893,41-59(2021;Zbl 1518.92067) 全文: 内政部 链接
因诺琴蒂尼(Innocentini,Guilherme C.P.)。;阿兰·霍奇金森;费尔南多·安东尼利;阿诺·德彪西;奥维迪乌·拉杜列斯库 分段确定性生化模拟的向前推方法。 (英语) Zbl 1518.92066号 西奥。计算。科学。 893, 17-40 (2021).MSC公司:92碳40 92立方厘米 60华氏30 第35季度92 PDF格式BibTeX公司 XML格式引用 \textit{G.C.P.因诺琴蒂尼}等人,Theor。计算。科学。893,17--40(2021;Zbl 1518.92066) 全文: 内政部 arXiv公司 哈尔
琳达,布罗多;罗伯托·布鲁尼;莫雷诺,法拉斯基 反应系统的过程代数方法。 (英语) Zbl 1517.68115号 西奥。计算。科学。 881, 62-82 (2021).MSC公司:2007年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人,Theor。计算。科学。881,62-82(2021;Zbl 1517.68115) 全文: 内政部
琳达,布罗多;罗伯托·布鲁尼;莫雷诺,法拉斯基 反应系统的逻辑和图形框架。 (英语) Zbl 1504.68065号 西奥。计算。科学。 875, 1-27 (2021).MSC公司:2007年第68季度 03B70号 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人,Theor。计算。科学。875,1--27(2021;Zbl 1504.68065) 全文: 内政部
马丁·伯格伦德;威廉·贝斯特;范德默韦,布林克 形式化并实现Boost POSIX正则表达式匹配。 (英语) Zbl 1477.68145号 西奥。计算。科学。 857, 147-165 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}等人,Theor。计算。科学。857、147--165(2021年;Zbl 1477.68145) 全文: 内政部
罗伯特·约翰逊。;埃里克·温弗里 使用互模拟验证聚合物反应网络。 (英语) Zbl 1460.68039号 西奥。计算。科学。 843, 84-114 (2020).MSC公司:2007年第68季度 60年第68季度 92碳40 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Johnson}和\textit{E.Winfree},Theor。计算。科学。843、84-114(2020年;Zbl 1460.68039) 全文: 内政部 链接
费德里科·阿西埃里;蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 关于中间逻辑的并发计算内容。 (英语) 兹比尔1433.68229 西奥。计算。科学。 813, 375-409 (2020).MSC公司:68问题85 03B40型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{F.Aschieri}等人,Theor。计算。科学。813375--409(2020年;Zbl 1433.68229) 全文: 内政部
毛里西奥·阿亚拉·林科恩;爱德华多·博内利;胡安·埃迪;安德烈斯·维索 类型化路径多态性。 (英语) Zbl 1423.68089号 西奥。计算。科学。 781, 111-130 (2019).MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,Theor。计算。科学。78111-130(2019年;Zbl 1423.68089) 全文: 内政部
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 微分等价的符号计算。 (英语) Zbl 1425.68463号 西奥。计算。科学。 777, 132-154 (2019).MSC公司:68瓦30 34个C99 68号30 68问题55 60年第68季度 68问题85 92碳40 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Theor。计算。科学。777132-154(2019年;Zbl 1425.68463) 全文: 内政部 链接
Shin,Seung Woo先生;克里斯·塔楚克;埃里克·温弗里 验证化学反应网络的实施:一种途径分解方法。 (英语) Zbl 1423.68292号 西奥。计算。科学。 765, 67-96 (2019).MSC公司:60年第68季度 2005年第68季度 68问题85 92碳40 PDF格式BibTeX公司 XML格式引用 \textit{S.W.Shin}等人,Theor。计算。科学。765,67-96(2019年;兹比尔1423.68292) 全文: 内政部 arXiv公司
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 比较化学反应网络:分类和算法的观点。 (英语) Zbl 1423.68165号 西奥。计算。科学。 765, 47-66 (2019).MSC公司:2005年第68季度 68问题85 92碳40 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Theor。计算。科学。765,47-66(2019年;Zbl 1423.68165) 全文: 内政部 链接
罗伯特·约翰逊;Dong,Qing(清·东);埃里克·温弗里 验证化学反应网络的实现:一种相互模拟方法。 (英语) Zbl 1423.68286号 西奥。计算。科学。 765, 3-46 (2019).MSC公司:60年第68季度 65年第68季度 68问题85 92碳40 PDF格式BibTeX公司 XML格式引用 \textit{R.Johnson}等人,Theor。计算。科学。765,3-46(2019年;Zbl 1423.68286) 全文: 内政部
博迪,恰拉;琳达,布罗多;罗伯托·布鲁尼 开放多方交互的正式方法。 (英语) Zbl 1411.68074号 西奥。计算。科学。 763, 38-65 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。763,38-65(2019年;兹bl 1411.68074) 全文: 内政部 arXiv公司
博迪,C。;布罗多,L。;R.戈里。;列维,F。;A.贝尔尼尼。;D.赫米思。 膜计算的静态分析,提供全局发生计数信息。 (英语) Zbl 1383.92032号 西奥。计算。科学。 696, 11-51 (2017).MSC公司:92立方厘米 92碳40 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。696,11--51(2017;Zbl 1383.92032) 全文: 内政部 链接
Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并行系统中的次指数、聚焦和模式。 (英语) Zbl 1373.68298号 西奥。计算。科学。 693, 35-58 (2017).MSC公司:68问题85 第03页 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人,Theor。计算。科学。693、35-58(2017年;Zbl 1373.68298) 全文: 内政部
马丁·伯格伦德;布林克·范德梅尔 关于正则表达式解析的语义。 (英语) Zbl 1371.68141号 西奥。计算。科学。 679, 69-82 (2017).MSC公司:65年第68季度 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Berglund}和\textit{B.van der Merwe},Theor。计算。科学。679,69-82(2017年;兹bl 1371.68141) 全文: 内政部
奥拉特,C。;Chiarugi,D。;M.法拉斯基。;D.赫米思。 生物化学系统中空间和时间依赖性的证明理论观点。 (英语) Zbl 1344.68140号 西奥。计算。科学。 641, 25-42 (2016).MSC公司:60年第68季度 第03页 2005年第68季度 2010年第68季度 92碳40 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,Theor。计算。科学。641、25-42(2016年;Zbl 1344.68140) 全文: 内政部 链接
克里斯蒂安·格雷斯;伊恩·皮特 质量作用反应网络的fit-preserving数据精细化的完整表征。 (英语) Zbl 1346.92055号 西奥。计算。科学。 641, 11-24 (2016).MSC公司:92D25型 92D15型 PDF格式BibTeX公司 XML格式引用 \textit{C.Grate}和\textit{I.Petre},Theor。计算。科学。641、11--24(2016;Zbl 1346.92055) 全文: 内政部
马修·拉金。;达科·斯特凡诺维奇;安德鲁·菲利普斯 通过序列化分析对化学反应网络编码进行模块化验证。 (英语) Zbl 1339.92105号 西奥。计算。科学。 632, 21-42 (2016).MSC公司:92E20型 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Lakin}等人,Theor。计算。科学。632,21-42(2016;Zbl 1339.92105) 全文: 内政部 链接
阿曼,博格丹;加布里埃尔·乔巴努 加权峰值神经系统的建模和验证。 (英语) 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) 全文: 内政部
罗伯特·J·科尔文。 使用混合过程代数对神经网络进行建模和分析。 (英语) Zbl 1336.92005号 西奥。计算。科学。 623,15-64(2016).MSC公司:92B20型 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{R.J.Colvin},Theor。计算。科学。623、15--64(2016年;Zbl 1336.92005) 全文: 内政部
弗雷德里克·布兰基 基于Girard的可约性概念,在(lambda)项上终止重写关系。 (英语) Zbl 1332.68103号 西奥。计算。科学。 611, 50-86 (2016).MSC公司:2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{F.布兰基},Theor。计算。科学。611、50-86(2016;Zbl 1332.68103) 全文: 内政部 arXiv公司
伏玉溪 互动理论。 (英语) Zbl 1353.68082号 西奥。计算。科学。 611, 1-49 (2016).MSC公司:2005年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \Theor,textit{Y.Fu}。计算。科学。611,1-49(2016年;兹bl 1353.68082) 全文: 内政部
乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 生化途径中的成分鉴定。 (英语) Zbl 1327.68163号 西奥。计算。科学。 587, 104-124 (2015).MSC公司:60年第68季度 92碳40 PDF格式BibTeX公司 XML格式引用 \textit{G.Pardini}等人,Theor。计算。科学。587104-124(2015年;Zbl 1327.68163) 全文: 内政部
博迪,恰拉;戈丽,罗伯塔;弗朗西丝卡·列维 膜结石的原因静态分析。 (英语) 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) 全文: 内政部 链接
Larsen,Kim G。;拉杜·马达尔 加权模态逻辑的完整证明系统。 (英语) Zbl 1317.68120号 西奥。计算。科学。 546, 164-175 (2014). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Mardare},Theor。计算。科学。546164--175(2014年;Zbl 1317.68120) 全文: 内政部
马克斯·柴科夫斯基;米尔科·特里巴斯通 马尔科夫过程代数中的精确流体集总性。 (英语) Zbl 1359.68228号 西奥。计算。科学。 538140-166(2014).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.柴可夫斯基}和\textit{M.Tribastone},提奥。计算。科学。538140--166(2014年;Zbl 1359.68228) 全文: 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 空间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) 全文: 内政部
本田、高黑;吉田、Nobuko;马丁·伯杰 命令式高阶函数的观测完整程序逻辑。 (英语) 兹比尔1358.68071 西奥。计算。科学。 517, 75-101 (2014).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Honda}等人,Theor。计算。科学。517,75-101(2014;Zbl 1358.68071) 全文: 内政部 链接
鲁本·罗伊,N.S。;范·贝克尔,S.J。 Featherweight Java的语义类型和近似。 (英语) Zbl 1358.68180号 西奥。计算。科学。 517, 34-74 (2014).MSC公司:68问题55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.N.S.Rowe}和\textit{S.J.van Bakel},Theor。计算。科学。517、34--74(2014年;Zbl 1358.68180) 全文: 内政部
萨瓦斯·科努尔;迈克尔·费希尔;斯文·舍韦 时间、概率和实时逻辑的组合模型检查。 (英语) Zbl 1360.68591号 西奥。计算。科学。 503, 61-88 (2013).MSC公司:60年第68季度 03B62型 68问题85 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur}等人,Theor。计算。科学。503、61-88(2013年;Zbl 1360.68591) 全文: 内政部
彼得·索西克;佩恩,安德烈;阿方索·罗德里格斯-帕顿 膜上有蛋白质的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·考尔德。 生物系统多尺度建模的过程代数框架。 (英语) Zbl 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) 全文: 内政部
Gilles Dowek;默多克·J·加贝。 PNL到HOL:从标称集逻辑到高阶函数逻辑。 (英语) Zbl 1309.03013号 西奥。计算。科学。 451, 38-69 (2012).MSC公司:03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{M.J.Gabbay},Theor。计算。科学。451、38--69(2012;Zbl 1309.03013) 全文: 内政部 arXiv公司
吉安·卢伊斯·贾维托;汉娜·克劳代尔;法兰克·波默罗 综合调控网络:空间组织的生物化学模块。 (英语) Zbl 1238.92013年9月 西奥。计算。科学。 431, 219-234 (2012).MSC公司:92立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Giavitto}等人,Theor。计算。科学。431219--234(2012;Zbl 1238.92013) 全文: 内政部
马修·拉金。;洛伊奇·波列维;安德鲁·菲利普斯 生物多过程计算的随机模拟。 (英语) 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号 西奥。计算。科学。 431, 165-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号 西奥。计算。科学。 431117-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公司
罗伯托·巴布蒂;朱利奥·卡拉瓦格纳;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;西蒙·蒂尼 用过程代数对生物系统进行多尺度建模的基础方面。 (英语) 兹比尔1238.68093 西奥。计算。科学。 431, 96-116 (2012).MSC公司:68问题85 68问题55 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Theor。计算。科学。431、96--116(2012年;Zbl 1238.68093) 全文: 内政部
马里奥·科普;费卢西奥·达米亚尼;毛里齐奥·德罗科;埃琳娜·格拉西;伊娃·萨卡;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 1238.68097号 西奥。计算。科学。 431, 56-74 (2012).MSC公司:68问题85 92B05型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{G.Zavataro},Theor。计算。科学。431,56-74(2012年;兹bl 1238.68097) 全文: 内政部
卢卡·卡德利;菲利普·加德纳 空间中的进程。 (英语) Zbl 1251.68153号 西奥。计算。科学。 431, 40-55 (2012).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{P.Gardner},Theor。计算。科学。431、40-55(2012年;Zbl 1251.68153) 全文: 内政部
朱利奥·卡拉瓦格纳;简·希尔斯顿 Bio-PEPAd:Bio-PEPA的非马尔科夫扩展。 (英语) Zbl 1232.68090号 西奥。计算。科学。 419, 26-49 (2012).MSC公司:68问题85 87年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Caravagna}和\textit{J.Hillston},Theor。计算。科学。419、26-49(2012;Zbl 1232.68090) 全文: 内政部
罗伯托·巴布蒂;弗朗西丝卡·列维;保罗·米拉佐;圭多·斯卡纳 动力学速率不确定生物系统的概率模型检验。 (英语) Zbl 1234.92020年 西奥。计算。科学。 419, 2-16 (2012).MSC公司:92立方厘米 2012年第68季度 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Theor。计算。科学。419,2--16(2012;Zbl 1234.92020) 全文: 内政部
朱利奥·曼佐内托;保罗·特兰基利 通过矫顽力微积分对\(\mathsf{ML}^{\mathsf F}\)进行强归一化。 (英语) Zbl 1238.03029号 西奥。计算。科学。 417, 74-94 (2012).MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Manzonetto}和\textit{P.Tranquilli},Theor。计算。科学。417、74-94(2012年;Zbl 1238.03029) 全文: 内政部
王一松;你,嘉慧;袁丽燕;沈义东;张明义 描述逻辑程序基于循环公式的语义。 (英语) Zbl 1255.68149号 西奥。计算。科学。 415, 60-85 (2012). 审核人:路易吉·帕洛波利(伦德) MSC公司:68T20型 68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人,Theor。计算。科学。415、60-85(2012年;Zbl 1255.68149) 全文: 内政部 arXiv公司
迪莉娅·凯斯纳;费边·雷诺 资源语言的棱镜框架。 (英语) Zbl 1231.68103号 西奥。计算。科学。 412,第37号,4867-4892(2011).MSC公司:68甲18 03B40型 第03页 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}和\textit{F.Renaud},Theor。计算。科学。412,第37号,4867-4892(2011;Zbl 1231.68103) 全文: 内政部 哈尔
瓦实提·加尔平 生物过程代数的等价性。 (英语) Zbl 1402.92201号 西奥。计算。科学。 412,第43号,6058-6082(2011).MSC公司:92立方厘米 92碳40 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{V.Galpin},Theor。计算。科学。412、43号、6058--6082(2011;Zbl 1402.92201) 全文: 内政部
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 循环序列的空间演算。 (英语) Zbl 1230.92002年 西奥。计算。科学。 412,第43号,5976-6001(2011).MSC公司:92B05型 2012年第68季度 92-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Theor。计算。科学。412,编号435976-6001(2011年;兹bl 1230.92002) 全文: 内政部
马西莫·梅罗;弗朗西斯科·巴拉丁;西比利奥,埃莱奥诺拉 无线系统的计时演算。 (英语) Zbl 1227.68077号 西奥。计算。科学。 412,第47号,6585-6611(2011).MSC公司:68问题85 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Merro}等人,Theor。计算。科学。412,第47号,6585--6611(2011;Zbl 1227.68077) 全文: 内政部
费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 具有无序数据的Petri网的可判定性和复杂性。 (英语) Zbl 1231.68172号 西奥。计算。科学。 412,第34号,4439-4451(2011). 审核人:Maciej Koutny(泰恩河畔纽卡斯尔) MSC公司:68问题85 60年第68季度 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa-Velardo}和\textit{D.de Frutos-Escrig},Theor。计算。科学。412,第34号,4439-4451(2011;Zbl 1231.68172) 全文: 内政部
瓦实提·加尔平;简·希尔斯顿 基于连续值离散化的Bio-PEPA语义等价。 (英语) Zbl 1215.68140号 西奥。计算。科学。 412,第21号,2142-2161(2011).MSC公司:68问题80 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Galpin}和\textit{J.Hillston},Theor。计算。科学。412,第21号,2142--2161(2011;Zbl 1215.68140) 全文: 内政部
克里斯·麦凯格;雷切尔·诺曼;卡隆尚克兰 从个体到群体:过程代数的平均场语义。 (英语) Zbl 1209.68307号 西奥。计算。科学。 第17号第412页,1557-1580页(2011年).MSC公司:68问题55 68问题85 92D25型 PDF格式BibTeX公司 XML格式引用 \textit{C.McCaig}等人,Theor。计算。科学。412,第17号,1557--1580(2011;Zbl 1209.68307) 全文: 内政部 链接
理查德·海登(Richard A.Hayden)。;Bradley,Jeremy T。 马尔科夫过程代数的流体分析框架。 (英语) Zbl 1334.68151号 西奥。计算。科学。 411,第22-24号,2260-2297(2010).MSC公司:68问题85 60J99型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Hayden}和\textit{J.T.Bradley},Theor。计算。科学。411,No.22--24,2260--2297(2010;Zbl 1334.68151) 全文: 内政部
Lanese,伊万;戴维·桑吉奥吉 无线系统演算的操作语义。 (英语) Zbl 1200.68035号 西奥。计算。科学。 4111928-1948(2010).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}和\textit{D.Sangiorgi},Theor。计算。科学。411,第19号,1928年--1948年(2010年;Zbl 1200.68035) 全文: 内政部
曼弗雷德·施密特·沙乌;大卫·萨贝尔 关于具有共享的高阶计算的一般上下文引理。 (英语) 兹比尔1191.68165 西奥。计算。科学。 411,第11-13号,1521-1541(2010).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt Schauß}和\textit{D.Sabel},Theor。计算。科学。411,编号11--131521--1541(2010;Zbl 1191.68165) 全文: 内政部
伏玉溪;卢浩 关于互动的表现力。 (英语) Zbl 1191.68436号 西奥。计算。科学。 411,第11-13号,1387-1451(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fu}和\textit{H.Lu},Theor。计算。科学。411,编号11--13387--1451(2010;Zbl 1191.68436) 全文: 内政部
亚历山德罗·罗曼内尔;科拉多·普里亚米 关于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) 全文: 内政部 链接
上田,Kazunori LMNtal作为一种层次逻辑编程语言。 (英语) Zbl 1187.68124号 西奥。计算。科学。 410,第46号,4784-4800(2009).MSC公司:68N17号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Ueda},Theor(西奥)。计算。科学。410,第46号,4784--4800(2009;Zbl 1187.68124) 全文: 内政部
菲利波·邦奇;乌戈·蒙塔纳里 反应系统,(半)饱和语义和预升上的余代数。 (英语) Zbl 1186.68315号 西奥。计算。科学。 410,第41号,4044-4066(2009).MSC公司:68问题85 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari},Theor。计算。科学。410,第41号,4044--4066(2009;Zbl 1186.68315) 全文: 内政部
卢卡·卡德利;艾曼纽尔·卡隆;菲利普·加德纳;奥赞·卡拉马诺·乌拉尔;安德鲁·菲利普斯 Rho-GTP结合蛋白的过程模型。 (英语) Zbl 1173.68040号 西奥。计算。科学。 410,编号33-34,3166-3185(2009).MSC公司:68问题85 92B05型 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Theor。计算。科学。410,编号33-343166-3185(2009;Zbl 1173.68040) 全文: 内政部
博迪,恰拉 有和无静态隔间的贝塔粘合剂的控制流量分析。 (英语) 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 1176.68095号 西奥。计算。科学。 410,编号33-34,3085-3109(2009).MSC公司:2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Theor。计算。科学。410,编号33-343085--3109(2009;Zbl 1176.68095) 全文: 内政部 链接
费德里卡·乔切塔;简·希尔斯顿 生物-PEPA:生物系统建模和分析的框架。 (英语) Zbl 1173.68041号 西奥。计算。科学。 410,编号33-34,3065-3084(2009).MSC公司:68问题85 92B05型 92碳40 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciocchetta}和\textit{J.Hillston},Theor。计算。科学。410,编号33-34,3065-3084(2009;Zbl 1173.68041) 全文: 内政部
克里斯蒂安·维萨里;纳迪亚·布西 存在多个隔间的随机生物模型。 (英语) 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--343039-3064(2009年;兹bl 1173.68043) 全文: 内政部
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;玛丽亚·格拉齐亚·维格利奥蒂 概率移动环境。 (英语) Zbl 1183.68400号 西奥。计算。科学。 410,编号12-13,1272-1303(2009).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Theor。计算。科学。410,编号12--131272-1303(2009年;兹bl 1183.68400) 全文: 内政部 链接
克里希纳,Shankara Narayanan 带运输和嵌入蛋白质的膜计算。 (英语) 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) 全文: 内政部
弗朗索瓦·法赫斯;西尔万·索利曼 系统生物学的抽象解释和类型。 (英语) 兹比尔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;Zbl 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;Zbl 1160.68545) 全文: 内政部
A.Credi。;M.加拉维利。;拉伊夫,C。;Pradalier,S。;西尔维,S。;G.扎瓦塔罗。 nano(kappa):纳米器件建模和仿真的微积分。 (英语) 兹比尔1160.68677 西奥。计算。科学。 408,第1期,17-30(2008).MSC公司:68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{A.Credi}等人,Theor。计算。科学。408,编号1,17--30(2008;Zbl 1160.68677) 全文: 内政部
罗曼内尔,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) 全文: 内政部 链接
科西莫·拉内夫;法比安·塔里桑 蛋白质和细胞的简单演算。 (英语) Zbl 1151.68039号 西奥。计算。科学。 404,编号1-2,127-141(2008).MSC公司:68问题85 92立方37 92碳40 PDF格式BibTeX公司 XML格式引用 \textit{C.Laneve}和\textit{F.Tarissau},Theor。计算。科学。404,编号1--2,127-141(2008;Zbl 1151.68039) 全文: 内政部 哈尔
丹尼尔·迪亚斯·佩尼尔;Miguel A.Gutiérrez-Naranjo。;佩雷兹·吉梅内斯(Pérez-Jiménez),马里奥·J·。;阿古斯汀·里斯科斯·努涅斯 细胞分裂在线性时间内求解3-COL的组织P系统的统一族。 (英语) Zbl 1151.68016号 西奥。计算。科学。 404,编号1-276-87(2008).MSC公司:2010年第68季度 65年第68季度 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{D.Díaz-Pernil}等人,Theor。计算。科学。404,编号1--2,76-87(2008;Zbl 1151.68016) 全文: 内政部
Csuhaj Varjú,埃尔泽贝特;吉尔吉斯·瓦西尔 (膜)膜自动机。 (英语) 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.68014号 西奥。计算。科学。 404,编号1-2,40-51(2008).MSC公司:2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cavaliere}和\textit{S.Sedwards},Theor。计算。科学。404,编号1--2,40-51(2008;Zbl 1151.68014) 全文: 内政部 链接
罗伯特·布里德;马泰奥·卡瓦利埃;阿古斯汀·里斯科斯·努涅斯;格列泽戈兹·罗森贝格;斯伯伦、德拉戈什 膜中嵌入蛋白质的膜系统。 (英语) Zbl 1151.68012号 西奥。计算。科学。 404,编号1-2,26-39(2008).MSC公司:2010年第68季度 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \文本{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) 全文: 内政部
Damien Pous 使用互模拟证明技术分析分布式抽象机。 (英语) Zbl 1146.68053号 西奥。计算。科学。 402,编号2-3,199-220(2008).MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \文本{D.Pous},Theor。计算。科学。402,编号2--3,199-220(2008;Zbl 1146.68053) 全文: 内政部 链接
Dezani Ciancaglini,马里亚焦拉;西尔维娅·吉勒赞;约万卡·潘托维奇;丹尼尔·瓦拉卡 动态web数据的安全类型。 (英语) 兹比尔1146.68014 西奥。计算。科学。 402,编号2-3,156-171(2008).MSC公司:68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人,Theor。计算。科学。402,编号2--3,156-171(2008;Zbl 1146.68014) 全文: 内政部 哈尔
路易斯·凯雷斯 分布式系统中并发和资源控制的空间行为类型。 (英语) Zbl 1146.68018号 西奥。计算。科学。 402,编号2-3,120-141(2008).MSC公司:64岁以下 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Caires},Theor。计算。科学。402,编号2--3,120-141(2008;Zbl 1146.68018) 全文: 内政部
路易吉·利科里;阿诺·斯皮瓦克 使用接口扩展FeatherTrait Java。 (英语) Zbl 1146.68026号 西奥。计算。科学。 398,编号1-3,243-260(2008).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Liquori}和\textit{A.Spiwack},Theor。计算。科学。398,编号1--3,243--260(2008;Zbl 1146.68026) 全文: 内政部 链接
阿德里亚娜·孔皮诺尼;埃尔萨·甘特。;菲利普·比丁格 装箱环境的基于角色的访问控制。 (英语) Zbl 1146.68020号 西奥。计算。科学。 398,编号1-3,203-216(2008).MSC公司:64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Compagnoni}等人,Theor。计算。科学。398,编号1--3,203-216(2008;Zbl 1146.68020) 全文: 内政部
伊内斯·玛格丽亚;马达莱娜·扎基 移动环境计算中的访问控制:比较视图。 (英语) Zbl 1146.68021号 西奥。计算。科学。 398,编号1-3,183-202(2008).MSC公司:64岁以下 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{I.Margaria}和\textit{M.Zacchi},Theor。计算。科学。398,编号1--3,183-202(2008;Zbl 1146.68021) 全文: 内政部
卢卡·卡德利 关于进程速率语义。 (英语) Zbl 1133.68054号 西奥。计算。科学。 391,第3期,190-215(2008).MSC公司:68问题85 92E20型 PDF格式BibTeX公司 XML格式引用 \文本{L.Cardelli},Theor。计算。科学。391,第3号,190--215(2008;Zbl 1133.68054) 全文: 内政部
阿兰·杰弗里;朱利安·拉特克 多态演算的完全抽象。 (英语) Zbl 1134.68040号 西奥。计算。科学。 390,编号2-3,171-196(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeffrey}和\textit{J.Rathke},Theor。计算。科学。390,编号2--3,171-196(2008;Zbl 1134.68040) 全文: 内政部
玛丽亚·格拉齐亚·维格利奥蒂;菲利普斯,伊恩;卡图西亚帕拉米德斯 关于分离的教程通过领导人选举问题导致流程计算。 (英语) 兹比尔1143.68056 西奥。计算。科学。 388,编号1-3,267-289(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Vigliotti}等人,Theor。计算。科学。388,编号1--3,267--289(2007;Zbl 1143.68056) 全文: 内政部 链接
鲍尔丹,P。;Bracciali,A。;R.布鲁尼。 开放流程的语义框架。 (英语) Zbl 1132.68042号 西奥。计算。科学。 389,第3号,446-483(2007年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。389,第3号,446--483(2007;Zbl 1132.68042) 全文: 内政部 链接
亚历山大·埃亨;吉田、Nobuko 通过显式代码迁移对Java RMI进行形式化。 (英语) Zbl 1132.68020号 西奥。计算。科学。 389,第3号,341-410(2007).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahern}和\textit{N.Yoshida},Theor。计算。科学。389,第3号,341--410(2007;Zbl 1132.68020) 全文: 内政部
洛科·德尼古拉;Joost-Pieter卡托恩;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 模型检查移动随机逻辑。 (英语) Zbl 1159.68478号 西奥。计算。科学。 382,第1期,42-70(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,Theor。计算。科学。382,编号1,42--70(2007;Zbl 1159.68478) 全文: 内政部 链接