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

罗布·特里斯坦·格特

合著者距离
作者ID： gerth.rob-tristan先生“Gerth，Rob Tristan”最近发表的zbMATH文章
发布日期： 罗伯·格思;R.格思。;格思，R.T。
已编制索引的文档： 19出版物自1981年以来
传记参考： 1出版物
合著者： 26位合著者具有14联合出版物
407位合作作者
全部的 前5名

合著者

三 单作者的
三 路德·柯伊伯
三 马利·朗肯
2 阿伦库马尔，S。
2 达姆，丹尼斯·雷内
2 沃伊切赫·彭泽克
2 Shyamasondar，Rudrapatna Kallikote
1 罗伊·阿莫尼
1 安迪·鲍彻
1 修复，Limor
1 阿隆·弗莱舍
1 鲍里斯·金斯堡
1 惠泽，科内利斯
1 托默·坎扎
1 巴特·科纳克
1 科曼，R。
1 罗恩·科曼斯
1 Avner Landver公司
1 塞拉州马多尔·海姆
1 Doron A.Peled。
1 柳巴Shrira
1 伊莱·辛格曼
1 F.A.斯托姆。
1 马西耶·斯兹雷特
1 安德烈亚斯·蒂梅耶
1 莫西·亚亚科夫·瓦尔迪
1 Zbar，耶尔
全部的 前5名

系列

三 信息与计算
1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV
1 计算机程序设计科学
1 计算的形式方面
1 分布式计算
1 计算机基础理论

领域

19 计算机科学（68至XX）
三 数学逻辑和基础（03-XX）

按年份列出的出版物

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

zbMATH Open中包含的引文

