编辑配置文件（在新选项卡中打开） 约翰内斯·卡尼格 合著者距离 作者ID： 卡尼格·乔汉内斯 发布方式： 约翰内斯·卡尼格 已编制索引的文档： 2出版物自2008年起 合著者： 5位合著者具有2份联合出版物 42位合作作者 合著者 0 单作者的 2 Sylvain Conchon公司 1 伊芙琳·孔特让 1 克莱尔·德罗斯 1 莱斯库耶，圣菲 1 安德烈·帕斯科维奇 系列 1 自动推理杂志 领域 2 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用14中的次14文件 引用人▼ 年份▼ 抄送（X）同余闭包与可解理论的语义结合。 Zbl 1277.68240号 Sylvain Conchon公司;伊芙琳·孔特让;约翰内斯·卡尼格;莱斯库耶，圣菲 8 2008 使用带有触发器的公理向SMT求解器添加决策过程。 Zbl 1356.68187号 克莱尔·德罗斯;Sylvain Conchon公司;约翰内斯·卡尼格;安德烈·帕斯科维奇 6 2016 使用带有触发器的公理向SMT求解器添加决策过程。 Zbl 1356.68187号 克莱尔·德罗斯;Sylvain Conchon公司;约翰内斯·卡尼格;安德烈·帕斯科维奇 6 2016 抄送（X）同余闭包与可解理论的语义组合。 Zbl 1277.68240号 Sylvain Conchon公司;伊芙琳·孔特让;约翰内斯·卡尼格;莱斯库耶，圣菲 8 2008 所有引用出版物 前5名被引用出版物 全部的 前5名30位作者引用 三 西尔维·博尔多 三 Jean-Christophe Filliátre 三 纪尧姆·梅尔金德 2 弗朗索瓦·博博特 2 弗朗索瓦·克莱门特 2 达特尔，亚伦·M。 2 克劳德·马奇 2 米凯拉·梅耶罗 2 何塞·梅塞盖尔·瓜伊塔 2 马里亚诺·莫斯卡托。 2 塞萨尔·穆尼奥斯。 2 斯蒂芬·斯基里克 2 劳拉·蒂托洛 2 皮埃尔·韦斯 1 阿里·阿亚德 1 Sylvain Conchon公司 1 西尔万·戴勒 1 克莱尔·德罗斯 1 马赫福扎·法鲁克 1 玛丽亚·乔昂·弗雷德 1 圣菲省格拉汉·伦格兰德 1 大卫·豪扎尔 1 约翰内斯·卡尼格 1 阿西亚·马布比 1 米查·莫斯卡尔 1 莫伊，扬尼克 1 Jean-Marc，诺丁 1 安德烈·帕斯科维奇 1 豪尔赫·索萨·品托 1 达米恩·鲁灵 5篇连载文章中引用 2 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 计算机与数学及其应用 1 计算的形式方面 1 计算机科学评论 在5个字段中引用 14 计算机科学（68至XX） 5 数值分析（65-XX） 三 范畴理论；同调代数（18-XX） 2 数学逻辑和基础（03-XX） 2 偏微分方程（35-XX） 按年份列出的引文