×

找到83个文档（结果1-83）

最新的 引文 关联
洛科·德尼古拉;迪斯蒂法诺，卢卡;奥马尔·因弗索;塞雷内拉·瓦利亚尼

觅食蚂蚁集体行为的直观建模和形式分析。 （英语） Zbl 07810883号

Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，卢森堡，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14137, 44-61 (2023).
MSC公司：92D50型 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.De Nicola}等人，Lect。注释计算。科学。14137，44-61（2023；Zbl 07810883）
全文： 内政部
弗朗西丝卡·兰登;卢卡·博托卢西;米尔科·特里巴斯通

跳得越长跳得越少：使用\（h\）-缩放改进动态边界投影。 （英语） Zbl 1523.60129号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479150-170（2022年）。
MSC公司：60J20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Randone}等人，Lect。注释计算。科学。13479，150-170（2022；Zbl 1523.60129）
全文： 内政部
瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼

你的程序适应性和可靠性如何？ （英语） Zbl 1489.68139号

Peters，Kirstin（编辑）等人，分布式对象、组件和系统的形式化技术。第41届IFIP WG 6.1国际会议，FORTE 2021，作为第16届分布式计算技术国际联合会议的一部分，于2021年6月14日至18日在马耳他瓦莱塔举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12719, 60-79 (2021).
MSC公司：60年第68季度 68号30 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Castiglioni}等人，Lect。注释计算。科学。12719、60-79（2021年；Zbl 1489.68139）
全文： 内政部
托马斯·赖特;伊恩·斯塔克

键演算中基因调控模式的建模。 （英语） Zbl 1458.92039号

Gupta，Ankit（编辑）等人，《2018年SASB会议记录》，第九届静态分析和系统生物学国际研讨会，德国弗莱堡，2018年8月28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。350117-138（2020年）。
MSC公司：92立方厘米 92D10型
PDF格式BibTeX公司 XML格式引用
\textit{T.Wright}和\textit{I.Stark}，电子。注释Theor。计算。科学。350、117--138（2020；Zbl 1458.92039）
全文： 内政部
特罗亚克（Troják，Matej）;萨夫拉内克，大卫;卢博什·布里姆;萨拉戈维奇，雅库布;乔尔文，简

用于生化系统规范和分析的可执行生化空间。 （英语） Zbl 1458.92038号

Gupta，Ankit（编辑）等人，《2018年SASB会议记录》，第九届静态分析和系统生物学国际研讨会，德国弗莱堡，2018年8月28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。350, 91-116 (2020).
MSC公司：92立方厘米 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Troják}等人，《电子》。注释Theor。计算。科学。350，91-116（2020；Zbl 1458.92038）
全文： 内政部 arXiv公司
克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡

模型检查概率系统。 （英语） Zbl 1392.68227号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
米歇尔·博雷尔

代数、余代数和多项式微分方程中的最小化。 （英语） Zbl 1486.68109号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017，作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。10203, 71-87 (2017).
MSC公司：68问题85 第13页第15页 第34页 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.Boreale}，莱克特。注释计算。科学。10203、71--87（2017；Zbl 1486.68109）
全文： 内政部 arXiv公司
DěD，T。;萨夫拉内克，D。;Troják，M。;克莱门特，M。;什阿拉戈维奇，J。;布里姆·L。

Kappa和BNGL中具有语义的形式化生化空间。 （英语） Zbl 1401.92076号

Paulevé，Loíc（编辑）等人，第六届静态分析和系统生物学国际研讨会（SASB 2015）的后期报道，法国圣马洛，2015年9月8日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记326，27-49（2016）。
MSC公司：92C40型 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.DěD}等人，《电子》。注释Theor。计算。科学。32627--49（2016；Zbl 1401.92076）
全文： 内政部
安德里亚·万丁;米尔科·特里巴斯通

集体自适应系统的定量抽象。 （英语） Zbl 1346.68219号

Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学9700、202-232讲稿（2016）。
MSC公司：68T42型 68T05年 93甲15 93年30日
PDF格式BibTeX公司 XML格式引用
\textit{A.Vandin}和\textit{M.Tribastone}，莱克特。注释计算。科学。9700、202--232（2016；Zbl 1346.68219）
全文： 内政部
卢卡·博托卢西;尼古拉斯·加斯特

