编辑配置文件（在新选项卡中打开） 西蒙·克鲁内斯 合著者距离 作者ID: 克鲁斯·西蒙 发布日期： 西蒙·克鲁内斯 已编制索引的文档： 12出版物自2013年起 合著者： 25位合著者具有10联合出版物 305位联合作者 全部的 前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出版物有被引用107中的次77文件 引用人▼ 年份▼ 更快、更高、更强：E 2.3。 兹伯利07178994 斯蒂芬·舒尔茨;西蒙·克鲁内斯;佩塔·武克米罗维奇 42 2019 结构归纳法的叠加。 Zbl 1496.68365号 西蒙·克鲁内斯 22 2017 无（lambda）高阶逻辑的叠加。 Zbl 1511.68302号 亚历山大·本特坎普;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁内斯;乌韦·沃尔德曼 12 2018 使高阶叠加起作用。 兹比尔1512.68431 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin，维萨卡;索菲·托雷特 11 2021 无λ高阶逻辑的叠加。 Zbl 07350767号 亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;乌韦·沃尔德曼 7 2021 SMT中递归函数的模型查找。 Zbl 1475.68448号 安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁内斯;塞萨尔·蒂内利 4 2016 Imandra自动推理系统（系统描述）。 Zbl 07614691号 格兰特·帕斯莫尔;西蒙·克鲁内斯;丹尼斯·伊格纳托维奇;戴夫·艾特肯;布雷，马特;以利亚·卡根;克斯特亚·卡尼舍夫;埃文·麦克林;尼古拉·莫梅托 4 2020 使高阶叠加起作用。 Zbl 1512.68432号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin，维萨卡;索菲·托雷特 2 2022 自动友好的集合理论B方法。 Zbl 1507.68341号 纪尧姆·伯里;西蒙·克鲁内斯;大卫·德拉哈耶;皮埃尔·卢伊斯·尤夫拉德 2 2018 可满足性模有界检查。 Zbl 1494.68283号 西蒙·克鲁内斯 1 2017 使高阶叠加起作用。 Zbl 1512.68432号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin，维萨卡;索菲·托雷特 2 2022 使高阶叠加起作用。 Zbl 1512.68431号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin，维萨卡;索菲·托雷特 11 2021 无λ高阶逻辑的叠加。 Zbl 07350767号 亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;乌韦·沃尔德曼 7 2021 Imandra自动推理系统（系统描述）。 Zbl 07614691号 格兰特·帕斯莫尔;西蒙·克鲁内斯;丹尼斯·伊格纳托维奇;戴夫·艾特肯;布雷，马特;以利亚·卡根;克斯特亚·卡尼舍夫;埃文·麦克林;尼古拉·莫梅托 4 2020 更快、更高、更强：E 2.3。 Zbl 07178994号 斯蒂芬·舒尔茨;西蒙·克鲁内斯;佩塔·武克米罗维奇 42 2019 无（lambda）高阶逻辑的叠加。 Zbl 1511.68302号 亚历山大·本特坎普;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁内斯;乌韦·沃尔德曼 12 2018 自动友好的集合理论B方法。 兹比尔1507.68341 纪尧姆·伯里;西蒙·克鲁内斯;大卫·德拉哈耶;皮埃尔·卢伊斯·尤夫拉德 2 2018 结构归纳法的叠加。 Zbl 1496.68365号 西蒙·克鲁内斯 22 2017 可满足性模有界检查。 Zbl 1494.68283号 西蒙·克鲁内斯 1 2017 SMT中递归函数的模型查找。 Zbl 1475.68448号 安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁内斯;塞萨尔·蒂内利 4 2016 所有引用出版物 前5名被引用出版物 全部的 前5名111位作者引用 15 贾斯敏·克里斯蒂安·布兰切特 11 索菲·托雷特 10 佩塔·武克米罗维奇 9 亚历山大·本特坎普 6 贾尔斯·里格尔 5 科瓦奇，劳拉·伊尔迪科 5 Nummelin，维萨卡 5 乌韦·沃尔德曼 4 艾哈迈德·巴亚特 4 西蒙·克鲁内斯 4 安德鲁·雷诺兹 4 马丁·苏达 4 杰夫·萨特克利夫 4 安德烈·沃伦科夫 4 Christoph Wernhard公司 三 玛丽亚·保拉（Maria Paola Bonacina） 三 斯特凡·赫兹尔 三 佩特拉·霍佐娃 三 亚当·皮斯 三 西蒙·罗比拉德 三 约瑟夫·乌尔班 三 扬尼克·维林 三 克里斯托夫·韦登巴赫 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 沃尔夫冈·比贝尔 2 马丁·布罗姆伯格 2 布朗，查德·爱德华 2 大卫·德拉哈耶 2 马丁·德沙奈斯 2 克莱尔·狄克逊 2 穆纳乔·埃切宁 2 伯恩哈德格莱斯 2 查拉图斯特拉·阿马德乌斯·戈泽尔 2 马尔顿哈杜 2 乌尔里希·赫斯塔特 2 Cláudia Nalon 2 法比奥·帕帕奇尼 2 尼古拉斯·佩尔蒂埃 2 雅各布·拉特 2 约翰·肖斯·沃尔（Johannes Schoisswohl） 2 鲍里斯·施明克（Boris A.Shminke）。 2 亚历山大·斯蒂恩 2 塞萨尔·蒂内利 1 哈尼尔·巴博萨 1 克拉克·W·巴雷特。 1 菲利普·巴特克 1 迈克尔·比森。 1 布齐安·欣德·莉莉亚 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 朱莉·凯勒 1 曹、冯 1 拉斐尔·考德利埃 1 陈树伟 1 克劳迪娅·埃琳娜·奇里 1 卡雷尔·奇瓦洛夫斯克 1 罗宾·库特利埃 1 Sander R.Dahmen。 1 伊琳娜·德拉古斯特 1 安德烈·杜阿尔特 1 凯瑟琳·杜布瓦 1 瑞希德·埃哈希德 1 丹尼尔·欧拉维 1 拉沙·法奎 1 克里斯托夫·费泽尔 1 JoséLuiz Fiadeiro 1 雅克·弗莱里奥特。 1 阿兰·乔治蒂 1 皮埃尔·哈尔马格兰德 1 奥利维尔·赫曼特 1 汤姆·M·海斯克斯。 1 Heule，Marijn J.H。 1 沙迦·伊扎基 1 丹尼尔·杰克逊 1 查亚特·贾恩 1 Jakubův，简 1 米科拉什·亚诺塔 1 姜亚青 1 塞萨里·卡利西克 1 康，恩苏克 1 迈克尔·基扬（Michael K.Kinyon）。 1 彼得·科普克 1 康斯坦丁·科洛文 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 托比亚斯·肖尔 …还有11位作者 全部的 前5名9篇连载文章中引用 14 自动推理杂志 4 计算机科学中的逻辑方法 2 人工智能通信 1 信息科学 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 系统设计中的形式化方法 1 ACM计算逻辑事务 在5个字段中引用 76 计算机科学（68至XX） 28 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 群论与推广（20-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文