政治公众人物协议 swMATH ID: 10692 软件作者： 简·希尔斯顿；http://www.dcs.ed.ac.uk/pepa/people网站/ 描述： PEPA：绩效评估过程代数。PEPA工具：PEPA进程代数由PEPA Eclipse插件项目支持，这是对Eclipse集成开发环境的贡献。PEPA Eclipse插件包含一个PEPA编辑器和性能分析器，它们使用马尔可夫链或ODE方法或模拟。性能结果以图形方式显示在平台本身上。它还包含一个接口，用于抽象PEPA模型，并用于连续随机逻辑（CSL）中的模型检查属性。从下载站点下载PEPA Eclipse插件。 主页： http://www.dcs.ed.ac.uk/pepa/tools/ 相关软件： 生物-PEPA;棱镜;生物CHAM;铲刀;智能_;BlenX公司;MRMC公司;CADP公司;高超声速;工控机;莫比乌斯;生物净发电;莫德;SIGREF公司;Uppaal公司;政治公众人物;GreatSPN 1.7;GreatSPN公司;伦敦商学院;生物模型 引用于： 111文件 更多出版物： http://www.dcs.ed.ac.uk/pepa/papers网站/ 全部的 前5名170位作者引用 25 简·希尔斯顿 9 斯蒂芬·吉尔摩（Stephen T.Gilmore）。 8 卡德，莫菲 6 卢卡·博托卢西 6 霍尔格·赫尔曼斯 6 Joost-Pieter卡托恩 5 Jeremy T·布拉德利。 4 费德里卡·乔切塔 4 安德烈亚·德加斯佩里 4 莱拉·克鲁尔 三 马可·贝尔纳多 三 皮耶保罗·德加诺 三 瓦实提·加尔平 三 丹尼尔·克林克 三 保罗·米拉佐 三 雷切尔·诺曼 三 阿尔贝托，Policriti 三 玛丽娜·里博多 三 卡隆·桑德兰 三 米尔科·特里巴斯通 三 维雷娜·沃尔夫 2 西蒙娜塔·巴萨莫 2 苏菲涅·本基拉内 2 琳达·布罗多 2 格雷厄姆·克拉克 2 吉安·卢卡·德伊·罗西 2 丁杰 2 休伯特·加拉维 2 理查德·海登（Richard A.Hayden）。 2 靖亚萍 2 Kwiatkowska，Marta Z。 2 詹姆斯·勒杜 2 马丁·勒克 2 安德烈亚·马吉奥洛·谢蒂尼 2 安德烈亚·马林 2 克里斯·麦凯格 2 安德鲁·米纳（Andrew S.Miner）。 2 格钦·诺曼 2 乔瓦尼·帕迪尼 2 科拉多·普里亚米 2 奈杰尔·托马斯 2 Tschaikowski，马克斯 1 Abreu Jünior，Joáo Carlos 1 亚历山德罗·阿尔迪尼 1 奥纳·安德烈 1 阿肖克阿根特-卡瓦拉 1 本杰明·阿齐兹 1 克里斯特尔·拜尔 1 托马斯·安努·巴苏基 1 安妮·本诺特 1 卢西安·本蒂亚 1 安德烈亚·贝尔尼尼 1 Bogárdi-Mészöly，阿涅斯 1 安德烈亚·克拉克·布拉夏利 1 马里奥·布拉维蒂 1 马塞洛·布鲁内利 1 加里·D·布鲁什。 1 米凯尔·巴赫霍尔茨 1 彼得·巴赫霍尔茨 1 费德里科·布蒂 1 Cacciagrano、Diletta Romana 1 瓦伦蒂娜·卡斯蒂格利奥尼 1 恩里科·加泰罗多 1 迭戈·卡佐拉 1 安东尼奥·塞隆 1 加布里埃尔·乔巴努 1 阿伦·德里克·克拉克 1 科尔·默里 1 罗伯特·J·科尔文。 1 卢卡控制台 1 弗拉维奥·科拉迪尼 1 科斯塔斯·库库贝蒂斯。 1 A.Credi。 1 费尔南多·库亚特罗 1 Dayar，Tugrul公司 1 洛科·德尼古拉 1 加文·多尔蒂。 1 罗宾·唐纳森。 1 苏珊娜·多纳泰利 1 克里斯蒂安·艾森特罗 1 法孔蒂，G.P。 1 乌里·法伦贝格 1 莫雷诺，法拉斯基 1 安迪·芬顿 1 JoséLuiz Fiadeiro 1 Jean-Michel Fourneau先生 1 朱利安娜·弗朗西斯科尼斯 1 马可·加拉维利 1 尼尔·盖斯威勒 1 吉安·卢伊斯·贾维托 1 安德烈亚·格雷厄姆 1 列奥尼德·古尔维茨 1 瓦伦丁·海内尔 1 斯特凡·哈勒斯特德 1 彼得·哈里森。 1 Boudewijn R.哈维尔科特。 1 希思，J.K。 1 约翰·R·希思。 1 戴安娜·赫米思 1 乌尔里希·赫尔佐格 …和70多位作者 全部的 前5名引用于19个系列 21 理论计算机科学 4 程序设计中的逻辑与代数方法杂志 三 计算的形式方面 三 线性代数及应用 三 逻辑与代数程序设计杂志 2 人工智能 2 自然计算 1 信息学报 1 应用概率杂志 1 计算机与系统科学杂志 1 绩效评估 1 计算机程序设计科学 1 并行计算 1 信息与计算 1 并行与分布式计算杂志 1 运筹学年鉴 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 计算机科学杰出论文 1 理论生物学杂志 全部的 前5名11个领域引用 96 计算机科学（68至XX） 37 生物学和其他自然科学（92-XX） 13 概率论与随机过程（60-XX） 4 数学逻辑和基础（03-XX） 4 常微分方程（34-XX） 三 数值分析（65-XX） 三 系统论；控制（93至XX） 2 运筹学、数学规划（90-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 数学教育（97-XX） 按年份列出的引文