×

兹马思-数学第一资源

霍尔,C.A.R.托尼

计算距离:
作者ID: 霍尔,c-a-r-tony“霍尔,C.A.R.Tony”最近发表的zbMATH文章
发布为: 霍尔,哥伦比亚特区。;霍尔,托尼;霍尔,C.A.R.托尼;加州霍尔。;霍尔,C。
外部链接: MGP公司·维基数据·dblp公司·接地·伊德里夫
奖品: 图灵奖(1980)
编制索引的文档: 125种出版物自1935年以来,包括10本书
传记参考: 4种出版物
全部的 前5名

合著者

57 单作者
18 何继峰
8 莫勒,伯恩哈德
8 斯特拉斯,乔治
5 范斯塔登,斯蒂芬
4 奥赫恩,彼得W。
4 罗斯科,安德鲁·威廉
4 桑德斯,杰夫W。
4 国防军,伊恩
2 兄弟,曼弗雷德
2 克林特,莫里斯
2 费雷拉,卡拉
2 弗朗西兹,尼西姆
2 海斯,伊恩J。
2 摩根,卡罗尔C。
2 奥尔德罗,恩斯特-吕迪格
2 索伦森,I.H。
2 斯皮维,J.迈克尔
2 苏夫林学士。
2 沃思,尼古拉斯
2 伍德考克,詹姆斯·C·P。
2 周朝臣
2 朱惠标
1 艾莉森,唐纳德·C·S。
1 阿什克罗夫特,爱德华A。
1 比卡雷吉,胡安C。
1 比约纳,吃饭
1 布鲁克斯,斯蒂芬D。
1 布鲁尼,罗伯托
1 达尔,奥尔·约翰
1 迪杰斯特拉,埃德斯格尔怀贝
1 福奈特,塞德里克
1 格伦鲍尔,约翰内斯
1 赫普,莱斯
1 侯赛因,阿克巴
1 约翰斯顿,H.C。
1 约翰斯顿,罗恩
1 琼斯,克里夫B。
1 琼斯,凯尔文
1 考比希,W.H。
1 考布利希,W.H。
1 肯纳韦,J.R。
1 朗玛克,汉斯
1 劳尔,彼得·恩斯特
1 莱曼,丹尼尔J。
1 麦克纳格登,上午。
1 麦克伊格,R.M。
1 梅尔格拉蒂,赫尔南
1 蒙塔纳里,乌戈·G。
1 米勒,马丁·埃里克
1 佩罗特,罗纳德H。
1 彼得森,拉斯穆斯勒契达尔
1 普卢默,保罗J。
1 拉贾曼尼,斯里拉姆K。
1 拉文,安德斯P。
1 Rehof,雅各布
1 桑帕约,奥古斯托C.A。
1 纳塔拉尚卡尔
1 谢泼森,约翰·C。
1 斯内林格,W.J。
1 施泰因布吕根,拉尔夫
1 维拉德,朱尔斯
1 冯·卡格,伯格哈德

按年份列出的出版物

zbMATH公开赛中包含的引文

