政治公众人物协议 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 Marta Z.Kwiatkowska。 2 詹姆斯·勒杜 2 马丁·勒克 2 安德烈亚·马吉奥洛·谢蒂尼 2 安德烈亚·马林 2 克里斯·麦凯格 2 安德鲁·米纳(Andrew S.Miner)。 2 格钦·诺曼 2 乔瓦尼·帕迪尼 2 科拉多·普里亚米 2 奈杰尔·托马斯 2 马克斯·柴科夫斯基 1 Abreu Jünior,Joáo Carlos 1 亚历山德罗·阿尔迪尼 1 奥纳·安德烈 1 阿肖克阿根特-卡瓦拉 1 本杰明·阿齐兹 1 克里斯特尔·拜尔 1 托马斯·阿农,巴苏基 1 安妮·本诺特 1 卢西安·本蒂亚 1 安德烈亚·贝尔尼尼 1 波加迪·梅舍利,阿尔涅斯 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 何塞·路易斯·费亚代罗 1 Jean-Michel Fourneau先生 1 朱利安娜·弗朗西斯科尼斯 1 马可·加拉维利 1 盖斯维勒,尼尔 1 吉安·卢伊斯·贾维托 1 安德烈亚·格雷厄姆 1 列奥尼德·古尔维茨 1 Valentin海内尔 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) 按年份列出的引文