编辑配置文件(在新选项卡中打开) 德克·托布纳 合著者距离 作者ID: 灰褐色 发布日期: 德克·托布纳;托布纳,D。 已编制索引的文档: 8出版物自1986年以来,包括1本书 合著者: 6位合著者具有5份联合出版物 140位合著者 全部的 前5名合著者 三 单作者的 2 沃尔特·福格勒 1 斯蒂芬·布鲁姆。 1 威尔弗里德·布劳尔 1 莱因哈德·恩德斯 1 佐尔坦·埃西克 1 托马斯·菲尔科恩 系列 2 信息学报 1 信息处理信件 1 信息与计算 1 分布式计算 1 计算机科学课堂讲稿 字段 8 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用63中的次59文件 引用人▼ 年份▼ 用自动机和Petri网对CCS和TCSP程序进行有限表示。 Zbl 0684.68011号 德克·托布纳 26 1989 同步树的迭代理论。 Zbl 0780.68088号 斯蒂芬·布鲁姆。;佐尔坦·埃西克;德克·托布纳 14 1993 生成用于CCS中符号模型检查的BDD。 兹比尔0778.68063 莱因哈德·恩德斯;托马斯·菲尔科恩;德克·托布纳 8 1993 步骤失败语义。 Zbl 0612.68023号 德克·托布纳;沃尔特·福格勒 7 1987 步骤失败语义和完整的证明系统。 Zbl 0689.68105号 德克·陶布纳;沃尔特·福格勒 三 1989 用有限谓词转换网表示CCS程序。 Zbl 0675.68035号 德克·托布纳 2 1990 Petri网和CSP。 Zbl 0617.68057号 W.布劳尔。;陶布纳博士。 2 1986 关于过程代数中递归符号的注记。 Zbl 0714.68053号 德克·托布纳 1 1991 同步树的迭代理论。 Zbl 0780.68088号 斯蒂芬·布鲁姆。;佐尔坦·埃西克;德克·托布纳 14 1993 生成用于CCS中符号模型检查的BDD。 兹比尔0778.68063 莱因哈德·恩德斯;托马斯·菲尔科恩;德克·托布纳 8 1993 关于过程代数中递归表示法的一个注记。 Zbl 0714.68053号 德克·托布纳 1 1991 用有限谓词转换网表示CCS程序。 Zbl 0675.68035号 德克·托布纳 2 1990 用自动机和Petri网对CCS和TCSP程序进行有限表示。 Zbl 0684.68011号 德克·托布纳 26 1989 步骤失败语义和完整的证明系统。 Zbl 0689.68105号 德克·托布纳;沃尔特·福格勒 三 1989 步骤失败语义。 Zbl 0612.68023号 德克·托布纳;沃尔特·福格勒 7 1987 Petri网和CSP。 Zbl 0617.68057号 W.布劳尔。;托布纳,D。 2 1986 所有引用出版物 前5名被引用出版物 全部的 前5名88位作者引用 5 佐尔坦·埃西克 4 最好的,艾克 4 洛科·德尼古拉 三 克里斯特尔·拜尔 三 保拉·因弗拉迪 三 马西耶·库特尼 三 安娜·拉布拉 三 乌戈·蒙塔纳里。 三 尼尔森,莫根斯 三 德克·陶布纳 2 阿伦·程 2 弗拉维奥·科拉迪尼 2 休伯特·加拉维 2 罗伯托·戈里埃里 2 马科托·哈马纳 2 拉利塔·A·贾特冈卡尔。 2 Marta Z.Kwiatkowska。 2 米拉·塞德尔巴姆少校。 2 艾伯特·罗纳德·梅耶 2 沃尔特·福格勒 1 杰苏斯·阿兰达 1 浅田和树 1 安德鲁·朱·贝利。 1 吐温·巴斯滕 1 斯蒂芬·布鲁姆。 1 Boudol,热拉尔 1 马克·博伊尔 1 安东尼奥·布埃诺 1 纳迪亚·布西 1 伊利亚州卡斯特拉尼 1 克拉克,埃德蒙·梅尔森·琼。 1 Jean-Pierre科蒂亚特 1 费尔南多·库亚特罗 1 达斯,安妮迪娅·比乔伊 1 尼科莱塔·德·弗朗西斯科 1 皮埃尔·德·萨奎·桑奈斯 1 埃里克·P·德文克。 1 皮耶保罗·德加诺 1 雷蒙德·魔鬼队 1 莱因哈德·恩德斯 1 贝蒂娜·恩格伦 1 约斯特·恩格尔弗里特 1 吉安·路易吉,法拉利 1 托马斯·菲尔科恩 1 乌苏拉·戈尔茨 1 戈戈拉,佩德罗·阿图罗 1 瓦西利基·哈特纳斯·加姆豪森 1 何朝东 1 轩尼诗,Matthew C.B。 1 霍尔格·赫尔曼斯 1 简·希尔斯顿 1 安德烈·乔亚尔 1 莫里茨·克莱恩 1 Linde-Göers,Hans-Günther 1 弗朗西斯科·隆戈 1 罗、刚 1 安德烈亚·马林 1 松田和川 1 乔治·麦卡斯基尔。 1 约翰·朱尔斯·查尔斯·梅耶 1 乔治·米尔恩。 1 法隆·莫勒 1 莫妮卡·奈西 1 格钦·诺曼 1 卡拉广场 1 科拉多·普里亚米 1 普里塞·卢茨 1 阿伦德·伦辛克 1 David A.Rosenblueth。 1 萨宾娜·罗西 1 塔雷克·萨达尼 1 马可·斯卡帕 1 彼得·休厄尔 1 马库斯·西格尔 1 街道,Ross H。 1 金·苏内森 1 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 Vaandrager,Frits W。 1 弗兰克·巴伦西亚。 1 瓦伦蒂安·瓦莱罗 1 多米尼克·维瑞蒂 1 克里斯蒂安·维萨里 1 格雷戈·冯·博克曼 1 马克·沃霍夫 1 哈罗·威梅尔 1 吴成 1 吉安路易吉·扎瓦塔罗 1 张文辉 全部的 前5名17篇连载文章中引用 17 理论计算机科学 4 信息学报 三 分布式计算 2 信息处理信件 2 计算机与系统科学杂志 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 2 系统设计中的形式化方法 1 剑桥哲学学会数学进展杂志 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 国际应用数学与计算机科学杂志 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 1 国际系统科学杂志。系统与集成原理与应用 全部的 前5名在12个字段中引用 56 计算机科学(68至XX) 8 范畴理论;同调代数(18-XX) 三 一般代数系统(08-XX) 2 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 \(K\)理论(19-XX) 1 凸和离散几何(52至XX) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文