96出版物有被引用2847时间2081份文件 引用人
通信顺序进程。 Zbl 0637.68007
霍尔,哥伦比亚特区。
680
1985
计算机程序设计的公理基础。 Zbl 0179.23105
霍尔,哥伦比亚特区。
461
1969
通信顺序进程。 Zbl 0383.68028
霍尔,哥伦比亚特区。
288
1978
传递顺序过程的理论。 Zbl 0628.68025
布鲁克斯,南加州。;霍尔,哥伦比亚特区。;罗斯科,A.W。
218
1984
持续时间的微积分。 Zbl 0743.68097
周朝臣;霍尔,哥伦比亚特区。;拉文,安德斯P。
103
1991
数据表示的正确性证明。 Zbl 0244.68009
霍尔,哥伦比亚特区。
98
1972
快速排序。 Zbl 0108.13601号
霍尔,哥伦比亚特区。
82
1962
统一逻辑程序设计理论。 Zbl 1005.68036
霍尔,哥伦比亚特区。;何继峰
58
2001
编程定律。 Zbl 0629.68006
霍尔,哥伦比亚特区。;海斯,I.J。;何继峰;摩根,哥伦比亚特区。;罗斯科,A.W。;桑德斯,J.W。;索伦森,I.H。;斯皮维,J.M。;苏夫林学士。
56
1987
用于通信过程的面向规范的语义。 05ZB69.68019
奥尔德罗,E.-R。;霍尔,托尼
55
1986
监视器:一种操作系统结构概念。 Zbl 0308.68029
霍尔,哥伦比亚特区。
51
1974
结构化程序设计。 中银0267.68001
达尔,O.-J。;迪杰斯特拉,东西方。;霍尔,哥伦比亚特区。
47
1972
程序和参数:公理化方法。 中银0221.68020
霍尔,哥伦比亚特区。
40
1971
程序设计语言Pascal的公理化定义。 中银0261.68040
霍尔,哥伦比亚特区。;北卡罗来纳州沃思市。
33
1974
通信顺序进程。代表。 Zbl 0841.68042
霍尔,哥伦比亚特区。
31
1995
并发Kleene代数及其基础。 兹布1278.68176
霍尔,托尼;莫勒,伯恩哈德;斯特拉斯,乔治;国防军,伊恩
27
2011
不确定性、并发性和通信的语义。 Zbl 0434.68066
弗朗西兹,尼西姆;霍尔,哥伦比亚特区。;莱曼,丹尼尔J。;德罗弗,威廉P。
23
1979
程序设计语言语义的一致性和互补性形式理论。 中银0264.68006
霍尔,哥伦比亚特区。;劳尔,P.E。
23
1974
最弱的预先指定。 Zbl 0622.68025
霍尔,哥伦比亚特区。;何继峰
22
1987
数据精化中的预先指定。 Zbl 0624.68027
霍尔,哥伦比亚特区。;何继峰;桑德斯,J.W。
21
1987
谓词变换器的一些性质。 Zbl 0379.68016
霍尔,哥伦比亚特区。
20
1978
数据细化。简历。 Zbl 0587.68018
他,J。;霍尔,哥伦比亚特区。;桑德斯,J.W。
20
1986
程序证明:查找。 Zbl 0217.53701
霍尔,哥伦比亚特区。
19
1971
验证编译器:计算机研究的一大挑战。 Zbl 1032.68868号
霍尔,托尼
18
2003
程序证明:跳转和函数。 中银0229.68003
克林特,M。;霍尔,哥伦比亚特区。
18
1971
Occam编程规律。 Zbl 0719.68039
罗斯科,A.W。;霍尔,哥伦比亚特区。
17
1988
对ALGOL发展的贡献。 Zbl 0143.18603
北卡罗来纳州沃思市。;奥尔,阿尔。
17
1966
最弱的预先指定。一。 京保0603.68009
霍尔,哥伦比亚特区。;何继峰
16
1986
并行Kleene代数。 Zbl 1254.68172
霍尔,C.A.R.托尼;莫勒,伯恩哈德;斯特拉斯,乔治;国防军,伊恩
16
2009
通信过程完全正确性的演算。 Zbl 0485.68025
霍尔,哥伦比亚特区。
14
1981
编译器设计的标准形式方法。 Zbl 0790.68023
霍尔,哥伦比亚特区。;何继峰;桑帕约,A。
12
1993
用于长时间运行事务的跟踪语义。 Zbl 1081.68644号
巴特勒,迈克尔;霍尔,托尼;费雷拉,卡拉
11
2005
最薄弱的预先规定,第二部分。 Zbl 0627.68011
霍尔,哥伦比亚特区。;何继峰
11
1986
无卡合规性。 Zbl 1103.68612号
福奈特,塞德里克;霍尔,托尼;拉贾曼尼,斯里拉姆K。;Rehof,雅各布
10
2004
递归数据结构。 Zbl 0301.68037
霍尔,哥伦比亚特区。
10
1975
一个结构化程序的证明:“埃拉托什尼的筛子”。 中银0267.68005
霍尔,哥伦比亚特区。
9
1972
关于局部性和并发过程的交换律。 Zbl 1343.68170号
霍尔,哥伦比亚特区。;侯赛因,阿克巴;莫勒,伯恩哈德;奥赫恩,彼得W。;彼得森,拉斯穆斯勒契达尔;斯特拉斯,乔治
9
2011
分离逻辑的图形模型。 Zbl 1200.68153
国防军,伊恩;霍尔,哥伦比亚特区。;奥赫恩,彼得W。
8
2009
比较两种补偿流量组成的方法。 Zbl 1134.68316
布鲁尼,罗伯托;巴特勒,迈克尔;费雷拉,卡拉;霍尔,托尼;梅尔格拉蒂,赫尔南;蒙塔纳里,乌戈
7
2005
关于for语句的注释。 中银0246.68003
霍尔,哥伦比亚特区。
7
1972
并行程序设计:公理化方法。 Zbl 0362.68045
霍尔,哥伦比亚特区。
7
1975
序贯微积分。 Zbl 0875.68202
冯·卡格,伯格哈德;霍尔,哥伦比亚特区。
7
1995
用于通信过程的面向规范的语义。 Zbl 0578.68009
奥尔德罗格。;霍尔,哥伦比亚特区。
7
1983
递归程序的证明:快速排序。 Zbl 0231.68011
佛利,M。;霍尔,哥伦比亚特区。
7
1971
并行Kleene代数的基础。 Zbl 1267.68154
霍尔,哥伦比亚特区。;莫勒,伯恩哈德;斯特拉斯,乔治;国防军,伊恩
7
2009
分布式恢复算法的代数规范和证明。 Zbl 0621.68008
何继峰;霍尔,哥伦比亚特区。
6
1987
指针和对象的跟踪模型。 Zbl 0954.68045
霍尔,哥伦比亚特区。;何继峰
6
1999
程序是谓词。 Zbl 0864.68009
霍尔,哥伦比亚特区。
5
1992
赞扬代数。 Zbl 1259.68030
霍尔,托尼;范斯塔登,斯蒂芬
5
2012
并行Kleene代数的发展。 Zbl 1344.68148
霍尔,托尼;范斯塔登,斯蒂芬;莫勒,伯恩哈德;斯特拉斯,乔治;维拉德,朱尔斯;朱惠标;奥赫恩,彼得
4
2014
用于通信进程的分离逻辑语义。 Zbl 1286.68352
霍尔,托尼;奥赫恩,彼得
4
2008
更完整的通信过程模型。 Zbl 0513.68020
海纳,E.C.R。;霍尔,哥伦比亚特区。
4
1983
记录处理。 中银0274.68010
霍尔,哥伦比亚特区。
4
1968
从代数到操作语义学。 Zbl 0795.68124
何继峰;霍尔,哥伦比亚特区。
4
1993
序丰富范畴中的前附加语。 Zbl 0755.18003
马丁,C.E。;霍尔,哥伦比亚特区。;何继峰
4
1991
统一并行程序设计理论。 Zbl 0996.68754
霍尔,托尼;何继峰
4
1997
命题演算中的几个新奇之处。 Zbl 0563.03004
霍尔,哥伦比亚特区。
4
1985
一个很难遵循的行为。 Zbl 0951.01025
霍尔,哥伦比亚特区。
4
2000
并行Kleene代数的发展。 Zbl 1344.68149
霍尔,托尼;范斯塔登,斯蒂芬;莫勒,伯恩哈德;斯特拉斯,乔治;朱惠彪
4
2016
对M.Clint和C.A.R.Hoare的“程序证明:跳跃和函数”的评论。 Zbl 0326.68011
阿什克罗夫特,E.A。;克林特,M。;霍尔,哥伦比亚特区。
1976
并行程序设计:公理化方法。 Zbl 0347.68011
霍尔,哥伦比亚特区。
1976
并行程序设计理论。 Zbl 0395.68009
加州霍尔。
1978
关于通信顺序系统的注记。 Zbl 0566.68020
霍尔,哥伦比亚特区。
1985
程序设计的数学。 Zbl 0585.68010
霍尔,哥伦比亚特区。
1985
关于Elliott ALGOL翻译的报告。 Zbl 0100.13201号
霍尔,哥伦比亚特区。
1962
程序设计的规律统一了过程计算。 Zbl 1358.68064
霍尔,托尼;范斯塔登,斯蒂芬
2012
已验证的软件存储库:迈向验证编译器的一步。 Zbl 1103.68452
比卡雷吉,J.C。;霍尔,哥伦比亚特区。;伍德考克,J.C.P。
2
2006
探索CKA的接口模型。 Zbl 1432.68314号
莫勒,伯恩哈德;霍尔,托尼
2
2015
编程理论:自上而下、自下而上、中间会合。 Zbl 0976.68110
霍尔,哥伦比亚特区。
2
1999
不确定性理论。 Zbl 0444.68027
肯纳韦,J.R。;霍尔,哥伦比亚特区。
2
1980
一种结构化的寻呼系统。 Zbl 0262.68009
霍尔,哥伦比亚特区。
2
1973
不可计算性。 中银0265.68028
霍尔,哥伦比亚特区。;哥伦比亚特区艾利森。
2
1972
程序设计语言PASCAL的公理化定义。 Zbl 0285.68009
霍尔,哥伦比亚特区。
2
1974
数据表示的正确性证明。 Zbl 0395.68019
霍尔,哥伦比亚特区。
2
1978
程序是谓词。 Zbl 0558.68004
霍尔,哥伦比亚特区。
2
1984
增函数的不动点。 Zbl 0695.06003
霍尔,哥伦比亚特区。
2
1990
“程序设计定律”勘误表。 Zbl 0653.68002
霍尔,哥伦比亚特区。;海斯,I.J。;何继峰;摩根,哥伦比亚特区。;罗斯科,A.W。;桑德斯,J.W。;索伦森,I.H。;斯皮维,J.M。;苏夫林学士。
2
1987
代数统一运算计算。 145ZB56802
范斯塔登,斯蒂芬;霍尔,托尼
2
2013
统一并发编程的语义。 Zbl 1264.68042
霍尔,托尼
2
2013
细粒度并行程序的验证。 Zbl 1279.68261
霍尔,托尼
1
2008
统一编程理论。 Zbl 0884.68011
霍尔,哥伦比亚特区。
1
1997
基于通信顺序过程的离散事件仿真。 Zbl 0508.68009
考布利希,W.H。;霍尔,哥伦比亚特区。
1
1982
矩阵约化-一种有效的方法。 中银0297.68031
约翰斯顿,H.C。;霍尔,哥伦比亚特区。
1
1975
准平行程序设计。 Zbl 0332.68010
考比希,W.H。;佩罗特,R.H。;霍尔,哥伦比亚特区。
1
1976
帕斯卡语中的歧义和不安全感。 Zbl 0366.68010
威尔士,J。;斯内林格,W.J。;霍尔,哥伦比亚特区。
1
1977
不确定性、并发性和通信的语义。 Zbl 0391.68017
弗朗西兹,尼西姆;霍尔,哥伦比亚特区。;德罗弗,威廉P。
1
1978
计算机程序设计的公理基础。 Zbl 0395.68012
霍尔,哥伦比亚特区。
1
1978
监视器:一种操作系统结构概念。 Zbl 0395.68027
霍尔,哥伦比亚特区。
1
1978
计算机科学论文。 Zbl 0656.68007
霍尔,哥伦比亚特区。;琼斯,C.B。(编辑)
1
1989
90年版。VDM和Z—软件开发中的形式化方法。第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17-21日。诉讼程序。 Zbl 0746.68006
比约纳,吃饭(编辑);霍尔,哥伦比亚特区。(编辑);朗玛克,汉斯(编辑)
1
1990
验证编译器是计算机研究的一大挑战。 Zbl 1111.68395
霍尔,哥伦比亚特区。
1
2005
C-mos组合电路设计的推导理论。 Zbl 0732.68084
霍尔,哥伦比亚特区。
1
1991
概率规划中的连接理论。 Zbl 0943.68033
何继峰;霍尔,哥伦比亚特区。
1
1999
Elliott ALGOL编程系统。 中银0123.12802
霍尔,哥伦比亚特区。
1
1964
数理逻辑和程序设计语言。(伦敦皇家学会讨论会,1984年2月15日和16日举行)。 Zbl 0626.68003
奥尔,阿尔。(编辑);谢泼森,J.C。(编辑)
1
1985
程序设计定律的一般模型。 兹布1390.68182
霍尔,托尼
1
2013
并行Kleene代数的发展。 Zbl 1344.68149
霍尔,托尼;范斯塔登,斯蒂芬;莫勒,伯恩哈德;斯特拉斯,乔治;朱惠标
4
2016
探索CKA的接口模型。 Zbl 1432.68314号
莫勒,伯恩哈德;霍尔,托尼
2
2015
并行Kleene代数的发展。 Zbl 1344.68148
霍尔,托尼;范斯塔登,斯蒂芬;莫勒,伯恩哈德;斯特拉斯,乔治;维拉德,朱尔斯;朱惠标;O’赫恩,彼得
4
2014
代数统一运算计算。 Zbl 1452.68056
范斯塔登,斯蒂芬;霍尔,托尼
2
2013
统一并发编程的语义。 Zbl 1264.68042
霍尔,托尼
2
2013
程序设计定律的一般模型。 兹布1390.68182
霍尔,托尼
1
2013
赞扬代数。 Zbl 1259.68030
霍尔,托尼;范斯塔登,斯蒂芬
5
2012
程序设计的规律统一了过程计算。 Zbl 1358.68064
霍尔,托尼;范斯塔登,斯蒂芬
2012
并发Kleene代数及其基础。 兹布1278.68176
霍尔,托尼;莫勒,伯恩哈德;斯特拉斯,乔治;国防军,伊恩
27
2011
关于局部性和并发过程的交换律。 Zbl 1343.68170号
霍尔,哥伦比亚特区。;侯赛因,阿克巴;莫勒,伯恩哈德;O’赫恩,彼得W。;彼得森,拉斯穆斯勒契达尔;斯特拉斯,乔治
9
2011
并行Kleene代数。 Zbl 1254.68172
霍尔,C.A.R.托尼;莫勒,伯恩哈德;斯特拉斯,乔治;国防军,伊恩
16
2009
分离逻辑的图形模型。 Zbl 1200.68153
国防军,伊恩;霍尔,哥伦比亚特区。;O’彼得,听着。
8
2009
并行Kleene代数的基础。 Zbl 1267.68154
霍尔,哥伦比亚特区。;莫勒,伯恩哈德;斯特拉斯,乔治;国防军,伊恩
7
2009
用于通信进程的分离逻辑语义。 Zbl 1286.68352
霍尔,托尼;O’赫恩,彼得
4
2008
细粒度并行程序的验证。 Zbl 1279.68261
霍尔,托尼
1
2008
已验证的软件存储库:迈向验证编译器的一步。 Zbl 1103.68452
比卡雷吉,J.C。;霍尔,哥伦比亚特区。;伍德考克,J.C.P。
2
2006
用于长时间运行事务的跟踪语义。 Zbl 1081.68644号
巴特勒,迈克尔;霍尔,托尼;费雷拉,卡拉
11
2005
比较两种补偿流量组成的方法。 Zbl 1134.68316
布鲁尼,罗伯托;巴特勒,迈克尔;费雷拉,卡拉;霍尔,托尼;梅尔格拉蒂,赫尔南;蒙塔纳里,乌戈
7
2005
验证编译器是计算机研究的一大挑战。 Zbl 1111.68395
霍尔,哥伦比亚特区。
1
2005
无卡合规性。 Zbl 1103.68612号
福奈特,塞德里克;霍尔,托尼;拉贾曼尼,斯里拉姆K。;Rehof,雅各布
10
2004
验证编译器:计算机研究的一大挑战。 Zbl 1032.68868号
霍尔,托尼
18
2003
统一逻辑程序设计理论。 Zbl 1005.68036
霍尔,哥伦比亚特区。;何继峰
58
2001
一个很难遵循的行为。 Zbl 0951.01025
霍尔,哥伦比亚特区。
4
2000
指针和对象的跟踪模型。 Zbl 0954.68045
霍尔,哥伦比亚特区。;何继峰
6
1999
编程理论:自上而下、自下而上、中间会合。 Zbl 0976.68110
霍尔,哥伦比亚特区。
2
1999
概率规划中的连接理论。 Zbl 0943.68033
何继峰;霍尔,哥伦比亚特区。
1
1999
统一并行程序设计理论。 Zbl 0996.68754
霍尔,托尼;何继峰
4
1997
统一编程理论。 Zbl 0884.68011
霍尔,哥伦比亚特区。
1
1997
通信顺序进程。代表。 Zbl 0841.68042
奥尔,阿尔。
31
1995
序贯微积分。 Zbl 0875.68202
冯·卡格,伯格哈德;霍尔,哥伦比亚特区。
7
1995
编译器设计的标准形式方法。 Zbl 0790.68023
霍尔,哥伦比亚特区。;何继峰;桑帕约,A。
12
1993
从代数到操作语义学。 Zbl 0795.68124
何继峰;霍尔,哥伦比亚特区。
4
1993
程序是谓词。 Zbl 0864.68009
霍尔,哥伦比亚特区。
5
1992
持续时间的微积分。 Zbl 0743.68097
周朝臣;霍尔,哥伦比亚特区。;拉文,安德斯P。
103
1991
序丰富范畴中的前附加语。 Zbl 0755.18003
马丁,C.E。;霍尔,哥伦比亚特区。;何继峰
4
1991
C-mos组合电路设计的推导理论。 Zbl 0732.68084
霍尔,哥伦比亚特区。
1
1991
增函数的不动点。 Zbl 0695.06003
霍尔,哥伦比亚特区。
2
1990
90年版。VDM和Z—软件开发中的形式化方法。第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17-21日。诉讼程序。 Zbl 0746.68006
比约纳,吃饭;霍尔,哥伦比亚特区。;朗玛克,汉斯
1
1990
计算机科学论文。 Zbl 0656.68007
霍尔,哥伦比亚特区。;琼斯,C.B。
1
1989
Occam编程规律。 Zbl 0719.68039
罗斯科,A.W。;霍尔,哥伦比亚特区。
17
1988
编程定律。 Zbl 0629.68006
霍尔,哥伦比亚特区。;海斯,I.J。;何继峰;摩根,哥伦比亚特区。;罗斯科,A.W。;桑德斯,J.W。;索伦森,I.H。;斯皮维,J.M。;苏夫林学士。
56
1987
最弱的预先指定。 Zbl 0622.68025
霍尔,哥伦比亚特区。;何继峰
22
1987
数据精化中的预先指定。 Zbl 0624.68027
霍尔,哥伦比亚特区。;何继峰;桑德斯,J.W。
21
1987
分布式恢复算法的代数规范和证明。 Zbl 0621.68008
何继峰;霍尔,哥伦比亚特区。
6
1987
“规划法勘误”。 Zbl 0653.68002
霍尔,哥伦比亚特区。;海斯,I.J。;何继峰;摩根,哥伦比亚特区。;罗斯科,A.W。;桑德斯,J.W。;索伦森,I.H。;斯皮维,J.M。;苏夫林学士。
2
1987
用于通信过程的面向规范的语义。 Zbl 0569.68019
奥尔德罗,E.-R。;霍尔,托尼
55
1986
数据细化。简历。 Zbl 0587.68018
他,J。;霍尔,哥伦比亚特区。;桑德斯,J.W。
20
1986
最弱的预先指定。一。 京保0603.68009
霍尔,哥伦比亚特区。;何继峰
16
1986
最薄弱的预先规定,第二部分。 Zbl 0627.68011
霍尔,哥伦比亚特区。;何继峰
11
1986
通信顺序进程。 Zbl 0637.68007
霍尔,哥伦比亚特区。
680
1985
命题演算中的几个新奇之处。 Zbl 0563.03004
霍尔,哥伦比亚特区。
4
1985
关于通信顺序系统的注记。 Zbl 0566.68020
霍尔,哥伦比亚特区。
1985
程序设计的数学。 Zbl 0585.68010
霍尔,哥伦比亚特区。
1985
数理逻辑和程序设计语言。(伦敦皇家学会讨论会,1984年2月15日和16日举行)。 Zbl 0626.68003
霍尔,哥伦比亚特区。;谢泼森,J.C。
1
1985
传递顺序过程的理论。 Zbl 0628.68025
布鲁克斯,南加州。;霍尔,哥伦比亚特区。;罗斯科,A.W。
218
1984
程序是谓词。 Zbl 0558.68004
霍尔,哥伦比亚特区。
2
1984
用于通信过程的面向规范的语义。 Zbl 0578.68009
奥尔德罗,E.-R。;霍尔,哥伦比亚特区。
7
1983
更完整的通信过程模型。 Zbl 0513.68020
海纳,E.C.R。;霍尔,哥伦比亚特区。
4
1983
基于通信顺序过程的离散事件仿真。 Zbl 0508.68009
考布利希,W.H。;霍尔,哥伦比亚特区。
1
1982
通信过程完全正确性的演算。 Zbl 0485.68025
霍尔,哥伦比亚特区。
14
1981
不确定性理论。 Zbl 0444.68027
肯纳韦,J.R。;霍尔,哥伦比亚特区。
2
1980
通信的不确定性。 Zbl 0434.68066
弗朗西兹,尼西姆;霍尔,哥伦比亚特区。;莱曼,丹尼尔J。;德罗弗,威廉P。
23
1979
通信顺序进程。 Zbl 0383.68028
霍尔,哥伦比亚特区。
288
1978
谓词变换器的一些性质。 Zbl 0379.68016
霍尔,哥伦比亚特区。
20
1978
并行程序设计理论。 Zbl 0395.68009
加州霍尔。
1978
数据表示的正确性证明。 Zbl 0395.68019
霍尔,哥伦比亚特区。
2
1978
不确定性、并发性和通信的语义。 Zbl 0391.68017
弗朗西兹,尼西姆;霍尔,哥伦比亚特区。;德罗弗,威廉P。
1
1978
计算机程序设计的公理基础。 Zbl 0395.68012
霍尔,哥伦比亚特区。
1
1978
监视器:一种操作系统结构概念。 Zbl 0395.68027
霍尔,哥伦比亚特区。
1
1978
帕斯卡语中的歧义和不安全感。 Zbl 0366.68010
威尔士,J。;斯内林格,W.J。;霍尔,哥伦比亚特区。
1
1977
对M.Clint和C.A.R.Hoare的“程序证明:跳跃和函数”的评论。 Zbl 0326.68011
阿什克罗夫特,E.A。;克林特,M。;霍尔,哥伦比亚特区。
1976
并行程序设计:公理化方法。 Zbl 0347.68011
霍尔,哥伦比亚特区。
1976
准平行程序设计。 Zbl 0332.68010
考比希,W.H。;佩罗特,R.H。;霍尔,哥伦比亚特区。
1
1976
递归数据结构。 Zbl 0301.68037
霍尔,哥伦比亚特区。
10
1975
并行程序设计:公理化方法。 Zbl 0362.68045
霍尔,哥伦比亚特区。
7
1975
矩阵约化-一种有效的方法。 中银0297.68031
约翰斯顿,H.C。;霍尔,哥伦比亚特区。
1
1975
监视器:一种操作系统结构概念。 Zbl 0308.68029
霍尔,哥伦比亚特区。
51
1974
程序设计语言Pascal的公理化定义。 中银0261.68040
霍尔,哥伦比亚特区。;北卡罗来纳州沃思市。
33
1974
程序设计语言语义的一致性和互补性形式理论。 中银0264.68006
霍尔,哥伦比亚特区。;劳尔,P.E。
23
1974
程序设计语言PASCAL的公理化定义。 Zbl 0285.68009
霍尔,哥伦比亚特区。
2
1974
一种结构化的寻呼系统。 68002ZB09
霍尔,哥伦比亚特区。
2
1973
数据表示的正确性证明。 Zbl 0244.68009
霍尔,哥伦比亚特区。
98
1972
结构化程序设计。 中银0267.68001
达尔,O.-J。;迪杰斯特拉,东西方。;霍尔,哥伦比亚特区。
47
1972
一个结构化程序的证明:“埃拉托什尼的筛子”。 中银0267.68005
霍尔,哥伦比亚特区。
9
1972
关于for语句的注释。 中银0246.68003
霍尔,哥伦比亚特区。
7
1972
不可计算性。 中银0265.68028
霍尔,哥伦比亚特区。;哥伦比亚特区艾利森。
2
1972
程序和参数:公理化方法。 中银0221.68020
霍尔,哥伦比亚特区。
40
1971
程序证明:查找。 Zbl 0217.53701
霍尔,哥伦比亚特区。
19
1971
程序证明:跳转和函数。 中银0229.68003
克林特,M。;霍尔,哥伦比亚特区。
18
1971
递归程序的证明:快速排序。 Zbl 0231.68011
佛利,M。;霍尔,哥伦比亚特区。
7
1971
计算机程序设计的公理基础。 Zbl 0179.23105
霍尔,哥伦比亚特区。
461
1969
记录处理。 中银0274.68010
霍尔,哥伦比亚特区。
4
1968
对ALGOL发展的贡献。 Zbl 0143.18603
北卡罗来纳州沃思市。;霍尔,哥伦比亚特区。
17
1966
Elliott ALGOL编程系统。 中银0123.12802
霍尔,哥伦比亚特区。
1
1964
快速排序。 Zbl 0108.13601号
霍尔,哥伦比亚特区。
82
1962
关于Elliott ALGOL翻译的报告。 Zbl 0100.13201号
霍尔,哥伦比亚特区。
1962
全部的 前5名

