编辑配置文件(在新选项卡中打开) 威廉·鲍尔·德·罗弗 合著者距离 作者ID: 德罗埃夫·威廉·鲍尔 发布日期: 威廉·鲍尔·德·罗弗;德罗弗,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 徐启文 全部的 前5名系列 12 计算机科学课堂讲稿 4 剑桥理论计算机科学丛书 三 计算机程序设计科学 2 理论计算机科学 2 信息与计算 2 计算的形式方面 1 信息处理信件 1 计算机与系统科学杂志 1 程序设计语言与系统学报 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 北欧计算机杂志 1 计算机基础理论 1 萨达纳 字段 62 计算机科学(68-XX) 13 总体主题;集合(00-XX) 8 数学逻辑和基础(03-XX) 三 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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多名作者 全部的 前5名37篇连载文章中引用 33 理论计算机科学 33 计算的形式方面 10 信息学报 8 计算机程序设计科学 6 信息与计算 6 系统设计中的形式化方法 4 数学与人工智能年鉴 4 逻辑与代数程序设计杂志 三 信息处理信件 三 自动推理杂志 三 MSCS公司。计算机科学中的数学结构 2 计算机与系统科学杂志 2 逻辑研究 2 计算机科学中的逻辑方法 1 离散数学 1 卡尔科洛 1 信息科学 1 哲学逻辑杂志 1 凯伯内特斯 1 圣母院形式逻辑杂志 1 合成 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 国际计算机科学基础杂志 1 分布式计算 1 函数编程杂志 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 应用数学杂志 1 萨达纳 1 量子信息处理 1 ACM计算逻辑事务 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 《大学学报》。Informatica公司 1 亚洲控制杂志 1 中国计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在12个字段中引用 193 计算机科学(68-XX) 46 数学逻辑和基础(03-XX) 4 阶、格、有序代数结构(06-XX) 4 范畴理论;同调代数(18-XX) 4 信息与通信理论、电路(94-XX) 三 系统论;控制(93至XX) 2 历史和传记(01-XX) 2 量子理论(81-XX) 1 测量和集成(28-XX) 1 功能分析(46倍X倍) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文