编辑配置文件（在新选项卡中打开） 季凯良 合著者距离 作者ID： 吉开良 发布日期： 季凯良 已编制索引的文档： 4出版物自2015年以来 合著者： 7合著者具有2联合出版物 197位合作作者 全部的 前5名合著者 2 单作者的 1 艾哈迈德·博阿贾尼 1 Sylvain Conchon公司 1 康斯坦丁埃纳 1 烟气、氯离子 1 穆罕默德·伊格伦拉拉 1 纪尧姆·梅尔金德 1 沙兹·卡迪尔 系列 领域 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用18次18文件 引用人▼ 年份▼ 关于在有界异步下验证消息传递程序的完整性。 Zbl 1511.68073号 艾哈迈德·博阿贾尼;康斯坦丁·埃纳;季凯良;沙兹·卡迪尔 14 2018 演绎模块中的CTL模型检查。 Zbl 1465.68180号 季凯良 2 2015 SMT中浮点数推理的三层策略。 Zbl 1494.68282号 Sylvain Conchon公司;穆罕默德·伊格伦拉拉;季凯良;纪尧姆·梅尔昆德;烟气、氯离子 2 2017 关于在有界异步下验证消息传递程序的完整性。 Zbl 1511.68073号 艾哈迈德·博阿贾尼;康斯坦丁·埃纳;季开良;沙兹·卡迪尔 14 2018 SMT中浮点数推理的三层策略。 Zbl 1494.68282号 Sylvain Conchon公司;穆罕默德·伊格伦拉拉;季凯良;纪尧姆·梅尔金德;烟气、氯离子 2 2017 演绎模块中的CTL模型检查。 Zbl 1465.68180号 季凯良 2 2015 所有引用出版物 前5名被引用出版物 全部的 前5名35位作者引用 5 艾蒂安·洛兹 4 辛齐亚·迪·朱斯托 三 莱蒂蒂亚·拉弗萨 三 约瑟夫·威德 2 贝内迪克特·博利格 2 阿兰·芬克尔 2 伊戈尔·V·科诺夫。 2 玛丽亚娜·拉齐奇 2 伊利娜·斯托尔科夫斯卡 1 马雷克·巴拉诺夫斯基 1 Nathalie Bertrand 1 马里奥·布拉维蒂 1 玛丽·何塞·福廷 1 保罗·加斯丁 1 洛伊克·杰梅里·吉佐安 1 何绍波 1 石井、大辅 1 季凯良 1 朱利安·兰格 1 马蒂亚斯·莱切纳 1 朗，腾 1 莫里齐奥·穆尔吉亚 1 茨沃尼米尔·拉卡马里奇 1 任星涛 1 费利克斯·斯图兹 1 阿姆里塔·苏雷什 1 Thanh Son Nguyen先生 1 王超 1 王青 1 徐兆伟 1 友仁雅布 1 吉安路易吉·扎瓦塔罗 1 张文辉 1 达米恩·祖弗里 1 弗洛里安·祖勒格 全部的 前5名6篇连载文章中引用 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 计算与应用数学杂志 1 计算机与系统科学杂志 1 国际计算机科学基础杂志 在3个字段中引用 18 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 1 数值分析（65-XX） 按年份列出的引文