被2576位作者引用

35 伯格斯特拉,Jan A。
30 霍尔,C.A.R.托尼
23 醋酸,卢卡
20 安娜,英格尔夫斯多蒂尔
20 伍德考克,詹姆斯·C·P。
19 罗斯科,安德鲁·威廉
19 范格拉贝克,罗伯特·扬
18 安娜,卡瓦尔康蒂
18 海瑟林,维姆H。
17 贝顿,乔斯·C·M。
17 沃格勒,沃尔特
15 奥尔德罗,恩斯特-吕迪格
14 何继峰
14 莫勒,伯恩哈德
13 米德尔堡,科尼利斯A。
12 德波尔,弗兰克·S。
12 德尼古拉,洛克
12 段振华
12 刘志明
12 米拉·塞德巴姆少校。
12 摩根,卡罗尔C。
12 欠你的,奥拉夫
12 庞塞,阿尔班
11 海斯,伊恩J。
11 轩尼诗,马修·C·B。
11 吕特根,杰拉尔德
11 迈耶,约翰·朱尔斯·查尔斯
11 桑帕约,奥古斯托C.A。
11 斯特拉斯,乔治
10 伯纳多,马可
10 兄弟,曼弗雷德
10 德里克,约翰
10 福克金,威廉·扬
10 弗朗西兹,尼西姆
10 拉森,金·古德斯兰德
10 米莉,阿里
10 诺曼,大卫A。
10 朱惠标
9 布雷维蒂,马里奥
9 格雷戈里奥·罗德里格斯,卡洛斯
9 巴斯州卢蒂克
9 米尔纳,罗宾
9 奥赫恩,彼得W。
9 塔克,约翰五世。
9 詹乃俊
8 克里夫兰,兰斯
8 科尔文,罗伯特J。
8 德弗鲁托斯·埃斯克里格,大卫
8 戈里里,罗伯托
8 贾尼基,里扎德
8 约翰森,艾纳·布洛赫
8 洛,加文
8 马利克,罗比
8 佩利德,多伦A。
8 菲利普斯,法律。
8 拉比诺维奇,亚历山大
8 田聪
8 威海,黑克
7 阿普特,拉法
7 博伊滕,伊尔克A。
7 弗拉维奥,科拉迪尼
7 邓玉欣
7 多夫兰,约翰
7 汉森,迈克尔·赖克哈特
7 亨尼克,罗尔夫
7 霍夫纳,彼得
7 库特尼,麦基
7 蒙塔纳里,乌戈·G。
7 普努埃利,阿米尔
7 普利斯,罗萨里奥
7 雷尼尔,米歇尔·阿德里安
7 斯法基斯,约瑟夫
7 斯特芬,马丁
7 坦能,罗伯特D。
7 瓦德拉格,熔块W。
6 阿布拉姆斯基,参孙
6 回来,拉尔夫·约翰
6 德巴克,雅各布斯W。
6 德加诺,皮尔波洛
6 东,劲松
6 福斯特,西蒙
6 戈兰科,瓦伦丁F。
6 盖列夫,迪米塔P。
6 古特曼,沃尔特
6 胡曼,乔泽夫·约翰内斯·玛丽亚
6 卡茨,希缪尔
6 普里亚米,科拉多
6 秦胜超
6 罗根巴赫,马库斯
6 施耐德,史蒂夫A。
6 孙军,孙军
6 乌利多斯基,艾瑞克
6 瓦尔马里,安蒂
6 王淑玲
6 温斯克尔,格林
6 张楠
5 美国,皮埃尔
5 巴博萨,鲁伊斯·苏亚雷斯
5 比约纳,吃饭
5 博雷尔,米歇尔
…还有2476位作者
全部的 前5名

