×
作者ID: 德罗埃夫·威廉·鲍尔“de Roever,Willem-Paul”最近发表的zbMATH文章
发布日期: 威廉·鲍尔·德·罗弗;德罗弗,W.-P。;德罗弗,W.P。;威廉·保罗·德·罗弗;威廉·鲍尔·德罗弗;威廉·保罗;威廉·保罗·德罗弗;威廉·普·德·罗弗。;德罗弗,W.P。
已编制索引的文档: 51出版物自1970年以来,包括6本书
12作为编辑的贡献·1进一步贡献
传记参考: 2出版物
合著者: 24位合著者具有36联合出版物
639名合作作者
全部的 前5名

合著者

11 单作者的
18 德波尔(Frank S。
9 罗布·特里斯坦·格特
7 雅各布斯·W·德·巴克。
6 艾丽卡·阿尔布拉汉姆
6 马塞洛·玛丽亚·邦桑格
6 苏珊娜·格拉芙
6 马丁·斯特芬
5 乌尔里希·汉内曼
5 乔泽夫·约翰内斯·玛丽亚·胡曼
5 格列泽戈兹·罗森贝格
5 乔布·兹维尔
尼西姆·弗朗西兹
亚辛·拉赫内奇
马利·朗肯
2 阿伦库马尔,S。
2 凯·恩格哈特
2 C.A.R.Tony Hoare
2 惠泽,科内利斯
2 波埃尔、曼内斯
2 Rudrapatna Kallikote Shyamasundar
2 F.A.斯托姆。
1 阿霍,阿尔弗雷德·瓦伊诺
1 Sten F.安德勒。
1 格雷戈里·安德鲁斯。
1 Krzysztof Rafal公寓
1 约翰·班宁
1 菲利普·伯恩斯坦。
1 罗伯特·卡特赖特
1 马尔科·安东尼奥,卡萨诺瓦
1 克拉克(Edmund Melson jun Clarke)。
1 诺曼·H·科恩。
1 理查德·科恩(Richard M.Cohen)。
1 Rina S.科恩。
1 罗伯特·李,警察
1 帕特里克·库索
1 拉迪亚·库索特
1 阿德里安·克里彻
1 阿里·德布鲁因
1 哈拉尔费彻
1 亚瑟·C·弗莱克。
1 Amelia C.方。
1 克里斯托弗·弗雷泽(Christopher W.Fraser)。
1 苏珊·格哈特。
1 很好,唐纳德一。
1 艾琳·格雷夫
1 海鸥,Walter E。
1 大卫·哈雷
1 哈利,E。
1 何继峰
1 克里斯托夫·霍夫曼。
1 迈克尔·詹金斯(Michael A.Jenkins)。
1 尼尔·D·琼斯。
1 科曼,R。
1 罗恩·科曼斯
1 马塞尔·凯亚斯
1 迈克尔·凯斯
1 汉斯·朗马克
1 斯坦利·李
1 丹尼尔·莱曼。
1 刘肯池
1 杰拉尔德·吕特根
1 约翰·麦卡锡
1 迈克尔·门德勒
1 艾伯特·罗纳德·梅耶
1 特伦斯·C·米勒。
1 史蒂文·穆奇尼克。
1 迈克尔·奥唐纳。
1 Pratt,Vaughan R。
1 约翰·赖夫(John H.Reif)。
1 理查德·雷特曼(Richard P.Reitman)。
1 约翰·萨维奇(John E.Savage)。
1 爱德蒙·肖恩伯格
1 雅各布·西奥多·施瓦茨
1 米查·谢里尔
1 Swamy,Sowmitri公司
1 杰弗里·戴维·乌尔曼
1 范迪蓬,N.W.P。
1 范·埃姆德·博阿斯(Peter van Emde Boas)
1 维托皮尔,简
1 徐启文

按年份列出的出版物

zbMATH Open中包含的引文

55出版物有被引用250中的次203文件 引用人 年份
数据精炼:面向模型的证明方法及其比较。 Zbl 0955.68076号
威廉·鲍尔·德罗弗;凯·恩格哈特
59
1998
通信顺序过程的证明系统。 Zbl 0468.68023号
阿普特,克日什托夫R。;尼西姆·弗朗西兹;威廉·德·罗弗。
55
1980
并发验证。合成和非置换方法简介。 Zbl 1009.68020号
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;乔泽夫·胡曼;亚辛·拉赫内奇;波埃尔、曼内斯;乔布·兹维尔
51
2001
不确定性、并发性和通信的语义。 Zbl 0434.68066号
尼西姆·弗朗西兹;C.A.R.霍尔。;丹尼尔·莱曼。;威廉·德·罗弗(Willem P.de Roever)。
27
1979
递归程序方案的微积分。 Zbl 0238.68006号
德巴克,J.W。;德罗弗,W.P。
23
1972
验证共享变量并发程序的可靠性保证方法。 Zbl 0874.68202号
徐启文;威廉·鲍尔·德·罗弗;何继峰
18
1997
合成性和并发网络:校对系统的健全性和完整性。 Zbl 0566.68014号
乔布·兹维尔;威廉·保罗·德·罗弗;范·埃姆德·博阿斯(Peter van Emde Boas)
16
1985
以完全抽象的方式建模状态图行为。 Zbl 0647.68018号
惠泽,C。;R.格思。;德·罗弗,W.P。
12
1988
演算作为公平性参数的断言语言。 Zbl 0678.68010号
F.A.斯托姆。;德罗弗,W.P。;格思,R.T。
12
1989
Dijkstra的谓词变换器、非确定性、递归和终止。 Zbl 0341.68014号
德罗弗,W.P。
10
1976
时间逻辑框架中CSP的公平性假设。 Zbl 0512.68022号
R·柯伊伯。;德罗弗,W.P。
10
1983
实时分布式计算的合成语义。 Zbl 0669.68055号
科曼,R。;Shyamasundar,R.K。;德·罗弗,W.P。;R.格思。;阿伦·库马尔,S。
9
1988
并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日,荷兰Noordwijkerhout学校/研讨会。诉讼程序。 Zbl 0683.68001号
9
1989
递归程序方案的微积分。 Zbl 0262.68004号
德巴克尔,J.W。;德罗弗,W.P。
8
1973
递归和参数机制:公理方法。 Zbl 0302.68019号
德罗弗,W.P。
8
1974
一个基于断言的多线程Java证明系统。 Zbl 1070.68016号
艾丽卡·阿尔布拉汉姆;德波尔(Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
8
2005
一种关于分布式算法的顺序推理原理。 Zbl 0829.68066号
F.A.斯托姆。;德罗弗,W.-P。
7
1994
接下来的任务是:对CSP部分正确性的证明系统进行调查。 兹比尔0597.68024
乔泽夫·胡曼;威廉·普·德·罗弗。
7
1986
再次验证监控器:验证面向对象系统的第一步。 Zbl 0617.68026号
罗伯·格思;德罗弗,W.P。
6
1986
验证Java的可重入多线程概念。 Zbl 1077.68552号
艾丽卡·阿尔布拉哈姆·穆姆;德波尔(Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
6
2002
实时分布式计算的组合语义。 Zbl 0565.68026号
科曼斯,R。;Shyamasundar,R.K。;德罗弗,W.P。;R.格思。;阿伦·库马尔,S。
6
1985
并发ADA程序的证明系统。 Zbl 0536.68009号
罗伯·格思;威廉·德·罗弗(Willem P.de Roever)。
6
1984
介绍状态图语义中的设计选择。 Zbl 0713.68012号
惠泽,C。;德·罗弗,W.P。
5
1991
数据精炼:面向模型的证明方法及其比较。重印1998年精装版。 Zbl 1152.68031号
威廉·鲍尔·德罗弗;凯·恩格哈特
4
2009
共享变量并发依赖保证范式的形式化证明:一种语义方法。 Zbl 0956.68099号
德波尔,F.S。;美国汉尼曼。;德罗弗,W.-P。
4
1999
状态图的组合公理化。 Zbl 0770.68090号
J.J.M.胡曼。;拉梅什,S。;德罗弗,W.P。
4
1992
语义:基础和应用。REX研讨会,荷兰比克伯根,1992年6月1日至4日。诉讼程序。 Zbl 0825.00095
1993
动态过程网络部分正确性的证明系统。 Zbl 0558.68023号
乔布·兹维尔;阿里·德布鲁因;威廉·保罗·德罗弗
1984
关于公平终止的推理形式主义。(扩展摘要)。 Zbl 0481.68017号
威廉·德·罗弗(Willem P.de Roever)。
1982
过程和并发:一项证据研究。 Zbl 0493.68019号
罗伯·格思;Willem P.De Roever。;马利·朗肯
1982
Java显示器的防感应轮廓。 Zbl 1253.68080号
艾丽卡·阿尔布拉汉姆;德波尔(Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
2003
Java(_{text{MT}})的组合操作语义。 Zbl 1274.68037号
艾丽卡·阿尔布拉汉姆;德波尔(Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
2
2003
十年的并发性。反思和观点。REX学校/研讨会,1993年6月1日至4日,荷兰诺德威克霍特。诉讼程序。 Zbl 0825.00132号
2
1994
组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。 Zbl 1143.68011号
2
2007
按名称调用到按值调用的一阶缩减。 兹伯利0318.68017
威廉·德·罗弗(Willem P.de Roever)。
2
1975
组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。 Zbl 1028.00026号
2
2003
并发性的当前趋势。概述和教程。 Zbl 0587.00018号
2
1986
面向对象语言的基础。1990年5月28日至6月1日,荷兰诺德威克霍特REX学校/研讨会。诉讼程序。 邮编:0875.00080
2
1991
关于回溯和最大的固定点。 Zbl 0373.68037号
威廉·德·罗弗(Willem P.de Roever)。
1
1978
不确定性、并发性和通信的语义。 Zbl 0391.68017号
尼西姆·弗朗西兹;C.A.R.霍尔。;威廉·德·罗弗(Willem P.de Roever)。
1
1978
组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。 Zbl 1155.68012号
1
2008
介绍并发的组合方法及其在实时中的应用。 Zbl 1075.68616号
J.J.M.胡曼。;德·罗弗,W.P。
1
1992
同步通信进程的合成证明方法的语义基础。 Zbl 0959.68086号
德波尔,F.S。;德罗弗,W.-P。;美国汉尼曼。
1
1999
组件和对象的形式化方法。2005年11月1日至4日,荷兰阿姆斯特丹,第四届国际研讨会,FMCO 2005。修订的讲座。 Zbl 1114.68010号
1
2006
多线程Java的演绎证明系统,有例外。 Zbl 1144.68012号
艾丽卡·阿尔布拉汉姆;德波尔(Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
1
2008
组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。 兹比尔1060.68006
1
2004
组件和对象的形式化方法。2004年11月2日至5日,第三届国际研讨会,FMCO,荷兰莱顿。修订的讲座。 Zbl 1084.68008号
1
2005
通过转换派生程序:列表复制算法的演变。 Zbl 0585.68024号
范迪蓬,N.W.P。;德罗弗,W.P。
1
1986
分布式系统和荷兰爱国主义研究。 Zbl 0547.68025号
罗伯·格思;de Roever,Willem P。;马利·朗肯
1
1982
UML内核模型语言的组合操作语义。 Zbl 1273.68205号
哈拉尔费彻;马赛尔·凯斯;威廉·鲍尔·德·罗弗;德波尔(Frank S。
1
2006
综合不同的开发范式:结合关于分布式系统的自顶向下和自下而上推理。 Zbl 1354.68182号
Zwiers,J。;美国汉尼曼。;Y.拉赫内切。;德罗弗,W.-P。
1
1995
用于行为接口规范的组合跟踪逻辑。 Zbl 1087.68056号
迈克尔·凯斯;德波尔(Frank S。;威廉·鲍尔·德·罗弗
1
2005
Brinch-Hansen分布式过程的证明系统。 Zbl 0476.68023号
M.龙肯。;Gerth,R。;德罗弗,W.P。
1
1981
步骤是什么:对一个经典问题的新观点。 Zbl 1288.68172号
威廉·鲍尔·德·罗弗;杰拉尔德·吕特根;迈克尔·门德勒
1
2010
一个支持工具的多线程Java证明系统。 Zbl 1254.68055号
艾丽卡·阿尔布拉汉姆;德波尔(Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
1
2003
步骤是什么:对一个经典问题的新观点。 Zbl 1288.68172号
威廉·鲍尔·德·罗弗;杰拉尔德·吕特根;迈克尔·门德勒
1
2010
数据精炼:面向模型的证明方法及其比较。1998年精装版再版。 Zbl 1152.68031号
威廉·鲍尔·德罗弗;凯·恩格哈特
4
2009
组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。 Zbl 1155.68012号
1
2008
多线程Java的演绎证明系统,有例外。 Zbl 1144.68012号
艾丽卡·阿尔布拉汉姆;德波尔(Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
1
2008
组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修改后的讲座。 Zbl 1143.68011号
2
2007
组件和对象的形式化方法。2005年11月1日至4日,荷兰阿姆斯特丹,第四届国际研讨会,FMCO 2005。修订的讲座。 Zbl 1114.68010号
1
2006
UML内核模型语言的组合操作语义。 Zbl 1273.68205号
哈拉尔费彻;马赛尔·凯斯;威廉·鲍尔·德·罗弗;德波尔(Frank S。
1
2006
一个基于断言的多线程Java证明系统。 Zbl 1070.68016号
艾丽卡·阿尔布拉汉姆;德波尔(Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
8
2005
组件和对象的形式化方法。2004年11月2日至5日,第三届国际研讨会,FMCO,荷兰莱顿。修订的讲座。 Zbl 1084.68008号
1
2005
用于行为接口规范的组合跟踪逻辑。 Zbl 1087.68056号
迈克尔·凯斯;德波尔(Frank S。;威廉·鲍尔·德·罗弗
1
2005
组件和对象的形式化方法。第二届国际研讨会,2003年FMCO,荷兰莱顿,2003年11月4-7日。修订的讲座。 Zbl 1060.68006号
1
2004
Java显示器的防感应轮廓。 Zbl 1253.68080号
艾丽卡·阿尔布拉汉姆;德波尔,弗兰克·S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
2003
Java(_{text{MT}})的组合操作语义。 Zbl 1274.68037号
艾丽卡·阿尔布拉汉姆;德波尔(Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
2
2003
组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。 Zbl 1028.00026号
2
2003
一个支持工具的多线程Java证明系统。 Zbl 1254.68055号
艾丽卡·阿尔布拉汉姆;德波尔,弗兰克·S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
1
2003
验证Java的可重入多线程概念。 Zbl 1077.68552号
艾丽卡·阿尔布拉哈姆·穆姆;德波尔(Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬
6
2002
并发验证。合成和非置换方法简介。 Zbl 1009.68020号
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;乔泽夫·胡曼;亚辛·拉赫内奇;波埃尔、曼内斯;乔布·兹维尔
51
2001
共享变量并发依赖保证范式的形式化证明:一种语义方法。 Zbl 0956.68099号
德波尔,F.S。;美国汉尼曼。;德罗弗,W.-P。
4
1999
同步通信进程的合成证明方法的语义基础。 Zbl 0959.68086号
德波尔,F.S。;德罗弗,W.-P。;美国汉尼曼。
1
1999
数据精炼:面向模型的证明方法及其比较。 Zbl 0955.68076号
威廉·鲍尔·德罗弗;凯·恩格哈特
59
1998
用于验证共享变量并发程序的Rely Guarantee方法。 Zbl 0874.68202号
徐启文;威廉·鲍尔·德·罗弗;何继峰
18
1997
综合不同的开发范式:结合关于分布式系统的自顶向下和自下而上推理。 Zbl 1354.68182号
Zwiers,J。;美国汉尼曼。;Y.拉赫内切。;德罗弗,W.-P。
1
1995
分布式算法的顺序推理原理。 Zbl 0829.68066号
F.A.斯托姆。;德罗弗,W.-P。
7
1994
十年的并发性。反思和观点。REX学校/研讨会,1993年6月1日至4日,荷兰诺德威克霍特。诉讼程序。 Zbl 0825.00132号
2
1994
语义:基础和应用。1992年6月1日至4日,荷兰Beekbergen,REX研讨会。诉讼程序。 Zbl 0825.00095
1993
状态图的组合公理化。 兹比尔0770.68090
J.J.M.胡曼。;拉梅什,S。;德罗弗,W.P。
4
1992
介绍并发的组合方法及其在实时中的应用。 Zbl 1075.68616号
J.J.M.胡曼。;德罗弗,W.P。
1
1992
介绍状态图语义中的设计选择。 Zbl 0713.68012号
惠泽,C。;德罗弗,W.P。
5
1991
面向对象语言的基础。1990年5月28日至6月1日,荷兰诺德维克霍尔特REX学校/工作坊。诉讼程序。 邮编:0875.00080
2
1991
演算作为公平性参数的断言语言。 Zbl 0678.68010号
F.A.斯托姆。;德罗弗,W.P。;格思,R.T。
12
1989
并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日,荷兰Noordwijkerhout学校/研讨会。诉讼程序。 Zbl 0683.68001号
9
1989
以完全抽象的方式建模状态图行为。 Zbl 0647.68018号
惠泽,C。;R.格思。;德罗弗,W.P。
12
1988
实时分布式计算的合成语义。 Zbl 0669.68055号
科曼,R。;Shyamasundar,R.K。;德·罗弗,W.P。;R.格思。;阿伦·库马尔,S。
9
1988
接下来的任务是:对CSP部分正确性的证明系统进行调查。 兹比尔0597.68024
乔泽夫·胡曼;威廉·普·德·罗弗。
7
1986
再次验证监控器:验证面向对象系统的第一步。 Zbl 0617.68026号
罗伯·格思;德罗弗,W.P。
6
1986
并发性的当前趋势。概述和教程。 Zbl 0587.00018号
2
1986
通过转换派生程序:列表复制算法的演变。 兹伯利0585.68024
范迪蓬,N.W.P。;德罗弗,W.P。
1
1986
合成性和并发网络:校对系统的健全性和完整性。 Zbl 0566.68014号
乔布·兹维尔;威廉·保罗·德·罗弗;范·埃姆德·博阿斯(Peter van Emde Boas)
16
1985
实时分布式计算的合成语义。 Zbl 0565.68026号
科曼斯,R。;Shyamasundar,R.K。;德罗弗,W.P。;R.格思。;阿伦·库马尔,S。
6
1985
并发ADA程序的证明系统。 Zbl 0536.68009号
罗伯·格思;de Roever,Willem P。
6
1984
动态过程网络部分正确性的证明系统。 Zbl 0558.68023号
乔布·兹维尔;阿里·德布鲁因;威廉·保罗·德罗弗
1984
时间逻辑框架中CSP的公平性假设。 Zbl 0512.68022号
R·柯伊伯。;德罗弗,W.P。
10
1983
关于公平终止的推理形式主义。(扩展摘要)。 Zbl 0481.68017号
威廉·德·罗弗(Willem P.de Roever)。
1982
过程和并发:一项证据研究。 Zbl 0493.68019号
罗伯·格思;Willem P.De Roever。;马利·朗肯
1982
分布式系统和荷兰爱国主义研究。 兹伯利0547.68025
罗伯·格思;威廉·德·罗弗(Willem P.de Roever)。;马利·朗肯
1
1982
Brinch-Hansen分布式过程的证明系统。 Zbl 0476.68023号
M.龙肯。;R.格思。;德罗弗,W.P。
1
1981
通信顺序过程的证明系统。 Zbl 0468.68023号
阿普特,克日什托夫R。;尼西姆·弗朗西兹;Willem P.De Roever。
55
1980
不确定性、并发性和通信的语义。 Zbl 0434.68066号
尼西姆·弗朗西兹;C.A.R.霍尔。;丹尼尔·莱曼。;de Roever,Willem P。
27
1979
关于回溯和最大修正点。 Zbl 0373.68037号
威廉·德·罗弗(Willem P.de Roever)。
1
1978
不确定性、并发性和通信的语义。 Zbl 0391.68017号
尼西姆·弗朗西兹;C.A.R.霍尔。;威廉·德·罗弗(Willem P.de Roever)。
1
1978
Dijkstra的谓词变换器、非确定性、递归和终止。 Zbl 0341.68014号
德罗弗,W.P。
10
1976
按名称调用到按值调用的一阶缩减。 Zbl 0318.68017号
de Roever,Willem P。
2
1975
递归和参数机制:公理方法。 Zbl 0302.68019号
德罗弗,W.P。
8
1974
递归程序方案的微积分。 Zbl 0262.68004号
德巴克尔,J.W。;德罗弗,W.P。
8
1973
递归程序方案的微积分。 Zbl 0238.68006号
德巴克,J.W。;德罗弗,W.P。
23
1972
全部的 前5名

320位作者引用

13 约翰·德里克
11 格哈德·谢尔霍恩
11 海克,韦尔海姆
7 Eerke A.Boiten。
6 理查德·巴纳赫
5 罗伯特·J·科尔文。
5 德波尔(Frank S。
5 伊恩·海斯。
4 雅各布斯·W·德·巴克。
4 西蒙·多尔蒂
4 捷斯劳·杰斯克
4 戴维·诺曼(David A.Naumann)。
4 Owe、Olaf
4 沃尔夫冈·雷夫
威廉·鲍尔·德·罗弗
Dongol,布里耶什
卢西亚诺·弗洛里迪
维姆·赫塞林克。
埃纳尔·布罗赫·约翰森
克利夫·琼斯。
格温·克莱恩
拉里萨·梅尼基。
Kedar S.Namjoshi。
奥尔德罗格(Ernst-Rüdiger Olderog)
史蒂夫·里夫斯
Rudrapatna Kallikote Shyamasundar
格雷姆·史密斯
大卫·斯特雷德
博格丹·托凡
朱慧彪
2 马丁·阿巴迪
2 美国,皮埃尔
2 弗朗西斯科·西维尔·巴博特
2 米克尔·伯特兰
2 乔纳森·鲍文(Jonathan P.Bowen)。
2 曼弗雷德·布罗伊
2 气候,八月
2 朱尔斯·德沙奈斯
2 德意志,摩什
2 埃默森,欧内斯特·艾伦
2 吉登·恩斯特
2 尼西姆·弗朗西兹
2 吉勒拉克,罗马人
2 迈克尔·戈德史密斯
2 谢尔盖·冈查洛夫
2 何继峰
2 马丁·亨森。
2 彼得·霍夫纳
2 乔泽夫·约翰内斯·玛丽亚·胡曼
2 保拉·因弗拉迪
2 阿里·穆罕默德·贾瓦
2 刘,杨
2 卡马尔·洛达亚
2 迈克尔·门德勒
2 尼克·莫法特
2 Moszkowski,Ben C。
2 Ken G.皮尔斯。
2 杰雷米·普莱诺
2 戈登·普洛金(Gordon D.Plotkin)。
2 Pratt,Vaughan R。
2 科拉多·普里亚米
2 美国雷迪。
2 托马斯·鲁罗斯
2 弗拉德·鲁苏
2 大卫·萨南
2 马雷克·索尔文
2 冈瑟·施密特
2 卢茨·施罗德
2 托马斯·D·休厄尔。
2 马丁·斯特芬
2 乔治·斯特鲁斯
2 阿文·费南托(Alwen Fernanto Tiu)
2 蔡义权
2 范格拉贝克、罗伯特·扬
2 王,弯腰
2 张富源
2 赵永旺
2 汉斯·齐勒
1 安倍晋三
1 艾丽卡·阿尔布拉汉姆
1 西瓦利·阿加瓦尔
1 华金·阿瓜多
1 沃尔夫冈·阿伦特
1 阿卜杜勒拉赫曼·艾哈迈德。
1 西德尼·阿曼尼
1 安德森,佩妮
1 Krzysztof Rafal公寓
1 阿诺拉,阿尼什
1 阿伦库马尔,S。
1 安德烈·阿鲁索艾
1 大卫·阿斯皮纳尔
1 埃里克·巴杜埃尔
1 克里斯特尔·拜尔
1 巴博萨、路易斯·索亚雷斯
1 弗拉基米尔·巴什金。
1 David A.Basin。
1 西蒙·巴姆勒
1 伯恩哈德·贝克特
1 纳迪尔·贝尔基特
1 萨拉赫·本·穆罕默德·斯盖尔
…还有220多名作者

按年份列出的引文