编辑配置文件(在新选项卡中打开) 弗兰克·德德里奇 合著者距离 作者ID: 德德里希斯·弗兰克 发布日期: 弗兰克·德德里奇 已编制索引的文档: 2出版物自1990年以来 合著者: 2合著者具有2联合出版物 15位合作作者 合著者 0 单作者的 2 韦伯、雷纳 1 凯蒂尔·斯特伦 系列 1 信息处理信件 1 计算的形式方面 领域 2 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用9中的次9文件 引用人▼ 年份▼ 使用假设/承诺范式规范和细化异步通信代理网络。 Zbl 0846.68067号 凯蒂尔·斯特伦;弗兰克·德德里奇;韦伯、雷纳 5 1996 从方法论的角度来看,安全性和活性。 Zbl 0703.68019号 弗兰克·德德里奇;韦伯、雷纳 4 1990 使用假设/承诺范式规范和细化异步通信代理网络。 Zbl 0846.68067号 凯蒂尔·斯特伦;弗兰克·德德里奇;韦伯、雷纳 5 1996 从方法论的角度来看,安全性和活性。 Zbl 0703.68019号 弗兰克·德德里奇;韦伯、雷纳 4 1990 所有引用出版物 前5名被引用出版物 全部的 前5名19位作者引用 2 弗兰克·德德里奇 2 迈克尔·戈德史密斯 2 尼克·莫法特 2 韦伯、雷纳 1 罗德里克·布洛姆 1 安东尼奥·考伊 1 皮埃尔·科莱特 1 沃尔特·多什 1 Rainer Gawlick先生 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 芭芭拉·乔布斯曼 1 南希·安·林奇 1 尼尔·皮特曼 1 阿米尔·普努利 1 亚尼夫·萨阿尔 1 罗伯特·塞加拉 1 瑟加德·安德森,约根 1 凯蒂尔·斯特伦 1 安妮特·圣佩尔 5篇连载文章中引用 2 信息处理信件 1 信息学报 1 计算机与系统科学杂志 1 自动推理杂志 1 计算的形式方面 在3个字段中引用 9 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文