超越常微分方程的平均场极限。 （英语） Zbl 1346.68217号

Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学讲义9700，61-82（2016）。
MSC公司：68T42型 34A60型 34F05型 60J28型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{N.Gast}，莱克特。注释计算。科学。9700、61-82（2016年；Zbl 1346.68217）
全文： 内政部 哈尔
戴维·齐亚鲁吉;莫雷诺，法拉斯基;戴安娜·赫米思;卡洛斯·奥拉特

生物化学系统中空间和时间模式的验证。 （英语） 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）
全文： 内政部
戴维·齐亚鲁吉;莫雷诺，法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯

信号通路的声明性观点。 （英语） Zbl 1443.92092号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮尔保罗·德加诺65岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。9465, 183-201 (2015).
MSC公司：92C40型 92立方厘米 92立方37
PDF格式BibTeX公司 XML格式引用
\textit{D.Chiarugi}等人，Lect。注释计算。科学。9465，183--201（2015；Zbl 1443.92092）
全文： 内政部
朱利奥·亚科贝利;米尔科·特里巴斯通;安德里亚·万丁

马尔科夫过程代数的微分互模拟。 （英语） Zbl 1465.68195号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 293-306 (2015).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Iacobelli}等人，Lect。注释计算。科学。9234，293--306（2015；Zbl 1465.68195）
全文： 内政部
巴伯，贝诺;玛尔塔·奎亚特科夫斯卡

使用随机Petri网对DNA步行电路进行定量建模和验证。 （英语） Zbl 1432.68144号

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9115, 1-32 (2015).
MSC公司：2007年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Barbot}和\textit{M.Kwiatkowska}，莱克特。注释计算。科学。9115，1--32（2015；Zbl 1432.68144）
全文： 内政部
马克·格泽戈奇克;安德烈·阿德罗德;德克·胡斯迈尔

利用模型集合推断生物钟基因和代谢之间的双向相互作用。 （英语） Zbl 1311.92082号

Stat.应用。遗传学。分子生物学。 14，第2期，143-167（2015）.
MSC公司：92立方厘米 92B25型 92C80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Grzegorczyk}等人，《统计应用》。遗传学。分子生物学。14，第2号，143--167（2015；Zbl 1311.92082）
全文： 内政部 链接
科列斯尼琴科，安娜;瓦莱里奥·塞尼;Alireza Pourranjabar公司;安妮·雷姆克

将平均场近似应用于连续时间马尔可夫链。 （英语） Zbl 1426.68011号

Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：施普林格。莱克特。注释计算。科学。8453, 242-280 (2014).
MSC公司：68M10个 60J27型 60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Kolesnichenko}等人，Lect。注释计算。科学。8453、242--280（2014年；Zbl 1426.68011）
全文： 内政部 链接
乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼

生化途径中成分识别的算法。 （英语） Zbl 1337.92066号

Merelli，Emanuela（编辑）等人，《第四届计算机科学与生物学相互作用国际研讨会论文集》（CS2Bio'13），意大利佛罗伦萨，2013年6月6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记299，69-84（2013）。
MSC公司：92C40型 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Pardini}等人，《电子》。注释Theor。计算。科学。299、69-84（2013年；Zbl 1337.92066）
全文： 内政部
卢博什·布里姆;科什卡，米兰;萨夫拉内克，大卫

生物系统的模型检查。 （英语） 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季度 92-08
PDF格式BibTeX公司 XML格式引用
\textit{L.Brim}等人，Lect。注释计算。科学。7938，63-112（2013；Zbl 1380.92024）
全文： 内政部
阿莱西奥·安吉乌斯;安德拉斯·霍瓦思

随机反应网络中瞬态概率的乘积形式近似。 （英语） Zbl 1291.92064号

Giannini，Paola（编辑）等人，第二届计算机科学与生物学相互作用国际研讨会后刊（CS2Bio'11），冰岛雷克雅未克，2011年6月9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记2773-14（2011）。
MSC公司：92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Angius}和\textit{A.Horváth}，电子。注释Theor。计算。科学。277，3-4（2011；Zbl 1291.92064）
全文： 内政部
洛伊奇·波列维;摩根·马根;奥利维尔·鲁克斯

