编辑配置文件（在新选项卡中打开） 西蒙·克鲁内斯 合著者距离 作者ID： 克鲁斯·西蒙 发布方式： 西蒙·克鲁内斯 已编制索引的文档： 12出版物自2013年起 合著者： 25位合著者具有10联合出版物 303合著作者 全部的 前5名合著者 2 单作者的 5 贾斯敏·克里斯蒂安·布兰切特 4 亚历山大·本特坎普 三 佩塔·武克米罗维奇 2 Nummelin，维萨卡 2 索菲·托雷特 2 乌韦·沃尔德曼 1 戴夫·艾特肯 1 马修·布雷（Matthew G.Bray）。 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 大卫·德拉哈耶 1 皮埃尔·卢伊斯·尤夫拉德 1 斯迪恩·海曼斯 1 丹尼斯·伊格纳托维奇 1 伊利亚·卡根 1 克斯特亚·卡尼舍夫 1 埃文·麦克林 1 伊恩·梅森。 1 尼古拉·莫梅托 1 萨姆·奥雷 1 帕斯莫尔，格兰特·奥尼 1 安德鲁·雷诺兹 1 斯蒂芬·舒尔茨 1 Natarajan Shankar 1 塞萨尔·蒂内利 系列 1 自动推理杂志 1 计算机科学中的逻辑方法 领域 12 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用96中的次66文件 引用人▼ 年份▼ 更快、更高、更强：E 2.3。 Zbl 07178994号 斯蒂芬·舒尔茨;西蒙·克鲁内斯;佩塔·武克米罗维奇 35 2019 结构归纳法的叠加。 Zbl 1496.68365号 西蒙·克鲁内斯 22 2017 无（lambda）高阶逻辑的叠加。 Zbl 1511.68302号 亚历山大·本特坎普;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁内斯;乌韦·沃尔德曼 12 2018 使高阶叠加起作用。 Zbl 1512.68431号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin，维萨卡;索菲·托雷特 9 2021 无λ高阶逻辑的叠加。 Zbl 07350767号 亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;乌韦·沃尔德曼 6 2021 Imandra自动化推理系统（系统描述）。 Zbl 07614691号 格兰特·帕斯莫尔;西蒙·克鲁内斯;丹尼斯·伊格纳托维奇;戴夫·艾特肯;布雷，马特;以利亚·卡根;克斯特亚·卡尼舍夫;埃文·麦克林;尼古拉·莫梅托 4 2020 SMT中递归函数的模型查找。 Zbl 1475.68448号 安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁内斯;塞萨尔·蒂内利 4 2016 自动友好的集合理论B类方法。 Zbl 1507.68341号 纪尧姆·伯里;西蒙·克鲁内斯;大卫·德拉哈耶;皮埃尔·卢伊斯·尤夫拉德 2 2018 可满足性模有界检查。 Zbl 1494.68283号 西蒙·克鲁内斯 1 2017 使高阶叠加起作用。 Zbl 1512.68432号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin，维萨卡;索菲·托雷特 1 2022 使高阶叠加起作用。 Zbl 1512.68432号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin，维萨卡;索菲·托雷特 1 2022 使高阶叠加起作用。 Zbl 1512.68431号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin，维萨卡;索菲·托雷特 9 2021 无lambda的高阶逻辑的叠加。 Zbl 07350767号 亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;乌韦·沃尔德曼 6 2021 Imandra自动推理系统（系统描述）。 Zbl 07614691号 格兰特·帕斯莫尔;西蒙·克鲁内斯;丹尼斯·伊格纳托维奇;戴夫·艾特肯;布雷，马特;以利亚·卡根;克斯特亚·卡尼舍夫;埃文·麦克林;尼古拉·莫梅托 4 2020 更快、更高、更强：E 2.3。 Zbl 07178994号 斯蒂芬·舒尔茨;西蒙·克鲁内斯;佩塔·武克米罗维奇 35 2019 无（lambda）高阶逻辑的叠加。 Zbl 1511.68302号 亚历山大·本特坎普;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁内斯;乌韦·沃尔德曼 12 2018 自动友好的集合理论B类方法。 Zbl 1507.68341号 纪尧姆·伯里;西蒙·克鲁内斯;大卫·德拉哈耶;皮埃尔·路易斯·尤夫拉德 2 2018 结构归纳法的叠加。 Zbl 1496.68365号 西蒙·克鲁内斯 22 2017 可满足性模有界检查。 Zbl 1494.68283号 西蒙·克鲁内斯 1 2017 SMT中递归函数的模型查找。 Zbl 1475.68448号 安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁内斯;塞萨尔·蒂内利 4 2016 所有引用出版物 前5名被引用出版物 全部的 前5名98位作者引用 13 贾斯敏·克里斯蒂安·布兰切特 10 索菲·托雷特 10 佩塔·武克米罗维奇 9 亚历山大·本特坎普 6 贾尔斯·里格尔 5 乌韦·沃尔德曼 4 西蒙·克鲁内斯 4 科瓦奇，劳拉·伊尔迪科 4 Nummelin，维萨卡 4 安德鲁·雷诺兹 4 苏达，马丁 4 萨特克利夫，杰夫 4 安德烈·沃伦科夫 三 艾哈迈德·巴亚特 三 玛丽亚·保拉（Maria Paola Bonacina） 三 斯特凡·赫兹尔 三 佩特拉·霍佐娃 三 西蒙·罗比拉德 三 扬尼克·维林 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 大卫·德拉哈耶 2 马丁·德沙奈斯 2 克莱尔·狄克逊 2 穆纳乔·埃切宁 2 格雷斯，伯恩哈德 2 查拉图斯特拉·阿马德乌斯·戈泽尔 2 马尔顿哈杜 2 乌尔里希·赫斯塔特 2 Cláudia Nalon 2 法比奥·帕帕奇尼 2 亚当·皮斯 2 尼古拉斯·佩尔蒂埃 2 亚历山大·斯蒂恩 2 塞萨尔·蒂内利 2 约瑟夫·乌尔班 2 克里斯托夫·韦登巴赫 2 Christoph Wernhard公司 1 哈尼尔·巴博萨 1 克拉克·W·巴雷特。 1 菲利普·巴特克 1 迈克尔·比森。 1 沃尔夫冈·比贝尔 1 布齐安·欣德·莉莉亚 1 马丁·布罗姆伯格 1 乍得·布朗·爱德华 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 朱莉·凯勒 1 拉斐尔·考德利埃 1 克劳迪娅·埃琳娜·奇里 1 卡雷尔·奇瓦洛夫斯克 1 Irina德拉戈斯特 1 安德烈·杜阿尔特 1 凯瑟琳·杜布瓦 1 瑞希德·埃哈希德 1 丹尼尔·乌拉乌伊 1 拉沙·法奎 1 克里斯托夫·费泽尔 1 JoséLuiz Fiadeiro 1 雅克·弗莱里奥特。 1 阿兰·乔治蒂 1 皮埃尔·哈尔马格兰 1 奥利维尔·赫曼特 1 汤姆·M·海斯克斯。 1 Heule，Marijn J.H。 1 沙迦·伊扎基 1 丹尼尔·杰克逊 1 Jakubův，简 1 米科拉什·亚诺塔 1 姜亚青 1 塞萨里·卡利西克 1 康，恩苏克 1 迈克尔·K·基尼恩。 1 彼得·科普克 1 康斯坦丁·科洛文 1 马库斯·科洛奇 1 安东·洛伦岑 1 迈赫迪·姆哈拉 1 Aleksandar Milicevic 1 Yutaka长岛 1 约瑟夫·P·奈尔（Joseph P.Near）。 1 米罗斯拉夫·奥沙克 1 延斯·奥滕 1 帕帕帕纳吉奥图，Petros 1 Jelle Piepenbrock 1 伊丽莎白·波尔格林 1 雅各布·拉特 1 迈克尔·劳森 1 约翰·罗辛 1 约翰·肖斯·沃尔（Johannes Schoisswohl） 1 托拜厄斯·斯科尔 1 斯蒂芬·舒尔茨 1 桑吉特·阿伦库马尔·塞希亚 1 鲍里斯·施明克（Boris A.Shminke）。 1 伊坦·辛格 1 尼古拉斯·斯莫尔博内 1 Ţuţu，伊奥努 1 莎拉·温克勒 全部的 前5名8篇连载文章中引用 14 自动推理杂志 4 计算机科学中的逻辑方法 2 AI通信 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 系统设计中的形式化方法 1 ACM计算逻辑事务 在4个字段中引用 65 计算机科学（68至XX） 24 数学逻辑和基础（03-XX） 1 历史与传记（01-XX） 1 群论与推广（20-XX） 按年份列出的引文