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

吉登·恩斯特

合著者距离
作者ID： 恩斯特·吉登“Ernst，Gidon”最近发表的zbMATH文章
发布日期： 吉登·恩斯特
已编制索引的文档： 5出版物自2014年起
合著者： 8位合著者具有4联合出版物
119合著作者
全部的 前5名

合著者

1 单作者的
1 鲍玉燕
1 格里戈里·费迪尤科维奇
1 Gary T.Leavens。
1 默里，托比
1 约格·佩勒
1 沃尔夫冈·雷夫
1 格哈德·谢尔霍恩
1 博格丹·托凡

系列

1 计算的形式方面
1 数学与人工智能年鉴

领域

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

按年份列出的出版物

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

zbMATH Open中包含的引文

三出版物有被引用12中的次11文件 引用人▼ 年份▼
RGITL：一种时序逻辑框架，用于对交错程序进行组合推理。 Zbl 1329.68172号
格哈德·谢尔霍恩;博格丹·托凡;吉登·恩斯特;约格·佩勒;沃尔夫冈·雷夫
9
2014
递归证明中的桥接数组和ADT。 Zbl 1474.68048号
格里戈里·费迪尤科维奇;吉登·恩斯特
2
2021
SecCSL公司：安全并发分离逻辑。 Zbl 07805825号
吉登·恩斯特;托比·默里
1
2019
递归证明中的桥接数组和ADT。 Zbl 1474.68048号
格里戈里·费迪尤科维奇;吉登·恩斯特
2
2021
SecCSL公司：安全并发分离逻辑。 Zbl 07805825号
吉登·恩斯特;托比·默里
1
2019
RGITL：用于对交错程序进行组合推理的时间逻辑框架。 Zbl 1329.68172号
格哈德·谢尔霍恩;博格丹托凡;吉登·恩斯特;约格·佩勒;沃尔夫冈·雷夫
9
2014
所有引用出版物 前5名被引用出版物
全部的 前5名

26位作者引用

4 格哈德·谢尔霍恩
2 吉登·恩斯特
2 弗拉维奥·安东尼奥·费拉罗蒂
2 沃尔夫冈·雷夫
2 克劳斯·迪特·施韦
2 Tec，Loredana公司
2 王青
2 海克·卫尔海姆
1 马丁·比特利希
1 Stefan Bodenmüller
1 利迪亚·切尔尼戈夫斯卡娅
1 约翰·德里克
1 马尔科·艾尔斯
1 格里戈里·费迪尤科维奇
1 Dimitar P.Guelev。
1 直纪小林
1 梅耶尔，塞弗林
1 本·C·莫斯科夫斯基。
1 彼得·米勒
1 约格·佩勒
1 Ken Sakayori
1 佐藤隆介
1 Takumi岛田
1 博格丹·托凡
1 奥列格·特拉夫金
1 卢卡斯·扎瓦利亚

3篇连载文章中引用

2 数学与人工智能年鉴
1 计算的形式方面
1 ACM计算逻辑事务

在2个字段中引用

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

按年份列出的引文