编辑配置文件（在新选项卡中打开） 大卫·冯·奥海姆 合著者距离 作者ID： von-oheimb.david公司 发布日期： 大卫·冯·奥海姆;冯·奥海姆，D。 外部链接： MGP公司 已编制索引的文档： 8出版物自1997年起 合著者： 20位合著者具有6联合出版物 277联合作者 全部的 前5名合著者 2 单作者的 3 托比亚斯·尼普科 2 豪尔赫·奎利亚尔 1 亚历山德罗·阿曼多 1 D盆地。 1 尤罕·博伊库特 1 亚尼克·骑士 1 卢卡·孔帕尼亚 1 托马斯·格里茨纳。 1 Hankes Drielsma，保罗 1 海姆，皮尔雷·科里尔 1 奥尔加·库什纳伦科 1 雅各布·曼托瓦尼 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 奥拉夫·穆勒 1 科内利亚·普什 1 米歇尔·鲁西诺维奇 1 奥斯卡·斯洛托什 1 马修·图鲁阿尼 1 卢卡·维甘诺 1 劳伦·维格纳龙 系列 1 函数编程杂志 1 并行与计算：实践与经验 领域 7 计算机科学（68至XX） 3 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用109中的次96文件 引用人▼ 年份▼ 用于自动验证互联网安全协议和应用程序的AVISPA工具。 Zbl 1081.68523号 A.阿曼多。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚，L。;奎利亚尔，J。;Hankes Drielsma，P。;P.C.海姆。;O.库什纳伦科。;J.曼托瓦尼。;Mödersheim，S。;冯·奥海姆，D。;Rusinovitch，M。;J·圣地亚哥。;图鲁阿尼，M。;维甘诺，L。;维格纳龙，L。 53 2005 Isabelle/HOL中Java的Hoare逻辑。 Zbl 0997.68019号 大卫·冯·奥海姆 24 2001 HOLCF=HOL+LCF。 Zbl 0933.03028号 奥拉夫·米勒;托比亚斯·尼普科;大卫·冯·奥海姆;奥斯卡·斯洛托什 12 1999 NanoJava的Hoare逻辑：回顾辅助变量、副作用和虚拟方法。 Zbl 1064.68543号 大卫·冯·奥海姆;托比亚斯·尼普科 10 2002 \（\mu\）Java：在定理证明器中嵌入编程语言。 Zbl 0995.68019号 托比亚斯·尼普科;大卫·冯·奥海姆;科内利亚·普什 5 2000 用于相互递归和局部变量的霍尔逻辑。 Zbl 0956.68086号 大卫·冯·奥海姆 3 1999 RALL：关系代数的机器支持证明。 Zbl 1430.68425号 大卫·冯·奥海姆;托马斯·格里茨纳。 2 1997 用于自动验证互联网安全协议和应用程序的AVISPA工具。 Zbl 1081.68523号 A.阿曼多。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚，L。;奎利亚尔，J。;Hankes Drielsma，P。;P.C.海姆。;O.库什纳伦科。;J.曼托瓦尼。;Mödersheim，S。;冯·奥海姆，D。;Rusinovitch，M。;J·圣地亚哥。;图鲁阿尼，M。;维甘诺，L。;维格纳龙，L。 53 2005 NanoJava的Hoare逻辑：回顾辅助变量、副作用和虚拟方法。 Zbl 1064.68543号 大卫·冯·奥海姆;托比亚斯·尼普科 10 2002 Isabelle/HOL中Java的Hoare逻辑。 Zbl 0997.68019号 大卫·冯·奥海姆 24 2001 \（\mu\）Java：在定理证明器中嵌入编程语言。 Zbl 0995.68019号 托比亚斯·尼普科;大卫·冯·奥海姆;科内利亚·普什 5 2000 HOLCF=HOL+LCF。 Zbl 0933.03028号 奥拉夫·米勒;托比亚斯·尼普科;大卫·冯·奥海姆;奥斯卡·斯洛托什 12 1999 用于相互递归和局部变量的Hoare逻辑。 Zbl 0956.68086号 大卫·冯·奥海姆 3 1999 RALL：关系代数的机器支持证明。 Zbl 1430.68425号 大卫·冯·奥海姆;托马斯·格里茨纳。 2 1997 所有引用出版物 前5名被引用出版物 全部的 前5名195位作者引用 10 德莱恩，斯特凡尼 7 维罗尼克·科尔蒂尔 5 史蒂夫·克莱默 4 David A.Basin。 4 克雷默斯，Cas J.F。 4 德波尔，弗兰克·S。 4 格温·克莱恩 3 阿希姆·D·布鲁克。 3 文森特·雪瓦尔 3 凯瑟琳·梅多斯。 3 托比亚斯·尼普科 3 安德烈·波佩斯库 3 卢卡·维甘诺 3 沃尔夫，伯克哈特 2 Krzysztof Rafal公寓 2 马蒂尔德·阿尔诺 2 毛里西奥·阿亚拉·林科恩 2 卢卡斯·布尔瓦恩 2 卡洛斯·卡莱罗 2 伊利亚诺·塞维萨托 2 瑟·特凡·乔巴赫 2 罗伯特·J·科尔文。 2 斯蒂恩·德古乌 2 托马斯·杰奈特 2 弗洛里安·哈夫特曼 2 伊恩·海耶斯。 2 亚伦·D·贾加德。 2 亚历山大·克劳斯 2 昆查尔，Ondřej 2 帕斯卡·拉福卡德 2 刘志明 2 汉斯·沃夫冈·洛伊德 2 绍克·莫 2 塞巴斯蒂安·亚历山大·莫德谢姆 2 奥尔德罗格（Ernst-Rüdiger Olderog） 2 劳伦斯·查尔斯·保尔森 2 萨沙拉多米罗维奇 2 拉尔夫·萨西 2 安德烈·斯克洛夫 2 马丁·斯特芬 2 蔡乔凯 2 卡斯滕·瓦明 1 艾丽卡·阿尔布拉汉姆 1 苏珊娜·安多瓦 1 伊戈尔·谢尔盖维奇（Igor’Sergeevich Anureev） 1 维亨·阿萨克 1 大卫·阿斯皮纳尔 1 杰里米·阿维加德 1 库沙尔·巴别尔 1 迈克尔·巴克斯 1 大卫·巴尔德 1 伯恩哈德·贝克特 1 弗朗西斯科·贝拉迪内利 1 詹保罗·贝拉 1 纳杰斯·本·拉杰布 1 尼克·本顿 1 马丁·伯杰（Martin J.Berger）。 1 斯特凡·贝尔霍费尔 1 伦纳特·贝林格 1 穆赫贝丁·贝里玛 1 卡尔蒂基扬·巴尔干 1 卞金亭 1 阿比舍克省比什哈瓦特 1 拉尔斯·比克达尔 1 布鲁诺·布兰切特 1 贾斯敏·克里斯蒂安·布兰切特 1 奇亚拉博迪 1 尤罕·博伊库特 1 安娜·波夫 1 哈立德·比萨耶斯 1 理查德·布贝尔 1 张廷毅 1 泽维尔·尚特里 1 纳伦德拉·S·乔达里。 1 雪莲骑士 1 亚尼克·骑士 1 休伯特·科蒙·隆德 1 卢卡·孔帕尼亚 1 阿努帕姆·达塔 1 威廉·鲍尔·德·罗弗 1 埃里克·P·德文克。 1 迪加诺，皮尔保罗 1 安特·德里克 1 伊曼纽尔·D’Osualdo 1 约翰·多夫兰 1 詹妮克·德雷尔 1 杜布拉诺夫斯基，I.V。 1 查尔斯·杜梅尼 1 穆罕默德·恩纳巴乌伊 1 塞尔达尔·埃尔巴图尔 1 勒文特·埃尔科克 1 圣地亚哥埃斯科瓦尔 1 伊利耶斯·法尔科内 1 Mehran S·法拉。 1 玛丽贝尔·费尔南德斯 1 里卡多·福卡迪 1 玛丽亚·乔昂·弗雷德 1 彼得·甘米 1 高，韩 1 霍尔格·加斯特 …还有95位作者 全部的 前5名22篇连载文章中引用 13 理论计算机科学 7 自动推理杂志 6 计算的形式方面 5 信息与计算 4 系统设计中的形式化方法 4 逻辑与代数程序设计杂志 2 MSCS公司。计算机科学中的数学结构 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 计算机与系统科学杂志 1 编程和计算机软件 1 计算机程序设计科学 1 塔特拉山脉数学出版物 1 函数编程杂志 1 高阶和符号计算 1 并行与计算：实践与经验 1 萨达纳 1 形式化推理期刊 1 RAIRO公司。理论信息学及其应用 1 对称 1 计算机科学评论 1 应用数学与计算力学杂志 全部的 前5名在6个字段中引用 89 计算机科学（68至XX） 37 信息与通信理论、电路（94-XX） 20 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 有序，格，有序代数结构（06-XX） 1 结合环与代数（16-XX） 按年份列出的引文