在随机（pi）演算框架中细化基因调控网络的动力学。 （英语） Zbl 1326.92027号

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十三期。柏林：施普林格出版社（ISBN 978-3-642-19747-5/pbk）。计算机科学课堂讲稿6575。生物信息学课堂讲稿。《期刊副刊》，171-191（2011）。
MSC公司：92立方厘米 68问题85 92C50
PDF格式BibTeX公司 XML格式引用
\textit{L.Paulevé}等人，Lect。注释计算。科学。6575、171--191（2011年；Zbl 1326.92027）
全文： 内政部 哈尔
彼得·比克博士;安德烈亚·马焦洛·谢蒂尼;保罗·米拉佐

交互式系统的模块化验证与生物学应用。 （英语） 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）
全文： 内政部
安德烈亚·德加斯佩里;卡德，莫菲

将柱坐标中的PDE和CTMC与浓度水平相关联。 （英语） Zbl 1283.68238号

Krivine，Jean（编辑）等人，第一届计算机科学与生物学相互作用国际研讨会论文集（CS2Bio'10），荷兰阿姆斯特丹，2010年6月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记268，49-59（2010）。
MSC公司：68问题85 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Degasperi}和\textit{M.Calder}，电子。注释Theor。计算。科学。268、49-59（2010年；Zbl 1283.68238）
全文： 内政部
安德烈亚·德加斯佩里;卡德，莫菲

模式形成模型的钩子进程代数。 （英语） 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）
全文： 内政部
奥纳·安德烈;卡德，莫菲

AKAP脚手架的模型和分析。 （英语） Zbl 1283.92014年

Krivine，Jean（编辑）等人，第一届计算机科学与生物学相互作用国际研讨会论文集（CS2Bio'10），荷兰阿姆斯特丹，2010年6月10日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》268，3-15（2010）。
MSC公司：92立方厘米 60年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{O.Andrei}和\textit{M.Calder}，电子。注释Theor。计算。科学。268，3--15（2010；Zbl 1283.92014）
全文： 内政部
凯琳·库特勒;塞德里克·侯赛因;米拉贝尔·内布特

色氨酸操纵子转录衰减的基于规则的建模。 （英语） Zbl 1275.92024

Priami，Corrado（编辑）等人，《计算系统生物学汇刊》第十二期。关于建模方法的特别问题。柏林：施普林格出版社（ISBN 978-3-642-11711-4/pbk）。计算机科学课堂讲稿5945。生物信息学课堂讲稿。《期刊副刊》，199-228（2010）。
MSC公司：92立方厘米 68问题85 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{C.Kuttler}等人，Lect。注释计算。科学。5945199-228（2010年；兹比尔1275.92024）
全文： 内政部
迈克尔·佩德森;戈登·普罗特金。

生化系统语言：设计和形式规范。 （英语） 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）
全文： 内政部
马蒂亚斯·约翰;塞德里克·侯赛因;约阿希姆·尼伦;阿德琳德·M·乌尔马赫。

具有优先级的属性像素。 （英语） Zbl 1275.92023号

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十二卷。关于建模方法的特刊。柏林：施普林格出版社（ISBN 978-3-642-11711-4/pbk）。计算机科学课堂讲稿5945。生物信息学课堂讲稿。《期刊副刊》，13-76（2010）。
MSC公司：92立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.John}等人，Lect。注释计算。科学。5945，13-76（2010；Zbl 1275.92023）
全文： 内政部 链接
丹尼尔·布朗;里卡多·普切拉

时间随机关系的类别。 （英语） Zbl 1337.68195号

Abramsky，Samson（编辑）等人，第25届编程语义数学基础会议论文集（MFPS 2009），英国牛津，2009年4月3日至7日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记249193-217（2009）。
MSC公司：87年第68季度 18立方厘米 18 C50 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Brown}和\textit{R.Pucella}，电子。注释Theor。计算。科学。249、193--217（2009年；Zbl 1337.68195）
全文： 内政部
菲利普·德尔·特德斯科;卡拉广场

系统生物学过程代数中的外部控制。 （英语） Zbl 1348.92071号

