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

乔治·米尔恩。

合著者距离
作者ID： milne.george-j公司“Milne，George J.”最近发表的zbMATH文章
发布日期： 乔治·米尔恩。;乔治·米尔恩;G.J.米尔恩。;米尔恩，G。
编入索引的文档： 12出版物自1979年起
2作为编辑的贡献
合著者： 15位合著者具有11联合出版物
115位合作作者
全部的 前5名

合著者

三 单作者的
2 安德鲁·朱·贝利。
2 安东尼奥·塞隆
2 乔治·麦卡斯基尔。
1 多米尼克·博里奥内
1 吕克·克莱森
1 亚当·邓恩
1 汉斯·伊夫金
1 傅世清
1 乔尔·凯尔索
1 吉姆·麦金托什
1 米尔纳，罗宾
1 让-吕克·佩莱
1 劳伦斯·皮埃尔
1 保罗·普里内托
1 Subrahmanyam，P.A.公司。

系列

1 计算机协会杂志
1 程序设计语言与系统学报
1 系统设计中的形式化方法
1 计算机科学课堂讲稿

领域

13 计算机科学（68至XX）
5 信息与通信理论、电路（94-XX）
2 总体主题；集合（00-XX）
1 动力系统和遍历理论（37至XX）
1 生物学和其他自然科学（92-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

7出版物有被引用56中的次52文件 引用人▼ 年份▼
并发进程及其语法。 Zbl 0395.68030号
乔治·米尔恩;米尔纳，罗宾
27
1979
CIRCAL和通信、并发和时间的表示。 Zbl 0562.68017号
乔治·J·米尔恩。
21
1985
异步设计的自动验证练习。 Zbl 0795.94020号
安德鲁·贝利;乔治·麦卡斯基尔。;乔治·米尔恩。
2
1994
正确的硬件设计和验证方法。IFIP WG10.2高级研究工作会议，1993年5月24日至26日，法国阿尔勒CHARME’93。诉讼程序。 Zbl 0825.00114号
2
1993
Circal中数字电路的描述和自动验证。 Zbl 0794.68100号
安德鲁·贝利;乔治·麦卡斯基尔。;吉姆·麦金托什;乔治·米尔恩。
2
1992
通过交互自动机模拟野火动态。 Zbl 1116.68510号
亚当·邓恩;乔治·米尔恩
1
2004
用于疾病模拟的柔性自动机模型。 Zbl 1116.92322号
傅世清;乔治·米尔恩
1
2004
通过交互自动机模拟野火动态。 Zbl 1116.68510号
亚当·邓恩;乔治·米尔恩
1
2004
用于疾病模拟的柔性自动机模型。 Zbl 1116.92322号
傅世清;乔治·米尔恩
1
2004
异步设计的自动验证练习。 Zbl 0795.94020号
安德鲁·贝利;乔治·麦卡斯基尔。;乔治·J·米尔恩。
2
1994
正确的硬件设计和验证方法。IFIP WG10.2高级研究工作会议，1993年5月24日至26日，法国阿尔勒CHARME’93。诉讼程序。 Zbl 0825.00114号
2
1993
Circal中数字电路的描述和自动验证。 兹比尔0794.68100
安德鲁·贝利;乔治·麦卡斯基尔。;吉姆·麦金托什;乔治·米尔恩。
2
1992
CIRCAL和通信、并发和时间的表示。 Zbl 0562.68017号
乔治·米尔恩。
21
1985
并发进程及其语法。 Zbl 0395.68030号
乔治·米尔恩;米尔纳，罗宾
27
1979
所有引用出版物 前5名被引用出版物
全部的 前5名

92位作者引用

