编辑配置文件（在新选项卡中打开） 贝塔·齐利安尼 合著者距离 作者ID： ziliani.贝塔 发布方式： 贝塔·齐利安尼 已编制索引的文档： 10出版物自2011年起 合著者： 13合著者具有10联合出版物 197位合作作者 全部的 前5名合著者 0 单作者的 4 德里克·德雷尔（Derek R.Dreyer）。 4 阿列克桑达尔·纳内夫斯基 2 劳尔·费尔瓦里 2 乔治·贡蒂尔 2 尼拉坎坦·R·克里希纳斯瓦米。 2 索索、马蒂厄 2 弗朗西斯科·特鲁科 2 维克托·瓦菲亚迪斯 1 红葡萄酒、纪尧姆 1 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 1 雷吉斯·詹纳斯，Yann 1 布鲁诺·西尔维斯特 1 马尔库·索尔德维拉 系列 三 函数编程杂志 1 自动推理杂志 1 程序设计中的逻辑和代数方法杂志 领域 9 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用30中的次20文件 引用人▼ 年份▼ 如何使即席证明自动化减少即席性。 Zbl 1323.68117号 乔治·贡蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 6 2011 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1323.68236号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 6 2013 如何使即席证明自动化减少即席性。 Zbl 1314.68281号 乔治·贡蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 5 2013 使用有效计算的后验模拟通过反射进行轻型验证。 Zbl 1317.68205号 纪尧姆Claret;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;雷吉斯·詹纳斯，Yann;贝塔·齐利安尼 5 2013 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1420.68189号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲阿迪斯 三 2015 一种具有宇宙多态性和重载特性的Coq统一算法。 Zbl 1360.68774号 贝塔·齐利安尼;索索、马蒂厄 2 2015 一个可理解的CIC新统一器指南，包括宇宙多态性和过载。 Zbl 1418.68185号 贝塔·齐利安尼;索索、马蒂厄 1 2017 Coq中动态互模拟定理的验证。 Zbl 1518.68418号 劳尔·费尔瓦里;弗朗西斯科·特鲁科;贝塔·齐利安尼 1 2021 Coq中关系变换逻辑的机械化互模拟定理。 Zbl 1496.03042号 劳尔·费尔瓦里;弗朗西斯科·特鲁科;贝塔·齐利安尼 1 2020 Coq中动态互模拟定理的验证。 Zbl 1518.68418号 劳尔·费尔瓦里;弗朗西斯科·特鲁科;贝塔·齐利安尼 1 2021 Coq中关系变换逻辑的机械化互模拟定理。 Zbl 1496.03042号 劳尔·费尔瓦里;弗朗西斯科·特鲁科;贝塔·齐利安尼 1 2020 CIC新统一器的可理解指南，包括宇宙多态性和重载。 Zbl 1418.68185号 贝塔·齐利安尼;索索、马蒂厄 1 2017 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1420.68189号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 三 2015 一种具有宇宙多态性和重载特性的Coq统一算法。 Zbl 1360.68774号 贝塔·齐利安尼;索索、马蒂厄 2 2015 Mtac：Coq中用于类型化策略编程的单子。 Zbl 1323.68236号 贝塔·齐利安尼;德雷克·德雷尔;尼拉坎坦·R·克里希纳斯瓦米。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 6 2013 如何使即席证明自动化减少即席性。 兹伯利1314.68281 乔治·贡蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 5 2013 使用有效计算的后验模拟通过反射进行轻型验证。 Zbl 1317.68205号 红葡萄酒、纪尧姆;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德;雷吉斯·詹纳斯，Yann;贝塔·齐利安尼 5 2013 如何使即席证明自动化不那么即席。 Zbl 1323.68117号 乔治·贡蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 6 2011 所有引用出版物 前5名被引用出版物 全部的 前5名48位作者引用 三 鲁伊斯·克鲁斯·菲利佩 三 彼得·施奈德·坎普 三 贝塔·齐利安尼 2 金·斯卡·拉森 2 格雷戈里·马莱查 2 索索、马蒂厄 1 雷纳尔德·阿弗尔德 1 阿南德，阿比舍克 1 杰斯珀·本特森 1 西蒙·博利埃 1 埃德温·布雷迪（Edwin C.Brady）。 1 托马斯·布雷班特 1 西里尔·科恩 1 德里克·德雷尔（Derek R.Dreyer）。 1 雅各布·埃林顿 1 劳尔·费尔瓦里 1 扬尼克·福斯特 1 傅鹏 1 雅克·加里格 1 张俊英 1 佩皮因·科克 1 叶卡捷琳娜·科门丹茨卡亚 1 罗伯特·克雷伯斯 1 尼拉坎坦·R·克里希纳斯瓦米。 1 费边·昆泽 1 托默·利巴尔 1 科尔·马丁罗西安 1 丹尼尔·马提库克 1 戴尔·艾伦·米勒 1 托比·默里 1 阿列克桑达尔·纳内夫斯基 1 布鲁诺·C·d·S·奥利维拉。 1 碧姬·品特卡 1 Damien Pous 1 齐、玄瑞 1 坂口和彦 1 汤姆·施里杰弗斯 1 弗兰克·斯拉玛 1 溅出物，Bas 1 沃特·斯威斯特拉 1 尼古拉斯·塔巴鲁 1 田中，卡祖纳里 1 弗朗西斯科·特鲁科 1 维克托·瓦菲亚迪斯 1 汉斯·皮特·范·迪特马什 1 菲利普·李·沃德勒 1 马卡里乌斯·温泽尔 1 塞奥温特哈尔特 5篇连载文章中引用 三 自动推理杂志 三 函数编程杂志 1 信息与计算 1 数学与人工智能年鉴 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 20 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 按年份列出的引文