Ciobanu，Gabriel（编辑），《第二届膜计算和生物启发过程计算国际会议论文集》（MeCBIC 2008），2008年9月3日至4日，罗马尼亚伊阿什。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记227161-177（2009）。
MSC公司：92立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Del Tedesco}和\textit{C.Piazza}，电子。注释Theor。计算。科学。227161--177（2009年；Zbl 1348.92071）
全文： 内政部
费德里卡·乔切塔;玛丽亚·路易斯·格雷罗

生物-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.Guerriero｝，Electron。注释Theor。计算。科学。2277-95（2009年；Zbl 1348.92069）
全文： 内政部
费德里卡·乔切塔;安德烈亚·德加斯佩里;简·希尔斯顿;卡尔德，穆菲

关于CTMC和源自bio-PEPA的ODE模型的一些研究。 （英语） Zbl 1283.92036号

尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到向后》（FBTC 2008），冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，145-163（2009）。
MSC公司：92立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Ciocchetta}等人，《电子》。注释Theor。计算。科学。229，第1号，145--163（2009；Zbl 1283.92036）
全文： 内政部
保罗·巴拉里尼;拉杜·马达尔;伊凡·穆拉

通过概率模型检验分析生化振荡。 （英语） Zbl 1283.92023号

尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第1期，3-19页（2009年）。
MSC公司：92C40型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Ballarini}等人，《电子》。注释Theor。计算。科学。229，第1号，第3--19号（2009；Zbl 1283.92023）
全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼;维雷娜·沃尔夫

指定马尔科夫人口模型的形式化。 （英语） Zbl 1260.68284号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿5797，3-23（2009）。
MSC公司：87年第68季度 60J27型 65立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。5797，3--23（2009年；Zbl 1260.68284）
全文： 内政部 链接
卢卡·博托卢西;阿尔贝托，Policriti

动力系统和随机规划：到常微分方程和回来。 （英语） Zbl 1260.92020年

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十一卷。柏林：施普林格出版社（ISBN 978-3-642-04185-3/pbk）。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》，216-267（2009）。
MSC公司：92C40型 90立方厘米 68问题85 34C60个 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{A.Policriti}，莱克特。注释计算。科学。5750、216——267（2009年；Zbl 1260.92020年）
全文： 内政部
费德里卡·乔切塔

生物-PEPA与事件。 （英语） Zbl 1260.92021号

Priami，Corrado（编辑）等人，《计算系统生物学汇刊十一》。柏林：施普林格出版社（ISBN 978-3-642-04185-3/pbk）。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》，45-68（2009年）。
MSC公司：92C40型 92-04 92C45型
PDF格式BibTeX公司 XML格式引用
\textit{F.乔切塔}，莱克特。注释计算。科学。5750、45-68（2009年；Zbl 1260.92021）
全文： 内政部
卡德，莫菲;简·希尔斯顿

生物分子过程的过程代数建模风格。 （英语） 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）
全文： 内政部
瓦实提·加尔平;简·希尔斯顿;卢卡·博托卢西

HYPE应用于杂交生物系统的建模。 （英语） Zbl 1286.92027号

Bauer，Andrej（编辑）等人，《第24届编程语义数学基础会议论文集》（MFPS XXIV），美国宾夕法尼亚州费城，2008年5月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记218，33-51（2008）。
MSC公司：92立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Galpin}等人，《电子》。注释Theor。计算。科学。218、33-51（2008年；Zbl 1286.92027）
全文： 内政部
Jeremy T·布拉德利。

滴答钟：利用随机过程代数对昼夜节律进行性能分析。 （英语） Zbl 1180.92005年

Thomas，Nigel（编辑）等人，《计算机性能工程》，第五届欧洲性能工程研讨会，EPEW 2008，西班牙马洛卡棕榈岛，2008年9月24日至25日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87411-9/pbk）。计算机科学课堂讲稿5261，79-94（2008）。
MSC公司：92B25型 92立方37 92C30型 34A99型
PDF格式BibTeX公司 XML格式引用
\发短信{J·T·布拉德利}，莱克特。注释计算。科学。5261，79-94（2008；Zbl 1180.92005）
全文： 内政部
费德里卡·乔切塔;科拉多·普里亚米

定量模型的生物交易。 （英语） 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}，电子。注释Theor。计算。科学。171，第2号，第55-67条（2007；Zbl 1277.68173）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件