编辑配置文件（在新选项卡中打开） 海克·卫尔海姆 合著者距离 作者ID： 威尔海姆海姆 发布日期： 海克·卫尔海姆 已编制索引的文档： 61出版物自1996年起 作为编辑的10份贡献 合著者： 43位合著者具有61份联合出版物 859名合作作者 全部的 前5名合著者 10 单作者的 16 约翰·德里克 12 布里杰什·多戈尔 10 格哈德·谢尔霍恩 9 西蒙·多尔蒂 5 克莱门斯·菲舍尔 5 奥列格·特拉夫金 4 英戈·布吕克纳 4 奥尔德罗格（Ernst-Rüdiger Olderog） 2 沃尔夫冈·阿伦特 2 埃利尼·比拉 2 乔尔迪·卡博特 2 萨迪·达尔瓦迪 2 克劳斯·阿格博士 2 伯恩德·芬克贝纳 2 乌苏拉·戈尔茨 2 库尔根·科尼 2 Michael Leuschel先生 2 罗兰·梅耶 2 霍尔格·拉什 2 阿伦德·伦辛克 2 托马斯·鲁罗斯 2 多米尼克·斯坦肯 2 丹尼尔·沃尼什 1 劳拉·巴格曼 1 加利纳州贝索娃 1 Eerke A.Boiten。 1 格雷戈·恩格斯 1 埃斯特勒·H·克里斯蒂安 1 马丁·范策尔 1 罗伯托·戈里埃里 1 简·哈尔特曼 1 迪帕克·卡普尔 1 比约恩·梅茨勒 1 迈克尔·莫勒 1 安德烈·普拉泽 1 亚历山德拉·拉索。 1 施耐德（Steve A.Schneider）。 1 安迪·舒尔 1 克里斯蒂安·索尔滕伯恩 1 塔皮娅·塔里法（Tapia Tarifa）、西尔维娅·利泽斯（Silvia Lizeth） 1 曼纽尔·托尔斯 1 海伦·特雷哈恩 1 詹乃军 全部的 前5名系列 9 计算的形式方面 5 计算机科学课堂讲稿 4 计算机程序设计科学 2 信息学学报 2 北欧计算机杂志 2 ACM计算逻辑事务 1 信息处理信件 1 理论计算机科学 1 自动推理杂志 1 系统设计中的形式化方法 1 欧洲理论计算机科学协会公报 1 计算机基础理论 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 领域 71 计算机科学（68至XX） 10 总体主题；集合（00-XX） 5 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用136中的次97文件 引用人▼ 年份▼ 在非原子精炼中使用耦合模拟。 Zbl 1028.68541号 约翰·德里克;海克·卫尔海姆 9 2003 并发数据结构线性化能力的完善证明技术。 Zbl 1354.68066号 格哈德·谢尔霍恩;约翰·德里克;海克·卫尔海姆 8 2014 使用FDR对CSP-OZ规范进行模型检查。 Zbl 0963.68128号 克莱门斯·菲舍尔;海克·卫尔海姆 7 1999 用于验证的切片Object-Z规范。 Zbl 1118.68541号 英戈·布吕克纳;海克·卫尔海姆 7 2005 Event-B细化的行为语义。 Zbl 1342.68211号 史蒂夫·施耐德;海伦·特里哈恩;海克·卫尔海姆 6 2014 CSP-OZ中的规范和（属性）继承。 Zbl 1075.68051号 奥尔德罗格（Ernst-Rüdiger Olderog）;海克·卫尔海姆 6 2005 切片抽象。 Zbl 1141.68457号 英戈·布吕克纳;克劳斯·阿格博士;伯恩德·芬克贝纳;海克·卫尔海姆 5 2007 面向对象形式的行为子类型关系。 兹比尔0983.68030 克莱门斯·菲舍尔;海克·卫尔海姆 5 2000 健全完整的抽象图形转换。 Zbl 1349.68106号 多米尼克·斯坦肯;海克·卫尔海姆;丹尼尔·沃尼什 5 2011 验证事务互斥锁的不透明度。 Zbl 1427.68190号 约翰·德里克;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 5 2015 使用UML和Java将形式化方法集成到软件工程过程中。 Zbl 1141.68024号 迈克尔·莫勒;奥尔德罗格（Ernst-Rüdiger Olderog）;霍尔格·拉施;海克·卫尔海姆 4 2008 切片抽象。 Zbl 1154.68079号 英戈·布吕克纳;克劳斯·阿格博士;伯恩德·芬克贝纳;海克·卫尔海姆 4 2008 将Owicki-Gries for C11风格内存模型集成到Isabelle/HOL中。 Zbl 07498610号 萨迪·达尔瓦迪;布里杰什·多戈尔;西蒙·多尔蒂;海克·卫尔海姆 4 2022 验证持久并发数据结构的正确性：一种完善的方法。 兹比尔1519.68133 约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;海克·卫尔海姆 4 2021 使用动态元建模分析UML活动。 Zbl 1202.68095号 格雷戈·恩格斯;克里斯蒂安·索尔滕伯恩;海克·卫尔海姆 三 2007 通过非原子求精证明线性化能力。 Zbl 1213.68370号 约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 三 2007 时序逻辑属性的继承。 Zbl 1253.68223号 海克·卫尔海姆 三 2003 具有动作依赖性的进程代数。 Zbl 1023.68067号 阿伦德·伦辛克;海克·卫尔海姆 三 2001 活动对象的行为子类型关系。 Zbl 1057.68015号 海克·卫尔海姆 三 2003 行为分类和财产保护。 兹伯利0968.68114 海克·卫尔海姆 三 2000 UML-RT结构图上的CSP视图。 Zbl 0977.68575号 克莱门斯·菲舍尔;奥尔德罗格（Ernst-Rüdiger Olderog）;海克·卫尔海姆 三 2001 弱内存模型上并发程序的验证。 Zbl 1482.68147号 奥列格·特拉夫金;海克·卫尔海姆 三 2016 证明悲观STM的不透明度。 Zbl 1432.68070号 西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 三 2017 因果测试。 Zbl 1499.68224号 乌苏拉·戈尔茨;海克·卫尔海姆 三 1996 定义和验证持久不透明度：持久软件事务内存的正确性。 兹比尔1511.68072 埃利尼·比拉;西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 三 2020 用数据和过程重构面向对象的规范。 Zbl 1202.68102号 托马斯·鲁罗斯;海克·卫尔海姆 2 2007 检查UML图中的一致性：类和状态机。 Zbl 1253.68096号 霍尔格·拉什;海克·卫尔海姆 2 2003 不透明性的机械化证明：两种技术的比较。 Zbl 1395.68186号 约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 2 2018 故障细化的部分订单减少。 Zbl 0958.68102号 海克·卫尔海姆 2 1999 验证重用的切片技术。 Zbl 1079.68061号 海克·卫尔海姆 2 2005 正确的系统设计。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。 Zbl 1320.68024号 2 2015 包含多个视图的模型转换。 Zbl 1236.68037号 约翰·德里克;海克·卫尔海姆 2 2006 CSP-OZ规范验证中的数据抽象技术。 Zbl 0966.68125号 海克·卫尔海姆 2 2000 统一操作弱内存验证：公理方法。 Zbl 1508.68216号 西蒙·多尔蒂;萨迪·达尔瓦迪;布里杰什·多戈尔;海克·卫尔海姆 2 2022 关于使用数据抽象进行模型检查精化。 Zbl 1111.68077号 约翰·德里克;海克·卫尔海姆 1 2007 通过演绎验证优化形式规范的切片。 Zbl 1114.68051号 英戈·布吕克纳;比约恩·梅茨勒;海克·卫尔海姆 1 2006 故障-收敛语义是面向对象集成形式化方法的形式化基础。 Zbl 0973.68151号 克莱门斯·菲舍尔;海克·卫尔海姆 1 2000 保留更改中的属性。 Zbl 1104.68426号 海克·卫尔海姆 1 2004 Z和CSP中的非原子细化。 兹比尔1118.68542 约翰·德里克;海克·卫尔海姆 1 2005 使部分有序执行的线性化能力合成。 Zbl 1514.68164号 西蒙·多尔蒂;布里杰什·多戈尔;海克·卫尔海姆;约翰·德里克 1 2018 将Owicki-Gries for C11风格内存模型集成到Isabelle/HOL中。 Zbl 07498610号 萨迪·达尔瓦迪;布里杰什·多戈尔;西蒙·多尔蒂;海克·卫尔海姆 4 2022 统一操作弱内存验证：公理方法。 兹比尔1508.68216 西蒙·多尔蒂;萨迪·达尔瓦迪;布里杰什·多戈尔;海克·卫尔海姆 2 2022 验证持久并发数据结构的正确性：一种完善的方法。 Zbl 1519.68133号 约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;海克·卫尔海姆 4 2021 定义和验证持久不透明度：持久软件事务内存的正确性。 Zbl 1511.68072号 埃利尼·比拉;西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 三 2020 不透明的机械化证明：两种技术的比较。 Zbl 1395.68186号 约翰·德里克;西蒙·多尔蒂;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 2 2018 使部分有序执行的线性化能力合成。 Zbl 1514.68164号 西蒙·多尔蒂;布里杰什·多戈尔;海克·卫尔海姆;约翰·德里克 1 2018 证明悲观STM的不透明度。 Zbl 1432.68070号 西蒙·多尔蒂;布里杰什·多戈尔;约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 三 2017 弱内存模型上并发程序的验证。 Zbl 1482.68147号 奥列格·特拉夫金;海克·卫尔海姆 三 2016 验证事务互斥锁的不透明度。 Zbl 1427.68190号 约翰·德里克;布里杰什·多戈尔;格哈德·谢尔霍恩;奥列格·特拉夫金;海克·卫尔海姆 5 2015 正确的系统设计。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。 Zbl 1320.68024号 2 2015 并发数据结构线性化能力的完善证明技术。 Zbl 1354.68066号 格哈德·谢尔霍恩;约翰·德里克;海克·卫尔海姆 8 2014 Event-B细化的行为语义。 兹比尔1342.68211 史蒂夫·施耐德;海伦·特里哈恩;海克·卫尔海姆 6 2014 健全完整的抽象图形转换。 Zbl 1349.68106号 多米尼克·斯坦肯;海克·卫尔海姆;丹尼尔·沃尼什 5 2011 使用UML和Java将形式化方法集成到软件工程过程中。 兹比尔1141.68024 迈克尔·莫勒;奥尔德罗格（Ernst-Rüdiger Olderog）;霍尔格·拉什;海克·卫尔海姆 4 2008 切片抽象。 Zbl 1154.68079号 英戈·布吕克纳;克劳斯·阿格博士;伯恩德·芬克贝纳;海克·卫尔海姆 4 2008 切片抽象。 Zbl 1141.68457号 英戈·布吕克纳;克劳斯·阿格博士;伯恩德·芬克贝纳;海克·卫尔海姆 5 2007 使用动态元建模分析UML活动。 Zbl 1202.68095号 格雷戈·恩格斯;克里斯蒂安·索尔滕伯恩;海克·卫尔海姆 三 2007 通过非原子求精证明线性化能力。 Zbl 1213.68370号 约翰·德里克;格哈德·谢尔霍恩;海克·卫尔海姆 三 2007 用数据和过程重构面向对象的规范。 Zbl 1202.68102号 托马斯·鲁罗斯;海克·卫尔海姆 2 2007 关于使用数据抽象进行模型检查细化。 Zbl 1111.68077号 约翰·德里克;海克·卫尔海姆 1 2007 包含多个视图的模型转换。 Zbl 1236.68037号 约翰·德里克;海克·卫尔海姆 2 2006 通过演绎验证优化形式规范的切片。 Zbl 1114.68051号 英戈·布吕克纳;比约恩·梅茨勒;海克·卫尔海姆 1 2006 切片Object-Z规范进行验证。 Zbl 1118.68541号 英戈·布吕克纳;海克·卫尔海姆 7 2005 CSP-OZ中的规范和（属性）继承。 Zbl 1075.68051号 奥尔德罗格（Ernst-Rüdiger Olderog）;海克·卫尔海姆 6 2005 验证重用的切片技术。 Zbl 1079.68061号 海克·卫尔海姆 2 2005 Z和CSP中的非原子细化。 兹比尔1118.68542 约翰·德里克;海克·卫尔海姆 1 2005 保留更改中的属性。 Zbl 1104.68426号 海克·卫尔海姆 1 2004 在非原子精炼中使用耦合模拟。 Zbl 1028.68541号 约翰·德里克;海克·卫尔海姆 9 2003 时序逻辑属性的继承。 Zbl 1253.68223号 海克·卫尔海姆 三 2003 活动对象的行为子类型关系。 Zbl 1057.68015号 海克·卫尔海姆 三 2003 检查UML图中的一致性：类和状态机。 Zbl 1253.68096号 霍尔格·拉什;海克·卫尔海姆 2 2003 具有动作依赖性的进程代数。 Zbl 1023.68067号 阿伦德·伦辛克;海克·卫尔海姆 三 2001 UML-RT结构图上的CSP视图。 Zbl 0977.68575号 克莱门斯·菲舍尔;奥尔德罗格（Ernst-Rüdiger Olderog）;海克·卫尔海姆 三 2001 面向对象形式的行为子类型关系。 Zbl 0983.68030号 克莱门斯·菲舍尔;海克·卫尔海姆 5 2000 行为分类和财产保护。 Zbl 0968.68114号 海克·卫尔海姆 三 2000 CSP-OZ规范验证中的数据抽象技术。 Zbl 0966.68125号 海克·卫尔海姆 2 2000 故障-收敛语义是面向对象集成形式化方法的形式化基础。 Zbl 0973.68151号 克莱门斯·菲舍尔;海克·卫尔海姆 1 2000 使用FDR对CSP-OZ规范进行模型检查。 Zbl 0963.68128号 克莱门斯·菲舍尔;海克·卫尔海姆 7 1999 故障细化的部分订单减少。 Zbl 0958.68102号 海克·卫尔海姆 2 1999 因果测试。 Zbl 1499.68224号 乌苏拉·戈尔茨;海克·卫尔海姆 三 1996 所有引用出版物 前5名被引用出版物 全部的 前5名162位作者引用 17 海克·卫尔海姆 12 约翰·德里克 11 格哈德·谢尔霍恩 10 布里杰什·多戈尔 6 罗伯特·J·科尔文。 6 西蒙·多尔蒂 6 格雷姆·史密斯 4 施耐德（Steve A.Schneider）。 4 海伦·特里哈恩 4 克尔斯滕·温特 三 Eerke A.Boiten。 三 钟曼，宋世堂。 三 亚历山大·莫塔。 三 史蒂夫·里夫斯 三 大卫·斯特雷德 2 苏珊娜·安多瓦 2 尼古拉·贝内什 2 埃利尼·比拉 2 博振科娃（Elena N.Bozhenkova）。 2 卢博什·布里姆 2 伊万娜·乔纳 2 埃里克·P·德文克。 2 约翰·多夫兰 2 吕克·爱迪克索芬 2 罗伯托·戈里埃里 2 鲁克·格罗内韦根（Luuk P.J.Groenewegen）。 2 阿科斯·哈伊杜 2 伊恩·海耶斯。 2 瑞科·赫克尔 2 Jochen Hoenicke公司 2 埃纳尔·布罗赫·约翰森 2 奥尔德罗格（Ernst-Rüdiger Olderog） 2 Owe、Olaf 2 安德烈亚斯·波德尔斯基 2 何塞·普伦萨 2 瓦希德·拉夫 2 阿德尔·拉赫曼尼（Adel T.Rahmani）。 2 沃尔夫冈·雷夫 2 托马斯·鲁罗斯 2 玛丽亚姆·加法里·萨达特 2 奥古斯托·桑帕约。 2 吉里索科尔 2 奥列格·特拉夫金 2 瓦埃科娃，帕夫利纳 2 伊琳娜·B·维碧茨卡岩。 1 帕罗什·阿齐兹·阿卜杜拉 1 马克·艾吉尔 1 努诺州阿马利奥 1 穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 拜尔，克里斯特尔 1 理查德·巴纳赫 1 劳拉·巴格曼 1 西蒙·巴姆勒 1 尼古拉斯·贝尔 1 德克·贝尔 1 拉尔斯·比克达尔 1 本杰明·比斯平 1 马丁·比特利希 1 Stefan Bodenmüller 1 艾哈迈德·博阿贾尼 1 大卫·布雷索林 1 丹尼尔·布伦斯 1 布诺娃，B。 1 邦特，奥拉夫 1 伊利亚州卡斯特拉尼 1 安娜·卡瓦尔坎蒂 1 陈振邦 1 陈志远 1 吉尔勒米纳·克莱杜 1 科宁，诺琳 1 Jean-Paul彗星 1 安德烈亚·科拉迪尼 1 萨迪·达尔瓦迪 1 马蒂亚斯·丹格尔 1 邓惠杰 1 安德烈·迪迪埃 1 艾维洛·多布里科夫 1 多兹，迈克 1 约翰内斯·戴克 1 托马斯·泽特库利奇 1 埃夫伦，埃尔米斯 1 阿达尔贝托·法里亚斯 1 玛丽·法雷尔 1 帕特里夏·费雷拉 1 伯恩德·芬克贝纳 1 丹·弗鲁明 1 弗洛里安·芬克 1 珍妮·皮尔·加洛瓦 1 休伯特·加拉维 1 玛丽·克劳德·高德尔 1 霍尔格·吉斯 1 乌苏拉·戈尔茨 1 阿列克谢·戈茨曼 1 马蒂亚斯·海兹曼 1 Hoang，泰国儿子 1 黄洪涛 1 黄绍斌 1 西蒙·扬奇 1 阿特姆·科扎 1 弗拉基米尔·克莱巴诺夫 …还有62位作者 全部的 前5名15篇连载文章中引用 15 计算的形式方面 12 计算机程序设计科学 4 计算机科学中的逻辑方法 4 程序设计中的逻辑和代数方法杂志 三 信息学学报 三 理论计算机科学 2 编程和计算机软件 2 自动推理杂志 2 逻辑与代数程序设计杂志 1 信息处理信件 1 计算机科学与技术杂志 1 信息与计算 1 ACM计算逻辑事务 1 浙江大学学报。科学A 1 计算机科学中的数学 全部的 前5名在9个字段中引用 95 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文