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

萨明·伊斯蒂亚克。

合著者距离
作者ID： 亚氨基水杨酸最近由“Ishtiaq，Samin S”撰写的zbMATH文章
发布日期： 萨明·伊斯蒂亚克。
已编制索引的文档： 3出版物自2001年起
合著者： 1位合著者具有1联合出版物
44位合著者
全部的 前5名

合著者

0 单作者的
1 扎拉·艾哈迈德
1 大卫·本克
1 乔什·伯丁
1 谢尔盖·贝雷津
1 尼古拉·S·比约纳。
1 安娜·卡罗琳·达尔（Anna Caroline E.Dahl）。
1 贾斯敏·费希尔
1 本杰明·霍尔（Benjamin A.Hall）。
1 Jael E.Kriener。
1 杰·纳纳瓦蒂
1 O'Hearn，Peter W。
1 尼尔·皮特曼
1 梅克·里切特
1 尼基塔·斯科洛夫
1 Christoph M.温特斯泰格。

系列

领域

三 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）
1 生物学和其他自然科学（92-XX）

按年份列出的出版物

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

zbMATH Open中包含的引文

2出版物有被引用99中的次99份文件 引用人▼ 年份▼
BI作为可变数据结构的断言语言。 Zbl 1323.68077号
萨明·伊斯蒂亚克。;O'Hearn，Peter W。
99
2001
作为HORN-LA的资源可达性。 Zbl 1406.68049号
乔什·伯丁;尼古拉·比约纳;萨明·伊斯蒂亚克;杰尔·克里纳。;Christoph M.温特斯泰格。
1
2013
作为HORN-LA的资源可达性。 Zbl 1406.68049号
乔什·伯丁;尼古拉·比约纳;萨明·伊斯蒂亚克;Jael E.Kriener。;Christoph M.温特斯泰格。
1
2013
BI作为可变数据结构的断言语言。 Zbl 1323.68077号
萨明·伊斯蒂亚克。;运营；彼得·霍恩（Peter W.Hearn）。
99
2001
所有引用出版物 前5名被引用出版物
全部的 前5名

被175位作者引用

11 大卫·J·派姆。
8 Stéphane P.德姆里。
8 迪迪埃·加米歇
5 魏恩根·钦
5 菲利普·安·加德纳
5 拉杜·奥西夫
5 艾蒂安·洛兹
4 克里斯蒂亚诺·加尔卡尼奥
4 多米尼克·拉切·温德林（Dominique Larchey-Wendling）
4 Le，Quang Loc公司
4 尼古拉斯·佩尔蒂埃
4 秦胜超
4 汉斯·皮特·范·迪特马什
三 Lars Birkedal公司
三 雷米·布罗赫宁
三 Jean-RenéCourtault
三 托马斯·丁斯代尔·扬
三 西蒙·多尔蒂
三 穆纳乔·埃切宁
三 拉尔夫·荣格
三 罗伯特·克雷伯斯
三 O'Hearn，Peter W。
2 马哈穆杜尔·费萨尔·阿梅恩
2 安德鲁·W·阿佩尔。
2 阿列舍·比兹亚克
2 罗伯特·J·科尔文。
2 德里克·德雷尔（Derek R.Dreyer）。
2 玛尔塔·加威克
2 伊恩·海耶斯。
2 雅克·亨利·乔尔丹
2 阿莱西奥·曼苏蒂
2 克里斯托夫·马提亚
2 简斯·佩格尔
2 马修·帕金森。
2 Pham、Long H。
2 Phan，Quoc-Sang先生
2 穆利萨吉夫
2 孙骏
2 Makoto Tatsuta
2 克里斯·托夫茨
2 朱尔斯·维拉德
2 杨红seok
2 弗洛里安·祖勒格
1 加布里埃尔·安德森
1 大卫·阿斯皮纳尔
1 鲍玉燕
1 凯文·巴茨
1 巴托斯·贝德纳西克
1 杰斯珀·本特森
1 杰西·宾厄姆。
1 Richard博纳特
1 艾哈迈德·博阿贾尼
1 马吕斯·博兹加
1 詹姆斯·布罗瑟斯顿
1 曹钦祥
1 曹永志
1 安娜·卡瓦尔坎蒂
1 维托尔德·查拉托尼克
1 马修·科林森
1 拜伦·库克
1 安德烈亚·科斯蒂亚
1 克雷斯波、胡安·曼努埃尔
1 圣地亚哥库埃拉
1 佩德罗·达罗查·平托
1 弗雷德里克·达尔奎斯特
1 达尔·齐利奥（Dal Zilio，Silvano）
1 Dang，Han-Hing（韩红）
1 克里斯蒂娜·大卫
1 Deters，摩根
1 罗伯特·多金斯
1 董，袁
1 布里杰什·多戈尔
1 杜洪伟
1 段振华
1 康斯坦丁埃纳
1 吉登·恩斯特
1 冯新余
1 劳尔·费尔瓦里
1 伊拉·费塞费尔特
1 丹·弗鲁明
1 傅明
1 安德鲁·戈登。
1 埃里希·格雷德尔
1 郭瑜
1 克里斯蒂安·哈克
1 克里斯托夫·哈斯
1 Darion Haase先生
1 罗伯特·哈珀
1 威尔·哈伍德
1 何冠华
1 阿奎那·霍伯
1 詹·菲利普·霍夫曼
1 马丁·霍夫曼
1 彼得·霍夫纳
1 胡，Alan J。
1 克莱门·赫林
1 阿克巴侯赛因
1 马文·詹森
1 金，赵
1 彼得·吉普森
…还有75位作者
全部的 前5名

23篇连载文章中引用

11 理论计算机科学
6 计算机科学中的逻辑方法
5 程序设计中的逻辑和代数方法杂志
三 信息与计算
三 自动推理杂志
三 计算的形式方面
三 计算机科学中的数学结构
三 逻辑与代数程序设计杂志
三 ACM计算逻辑事务
2 信息处理信件
2 纯逻辑与应用逻辑年鉴
2 函数编程杂志
1 哲学逻辑杂志
1 Studia Logica公司
1 计算机程序设计科学
1 系统设计中的形式化方法
1 逻辑、语言与信息杂志
1 应用非经典逻辑杂志
1 数学与人工智能年鉴
1 计算系统理论
1 美国计算机学会期刊
1 应用逻辑杂志
1 中国计算机科学前沿

在4个字段中引用

82 数学逻辑和基础（03-XX）
80 计算机科学（68至XX）
2 阶、格、有序代数结构（06-XX）
1 概率论与随机过程（60-XX）

按年份列出的引文