三 约斯特·恩格尔弗里特
三 休伯特·加拉维
2 萨姆森·艾布拉姆斯基
2 Jos C.M.Baeten。
2 杰雷米·查洛平
2 皮耶保罗·德加诺
2 尼西姆·弗朗西兹
2 贾林·盖尔塞马
2 保拉·因弗拉迪
2 南希·安·林奇
2 梅提弗，伊夫斯
2 乔治·米尔恩。
2 戈登·普洛金（Gordon D.Plotkin）。
2 科拉多·普里亚米
1 迈克尔·阿尔比布（Michael A.Arbib）。
1 赛尔阿博莱达
1 阿图罗·阿斯科拉
1 安德鲁·朱·贝利。
1 大卫·本森。
1 Jan A.Bergstra。
1 托马索·博洛涅西
1 丹尼斯·博伊丘克
1 W.John Braun
1 埃德·布林克斯马
1 斯蒂芬·布鲁克斯。
1 Carchiolo，文森扎
1 保罗·罗伯托·弗雷尔·库尼亚
1 戴维·德·弗鲁托斯
1 卡洛斯·何塞·佩雷拉·德·卢塞纳
1 De Nicola，罗科
1 塞拉·埃尔拉德
1 迈克尔·菲舍尔。
1 莱因·福尼尔
1 维杰·加格。
1 大卫·吉尔伯特
1 艾曼纽·戈达尔
1 霍尔，C.A.R.托尼
1 海兰德·J·马丁·E·。
1 Ingólfsdóttir，安娜
1 阿隆·伊泰
1 Yuh-Jzer Joung
1 克朗古尼。
1 理查德·E·拉德纳。
1 弗雷德里克·朗
1 丹尼尔·莱曼。
1 伊丽莎白·伦纳德。
1 Letychevs'kyĭ，Oleksandr Adol'fovych
1 托马斯·斯蒂芬·爱德华·迈鲍姆
1 米歇尔·马格里
1 欧内斯特·马内斯。
1 朱塞佩·曼吉奥尼
1 塞尔吉奥·马切蒂
1 乔治·麦卡斯基尔。
1 迈克尔·门德勒
1 约翰·朱尔斯·查尔斯·梅耶
1 卡洛斯·米盖尔
1 米尔纳，罗宾
1 乌戈·蒙塔纳里。
1 安格尔，内波穆塞诺·费尔南德斯
1 尼尔森，莫根斯
1 大卫·佩勒
1 安娜·菲利普
1 权力，约翰
1 玛丽亚·普埃尔塔
1 胡安·奎马达
1 麻省理工学院拉古纳。
1 罗德，迈克尔
1 安德鲁·威廉·罗斯科
1 格温·萨拉恩
1 朱塞佩·斯科洛
1 温德林·塞维
1 大卫·A·斯坦福。
1 Martha E.Steenstrup。
1 德克·陶布纳
1 汤普森，B.C。
1 拉尔斯·埃里克·索雷利
1 毛里西奥·托罗
1 道格拉斯·特洛伊格（Douglas R.Troeger）。
1 约翰·V·塔克。
1 Vaandrager，Frits W。
1 弗兰克·范·布鲁格尔
1 Van Sinderen，Marten J。
1 Vélez S.、Carlos M。
1 利昂·维德勒
1 Chris A.Vissers。
1 沃尔特·福格勒
1 格雷戈·冯·博克曼
1 王立国
1 格林·温斯克尔
1 Daniel N.Yanklevich。
1 杰弗里·扎克。
1 艾米·扎里科（Amy E.Zwarico）。
全部的 前5名

17篇连载文章中引用

15 理论计算机科学
5 计算机与系统科学杂志
5 计算的形式方面
4 信息与计算
三 分布式计算
2 系统设计中的形式化方法
1 信息学报
1 信息处理信件
1 应用数学与计算
1 比特币
1 信息
1 国际计算机与信息科学杂志
1 数学系统理论
1 计算机程序设计科学
1 国际并行程序设计杂志
1 MSCS公司。计算机科学中的数学结构
1 控制论与系统分析
全部的 前5名

在7个字段中引用

51 计算机科学（68至XX）
2 阶、格、有序代数结构（06-XX）
1 数学逻辑和基础（03-XX）
1 运筹学、数学规划（90-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 生物学和其他自然科学（92-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文