17出版物有被引用124中的次105文件 引用人▼ 年份▼
ForSpec时态逻辑：一种新的时态属性特定语言。 Zbl 1043.68563号
罗伊·阿莫尼;修复，Limor;阿隆·弗莱舍;罗伯·格思;鲍里斯·金斯堡;托默·坎扎;Avner Landver公司;塞拉州马多尔·海姆;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Zbar，耶尔
24
2002
分支时间逻辑模型检查的部分顺序方法。 Zbl 1045.68588号
罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫·彭泽克
20
1999
以完全抽象的方式建模状态图行为。 Zbl 0647.68018号
惠泽，C。;R.格思。;德·罗弗，W.P。
12
1988
演算作为公平性参数的断言语言。 Zbl 0678.68010号
F.A.斯托姆。;德罗弗，W.P。;格思，R.T。
12
1989
扩展通信过程的定时故障模型。 Zbl 0623.68022号
罗伯·格思;安迪·鲍彻
10
1987
实时分布式计算的合成语义。 Zbl 0669.68055号
科曼，R。;Shyamasundar，R.K。;德罗弗，W.P。;Gerth，R。;阿伦·库马尔，S。
9
1988
实时分布式计算的合成语义。 Zbl 0565.68026号
科曼斯，R。;Shyamasundar，R.K。;德罗弗，W.P。;R.格思。;阿伦·库马尔，S。
6
1985
并行ADA程序的证明系统。 Zbl 0536.68009号
罗伯·格思;威廉·德·罗弗（Willem P.de Roever）。
6
1984
再次验证监控器：验证面向对象系统的第一步。 Zbl 0617.68026号
罗伯·格思;德罗弗，W.P。
6
1986
改进通用分支时间属性的部分降阶。 Zbl 0966.68126号
沃伊切赫·彭泽克;马西耶·斯兹雷特;罗伯·格思;鲁德·柯伊伯
5
2000
用于实时模型检查的部分降阶技术。 Zbl 0952.68070号
亲爱的，丹尼斯;罗伯·格思;巴特·科纳克;鲁德·柯伊伯
三
1998
关于证明分布式层的通信紧密性。 Zbl 0604.68028号
罗伯·格思;Shrra，刘巴
三
1986
过程和并发：一项证据研究。 Zbl 0493.68019号
罗伯·格思;Willem P.De Roever。;马利·朗肯
三
1982
重新访问了有界重传协议。扩展摘要。 Zbl 0907.68122号
亲爱的，丹尼斯;罗伯·格思
2
1997
Brinch Hansen分布式过程的证明系统。 Zbl 0476.68023号
M.龙肯。;R.格思。;德罗弗，W.P。
1
1981
分布式系统和荷兰爱国主义研究。 Zbl 0547.68025号
罗伯·格思;de Roever，Willem P。;马利·朗肯
1
1982
顺序一致性和延迟缓存算法。 Zbl 1448.68101号
罗伯·格思
1
1999
ForSpec时态逻辑：一种新的时态属性特定语言。 Zbl 1043.68563号
罗伊·阿莫尼;修复，Limor;阿隆·弗莱舍;罗伯·格思;鲍里斯·金斯堡;托默·坎扎;Avner Landver公司;塞拉州马多尔·海姆;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Zbar，耶尔
24
2002
改进通用分支时间属性的部分降阶。 兹伯利0966.68126
沃伊切赫·彭泽克;马西耶·斯兹雷特;罗伯·格思;鲁德·柯伊伯
5
2000
分支时间逻辑模型检查的部分顺序方法。 Zbl 1045.68588号
罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫·彭泽克
20
1999
顺序一致性和延迟缓存算法。 Zbl 1448.68101号
罗伯·格思
1
1999
用于实时模型检查的部分降阶技术。 Zbl 0952.68070号
亲爱的，丹尼斯;罗伯·格思;巴特·克纳克;鲁德·柯伊伯
三
1998
重新访问了有界重传协议。扩展摘要。 Zbl 0907.68122号
亲爱的，丹尼斯;罗伯·格思
2
1997
演算作为公平性参数的断言语言。 Zbl 0678.68010号
F.A.斯托姆。;德·罗弗，W.P。;格思，R.T。
12
1989
以完全抽象的方式建模状态图行为。 Zbl 0647.68018号
惠泽，C。;R.格思。;德罗弗，W.P。
12
1988
实时分布式计算的合成语义。 Zbl 0669.68055号
科曼，R。;Shyamasundar，R.K。;德罗弗，W.P。;R.格思。;阿伦·库马尔，S。
9
1988
扩展通信过程的定时故障模型。 Zbl 0623.68022号
罗伯·格思;安迪·鲍彻
10
1987
重新审视验证监视器：验证面向对象系统的第一步。 Zbl 0617.68026号
罗伯·格思;德罗弗，W.P。
6
1986
关于证明分布式层的通信紧密性。 Zbl 0604.68028号
罗伯·格思;Shrra，刘巴
三
1986
实时分布式计算的合成语义。 Zbl 0565.68026号
科曼斯，R。;Shyamasundar，R.K。;德罗弗，W.P。;R.格思。;Arun Kumar，S。
6
1985
并发ADA程序的证明系统。 Zbl 0536.68009号
罗伯·格思;威廉·德·罗弗（Willem P.de Roever）。
6
1984
过程和并发：一项证据研究。 Zbl 0493.68019号
罗伯·格思;威廉·德·罗弗。;马利·朗肯
三
1982
分布式系统和荷兰爱国主义研究。 Zbl 0547.68025号
罗伯·格思;威廉·德·罗弗（Willem P.de Roever）。;马利·朗肯
1
1982
Brinch-Hansen分布式过程的证明系统。 Zbl 0476.68023号
M.龙肯。;R.格思。;德罗弗，W.P。
1
1981
所有引用的出版物 前5名被引用出版物
全部的 前5名

169位作者引用