在179个系列中被引用

393 理论计算机科学
191 计算的形式化方面
108 信息学报
98 信息处理信函
95 信息与计算
67 逻辑与代数程序设计杂志
51 程序设计中的逻辑和代数方法杂志
37 计算机程序设计学
35 分布式计算
33 MSCS公司。计算机科学中的数学结构
29 系统设计中的形式化方法
27 计算机与系统科学杂志
25 软件。实践与经验
23 比特。Nordisk Tidskift信息处理
21 计算机科学与技术杂志
18 自动推理杂志
18 控制论与系统分析
17 信息科学
16 国际并行程序设计杂志
15 钻头
14 人工智能
14 离散事件动态系统
14 应用非经典逻辑杂志
12 计算
12 计算机科学中的逻辑方法
10 控制论
10 纯逻辑与应用逻辑年鉴
10 符号计算杂志
10 国际计算机数学杂志
10 函数程序设计杂志
9 编程与计算机软件
9 数学与人工智能年鉴
8 逻辑研究
8 国际计算机科学基础杂志
8 计算机科学评论
7 国际理论物理杂志
7 国际计算机与信息科学杂志
7 雷罗。信息技术应用
6 计算机与数学及其应用
6 自动
6 数学系统论
6 莱罗,信息来源
6 ādhanā
6 计算逻辑学报
6 应用逻辑杂志
6 计算机科学前沿
5 纯粹与应用代数杂志
5 算法
5 实时系统
5 欧洲运筹学杂志
5 并行与计算:实践与经验
5 科学中国。信息科学
4 国际控制杂志
4 应用数学与计算
4 并行算法及其应用
4 计算系统理论
4 雷罗。理论信息学与应用
4 计算机语言、系统与结构
4 形式化数学
离散应用数学
国际通用系统杂志
国际系统科学杂志
通用代数
模糊集与系统
哲学逻辑杂志
苏联数学杂志
合成语
拓扑学及其应用
新一代计算
密码学杂志
应用概率年鉴
国际计算机与系统科学杂志
逻辑程序设计理论与实践
离散算法杂志
中国计算机科学前沿
2 计算机物理通信
2 凯伯内特斯
2 京都大学数学科学研究所出版物
2 系统和控制字母
2 统计与概率字母
2 逻辑与哲学
2 离散与计算几何
2 计算机与运筹学
2 国际智能系统杂志
2 国际近似推理杂志
2 数学与计算机建模
2 机器学习
2 杰泰。实验与理论人工智能杂志
2 全球最优化杂志
2 随机过程及其应用
2 工程软件进展
2 埃及数学学会杂志
2 摩尔多瓦计算机科学杂志
2 工程数学问题
2 欧洲控制杂志
2 组合优化期刊
2 武汉大学自然科学学报
2 数据挖掘与知识发现
2 高阶与符号计算
2 国际应用数学与计算机科学杂志
…还有79部连续剧

按年份列出的引文

维基数据时间轴

数据显示为存储在Wikidata中的Creative Commons CC0许可证. 应进行更新和更正在Wikidata中.