编辑配置文件（在新选项卡中打开） 哈布托姆·卡西·吉迪 合著者距离 作者ID： 吉迪·哈布托姆·卡西 发布日期： 哈布托姆·卡西·吉迪 已编制索引的文档： 1出版物自2019年起 合著者： 1位合著者具有1联合出版物 17位合作作者 合著者 0 单作者的 1 迭戈·马姆斯勒 系列 1 计算的形式方面 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用4中的次4文件 引用人▼ 年份▼ FACTum中建筑设计模式的交互验证。 Zbl 1425.68273号 迭戈·马姆斯勒；哈布托姆·卡西·吉迪 4 2019 FACTum中建筑设计模式的交互验证。 Zbl 1425.68273号 迭戈·马姆斯勒；哈布托姆·卡西·吉迪 4 2019 全部的 前5名6位作者引用 2 盖列塔，莱特里奥 2 迭戈·马姆斯勒 2 佐里卡萨瓦诺维奇 1 哈布托姆·卡西·吉迪 1 阿纳·彼得罗夫斯卡 1 雨果·托雷斯·维埃拉 2篇连载文章中引用 2 程序设计中的逻辑和代数方法杂志 1 计算的形式方面 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文