编辑配置文件(在新选项卡中打开) 罗伯特·Könighfer 合著者距离 作者ID: 科尼霍费尔·罗伯特 发布日期: 罗伯特·Könighfer 已编制索引的文档: 9出版物自2008年起 合著者: 19位合著者具有8联合出版物 509名合作作者 全部的 前5名合著者 1 单作者的 8 罗德里克·布洛姆 三 贝蒂娜·科尼霍费尔 2 克里希南德·查特吉 2 格奥尔格·霍弗雷克 2 王超 1 穆罕默德·阿尔谢赫 1 吕迪格·埃勒斯 1 Görschwin菲 1 费比安·格雷夫 1 卡琳·格雷梅尔 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 劳拉·汉弗莱。 1 瑞典雅各布斯 1 芭芭拉·乔布斯曼 1 药丸,印戈 1 亨氏里纳 1 弗朗茨·罗克 1 马蒂娜·塞德尔 1 托普库,乌福 系列 2 系统设计中的形式化方法 1 信息学报 领域 9 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用100中的次88文件 引用人▼ 年份▼ 合成鲁棒系统。 Zbl 1302.93079号 罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格(Thomas A.Henzinger)。;格奥尔格·霍弗雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 34 2014 基于SAT的安全规范合成方法。 Zbl 1428.68040号 罗德里克·布洛姆;罗伯特·Könighfer;马蒂娜·塞德尔 22 2014 屏蔽合成:反应系统的运行时实施。 Zbl 1420.68119号 罗德里克·布洛姆;贝蒂娜·科尼霍费尔;罗伯特·Könighfer;王超 16 2015 屏蔽合成。 Zbl 1386.68101号 贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;汉弗莱,劳拉;罗伯特·Könighfer;托普库,乌福;王超 11 2017 协同反应合成。 Zbl 1471.68131号 罗德里克·布洛姆;吕迪格·埃勒斯;罗伯特·Könighfer 6 2015 AES的快速、抗缓存的实现。 兹比尔1153.68373 罗伯特·Könighfer 5 2008 假设具有部分信息的并发反应式程序的保证综合。 Zbl 1420.68064号 罗德里克·布洛姆;克里希南德·查特吉;瑞典雅各布斯;罗伯特·Könighfer 三 2015 根据时序逻辑规范综合自适应测试策略。 Zbl 1427.68160号 罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸,印戈;亨氏里纳;弗朗茨·罗克 2 2019 使用基于模型的诊断调试无法实现的规范。 Zbl 1325.68152号 罗伯特·Könighfer;格奥尔格·霍弗雷克;罗德里克·布洛姆 1 2011 根据时序逻辑规范综合自适应测试策略。 Zbl 1427.68160号 罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸,印戈;亨氏里纳;弗朗茨·罗克 2 2019 屏蔽合成。 Zbl 1386.68101号 贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;汉弗莱,劳拉;罗伯特·Könighfer;托普库,乌福;王超 11 2017 屏蔽合成:反应系统的运行时实施。 Zbl 1420.68119号 罗德里克·布洛姆;贝蒂娜·科尼霍费尔;罗伯特·Könighfer;王超 16 2015 协同反应合成。 Zbl 1471.68131号 罗德里克·布洛姆;吕迪格·埃勒斯;罗伯特·Könighfer 6 2015 假设具有部分信息的并发反应式程序的保证综合。 Zbl 1420.68064号 罗德里克·布洛姆;克里希南德·查特吉;瑞典雅各布斯;罗伯特·Könighfer 三 2015 合成鲁棒系统。 Zbl 1302.93079号 罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格(Thomas A.Henzinger)。;格奥尔格·霍弗雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 34 2014 基于SAT的安全规范合成方法。 Zbl 1428.68040号 罗德里克·布洛姆;罗伯特·Könighfer;马蒂娜·塞德尔 22 2014 使用基于模型的诊断调试无法实现的规范。 Zbl 1325.68152号 罗伯特·Könighfer;格奥尔格·霍弗雷克;罗德里克·布洛姆 1 2011 AES的一种快速且抗缓存定时的实现。 Zbl 1153.68373号 罗伯特·Könighfer 5 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名203位作者引用 11 罗德里克·布洛姆 7 克里希南德·查特吉 7 芭芭拉·乔布斯曼 4 卢卡·埃特罗 4 伊恩·卡萨尔 4 伯恩德·芬克贝纳 4 阿德里安·弗兰卡兰扎 4 托马斯·亨辛格(Thomas A.Henzinger)。 4 Leander Tentrup公司 4 亚历山大·韦内特 4 马丁·齐默尔曼 三 奥拉夫·拜尔斯多夫 三 乔舒亚·布林霍恩 三 哈娜·乔克勒 三 马苏德·易卜拉希米 三 Ingólfsdóttir,安娜 三 塞巴斯蒂安·荣格斯 三 贝蒂娜·科尼霍费尔 三 罗伯特·Könighfer 三 丹尼尔·奈德 三 克里斯托夫·斯科尔 三 彼得·施瓦布 三 马蒂娜·塞德尔 三 弗里德里希·斯利沃夫斯基 三 斯特里赫曼(Ofer Strichman) 三 斯泽德,斯特凡 三 斯塔夫罗斯·特里帕基斯 三 拉尔夫·维默(Ralf D.Wimmer)。 2 加尔阿姆拉姆 2 贝恩德·贝克尔 2 伊利耶斯·法尔科内 2 卢克·欣德 2 瑞典雅各布斯 2 詹森,尼尔斯 2 弗洛里安·朗辛 2 鲁帕克·马朱姆达尔 2 帕里托什·K·潘迪亚。 2 汤姆·佩特尔 2 维塔利·佩雷沃什奇科夫 2 斯里尼瓦斯·皮尼塞蒂 2 让-弗朗索瓦·拉斯金 2 安妮·凯瑟琳·施穆克 2 桑吉特·阿伦库马尔·塞希亚 2 尤拉吉·西奇 2 罗希特·辛格。 2 Ko被盗 2 克里斯蒂安·冯·埃森 2 阿莫尔·瓦坎卡尔 1 达拉·阿拉杰 1 穆罕默德·阿尔谢赫 1 法哈德·阿尔巴 1 苏古曼·班萨尔 1 埃齐奥·巴托奇 1 丹尼尔·朱利叶斯·伯恩斯坦 1 阿明·比尔 1 尼古拉斯·布劳德·桑托尼 1 马可·卡卡莫 1 曹宏鹏 1 埃泽奎尔·卡斯特拉诺 1 阿尔贝托·卡斯泰里尼 1 戴维德·贾科莫·卡维扎 1 陈明帅 1 陈韬略 1 勒罗伊·周 1 克拉克(Edmund Melson jun Clarke)。 1 洛伦佐·克莱门特 1 科宁,诺琳 1 皮埃尔·埃瓦里斯特·达甘 1 弗洛里斯·登·亨斯特 1 Dokter,Kasper公司 1 丹尼·多列夫 1 曼弗雷德·德罗斯特 1 埃格利,乌韦 1 亚历山德罗·法利内利 1 彼得·费蒙维尔 1 Görschwin菲 1 艾曼纽·菲利奥特 1 弗朗索瓦·拉维特,文森特 1 马丁·范策尔 1 油炸,Dror 1 艾尔·格恩斯特 1 本杰明·格雷戈里 1 费比安·格雷夫 1 卡琳·格雷梅尔 1 安德拉斯·吉尔吉 1 维达德·哈季奇 1 Shigeki Hagihara 1 克里斯托弗·哈恩 1 一郎·哈索 1 克劳斯·哈弗伦德 1 赫金·哈布什,杰斯科 1 凯乔·赫尔扬科 1 蒙特塞拉特赫尔莫 1 Heule,Marijn J.H。 1 凯琳·海德曼 1 格奥尔格·霍弗雷克 1 贾娜·霍夫曼 1 马克·胡根登 1 劳拉·汉弗莱。 1 亨特,保罗 …还有103位作者 全部的 前5名18篇连载文章中引用 10 信息学报 9 系统设计中的形式化方法 4 自动推理杂志 4 离散事件动态系统 三 信息与计算 三 计算的形式方面 三 计算机科学中的逻辑方法 2 人工智能 2 计算机与系统科学杂志 2 理论计算机科学 2 可满足性、布尔建模与计算杂志 2 非线性分析。混合动力系统 1 合成 1 密码学杂志 1 机器学习 1 国际计算机科学基础杂志 1 计算系统理论 1 美国医学会杂志 全部的 前5名在8个字段中引用 78 计算机科学(68至XX) 23 数理逻辑与基础(03-XX) 21 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 8 系统论;控制(93至XX) 7 信息与通信理论、电路(94-XX) 4 运筹学、数学规划(90-XX) 1 测量和集成(28-XX) 1 变分法与最优控制;最优化(49至XX) 按年份列出的引文