编辑配置文件(在新选项卡中打开) Leander Tentrup公司 合著者距离 作者ID: 帐篷.帆 发布日期: Leander Tentrup公司 已编制索引的文档: 18出版物自2014年起 合著者: 15位合著者具有15联合出版物 248位合作作者 全部的 前5名合著者 三 单作者的 8 伯恩德·芬克贝纳 5 克里斯托弗·哈恩 4 马文·斯坦格 三 拉贝,马库斯·N。 三 马丁·齐默尔曼 2 瑞典雅各布斯 2 菲利普·卢克特 1 科宁,诺琳 1 彼得·费蒙维尔 1 赫金·哈布什,杰斯科 1 贾娜·霍夫曼 1 卡梅隆·拉斯穆森 1 塞萨尔·桑切斯 1 桑吉特·阿伦库马尔·塞希亚 1 亚历山大·韦内特 系列 1 信息学报 1 信息与计算 1 系统设计中的形式化方法 1 可满足性、布尔建模与计算杂志 1 计算机科学中的逻辑方法 领域 18 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 17出版物有被引用112中的次56文件 引用人▼ 年份▼ 有界合成的编码。 Zbl 1452.68118号 彼得·费蒙维尔;伯恩德·芬克贝纳;拉贝,马库斯·N。;Leander Tentrup公司 21 2017 监控超属性。 Zbl 1425.68254号 伯恩德·芬克贝纳;克里斯托弗·哈恩;马文·斯坦格;Leander Tentrup公司 19 2019 快速DQBF反驳。 Zbl 1423.68447号 伯恩德·芬克贝纳;Leander Tentrup公司 10 2014 使用抽象求解非正则QBF。 Zbl 1475.68224号 Leander Tentrup公司 9 2016 验证超活性。 Zbl 07805529号 科宁,诺琳;伯恩德·芬克贝纳;塞萨尔·桑切斯;Leander Tentrup公司 9 2019 DQBF的子句抽象。 Zbl 1441.68241号 Leander Tentrup公司;拉贝,马库斯·N。 7 2019 关于基于CEGAR的QBF求解中的展开和解析。 Zbl 1494.68293号 Leander Tentrup公司 6 2017 从超属性合成反应系统。 Zbl 1511.68153号 伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克;马文·斯坦格;Leander Tentrup公司 6 2018 超属性合成。 Zbl 1435.68194号 伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Leander Tentrup公司 5 2020 通过抽象求解QBF。 Zbl 1528.68223号 赫金·哈布什,杰斯科;Leander Tentrup公司 5 2018 检测分布式容错系统的不可实现性。 Zbl 1448.03018号 伯恩德·芬克贝纳;Leander Tentrup公司 4 2015 CAQE和QuAbS:基于抽象的QBF解算器。 Zbl 1484.68224号 Leander Tentrup公司 4 2019 实现\(\omega\)-正则超属性。 Zbl 1478.68157号 伯恩德·芬克贝纳;克里斯托弗·哈恩;贾娜·霍夫曼;Leander Tentrup公司 2 2020 理解并扩展2QBF的增量确定。 兹比尔1511.68258 拉贝,马库斯·N。;Leander Tentrup公司;卡梅隆·拉斯穆森;Sanjit A.Seshia。 2 2018 基于约束的超属性监控。 Zbl 1527.68130号 克里斯托弗·哈恩;马文·斯坦格;Leander Tentrup公司 1 2019 分布式PROMPT-LTL合成。 Zbl 1478.68163号 瑞典雅各布斯;Leander Tentrup公司;马丁·齐默尔曼 1 2016 在双指数时间内,逼近即时-LTL可实现性的最佳界。 Zbl 1478.68179号 Leander Tentrup公司;亚历山大·韦内特;马丁·齐默尔曼 1 2016 超属性合成。 Zbl 1435.68194号 伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Leander Tentrup公司 5 2020 实现\(\omega\)-正则超属性。 Zbl 1478.68157号 伯恩德·芬克贝纳;克里斯托弗·哈恩;贾娜·霍夫曼;Leander Tentrup公司 2 2020 监控超属性。 Zbl 1425.68254号 伯恩德·芬克贝纳;克里斯托弗·哈恩;马文·斯滕格;Leander Tentrup公司 19 2019 验证超活性。 Zbl 07805529号 科宁,诺琳;伯恩德·芬克贝纳;塞萨尔·桑切斯;Leander Tentrup公司 9 2019 DQBF的子句抽象。 兹比尔1441.68241 Leander Tentrup公司;拉贝,马库斯·N。 7 2019 CAQE和QuAbS:基于抽象的QBF解算器。 Zbl 1484.68224号 Leander Tentrup公司 4 2019 基于约束的超属性监控。 Zbl 1527.68130号 克里斯托弗·哈恩;马文·斯坦格;Leander Tentrup公司 1 2019 从超属性合成反应系统。 Zbl 1511.68153号 伯恩德·芬克贝纳;克里斯托弗·哈恩;菲利普·卢克特;马文·斯坦格;Leander Tentrup公司 6 2018 通过抽象求解QBF。 Zbl 1528.68223号 赫金·哈布什,杰斯科;Leander Tentrup公司 5 2018 理解并扩展2QBF的增量确定。 Zbl 1511.68258号 拉贝,马库斯·N。;Leander Tentrup公司;卡梅隆·拉斯穆森;Sanjit A.Seshia。 2 2018 有界合成的编码。 Zbl 1452.68118号 彼得·费蒙维尔;伯恩德·芬克贝纳;拉贝,马库斯·N。;Leander Tentrup公司 21 2017 基于CEGAR的QBF求解中的扩展和分解。 Zbl 1494.68293号 Leander Tentrup公司 6 2017 使用抽象求解非正则QBF。 Zbl 1475.68224号 Leander Tentrup公司 9 2016 分布式PROMPT-LTL合成。 Zbl 1478.68163号 瑞典雅各布斯;Leander Tentrup公司;马丁·齐默尔曼 1 2016 在双指数时间内,逼近即时-LTL可实现性的最佳界。 Zbl 1478.68179号 Leander Tentrup公司;亚历山大·韦内特;马丁·齐默尔曼 1 2016 检测分布式容错系统的不可实现性。 Zbl 1448.03018号 伯恩德·芬克贝纳;Leander Tentrup公司 4 2015 快速DQBF反驳。 Zbl 1423.68447号 伯恩德·芬克贝纳;Leander Tentrup公司 10 2014 所有引用出版物 排名前五的出版物 全部的 前5名105位作者引用 13 伯恩德·芬克贝纳 7 博尔祖·博纳克达尔普尔 6 拜尔斯多夫,奥拉夫 6 Leander Tentrup公司 5 马蒂娜·塞德尔 4 乔舒亚·布林霍恩 4 克里斯托弗·哈恩 4 克里斯托夫·斯科尔 4 拉尔夫·维默(Ralf D.Wimmer)。 三 贝恩德·贝克尔 三 科宁,诺琳 三 Niklas O.Metzger。 三 弗里德里希·斯利沃夫斯基 2 艾丽卡·阿尔布拉汉姆 2 拉文·贝特纳 2 勒罗伊·周 2 雷娜·迪米特洛娃 2 赫金·哈布什,杰斯科 2 米纳·马哈扬 2 诺埃米,传球 2 卢卡·普利纳 2 塞萨尔·桑切斯 2 雷娜特·施密特(Renate A.Schmidt)。 2 莎莱·申瓦尔德 2 尤拉吉·西奇 2 马文·斯坦格 2 马丁·苏达 2 卢卡斯·塔巴哈拉。 2 莫西·亚亚科夫·瓦尔迪 2 马丁·齐默尔曼 1 卢卡·埃特罗 1 安东尼斯·阿奇利奥斯 1 阿克西,S。 1 埃利·阿纳斯塔西亚迪 1 法哈德·阿尔巴 1 埃齐奥·巴托西 1 鲍迈斯特,简 1 阿明·比尔 1 塞巴斯蒂安·比沃 1 罗德里克·布洛姆 1 本杰明·伯姆 1 史蒂夫·鲍彻 1 尼古拉斯·布劳德·桑托尼 1 查克拉波蒂,苏普拉特克 1 吉安弗兰科·西亚多 1 亚历山德罗·西马蒂 1 雷蒙·达赫塞特 1 莫特萨·达马纳夫珊 1 奥延德里拉·多贝 1 埃格利,乌韦 1 Mehran S·法拉。 1 阿德里安·弗兰卡兰扎 1 哈达尔·弗兰克尔 1 迈克尔·弗里斯 1 马西耶·加兹达。 1 艾尔·格恩斯特 1 卢卡·盖蒂 1 马哈萨·加西米 1 尼古拉·吉甘特 1 卡里娜·吉蒂娜 1 舒巴姆·戈尔 1 保罗·哥尔斯 1 维达德·哈季奇 1 托马斯·海因策。 1 西蒙·海辛格 1 凯乔·赫尔扬科 1 伊迪丝·赫玛斯潘德拉 1 霍尔格·赫尔曼斯 1 贾娜·霍夫曼 1 汤姆·霍拉克 1 徐子汉 1 瑞典雅各布斯 1 埃里克·科斯金 1 苏米思·库拉尔 1 本杰明·利昂 1 弗洛里安·朗辛 1 菲利普·卢克 1 考希·马利克 1 斯特凡·门格尔 1 安吉洛·蒙塔纳里 1 摩西,约拉姆 1 穆罕默德·雷扎·穆萨维 1 纳尔瓦兹,大卫·E。 1 珍妮弗·尼斯特 1 汤姆·佩特尔 1 拉贝,马库斯·N。 1 Franz-Xaver Reichl 1 扬尼克·希洛 1 马尔特·施莱德朱夫斯基 1 安妮·凯瑟琳·施穆克 1 桑吉特·阿伦库马尔·塞希亚 1 谢塔尔·沙阿 1 安吉特·舒克拉 1 朱利安·西伯 1 斯特雷切克,简 1 斯泽德,斯特凡 1 卡罗琳·塔尔科特。 1 大雄县Terauchi 1 斯特凡诺·托内塔 1 乌富克托普库 …还有5位作者 全部的 前5名9篇连载文章中引用 三 信息学报 三 信息与计算 三 系统设计中的形式化方法 三 计算机科学中的逻辑方法 2 自动推理杂志 2 可满足性、布尔建模与计算杂志 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 理论计算机科学 在5个字段中引用 54 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 5 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 概率论与随机过程(60-XX) 1 系统论;控制(93至XX) 按年份列出的引文