编辑配置文件（在新选项卡中打开） 胡安·曼努埃尔·克雷斯波 合著者距离 作者ID： 克雷斯波·胡安·曼纽尔 发布日期： 胡安·曼努埃尔·克雷斯波 已编制索引的文档： 6出版物自2011年起 合著者： 6位合著者具有5联合出版物 202位Co-Co作者 全部的 前5名合著者 0 单作者的 4 吉尔·巴特 4 塞萨尔·库茨 1 乔恩·阿兹皮亚祖 1 北卡罗来纳州贝利兹·奥索里奥。 1 加西亚·罗霍，M。 1 本杰明·格雷戈里 1 亚辛·拉赫内奇 1 Benedikt施密特 1 圣地亚哥Zanella Béguelin 系列 1 程序设计中的逻辑和代数方法杂志 领域 5 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 三 信息和通信理论，电路（94-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用22中的次19文件 引用人▼ 年份▼ 超越2-安全：用于关系程序验证的非对称产品程序。 兹伯利1419.68063 吉尔·巴特；胡安·曼努埃尔·克雷斯波；塞萨尔·库茨 10 2013 产品程序和关系程序逻辑。 Zbl 1355.68047号 吉尔·巴特；胡安·曼努埃尔·克雷斯波；塞萨尔·库茨 5 2016 计算机辅助的加密证明。 Zbl 1360.94294号 吉尔·巴特；胡安·曼努埃尔·克雷斯波；本杰明·格雷戈里；塞萨尔·库茨；圣地亚哥Zanella Béguelin 4 2012 注意差距：单轮密钥交换协议的模块化机器检查证明。 Zbl 1375.94097号 吉尔·巴特；胡安·曼努埃尔·克雷斯波；亚辛·拉赫内奇；Benedikt施密特 三 2015 产品程序和关系程序逻辑。 Zbl 1355.68047号 吉尔·巴特；胡安·曼努埃尔·克雷斯波；塞萨尔·库茨 5 2016 注意差距：单轮密钥交换协议的模块化机器检查证明。 Zbl 1375.94097号 吉尔·巴特；胡安·曼努埃尔·克雷斯波；亚辛·拉赫内奇；Benedikt施密特 三 2015 超越2-安全：用于关系程序验证的非对称产品程序。 兹伯利1419.68063 吉尔·巴特；胡安·曼努埃尔·克雷斯波；塞萨尔·库茨 10 2013 计算机辅助的加密证明。 Zbl 1360.94294号 吉尔·巴特；胡安·曼努埃尔·克雷斯波；本杰明·格雷戈里；塞萨尔·库茨；圣地亚哥Zanella Béguelin 4 2012 所有引用的出版物 前5名被引用出版物 全部的 前5名55位作者引用 2 吉尔·巴特 2 安德烈亚斯·胡尔辛 2 弗拉基米尔·克莱巴诺夫 2 梅杰尔斯、马提亚斯 2 Pierre-Yves支柱 2 马蒂亚斯·乌尔布里奇 1 雷纳尔德·阿弗尔德 1 曼纽尔·巴博萨 1 伦纳特·贝林格 1 古斯塔沃·贝塔特 1 乌鸦·贝特纳 1 克里斯·布尔祖斯卡 1 安德烈·塞巴斯蒂安·布鲁安 1 胡安·迭戈·坎波 1 陈玉龙 1 瑟·特凡·乔巴赫 1 胡安·曼努埃尔·克雷斯波 1 特拉华州，本杰明 1 安托万，Deligna-Lavoud 1 罗伯特·迪克森。 1 索菲亚·德罗索波洛 1 弗朗索瓦州杜普斯托尔 1 马尔科·艾尔斯 1 苏珊·艾森巴赫 1 伯恩德·芬克贝纳 1 塞德里克·Fornet 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 大雄县Terauchi 1 不，Hiroshi 1 蒂姆·伍德 1 叶千川 1 Michael K·张。 3篇连载文章中引用 三 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 系统设计中的形式化方法 在3个字段中引用 16 计算机科学（68至XX） 7 信息和通信理论，电路（94-XX） 5 数学逻辑和基础（03-XX） 按年份列出的引文