编辑配置文件(在新选项卡中打开) 吉登·恩斯特 合著者距离 作者ID: 恩斯特·吉登 发布日期: 吉登·恩斯特 已编制索引的文档: 4出版物自2014年起 合著者: 7合著者具有3联合出版物 98位合作作者 全部的 前5名合著者 1 单作者的 1 鲍玉燕 1 格里戈里·费迪尤科维奇 1 Gary T.Leavens。 1 约格·佩勒 1 沃尔夫冈·雷夫 1 格哈德·谢尔霍恩 1 博格丹·托凡 系列 1 计算的形式方面 1 数学与人工智能年鉴 字段 4 计算机科学(68-XX) 三 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 2出版物有被引用11中的次10文件 引用人▼ 年份▼ RGITL:一种时序逻辑框架,用于对交错程序进行组合推理。 Zbl 1329.68172号 格哈德·谢尔霍恩;博格丹·托凡;吉登·恩斯特;约格·佩勒;沃尔夫冈·雷夫 9 2014 递归证明中的桥接数组和ADT。 Zbl 1474.68048号 格里戈里·费迪尤科维奇;吉登·恩斯特 2 2021 递归证明中的桥接数组和ADT。 Zbl 1474.68048号 格里戈里·费迪尤科维奇;吉登·恩斯特 2 2021 RGITL:用于对交错程序进行组合推理的时间逻辑框架。 Zbl 1329.68172号 格哈德·谢尔霍恩;博格丹·托凡;吉登·恩斯特;约格·佩勒;沃尔夫冈·雷夫 9 2014 所有引用出版物 排名前五的出版物 全部的 前5名23位作者引用 4 格哈德·谢尔霍恩 2 吉登·恩斯特 2 弗拉维奥·安东尼奥·费拉罗蒂 2 沃尔夫冈·雷夫 2 克劳斯·迪特·施韦 2 Tec,Loredana公司 2 王青 2 海克,韦尔海姆 1 马丁·比特利希 1 斯特凡·博登穆勒 1 利迪亚·切尔尼戈夫斯卡娅 1 约翰·德里克 1 格里戈里·费迪尤科维奇 1 Dimitar P.Guelev。 1 直纪小林 1 Moszkowski,Ben C。 1 约格·佩勒 1 肯·萨卡约里 1 佐藤隆介 1 Takumi岛田 1 博格丹·托凡 1 奥列格·特拉夫金 1 卢卡斯·扎瓦利亚 3篇连载文章中引用 2 数学与人工智能年鉴 1 计算的形式方面 1 ACM计算逻辑事务 在2个字段中引用 10 计算机科学(68-XX) 5 数学逻辑和基础(03-XX) 按年份列出的引文