编辑配置文件（在新选项卡中打开） 昆查尔，Ondřej 合著者距离 作者ID： 昆卡·昂德雷吉 发布日期： Kunčar，安大略省 已编制索引的文档： 9出版物自2011年起 合著者： 17合著者具有8联合出版物 271联合作者 全部的 前5名合著者 1 单作者的 6 安德烈·波佩斯库 1 朱利安·班德拉 1 贾斯敏·克里斯蒂安·布兰切特 1 艾默里·布齐 1 马丁·德沙奈斯 1 马蒂亚斯·弗勒里 1 弗洛里安·哈夫特曼 1 约翰·Hölzl 1 布赖恩·霍夫曼 1 亚历山大·克劳斯 1 安德烈亚斯·洛赫比勒 1 费比安·迈尔 1 托比亚斯·尼普科 1 潘尼，洛伦茨 1 克里斯蒂安·斯特纳格尔 1 雷内·蒂曼 1 德米特里·特拉泰尔 系列 2 自动推理杂志 领域 9 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用125次84文件 引用人▼ 年份▼ 提升和转移：Isabelle/HOL中商的模块化设计。 Zbl 1426.68284号 布赖恩·霍夫曼;昆查尔，Ondřej 45 2013 Isabelle/HOL中的数据细化。 Zbl 1317.68212号 弗洛里安·哈夫特曼;亚历山大·克劳斯;昆查尔，Ondřej;托比亚斯·尼普科 26 2013 Isabelle/HOL的一贯基础。 Zbl 1433.68556号 昆查尔，Ondřej;安德烈·波佩斯库 14 2015 通过高阶逻辑中的局部类型定义从类型到集。 兹比尔1468.68295 昆查尔，Ondřej;安德烈·波佩斯库 11 2019 理解Isabelle/HOL的一致性。 Zbl 1485.68285号 昆查尔，Ondřej;安德烈·波佩斯库 11 2017 Isabelle/HOL的一贯基础。 Zbl 1465.68289号 昆查尔，Ondřej;安德烈·波佩斯库 7 2019 高阶逻辑的基础（co）数据类型和（co）递归。 Zbl 1495.68238号 朱利安·班德拉;贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;马丁·德沙奈斯;马蒂亚斯·弗勒里;约翰·Hölzl;昆查尔，Ondřej;安德烈亚斯·洛赫比勒;费比安·迈尔;潘尼，洛伦茨;安德烈·波佩斯库;克里斯蒂安·斯特纳格尔;雷内·蒂曼;德米特里·特拉泰尔 6 2017 通过高阶逻辑中的局部类型定义从类型到集。 Zbl 1468.68294号 昆查尔，Ondřej;安德烈·波佩斯库 4 2016 在HOL Light中证明有效的量化布尔公式。 Zbl 1342.68291号 昆查尔，Ondřej 1 2011 通过高阶逻辑中的局部类型定义从类型到集。 兹比尔1468.68295 昆查尔，Ondřej;安德烈·波佩斯库 11 2019 Isabelle/HOL的一贯基础。 Zbl 1465.68289号 昆查尔，Ondřej;安德烈·波佩斯库 7 2019 理解Isabelle/HOL的一致性。 Zbl 1485.68285号 昆查尔，Ondřej;安德烈·波佩斯库 11 2017 高阶逻辑的基础（co）数据类型和（co）递归。 Zbl 1495.68238号 朱利安·班德拉;贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;马丁·德沙奈斯;马蒂亚斯·弗勒里;约翰·Hölzl;昆查尔，Ondřej;安德烈亚斯·洛赫比勒;费比安·迈尔;潘尼，洛伦茨;安德烈·波佩斯库;克里斯蒂安·斯特纳格尔;雷内·蒂曼;德米特里·特拉泰尔 6 2017 通过高阶逻辑中的局部类型定义从类型到集。 Zbl 1468.68294号 昆查尔，Ondřej;安德烈·波佩斯库 4 2016 Isabelle/HOL的一贯基础。 Zbl 1433.68556号 昆查尔，Ondřej;安德烈·波佩斯库 14 2015 提升和转移：针对Isabelle/HOL商的模块化设计。 Zbl 1426.68284号 布赖恩·霍夫曼;Kunčar，安大略省 45 2013 Isabelle/HOL中的数据细化。 Zbl 1317.68212号 弗洛里安·哈夫特曼;亚历山大·克劳斯;昆查尔，Ondřej;托比亚斯·尼普科 26 2013 在HOL Light中证明有效的量化布尔公式。 Zbl 1342.68291号 昆查尔，Ondřej 1 2011 所有引用出版物 前5名被引用出版物 全部的 前5名被100位作者引用 11 安德烈亚斯·洛赫比勒 9 德米特里·特拉泰尔 8 安德烈·波佩斯库 7 何塞·迪瓦松 7 托比亚斯·尼普科 6 西蒙·福斯特 6 昆查尔，Ondřej 5 杰苏斯·阿兰塞 5 Cezary卡利西克 5 劳伦斯·查尔斯·保尔森 4 费比安·伊姆勒 4 雷内·蒂曼 4 詹姆斯·C·P·伍德科克。 4 泽达，弗兰克 三 贾斯敏·克里斯蒂安·布兰切特 三 彼得·兰米奇 三 Pąk，卡罗尔 三 Joshua P.施耐德。 三 Akihisa山田 2 阿兰·邦迪 2 安娜·卡瓦尔坎蒂 2 恰兰·邓恩 2 巴兹尔·弗里尔 2 Thibault Gauthier 2 古德蒙德·格罗夫 2 约翰·Hölzl 2 Joosten，Sebastian J.C。 2 菲利普·马里奇 2 艾莉森·皮斯 2 亚历克斯·波坦 2 丹尼尔·拉吉 2 西蒙·罗科普夫 2 托比亚斯·伦格 2 伊娜·谢弗 2 乔治·斯特鲁斯 2 托马斯·图姆 2 克里斯托夫·特劳特 2 Wells，Joe B。 2 马卡里乌斯·温泽尔 1 穆罕默德·阿卜杜勒·阿齐兹 1 阿拉斯代尔·阿姆斯特朗 1 杰里米·阿维加德 1 David A.Basin。 1 布洛特，亚瑟 1 安东尼·博尔吉 1 塔比亚·博迪斯 1 皮埃尔·布特里 1 艾默里·布齐 1 乍得·布朗·爱德华 1 朱利安·布伦纳 1 塞缪尔·卡纳姆 1 马里奥·卡内罗。 1 拉斐尔·考德利埃 1 皮埃尔·埃瓦里斯特·达甘 1 凯瑟琳·杜布瓦 1 穆纳乔·埃切宁 1 雅克·弗莱里奥特。 1 马蒂亚斯·弗勒里 1 利奥·弗雷塔斯 1 阿夫·根格尔巴赫 1 洛伦佐·盖里 1 维克多·戈麦斯。 1 丹·格罗斯曼 1 沃尔特·古特曼 1 纪尧姆·汉罗 1 Michikazu Hirata 1 西蒙·胡登 1 布赖恩·霍夫曼 1 Fairouz D.卡马雷丁。 1 朱莉娅·劳尔。 1 约翰·W·利奥。 1 李文达 1 亚历山大·马列茨基 1 埃里克·马丁·多雷尔 1 米凯拉·梅耶罗 1 库尔特·梅尔霍恩 1 迈赫迪·姆哈拉 1 Minamide、Yasuhiko 1 阿尔贝托·莫米利亚诺 1 杰克·E·帕尔默（Jake E.Palmer）。 1 达尼耶拉·彼得罗维奇 1 碧姬·品特卡 1 Damien Pous 1 乔纳斯·Rädle 1 塔里亚·林格 1 戴维·桑吉奥吉 1 佐藤，铁杉 1 安德斯·施利奇特克鲁尔 1 理查德·施莫滕 1 Sefidgar，S.礼萨 1 塞德尔，贝内迪克特 1 所罗门·西克特 1 达尼耶拉·西米奇 1 卢卡斯·史蒂文斯 1 Laurent Théry 1 大卫·希伯多 1 伯恩哈德·蒂勒 1 乌韦州瓦尔德曼 1 Tjark韦伯 1 纳撒尼尔·亚兹达尼 全部的 前5名13篇连载文章中引用 24 自动推理杂志 4 计算的形式方面 2 符号计算杂志 2 函数编程杂志 2 计算机科学中的逻辑方法 1 理论计算机科学 1 密码学杂志 1 MSCS公司。计算机科学中的数学结构 1 实验数学 1 符号逻辑公报 1 数学与人工智能年鉴 1 计算机科学中的数学 1 形式化推理杂志 全部的 前5名在20个字段中引用 83 计算机科学（68至XX） 23 数学逻辑和基础（03-XX） 6 数值分析（65-XX） 5 交换代数（13-XX） 5 线性代数和多线性代数；矩阵理论（15-XX） 三 常微分方程（34-XX） 三 动力系统和遍历理论（37至XX） 2 数论（11-XX） 2 代数几何（14-XX） 2 概率论与随机过程（60-XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 场论和多项式（12-XX） 1 范畴理论；同调代数（18-XX） 1 几何图形（51至XX） 1 相对论与引力理论（83至XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文