生物-PEPA swMATH ID: 1361 软件作者: Federica Ciocchetta、Maria Luisa Guerriero、Vashti Galpin、Jane Hillston、Giulio Caravagna、Allan Clark、Andrea Degasperi、Adam Duguid、Kanimozhi Ellavarason、Stephen Gilmore、Laurence Loewe、Dimitrios Milios 描述: 在这项工作中,我们提出了生物-PEPA,一个用于生化网络建模和分析的过程代数。它是对PEPA的修改,最初用于计算机系统的性能分析,以处理生物模型的某些特征,如化学计量和一般动力学定律的使用。生物-PEPA可以被视为生物系统的一种中间、形式和组成表示,可以对其进行不同类型的分析。生物-PEPA丰富了一些等效概念。特别是,PEPA的同构性和强互模拟已经被考虑并扩展到我们的语言中。最后,我们展示了生物模型到新语言的翻译,并报告了一些分析结果。 主页: http://homepages.inf.ed.ac.uk/jeh/Bio-PEPA/biopepa.html 编程语言: Java语言 操作系统: Windows、Mac OS X和Linux 依赖项: Eclipse 3.5 Carbon版本 关键词: 过程代数;生物化学网络;建模;分析 相关软件: 政治公众人物协议;棱镜;生物CHAM;生物净发电;BlenX公司;伦敦商学院;生物-PEPAd;斯皮科;科帕西;MRMC公司;生物模型;SLMC公司;莫德;KaDE公司;NFsim公司;帕洛马;侵蚀;z3(零3);阿拉伯国家石油公司;KEGG公司 引用于: 97文件 更多出版物: http://homepages.inf.ed.ac.uk/jeh/Bio-PEPA/References.html 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 生物-PEPA:生物系统建模和分析的框架。 Zbl 1173.68041号费德里卡·乔切塔;简·希尔斯顿 2009 全部的 前5名165位作者引用 8 简·希尔斯顿 7 卢卡·博托卢西 7 卡德,莫菲 7 保罗·米拉佐 7 米尔科·特里巴斯通 6 费德里卡·乔切塔 6 安德烈亚·马吉奥洛·谢蒂尼 4 安德烈·阿德罗德 4 加布里埃尔·乔巴努 4 安德烈亚·德加斯佩里 4 莫雷诺,法拉斯基 4 瓦实提·加尔平 4 马克·格雷戈奇克(Marco A.Grzegorczyk)。 4 德克·胡斯迈尔 4 西蒙·蒂尼 4 马克斯·柴科夫斯基 4 安德烈·范丁 三 罗伯托·巴布蒂 三 卢博什·布里姆 三 朱利奥·卡拉瓦格纳 三 瓦伦蒂娜·卡斯蒂格利奥尼 三 戴维·齐亚鲁吉 三 戴安娜·赫米思 三 米歇尔·洛雷蒂 三 伊曼纽拉·梅雷利 三 卡洛斯·奥拉特 三 乔瓦尼·帕迪尼 三 科拉多·普里亚米 三 萨夫拉内克,大卫 2 阿曼,博格丹 2 阿莱西奥·安吉乌斯 2 回来了,拉尔夫·约翰 2 米歇尔·博雷尔 2 卢卡·卡德利 2 丁杰 2 安德拉斯·霍瓦思 2 豪尔赫·茹尔韦兹 2 Marta Z.Kwiatkowska。 2 塞德里克·侯赛因 2 林志贵 2 伊恩·皮特 2 卡拉广场 2 萨拉戈维奇,雅库布 2 吉多·桑吉内蒂 2 安吉洛·特洛伊娜 2 特罗亚克(Troják,Matej) 2 阿德琳德·M·乌尔马赫。 1 奥纳·安德烈 1 西奥多·安德洛尼科斯 1 马可·安东尼奥蒂 1 克里斯特尔·拜尔 1 詹弗兰科·巴尔博 1 保罗·巴拉里尼 1 巴伯,贝诺 1 埃齐奥·巴托西 1 马可·贝库蒂 1 苏菲涅·本基拉内 1 安德烈亚·贝尔尼尼 1 恩里科·比博纳 1 雷纳·百年灵 1 琳达·布罗多 1 纳迪亚·布西 1 费德里科·布蒂 1 卡奇亚格拉诺,迪莱塔·罗曼娜 1 尼古拉·卡纳塔 1 阿尔贝托·卡萨格兰德 1 乔尔文,简 1 科什卡,米兰 1 罗伯特·J·科尔文。 1 马里奥·科普 1 弗拉维奥·科拉迪尼 1 A.Credi。 1 费卢西奥·达米亚尼 1 卢卡·德·阿尔法罗 1 洛科·德尼古拉 1 埃里克·P·德文克。 1 DěD,T。 1 迪加诺,皮尔保罗 1 菲利普·德尔·特德斯科 1 卢卡·迪·斯特法诺 1 罗宾·唐纳森。 1 阿尔贝托·德奥诺弗里奥 1 彼得·比克博士 1 毛里齐奥·德罗科 1 Forejt,Vojtěch公司 1 马尔科·加拉韦利 1 尼古拉斯·加斯特 1 康斯坦蒂诺斯·吉安娜基斯 1 大卫·吉尔伯特 1 罗伯塔·戈里 1 埃琳娜·格拉西 1 顾红红 1 玛丽亚·路易斯·格雷罗 1 Shigeki Hagihara 1 莫妮卡·海纳 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 徐大伟(David Y.Hsu)。 1 Huynh Thu,维安 1 朱利奥·亚科贝利 1 Ichinose、Takuma …以及65多位作者 全部的 前5名15篇连载文章中引用 24 理论计算机科学 5 自然计算 4 信息与计算 三 计算机科学课堂讲稿 三 程序设计中的逻辑和代数方法杂志 2 离散事件动态系统 2 遗传学和分子生物学中的统计应用 2 计算机科学中的逻辑方法 1 应用数学快报 1 计算统计学 1 应用数学建模 1 理论计算机科学电子笔记 1 统计与计算 1 分子生物学方法 1 膜计算杂志 全部的 前5名在15个字段中引用 69 生物学和其他自然科学(92-XX) 68 计算机科学(68至XX) 11 概率论与随机过程(60-XX) 6 常微分方程(34-XX) 4 总体主题;集合(00-XX) 4 数学逻辑和基础(03-XX) 三 系统论;控制(93至XX) 2 交换代数(13-XX) 2 偏微分方程(35-XX) 2 统计学(62-XX) 2 数值分析(65-XX) 1 范畴理论;同调代数(18-XX) 1 可变形固体力学(74-XX) 1 流体力学(76-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文