编辑配置文件(在新选项卡中打开) 迪特尔·赫特 合著者距离 作者ID: 柜子 发布日期: 迪特尔·赫特 外部链接: ORCID公司 已编制索引的文档: 27出版物自1986年以来,包括1本书 2作为编辑的贡献 合著者: 20位合著者具有23联合出版物 451位联合作者 全部的 前5名合著者 6 单作者的 10 谢尔盖·奥特西尔 6 阿克塞尔·谢勒 5 沃纳·斯蒂芬 三 海科·曼特尔 三 蒂尔·莫萨科夫斯基 2 迈克尔·科尔哈斯 2 布鲁诺·兰根斯坦 2 劳尔·蒙罗伊 2 乔治·洛克 2 罗兰·沃格特 1 David A.Basin。 1 阿兰·邦迪 1 费尔南多·上帝 1 爱尔兰,安德鲁 1 穆勒,Günter 1 伊娜·谢弗 1 克劳斯,森格勒 1 谢克曼,Jörg H。 1 马尔库斯·乌尔曼 1 安德烈亚斯·沃尔珀斯 全部的 前5名系列 2 自动推理杂志 2 计算机科学课堂讲稿 1 吉泰。实验与理论人工智能杂志 1 数学与人工智能年鉴 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 1 剑桥理论计算机科学丛书 领域 28 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 三 信息与通信理论、电路(94-XX) 2 总体主题;集合(00-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用98中的次75文件 引用人▼ 年份▼ 乱流。数学推理的元级指导。 Zbl 1095.68108号 阿兰·邦迪;戴维·巴恩斯;迪特尔·赫特;爱尔兰,安德鲁 30 2005 使用CASL进行演化形式化软件开发。 Zbl 0966.68140号 谢尔盖·奥特西尔;迪特尔·赫特;海科·曼特尔;阿克塞尔·谢尔 12 2000 开发图-结构化规范的证明管理。 Zbl 1088.68114号 蒂尔·莫萨科夫斯基;谢尔盖·奥特西尔;迪特尔·赫特 11 2006 引导归纳证明。 Zbl 1509.68309号 迪特尔·赫特 9 1990 INKA:下一代。 Zbl 1412.68236号 迪特尔·赫特;克劳斯·森格勒 5 1996 着色术语以控制等式推理。 Zbl 0881.68108号 迪特尔·赫特 5 1997 使用隐藏扩展开发图。 Zbl 0977.68657号 蒂尔·莫萨科夫斯基;谢尔盖·奥特西尔;迪特尔·赫特 4 2001 MAYA的正式软件开发。 Zbl 1098.68549号 迪特尔·赫特;谢尔盖·奥特西尔 4 2005 进化正式软件开发的证明转换。 Zbl 1275.68059号 阿克塞尔·谢尔;迪特尔·赫特 三 2002 注释推理。 Zbl 1001.68125号 迪特尔·赫特 三 2000 通过分层验证维护正式的软件开发。 Zbl 1023.03531号 谢尔盖·奥特西尔;迪特尔·赫特 2 2002 通过高阶彩色统一管理结构信息。 Zbl 0959.03007号 迪特尔·赫特;迈克尔·科尔哈斯 2 2000 机械化数学推理。纪念Jörg H.Siekmann 60岁生日的文章。 兹比尔1058.68008 2 2005 验证支持环境(VSE)中的正式软件开发。 Zbl 1010.68026号 迪特尔·赫特;布鲁诺·兰根斯坦;乔治·洛克;谢克曼,Jörg H。;沃纳·斯蒂芬;罗兰·沃格特 1 2000 VSE:形式化方法满足工业需求。 Zbl 1060.68673号 谢尔盖·奥特西尔;迪特尔·赫特;布鲁诺·兰根斯坦;海科·曼特尔;乔治·洛克;阿克塞尔·谢尔;沃纳·斯蒂芬;罗兰·沃格特;安德烈亚斯·沃尔珀斯 1 2000 (lambda)-演算的彩色版本。 Zbl 1430.68412号 迪特尔·赫特;迈克尔·科尔哈斯 1 1997 战术定理证明中重用的实用方法。 Zbl 1268.68147号 阿克塞尔·谢尔;谢尔盖·奥特西尔;迪特尔·赫特 1 2001 加密通信中可能的信息流控制。 Zbl 1487.68066号 迪特尔·赫特;阿克塞尔·谢尔 1 2004 存在性证明的归纳序的合成。 Zbl 1433.68096号 迪特尔·赫特 1 1994 开发图-结构化规范的证明管理。 Zbl 1088.68114号 蒂尔·莫萨科夫斯基;谢尔盖·奥特西尔;迪特尔·赫特 11 2006 乱流。数学推理的元级指导。 Zbl 1095.68108号 阿兰·邦迪;戴维·巴恩斯;迪特尔·赫特;爱尔兰,安德鲁 30 2005 MAYA的正式软件开发。 Zbl 1098.68549号 迪特尔·赫特;谢尔盖·奥特西尔 4 2005 机械化数学推理。纪念Jörg H.Siekmann 60岁生日的文章。 Zbl 1058.68008号 2 2005 加密通信中可能的信息流控制。 Zbl 1487.68066号 迪特尔·赫特;阿克塞尔·谢尔 1 2004 进化正式软件开发的证明转换。 Zbl 1275.68059号 阿克塞尔·谢尔;迪特尔·赫特 三 2002 通过分层验证维护正式软件开发。 Zbl 1023.03531号 谢尔盖·奥特西尔;迪特尔·赫特 2 2002 使用隐藏扩展开发图。 兹比尔0977.68657 蒂尔·莫萨科夫斯基;谢尔盖·奥特西尔;迪特尔·赫特 4 2001 战术定理证明中重用的实用方法。 Zbl 1268.68147号 阿克塞尔·谢勒;谢尔盖·奥特西尔;迪特尔·赫特 1 2001 使用CASL进行演化形式化软件开发。 Zbl 0966.68140号 谢尔盖·奥特西尔;迪特尔·赫特;海科·曼特尔;阿克塞尔·谢尔 12 2000 注释推理。 Zbl 1001.68125号 迪特尔·赫特 三 2000 通过高阶彩色统一管理结构信息。 Zbl 0959.03007号 迪特尔·赫特;迈克尔·科尔哈斯 2 2000 验证支持环境(VSE)中的正式软件开发。 Zbl 1010.68026号 迪特尔·赫特;布鲁诺·兰根斯坦;乔治·洛克;谢克曼,Jörg H。;沃纳·斯蒂芬;罗兰·沃格特 1 2000 VSE:正式方法满足工业需求。 Zbl 1060.68673号 谢尔盖·奥特西尔;迪特尔·赫特;布鲁诺·兰根斯坦;海科·曼特尔;乔治·洛克;阿克塞尔·谢尔;沃纳·斯蒂芬;罗兰·沃格特;安德烈亚斯·沃尔珀斯 1 2000 着色术语以控制等式推理。 Zbl 0881.68108号 迪特尔·赫特 5 1997 (lambda)-演算的彩色版本。 Zbl 1430.68412号 迪特尔·赫特;迈克尔·科尔哈斯 1 1997 INKA:下一代。 Zbl 1412.68236号 迪特尔·赫特;克劳斯·森格勒 5 1996 存在性证明的归纳序的合成。 Zbl 1433.68096号 迪特尔·赫特 1 1994 引导归纳证明。 Zbl 1509.68309号 迪特尔·赫特 9 1990 所有引用出版物 前5名被引用出版物 全部的 前5名119位作者引用 9 迪特尔·赫特 8 蒂尔·莫萨科夫斯基 8 弗洛里安·拉贝 7 阿兰·邦迪 7 迈克尔·科尔哈斯 6 谢尔盖·奥特西尔 4 卢卡斯·狄克逊 4 富利亚·霍罗扎尔 4 安德烈·塔莱基 三 David A.Basin。 三 米海·Codescu 三 mnesc博士,Isabela 三 斯特凡·赫兹尔 三 爱尔兰,安德鲁 三 都铎Jebelean 三 托马斯·科尔贝。 三 亚历山大·莱奇 三 唐纳德·桑内拉。 2 大卫·阿斯皮纳尔 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 古德蒙德·格罗夫 2 乔纳森·赫拉斯 2 穆阿·约翰逊 2 赫莱内·基什内尔 2 叶卡捷琳娜·科门丹茨卡亚 2 海科·曼特尔 2 吉赛尔·赖斯 2 阿克塞尔·谢尔 2 克劳斯,森格勒 2 谢克曼,Jörg H。 2 阿兰·斯梅尔 2 托比·沃尔什 2 克里斯托夫·沃尔特 2 丹尼尔·韦勒(Daniel S.Weller)。 2 克劳斯·皮特·沃思 1 安德烈亚·阿斯佩蒂 1 埃吉迪奥·阿斯泰西亚诺 1 珍妮特·巴恩斯 1 米歇尔·比多特 1 伊丽莎白·布拉德利 1 于尔根·布劳伯格 1 Samuel R.巴斯。 1 罗德里克·查普曼 1 安德鲁·库克。 1 丹尼·埃文 1 丹尼斯,路易斯·阿比盖尔 1 拉兹万·迪亚科内斯库 1 多米尼克·迪特里希 1 塞巴斯蒂安·埃伯哈德 1 加布里埃尔·埃布纳 1 比尔·J·埃利斯。 1 克林顿·菲尔德 1 雅克·弗莱里奥特。 1 安德烈亚斯·弗兰克 1 费利克斯·C·弗雷林。 1 利奥·弗雷塔斯 1 卡斯滕·福斯 1 托拜厄斯·盖德尔 1 格林,伊恩 1 雷纳·哈内尔 1 雅辛·哈马米 1 Nao Hirokawa 1 彼得·霍夫曼 1 阿波罗霍根 1 罗莎莉,伊姆霍夫 1 克利夫·琼斯。 1 克洛德·基什内尔 1 巴托克·克林 1 亚历山大·纳普 1 乌尔里希·威廉·科伦巴赫 1 安德里亚·科尔哈塞 1 Kop,辛西娅 1 尤利亚·科鲁霍娃 1 伊娜·克拉恩 1 Krieg-Brückner,伯尔尼 1 奥利弗·库茨 1 布鲁诺·兰根斯坦 1 Leino,K.Rustan M。 1 迈克尔·彼得·莱特曼 1 林玉辉 1 多米尼克·吕克 1 克里斯托夫·吕斯 1 埃文·麦克林 1 肯·马德勒 1 克里斯蒂安·梅德 1 艾丽卡·梅利斯 1 Rebecca Lea莫里斯 1 彼得·莫塞斯(Peter D.Mosses)。 1 穆勒,丹尼斯 1 朱利安·纳格尔 1 法布里斯·纳洪 1 直纪西田 1 小山口,美雄 1 马丁·普罗岑 1 迈克尔·拉特扬 1 威尔默·里奇奥蒂 1 阿德里安·里斯科 1 乔治·洛克 1 马库斯·罗根巴赫 1 克劳迪奥·萨塞尔多蒂·科恩 …还有19位作者 全部的 前5名18篇连载文章中引用 8 自动推理杂志 6 理论计算机科学 4 符号计算杂志 三 应用逻辑杂志 2 人工智能 2 纯逻辑与应用逻辑年鉴 2 信息与计算 2 吉泰。实验与理论人工智能杂志 2 数学与人工智能年鉴 2 逻辑与代数程序设计杂志 2 计算机科学中的数学 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 ACM计算逻辑事务 1 Oberwolfach报告 1 泛逻辑 1 符号逻辑述评 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 71 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 按年份列出的引文