编辑配置文件(在新选项卡中打开) 雅克·亨利·乔尔丹 合著者距离 作者ID: 朱丹·雅克·亨里 发布日期: 雅克·亨利·乔尔丹 编入索引的文档: 9出版物自2012年起 合著者: 14合著者具有8份联合出版物 229合著作者 全部的 前5名合著者 1 单作者的 三 弗朗索瓦·波蒂埃 2 拉尔斯·比克达尔 2 阿列舍·比兹亚克 2 托马斯·布雷班特 2 德雷尔,德里克·R。 2 拉尔夫·荣格 2 罗伯特·克雷伯斯 2 泽维尔·勒罗伊 2 大卫·莫尼奥(David P.Monniaux)。 1 西尔维·博尔多 1 亚瑟·查古埃罗 1 阿玛·盖诺 1 纪尧姆·梅尔金德 1 格伦·梅维尔 系列 2 自动推理杂志 1 函数编程杂志 领域 9 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用57中的次53文件 引用人▼ 年份▼ 从头开始的Iris:高阶并发分离逻辑的模块化基础。 Zbl 1476.68062号 拉尔夫·荣格;罗伯特·克雷伯斯;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 30 2018 高阶并发分离逻辑的本质。 Zbl 1485.68069号 罗伯特·克雷伯斯;拉尔夫·荣格;阿列舍·比兹亚克;雅克·亨利·乔尔丹;德雷克·德雷尔;拉尔斯·比克达尔 10 2017 正在验证LR(1)分析器。 Zbl 1352.68131号 雅克·亨利·乔尔丹;弗朗索瓦·波蒂埃;泽维尔·勒罗伊 6 2012 已验证浮点计算的编译。 Zbl 1331.68047号 西尔维·博尔多;雅克·亨利·乔尔丹;泽维尔·勒罗伊;纪尧姆·梅尔金德 5 2015 增量循环检测算法的形式化证明和分析。 Zbl 07649967号 阿玛·盖诺;雅克·亨利·乔尔丹;亚瑟·查古埃罗;弗朗索瓦·波蒂埃 4 2019 在Coq中实现和推理哈希加密数据结构。 Zbl 1314.68273号 托马斯·布雷班特;雅克·亨利·乔尔丹;戴维·莫尼奥 1 2014 Iris中的时间积分和时间收据。 Zbl 1524.68097号 格伦·梅维尔;雅克·亨利·乔尔丹;弗朗索瓦·波蒂埃 1 2019 增量循环检测算法的形式化证明和分析。 Zbl 07649967号 阿玛·盖诺;雅克·亨利·乔尔丹;亚瑟·查古埃罗;弗朗索瓦·波蒂埃 4 2019 Iris中的时间积分和时间收据。 Zbl 1524.68097号 格伦·梅维尔;雅克·亨利·乔尔丹;弗朗索瓦·波蒂埃 1 2019 从头开始的Iris:高阶并发分离逻辑的模块化基础。 Zbl 1476.68062号 拉尔夫·荣格;罗伯特·克雷伯斯;雅克·亨利·乔尔丹;阿列舍·比兹亚克;拉尔斯·比克达尔;德雷克·德雷尔 30 2018 高阶并发分离逻辑的本质。 Zbl 1485.68069号 罗伯特·克雷伯斯;拉尔夫·荣格;阿列舍·比兹亚克;雅克·亨利·乔尔丹;德雷克·德雷尔;拉尔斯·比克达尔 10 2017 已验证浮点计算的编译。 Zbl 1331.68047号 西尔维·博尔多;雅克·亨利·乔尔丹;泽维尔·勒罗伊;纪尧姆·梅尔金德 5 2015 在Coq中实现和推理哈希加密数据结构。 Zbl 1314.68273号 托马斯·布雷班特;雅克·亨利·乔尔丹;戴维·莫尼奥 1 2014 正在验证LR(1)分析器。 Zbl 1352.68131号 雅克·亨利·乔尔丹;弗朗索瓦·波蒂埃;泽维尔·勒罗伊 6 2012 所有引用出版物 前5名被引用出版物 全部的 前5名146位作者引用 5 拉尔斯·比克达尔 三 Lennart贝林格 三 多米尼克·德夫里塞 三 弗朗索瓦·波蒂埃 2 安德鲁·W·阿佩尔。 2 阿列舍·比兹亚克 2 亚瑟·查古埃罗 2 瑟·特凡·乔巴赫 2 马克西米利安·哈斯贝克。 2 雅克·亨利·乔尔丹 2 罗伯特·克雷伯斯 2 悉达哈·克里希纳 2 彼得·兰米奇 2 克里斯托夫·马提亚 2 彼得·米勒 2 亚历山大·萨默斯。 1 卡明·阿巴特 1 丹尼尔·艾哈曼 1 杰苏斯·阿兰塞 1 何塞·巴塞拉尔·阿尔梅达 1 卡勒姆·班尼斯特 1 穆罕默德·巴巴拉 1 凯文·巴茨 1 贝拉德,贝特里奇 1 乌尔里希·伯杰 1 罗伯托·布兰科 1 莱昂内尔·布拉特 1 Joshua A.Bockenek。 1 贝内迪克特·博利格 1 Franz Brauße,弗兰兹 1 安德烈·塞巴斯蒂安·布鲁安 1 曹勤祥 1 克里斯·卡辛基诺 1 乔里斯·塞勒曼斯 1 Chang,Bor-Yuh Evan先生 1 彼得·柯林斯。 1 蒂鲍特·达迪尼尔 1 Ruy JoséGuerra Barretto De Queiroz 1 保罗·埃米利奥·德维莱纳 1 Jose Divasón 1 西蒙·多尔蒂 1 约西亚·多兹 1 德雷尔,德里克·R。 1 阿德里安·杜里埃 1 迈克尔·埃米 1 康斯坦丁·埃纳 1 伊拉·费塞费尔特 1 丹尼斯·菲尔索夫 1 凯萨琳·费希尔 1 丹·弗鲁明 1 迪帕克·加尔格 1 谢尔盖·冈查洛夫 1 西蒙·奥德谢德·格雷格森 1 塞缪尔·格吕特 1 关勇 1 阿玛·盖诺 1 彼得·霍夫纳 1 侯哲 1 Hriţcu,科特林 1 玛丽克·赫斯曼 1 沙迦·伊扎基 1 贾比尔,吉尔赫姆 1 巴特·雅各布斯 1 马文·詹森 1 约万诺维奇,德扬 1 拉尔夫·荣格 1 Joost-Pieter卡托恩 1 弗洛里安·科勒 1 直纪小林 1 尼古拉·科马托夫 1 莫滕·克罗格·杰斯佩森 1 维克多·昆卡 1 萨姆·拉塞尔 1 帕斯卡尔·勒加尔 1 马修·勒豪特 1 李鹏飞 1 李锡盟 1 刘,杨 1 陆天汉 1 多雷尔·卢卡努 1 埃里克·马丁·多雷尔 1 松下幸助 1 Annabelle K.McIver。 1 保罗·安德烈·梅利埃 1 纪尧姆·梅尔金德 1 内尔玛·莫雷拉 1 卡罗尔·C·摩根。 1 格雷格·莫里塞特 1 Jean-Michel穆勒 1 Kedar S.Namjoshi。 1 诺尔,托马斯 1 安德烈亚斯·努伊茨 1 玛丽特·埃德娜·奥伦布施 1 Wytse Oortwijn公司 1 詹斯·佩格尔 1 帕塔萨拉蒂,高拉夫 1 马可·帕特里格纳尼 1 希拉·佩莱格 1 弗兰克·皮森斯 1 纳迪亚·波里卡波娃 …还有46位作者 全部的 前5名7篇连载文章中引用 5 自动推理杂志 4 计算机科学中的逻辑方法 三 函数编程杂志 2 系统设计中的形式化方法 2 程序设计中的逻辑和代数方法杂志 1 ACM数学软件汇刊 1 ACM计算逻辑事务 全部的 前5名在7个字段中引用 51 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文