×
编辑配置文件（在新选项卡中打开）

詹姆斯·F·鲍尔（James F.Power）。

合著者距离
作者ID： 电源.james-f最近由“Power，James F.”撰写的zbMATH文章
发布日期： 詹姆斯·鲍尔。;力量，詹姆斯;功率，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）

按年份列出的引文