6 阿米尔·普努利
6 莫西·亚亚科夫·瓦尔迪
4 乔泽夫·约翰内斯·玛丽亚·胡曼
4 尤尼特·凯斯滕
4 Shyamasondar，Rudrapatna Kallikote
4 安蒂·瓦尔马里
4 Tim A.C.Willemse。
4 卡斯滕·沃尔夫
三 威廉·鲍尔·德·罗弗
三 弗雷德里克·朗
三 拉杜·马特埃斯库
三 迈克尔·门德勒
三 托马斯·内勒
三 Doron A.Peled。
三 阿德里亚诺·佩隆
三 马丁·齐默尔曼
2 华金·阿瓜多
2 阿伦库马尔，S。
2 弗雷德里克·梅耶·伯内兰
2 德波尔（Frank S。
2 辛迪·艾斯纳
2 达纳·菲斯曼
2 尼西姆·弗朗西兹
2 休伯特·加拉维
2 詹斯·奥利弗·古斯菲尔德
2 惠泽，科内利斯
2 瑞典雅各布斯
2 彼得·格约尔·詹森
2 Shmuel Katz
2 鲁德·柯伊伯
2 奥尔纳·库普弗曼
2 金·古德斯特兰·拉森
2 安德烈亚·马吉奥洛·谢蒂尼
2 佐哈尔·曼纳
2 Müller Olm，马库斯
2 马尔科·穆尼兹
2 乔治·迈克尔·里德
2 安德鲁·威廉·罗斯科
2 吉·斯尔巴
2 Leander Tentrup公司
2 西蒙·蒂尼
2 范德波尔，扬·科内利斯
2 索菲·沃纳
1 西瓦利·阿加瓦尔
1 美国，皮埃尔
1 Krzysztof Rafal公寓
1 阿夫尼，盖伊
1 阿图罗·阿兹科拉
1 肖恩·阿佐帕迪
1 弗兰兹·巴德
1 Jos C.M.Baeten。
1 卡梅尔·巴考伊
1 安德烈亚斯·鲍尔
1 詹姆斯·巴克斯特
1 Jan A.Bergstra。
1 哈尼法·布切内布
1 帕特里夏·鲍耶
1 劳拉·博泽利
1 朱利安·查尔斯·布拉德菲尔德
1 Jörg Brauer
1 安娜·卡瓦尔坎蒂
1 Chebotarev，Anatoli N。
1 达姆，丹尼斯·雷内
1 吉姆·戴维斯
1 克里斯蒂安·达克斯
1 戴维·德·弗鲁托斯·埃斯克里格
1 大卫·德·弗鲁托斯
1 德容、希德
1 克里斯蒂安·迪利茨
1 埃斯特尔·杜马斯
1 马修·德怀尔。
1 哈特穆特·埃里格
1 康斯坦丁·埃纳
1 彼得·费蒙维尔
1 马蒂亚斯·福格尔
1 Insa Fuhrmann公司
1 保罗·加斯丁
1 罗伯特·盖斯勒
1 罗布·特里斯坦·格特
1 Jan Friso，格鲁特
1 朱利安·古铁雷斯
1 盖坦·海恩斯
1 乌尔里希·汉内曼
1 亨利·汉森
1 约翰·哈特克利夫
1 约翰·W·哈夫利切克。
1 A.G.海比格。
1 轩尼诗，Matthew C.B。
1 卢多维奇·亨利奥
1 弗雷德里克·赫布雷托
1 詹·菲利普·霍夫曼
1 拉杜·伊奥西夫
1 维克托·彼得罗维奇·伊万尼科夫
1 查兰吉特·朱特拉。
1 大卫·M·卡恩。
1 坎金，A.S。
1 斯特凡诺·卡桑吉安
1 Jeroen J.A.Keiren。
1 克里斯托夫·凯勒（Christoph W.Keßler）。
1 费利克斯·克莱特克
……还有69位作者
全部的 前5名

20篇连载文章中引用

19 理论计算机科学
8 系统设计中的形式化方法
7 信息学学报
7 计算的形式方面
6 信息与计算
三 信息处理信件
2 分布式计算
2 萨达纳
2 计算机科学中的逻辑方法
1 计算机与系统科学杂志
1 编程和计算机软件
1 符号计算杂志
1 自动推理杂志
1 控制论与系统分析
1 计算机基础理论
1 应用数学杂志
1 ACM计算逻辑汇刊
1 计算机科学前沿
1 计算机科学评论
1 程序设计中的逻辑与代数方法杂志
全部的 前5名

在6个字段中引用

105 计算机科学（68至XX）
30 数学逻辑和基础（03-XX）
三 博弈论、经济学、金融和其他社会和行为科学（91-XX）
2 范畴理论；同调代数（18-XX）
1 历史和传记（01-XX）
1 生物学和其他自然科学（92-XX）

按年份列出的引文