编辑配置文件（在新选项卡中打开） 克里斯托弗·哈恩 合著者距离 作者ID： 哈恩·克里斯托弗 发布日期： 克里斯托弗·哈恩 已编制索引的文档： 11出版物自2016年起 合著者： 19位合著者具有11联合出版物 262合著作者 全部的 前5名合著者 0 单作者的 9 伯恩德·芬克贝纳 5 Leander Tentrup公司 4 马文·斯坦格 三 科宁，诺琳 2 哈达尔·弗兰克尔 2 霍夫曼，贾纳 2 菲利普·卢克特 2 Niklas O.Metzger。 2 朱利安·西伯 1 埃米尔，塔利 1 詹姆斯·阿斯彭斯 1 佩特拉·贝伦布里克 1 费利克斯·比尔梅尔 1 雷蒙·达赫塞特 1 汤姆·霍拉克 1 多米尼克·卡瑟 1 约翰·拉扎斯菲尔德 1 扬尼克·希洛 1 托法、哈泽姆 系列 1 信息学报 1 系统设计中的形式化方法 领域 11 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用60中的次28文件 引用人▼ 年份▼ 监控超属性。 Zbl 1425.68254号 伯恩德·芬克贝纳;克里斯托弗·哈恩;马文·斯坦格;Leander Tentrup公司 19 2019 决定超属性。 Zbl 1392.68248号 伯恩德·芬克贝纳;克里斯托弗·哈恩 13 2016 模型检查定量超属性。 Zbl 1511.68154号 伯恩德·芬克贝纳;克里斯托弗·哈恩;托法、哈泽姆 9 2018 从超属性合成反应系统。 Zbl 1511.68153号 伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯滕格;Leander Tentrup公司 6 2018 超属性合成。 Zbl 1435.68194号 伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Leander Tentrup公司 5 2020 实现\（\omega\）-正则超属性。 Zbl 1478.68157号 伯恩德·芬克贝纳;克里斯托弗·哈恩;贾娜·霍夫曼;Leander Tentrup公司 2 2020 超属性的运行时强制。 Zbl 1497.68291号 科宁，诺琳;伯恩德·芬克贝纳;克里斯托弗·哈恩;贾娜·霍夫曼;扬尼克·希洛 2 2021 解释超属性违规。 Zbl 1514.68127号 科宁，诺琳;雷蒙·达赫塞特;伯恩德·芬克贝纳;哈达尔·弗兰克尔;克里斯托弗·哈恩;汤姆·霍拉克;尼古拉斯·梅茨格;朱利安·西伯 2 2022 反应系统中的时间因果关系。 Zbl 1522.68304号 科宁，诺琳;伯恩德·芬克贝纳;哈达尔·弗兰克尔;克里斯托弗·哈恩;尼古拉斯·梅茨格;朱利安·西伯 1 2022 基于约束的超属性监控。 Zbl 1527.68130号 克里斯托弗·哈恩;马文·斯坦格;Leander Tentrup公司 1 2019 解释超属性违规。 兹比尔1514.68127 科宁，诺琳;雷蒙·达赫塞特;伯恩德·芬克贝纳;哈达尔·弗兰克尔;克里斯托弗·哈恩;汤姆·霍拉克;尼古拉斯·梅茨格;朱利安·西伯 2 2022 反应系统中的时间因果关系。 Zbl 1522.68304号 科宁，诺琳;伯恩德·芬克贝纳;哈达尔·弗兰克尔;克里斯托弗·哈恩;尼古拉斯·梅茨格;朱利安·西伯 1 2022 超属性的运行时强制。 Zbl 1497.68291号 科宁，诺琳;伯恩德·芬克贝纳;克里斯托弗·哈恩;贾娜·霍夫曼;扬尼克·希洛 2 2021 超性能合成。 Zbl 1435.68194号 伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Leander Tentrup公司 5 2020 实现\（\omega\）-正则超属性。 Zbl 1478.68157号 伯恩德·芬克贝纳;克里斯托弗·哈恩;贾娜·霍夫曼;Leander Tentrup公司 2 2020 监控超属性。 Zbl 1425.68254号 伯恩德·芬克贝纳;克里斯托弗·哈恩;马文·斯坦格;Leander Tentrup公司 19 2019 基于约束的超属性监控。 Zbl 1527.68130号 克里斯托弗·哈恩;马文·斯坦格;Leander Tentrup公司 1 2019 模型检查定量超属性。 Zbl 1511.68154号 伯恩德·芬克贝纳;克里斯托弗·哈恩;托法，哈泽姆 9 2018 从超属性合成反应系统。 Zbl 1511.68153号 伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Leander Tentrup公司 6 2018 决定超属性。 Zbl 1392.68248号 伯恩德·芬克贝纳;克里斯托弗·哈恩 13 2016 所有引用出版物 前5名被引用出版物 全部的 前5名71位作者引用 10 伯恩德·芬克贝纳 5 博尔祖·博纳克达尔普尔 5 克里斯托弗·哈恩 三 科宁，诺琳 三 Niklas O.Metzger。 三 Leander Tentrup公司 2 塞巴斯蒂安·比沃 2 哈达尔·弗兰克尔 2 霍尔格·赫尔曼斯 2 莎莱·申瓦尔德 2 朱利安·西伯 2 马文·斯坦格 1 艾丽卡·阿尔布拉汉姆 1 卢卡·埃特罗 1 安东尼斯·阿奇利奥斯 1 阿纳斯塔西亚迪，埃利 1 阿巴布，法哈德 1 西拉·阿罗拉 1 克里斯特尔·拜尔 1 苏古曼·班萨尔 1 吉尔·巴特 1 埃齐奥·巴托西 1 迪伦·贝利尔 1 马西莫·贝内雷切蒂 1 乌鸦·贝特纳 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 克里希南德·查特吉 1 亚历山德罗·西马蒂 1 雷蒙·达赫塞特 1 莫特萨·达马纳夫珊 1 佩德罗·鲁宾·达吉尼奥 1 黛拉·莫妮卡，达里奥 1 雷娜·迪米特洛娃 1 奥延德里拉·多贝 1 法拉，迈赫兰S。 1 阿德里安·弗兰卡兰扎 1 迈克尔·弗里斯 1 马西耶·加兹达。 1 卢卡·盖蒂 1 尼古拉·吉甘特 1 詹斯·奥利弗·古斯菲尔德 1 汉森、雷内·里多夫 1 托马斯·海因策。 1 何希明 1 霍夫曼，贾纳 1 汤姆·霍拉克 1 徐子汉 1 蒂莫西·琼斯。 1 安德烈亚斯·克雷布斯 1 金·古德斯特兰·拉森 1 Legay、Axel 1 本杰明·利昂 1 马丁·吕克 1 菲利普·卢克特 1 阿恩·迈尔 1 法比奥·莫加维罗 1 安吉洛·蒙塔纳里 1 摩西，约拉姆 1 穆罕默德·雷扎·穆萨维 1 马库斯·穆勒·奥尔姆 1 克里斯托夫·奥雷姆 1 雅各布皮里鲍尔 1 塞萨尔·桑切斯 1 扬尼克·希洛 1 卡罗琳·塔尔科特。 1 斯特凡诺·托内塔 1 莫西·亚亚科夫·瓦尔迪 1 乔尼·维特玛 1 周若瑜 1 罗宾·齐梅克 1 马丁·齐默尔曼 全部的 前5名8篇连载文章中引用 三 信息与计算 三 计算机科学中的逻辑方法 2 程序设计中的逻辑与代数方法杂志 1 信息学报 1 理论计算机科学 1 系统设计中的形式化方法 1 ACM计算逻辑事务 1 可满足性、布尔建模与计算杂志 在4个字段中引用 28 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文