编辑配置文件(在新选项卡中打开) 詹姆斯·F·鲍尔(James F.Power)。 合著者距离 作者ID: 电源.james-f 发布日期: 詹姆斯·鲍尔。;力量,詹姆斯;功率,J.F。 更多。。。较少的 主页: 网址:http://www.cs.nuim.ie/~jpower/Research/Papers公司/ 已编制索引的文档: 8出版物自2003年起 2作为编辑的贡献 合著者: 16位合著者具有9联合出版物 97合著作者 全部的 前5名合著者 1 单作者的 2 玛丽·法雷尔 2 布莱恩·马洛伊(Brian A.Malloy)。 2 罗莎玛丽·莫纳汉 2 约翰·沃尔德隆(John T.Waldron)。 1 马库斯·阿列克西 1 M.阿列斯基。 1 瓦斯科·阿马拉 1 Tanton H.吉布斯。 1 拉尔夫·吉泽尔 1 大卫·格雷格 1 R.格里泽尔。 1 罗宾·哈特(Robin E.Harte)。 1 简·霍根(Jane M.Horgan)。 1 卡夫,尼古拉斯A。 1 安妮·米切尔 1 Wladron,J。 系列 4 计算机程序设计科学 1 软件。实践与经验 1 爱尔兰数学学会公报 1 并行与计算:实践与经验 1 计算机科学中的逻辑方法 领域 8 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用6中的次5文件 引用人▼ 年份▼ Event-B机构。 Zbl 1496.68105号 玛丽·法雷尔;罗莎玛丽·莫纳汉;詹姆斯·F·鲍尔(James F.Power)。 三 2017 独立于平台的动态Java虚拟机分析:Java Grande Forum基准套件。 Zbl 1009.68547号 大卫·格雷格;詹姆斯·鲍尔;约翰·沃尔德隆 2 2003 Event-B机构的建筑规范。 Zbl 07639912号 玛丽·法雷尔;罗莎玛丽·莫纳汉;詹姆斯·F·鲍尔(James F.Power)。 1 2022 Event-B机构的建筑规范。 Zbl 07639912号 玛丽·法雷尔;莫纳汉,罗斯玛丽;詹姆斯·鲍尔。 1 2022 Event-B的一个机构。 Zbl 1496.68105号 玛丽·法雷尔;罗莎玛丽·莫纳汉;詹姆斯·F·鲍尔(James F.Power)。 三 2017 独立于平台的动态Java虚拟机分析:Java Grande Forum基准套件。 Zbl 1009.68547号 大卫·格雷格;詹姆斯·鲍尔;约翰·沃尔德隆 2 2003 全部的 前5名13位作者引用 2 罗尔夫·亨尼克 2 亚历山大·纳普 1 塔雷克·阿卜杜勒拉赫曼。 1 Borys J.Bradel。 1 玛丽·法雷尔 1 马来K·加奈。 1 阿尔蒂·古普塔 1 Sudipta昆都 1 利马耶·里希克什 1 亚历山大·马德拉 1 罗莎玛丽·莫纳汉 1 詹姆斯·F·鲍尔(James F.Power)。 1 王超 引用于4个系列 2 计算的形式方面 1 计算机程序设计科学 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 5 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文