×
编辑配置文件（在新选项卡中打开）

Mehdi T.哈兰迪。

合著者距离
作者ID： 哈兰迪·梅赫迪-t最近由“Harandi，Mehdi T.”撰写的zbMATH文章
发布日期： Mehdi T.哈兰迪。;麻省理工哈兰迪。;迈赫迪·哈兰迪
编入索引的文档： 5出版物自1979年起
合著者： 3位合著者具有4联合出版物
85位合作作者

合著者

1 单作者的
2 塞萨尔·蒂内利
1 桑贾·邦萨利
1 霍金斯，T.J。

系列

1 《计算机杂志》。A部分/B部分
1 软件。实践与经验
1 函数与逻辑程序设计杂志

领域

5 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

三出版物有被引用38中的次38文件 引用人▼ 年份▼
Nelson-Oppen组合过程的一个新的正确性证明。 Zbl 0893.03001号
塞萨尔·蒂内利;哈兰迪、迈赫迪
35
1996
使用类比进行程序推导。 Zbl 0708.68036号
Mehdi T.哈兰迪。;桑贾·邦萨利
2
1989
约束理论联合上的约束逻辑编程。 Zbl 0924.68050号
塞萨尔·蒂内利;Mehdi T.哈兰迪。
1
1998
约束理论联合上的约束逻辑编程。 Zbl 0924.68050号
塞萨尔·蒂内利;Mehdi T.哈兰迪。
1
1998
Nelson-Oppen组合过程的一个新的正确性证明。 Zbl 0893.03001号
塞萨尔·蒂内利;迈赫迪·哈兰迪
35
1996
使用类比的程序推导。 Zbl 0708.68036号
Mehdi T.哈兰迪。;桑贾·邦萨利
2
1989
所有引用出版物 前5名被引用出版物
全部的 前5名

52位作者引用

8 塞萨尔·蒂内利
6 帕斯卡·方丹
6 西尔维奥·吉拉尔迪
5 克拉克·W·巴雷特。
4 西尔维奥·兰伊斯
4 克里斯托夫·林盖森
三 罗伯特·布鲁托梅索
三 亚历山德罗·吉亚诺拉
三 罗伯托·塞巴斯蒂亚尼
2 弗兰兹·巴德
2 迭戈·卡尔瓦内斯
2 Paula Chocron
2 亚历山德罗·西马蒂
2 康雄，西尔万
2 德奥利维拉，迭戈·卡米尼亚B。
2 戴维·戴哈贝
2 约万诺维奇，德扬
2 萨瓦·A·克里斯蒂。
2 马可·蒙塔利
2 安德鲁·雷诺兹
2 安德烈·里夫金
2 卡拉戈罗·扎尔巴。
1 埃亚尔·埃米尔
1 阿雷塞斯，卡洛斯
1 马可·波扎诺
1 菲利佩·卡萨尔
1 Deters，摩根
1 穆纳乔·埃切宁
1 安德斯·弗朗森
1 哈拉尔德·甘辛格
1 阿尔贝托·格里乔
1 莱斯特·英贝尔
1 汤米·A·琼蒂拉。
1 梁天一
1 陆建国
1 佐哈尔·曼纳
1 希拉·麦克拉伊思。
1 恩里卡·尼科里尼
1 尼古拉斯·佩尔蒂埃
1 乔安·拉斯加
1 亨尼·B·西普玛。
1 维奥里卡Sofrone-Stokkerman
1 大卫·D·斯沃德。
1 西尔维娅·托马西
1 陈德康
1 内斯塔·齐斯卡里泽
1 彼得·范·罗苏姆
1 马可·沃伊格特
1 乌韦·沃尔德曼
1 徐家福
1 张婷
1 丹尼尔·祖切利
全部的 前5名

13篇连载文章中引用

7 自动推理杂志
6 信息与计算
三 理论计算机科学
2 系统设计中的形式化方法
2 ACM计算逻辑事务
1 人工智能
1 信息处理信件
1 计算机程序设计科学
1 纯逻辑与应用逻辑年鉴
1 符号计算杂志
1 数学和计算机建模
1 数学与人工智能年鉴
1 逻辑程序设计理论与实践

在4个字段中引用

32 计算机科学（68至XX）
22 数学逻辑和基础（03-XX）
1 概率论与随机过程（60-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文