亚历山大·勒吉扎蒙·罗巴约;安东尼奥·吉梅内斯·帕斯特;Tribastone,微型;马克斯·柴科夫斯基;安德里亚·万丁 多项式微分方程的近似约束集总。 (英语) Zbl 07810887号 Pang,Jun(编辑)等人,《系统生物学中的计算方法》。第21届国际会议,CMSB 2023,卢森堡市,卢森堡,2023年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14137, 106-123 (2023).MSC公司:92立方厘米 34C60个 PDF格式BibTeX公司 XML格式引用 \textit{A.Leguizamon-Robayo}等人,Lect。注释计算。科学。14137,106-123(2023;Zbl 07810887) 全文: 内政部
马丁·海弗里奇;科什卡,米兰;简·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;Zbl 1505.92074) 全文: 内政部 arXiv公司
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德里亚·万丁 微分等价的符号计算。 (英语) Zbl 1425.68463号 西奥。计算。科学。 777, 132-154 (2019).MSC公司:68瓦30 34个C99 68号30 68问题55 60年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Theor。计算。科学。777132-154(2019年;Zbl 1425.68463) 全文: 内政部 链接
卢卡·卡德利;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德里亚·万丁 比较化学反应网络:分类和算法的观点。 (英语) Zbl 1423.68165号 西奥。计算。科学。 765, 47-66 (2019).MSC公司:2005年第68季度 68问题85 92C40型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人,Theor。计算。科学。765,47-66(2019年;Zbl 1423.68165) 全文: 内政部 链接
阿曼,博格丹;加布里埃尔·乔巴努 键合演算。 (英语) Zbl 07772470号 自然计算。 17,第4期,823-832(2018).MSC公司:92C40型 92-10 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},自然计算。17,第4号,823--832(2018;Zbl 07772470) 全文: 内政部
保罗·巴拉里尼;玛丽·杜弗洛特 表达性统计模型检查方法在遗传电路分析中的应用。 (英语) Zbl 1337.92138号 西奥。计算。科学。 599, 4-33 (2015).MSC公司:92D10型 92立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ballarini}和\textit{M.Duflot},Theor。计算。科学。599、4--33(2015年;Zbl 1337.92138) 全文: 内政部
阿尔贝托·卡萨格兰德;卡拉广场 解开生物系统。 (英语) Zbl 1328.92027号 西奥。计算。科学。 587, 26-48 (2015).MSC公司:92立方厘米 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}和\textit{C.Piazza},提奥。计算。科学。587,26-48(2015;Zbl 1328.92027) 全文: 内政部 链接
亚历山大·安德烈琴科;蒂洛·克鲁格;大卫·斯皮勒 用形式化方法分析振荡行为。 (英语) Zbl 1427.92016年 Remke,Anne(编辑)等人,《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日,意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8453, 1-25 (2014).MSC公司:92B25型 92C40型 92D25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Andreychenko}等人,Lect。注释计算。科学。8453,1-25(2014;Zbl 1427.92016) 全文: 内政部
班克斯,C.J。;斯塔克,I。 上下文中的行为逻辑。 (英语) Zbl 1311.68083号 Inf.计算。 236, 3-18 (2014).MSC公司:60年第68季度 03B44号 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Banks}和\textit{I.Stark},Inf.Compute。2363-18(2014年;Zbl 1311.68083) 全文: 内政部
文森特·达诺斯;伊利亚斯·加尼尔 Petri网的自由能。 (英语) Zbl 1408.68099号 van Breugel,Franck(编辑)等人,《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8464, 268-289 (2014).MSC公司:68问题85 60J20型 87年第68季度 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}和\textit{I.Garnier},莱克特。注释计算。科学。8464、268--289(2014年;Zbl 1408.68099) 全文: 内政部
卢博什·布里姆;科什卡,米兰;萨夫拉内克,大卫 生物系统的模型检查。 (英语) Zbl 1380.92024号 Bernardo,Marco(编辑)等人,动力系统的形式化方法。2013年6月17日至22日,意大利贝蒂诺罗,第13所计算机、通信和软件系统正式设计方法国际学校,SFM 2013。高级讲座。柏林:施普林格出版社(ISBN 978-3-642-38873-6/pbk)。计算机科学课堂讲稿7938,63-112(2013)。MSC公司:92立方厘米 60年第68季度 2008年9月 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,Lect。注释计算。科学。7938,63-112(2013;Zbl 1380.92024) 全文: 内政部
杰罗姆·费雷特;托马斯·亨辛格;亨氏Koeppl;塔贾纳·彼得罗夫 基于规则的系统的可集中性抽象。 (英语) Zbl 1267.68153号 西奥。计算。科学。 431, 137-164 (2012). 审核人:Antti Valmari(坦佩雷) MSC公司:68问题85 92立方厘米 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Feret}等人,Theor。计算。科学。431,137--164(2012;Zbl 1267.68153) 全文: 内政部 arXiv公司
乔治·巴奇;马里诺·米库兰 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公司
罗伯托·巴布蒂;弗朗西丝卡·列维;保罗·米拉佐;圭多·斯卡纳 动力学速率不确定生物系统的概率模型检验。 (英语) 兹比尔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) 全文: 内政部
瓦实提·加尔平 生物过程代数的等价性。 (英语) Zbl 1402.92201号 西奥。计算。科学。 412,第43号,6058-6082(2011).MSC公司:92立方厘米 92C40型 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{V.Galpin},Theor。计算。科学。412、43号、6058--6082(2011;Zbl 1402.92201) 全文: 内政部
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 CTRL:CTL的扩展,带有正则表达式和公平操作符,用于验证遗传调控网络。 (英语) Zbl 1231.68163号 西奥。计算。科学。 412,第26号,2854-2883(2011). 审核人:马丁·兰格(卡塞尔) MSC公司:60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}等人,Theor。计算。科学。412,第26号,2854--2883(2011;Zbl 1231.68163) 全文: 内政部 链接
阿莱西奥·科莱塔;罗伯塔·戈里;弗朗西丝卡·列维 使用抽象解释近似生物系统的概率行为。 (英语) Zbl 1283.92037号 尼古拉·卡纳塔(编辑)等人,《第二次研讨会论文集——从生物学到并发性再到向后》(FBTC 2008),冰岛雷克雅未克,2008年7月12日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第1期,165-182(2009)。MSC公司:92立方厘米 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Coletta}等人,《电子》。理论注释。计算。科学。229,第1号,165--182(2009;Zbl 1283.92037) 全文: 内政部
罗伯托·巴布蒂;弗朗西丝卡·列维;保罗·米拉佐;圭多·斯卡纳 动力学速率不确定生物系统的概率模型检验。 (英语) Zbl 1260.68226号 Bournez,Olivier(编辑)等人,《可达性问题》。2009年9月23日至25日,法国帕莱索,RP 2009第三届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04419-9/pbk)。计算机科学课堂讲稿579764-78(2009)。MSC公司:60年第68季度 87年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Lect。注释计算。科学。5797、64--78(2009年;Zbl 1260.68226) 全文: 内政部
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 遗传调控网络的计算树规则逻辑。 (英语) Zbl 1183.68380号 Cha,Sungdeok(Steve)(编辑)等人,验证和分析自动化技术。2008年10月20日至23日,第六届国际研讨会,ATVA 2008,韩国首尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-88386-9/pbk)。计算机科学课堂讲稿5311,48-63(2008)。MSC公司:60年第68季度 03B44号 03B45号 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}等人,Lect。注释计算。科学。5311、48-63(2008年;Zbl 1183.68380) 全文: 内政部
克里斯·托夫茨 蚂蚁任务分配算法。(时间聚醚研究:理论)。 (英语) Zbl 0784.92026号 牛市。数学。生物。 55,第5期,891-918(1993). 审核人:A.I.Csetényi(布达佩斯) MSC公司:92D50型 PDF格式BibTeX公司 XML格式引用 \textit{C.Tofts},公牛。数学。生物学55,No.5,891--918(1993;Zbl 0784.92026) 全文: 内政部