编辑配置文件(在新选项卡中打开) 塞萨尔·库茨 合著者距离 作者ID: 库兹·塞萨尔 发布日期: 塞萨尔·库茨 已编制索引的文档: 10出版物自2006年起 合著者: 11位合著者具有10联合出版物 259位合作作者 全部的 前5名合著者 0 单作者的 8 吉尔·巴特 4 克雷斯波、胡安·曼努埃尔 3 本杰明·格雷戈里 1 巴勃罗·布伊拉斯 1 弗朗索瓦州杜普斯托尔 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 塔马拉·雷兹克 1 莱昂纳多·斯坎多洛 1 Benedikt施密特 1 Pierre-Yves支柱 1 圣地亚哥Zanella Béguelin 系列 1 程序设计中的逻辑和代数方法杂志 领域 10 计算机科学(68至XX) 3 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用38中的次31文件 引用人▼ 年份▼ 用于优化编译器的证书翻译。 Zbl 1225.68062号 吉尔·巴特;本杰明·格雷戈里;塞萨尔·库茨;塔马拉·雷兹克 10 2006 超越2-安全:用于关系程序验证的非对称产品程序。 Zbl 1419.68063号 吉尔·巴特;克雷斯波、胡安·曼努埃尔;塞萨尔·库茨 10 2013 产品程序和关系程序逻辑。 Zbl 1355.68047号 吉尔·巴特;克雷斯波、胡安·曼努埃尔;塞萨尔·库茨 5 2016 EasyCrypt:教程。 Zbl 1448.68184号 吉尔·巴特;弗朗索瓦州杜普斯托尔;本杰明·格雷戈里;塞萨尔·库茨;Benedikt施密特;Pierre-Yves支柱 5 2014 证书翻译中的抽象解释。 Zbl 1133.68315号 吉尔·巴特;塞萨尔·库茨 4 2008 计算机辅助的加密证明。 Zbl 1360.94294号 吉尔·巴特;克雷斯波、胡安·曼努埃尔;本杰明·格雷戈里;塞萨尔·库茨;圣地亚哥Zanella Béguelin 4 2012 产品程序和关系程序逻辑。 Zbl 1355.68047号 吉尔·巴特;克雷斯波、胡安·曼努埃尔;塞萨尔·库茨 5 2016 EasyCrypt:教程。 Zbl 1448.68184号 吉尔·巴特;弗朗索瓦州杜普斯托尔;本杰明·格雷戈里;塞萨尔·库茨;Benedikt施密特;Pierre-Yves支柱 5 2014 超越2-安全:用于关系程序验证的非对称产品程序。 兹伯利1419.68063 吉尔·巴特;克雷斯波、胡安·曼努埃尔;塞萨尔·库茨 10 2013 计算机辅助的加密证明。 Zbl 1360.94294号 吉尔·巴特;克雷斯波、胡安·曼努埃尔;本杰明·格雷戈里;塞萨尔·库茨;圣地亚哥Zanella Béguelin 4 2012 抽象口译中的证书翻译。 Zbl 1133.68315号 吉尔·巴特;塞萨尔·库茨 4 2008 用于优化编译器的证书翻译。 Zbl 1225.68062号 吉尔·巴特;本杰明·格雷戈里;塞萨尔·库茨;塔玛拉·雷兹克 10 2006 所有引用出版物 前5名被引用出版物 全部的 前5名62位作者引用 9 吉尔·巴特 4 塞萨尔·库茨 3 Pierre-Yves支柱 2 曼纽尔·巴博萨 2 克雷斯波、胡安·曼努埃尔 2 弗朗索瓦州杜普斯托尔 2 本杰明·格雷戈里 2 安德烈亚斯·胡尔辛 2 弗拉基米尔·克莱巴诺夫 2 梅杰尔斯、马提亚斯 2 大卫·皮哈迪 2 安藤萨巴斯 2 马蒂亚斯·乌尔布里奇 2 塔尔莫乌斯塔卢 1 雷纳尔德·阿弗尔德 1 何塞·巴塞拉尔·阿尔梅达 1 伦纳特·贝林格 1 古斯塔沃·贝塔特 1 乌鸦·贝特纳 1 安德烈·塞巴斯蒂安·布鲁安 1 胡安·迭戈·坎波 1 瑟·特凡·乔巴赫 1 德迪奥斯,哈维尔 1 特拉华州,本杰明 1 罗伯特·H·迪克森。 1 索菲亚·德罗索波洛 1 马尔科·艾尔斯 1 苏珊·艾森巴赫 1 伯恩德·芬克贝纳 1 马尔科·加博阿迪 1 埃米利奥·杰苏斯·加列戈·阿里亚斯 1 马纳布哈吉瓦拉 1 大卫·G·希思。 1 贾斯汀·徐 1 克莱门·赫林 1 莫里茨·基弗 1 埃里克·科斯金 1 阿德里安·库索斯 1 拉希里、舒文杜·库马尔 1 泽维尔·勒罗伊 1 多雷尔·卢卡努 1 卡洛斯·卢纳 1 Severin Meier 1 索莱内·米利亚兹 1 克里斯坦·米勒 1 彼得·米勒 1 伊曼·纳拉萨姆迪亚 1 玛丽埃拉·巴夫洛娃 1 巴甫洛维奇,杜什科 1 里卡多·佩纳 1 罗斯、亚伦·莱昂 1 菲利普·吕默 1 彼得·施瓦布 1 赫尔穆特·塞德尔 1 乔纳斯·塞尼泽格斯 1 大雄县Terauchi 1 不,Hiroshi 1 安德烈·沃伦科夫 1 蒂姆·伍德 1 叶千川 1 史蒂夫·兹丹塞维奇 1 Michael K·张。 引用于4个系列 4 自动推理杂志 2 逻辑与代数程序设计杂志 2 程序设计中的逻辑和代数方法杂志 1 系统设计中的形式化方法 在4个字段中引用 28 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 6 信息与通信理论、电路(94-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文