编辑配置文件(在新选项卡中打开) 亚尼夫·萨阿尔 合著者距离 作者ID: 萨尔·亚尼夫 发布日期: 亚尼夫·萨阿尔 外部链接: MGP公司 已编制索引的文档: 6出版物自2006年起 合著者: 10位合著者具有6联合出版物 267位合作作者 全部的 前5名合著者 0 单作者的 4 阿米尔·普努利 2 Kedar S.Namjoshi。 2 尼尔·皮特曼 2 Lenore D.扎克。 1 巴拉班,伊泰 1 苏古曼·班萨尔 1 罗德里克·布洛姆 1 科恩,阿里尔 1 芭芭拉·乔布斯曼 1 卡提亚·基西奥娃。 系列 2 计算机与系统科学杂志 字段 6 计算机科学(68-XX) 2 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用98中的次81文件 引用人▼ 年份▼ 反应(1)设计的合成。 Zbl 1247.68050号 罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 53 2012 反应性(1)设计的合成。 Zbl 1176.68126号 尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 39 2006 你所需要的只是同情。 Zbl 1138.68457号 阿米尔·普努利;亚尼夫·萨阿尔 三 2008 从时间规范合成异步反应式程序。 Zbl 1511.68068号 苏古曼·班萨尔;Kedar S.Namjoshi。;亚尼夫·萨阿尔 2 2018 并行化符号组合模型检查算法。 Zbl 1325.68146号 科恩,阿里尔;Kedar S.Namjoshi。;亚尼夫·萨阿尔;Lenore D.扎克。;卡提亚·基西奥娃。 1 2011 从时间规范合成异步反应式程序。 Zbl 1511.68068号 苏古曼·班萨尔;Kedar S.Namjoshi。;Sa’亚尼夫·阿尔 2 2018 反应(1)设计的合成。 Zbl 1247.68050号 罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;Sa’亚尼夫·阿尔 53 2012 并行化符号组合模型检查算法。 Zbl 1325.68146号 科恩,阿里尔;Kedar S.Namjoshi。;Sa’亚尼夫省;Lenore D.扎克。;卡提亚·基西奥娃。 1 2011 你所需要的只是同情。 Zbl 1138.68457号 阿米尔·普努利;Sa’亚尼夫·阿尔 三 2008 反应性(1)设计的合成。 Zbl 1176.68126号 尼尔·皮特曼;阿米尔·普努利;Sa’亚尼夫省 39 2006 所有引用出版物 前5名被引用出版物 全部的 前5名195位作者引用 5 罗德里克·布洛姆 5 克里希南德·查特吉 4 大卫·布雷索林 4 鲁帕克·马朱姆达尔 4 莫西·亚亚科夫·瓦尔迪 三 达拉·阿拉杰 三 加尔阿姆拉姆 三 戴维德·贾科莫·卡维扎 三 Chebotarev,Anatoli N。 三 亚历山德罗·西马蒂 三 吕迪格·埃勒斯 三 朱利安·古铁雷斯 三 芭芭拉·乔布斯曼 三 简·Křetínsk 三 沙哈尔·茂兹 三 尼尔·皮特曼 三 阿米尔·普努利 三 塞巴斯蒂安·萨迪纳 三 乌富克托普库 三 迈克尔·J·伍尔德里奇。 2 克里斯特尔·拜尔 2 Calin A.Belta。 2 朱塞佩·德贾科莫 2 迪马罗戈纳斯,迪莫斯五世。 2 伯恩德·芬克贝纳 2 卢卡·盖蒂 2 尼古拉·吉甘特 2 安托万·吉拉德 2 安德拉斯·吉尔吉 2 贝蒂娜·科尼霍费尔 2 罗伯特·Könighfer 2 Lanese,伊万 2 林德曼,拉尔斯 2 刘军 2 托拜厄斯·梅根多夫 2 安吉洛·蒙塔纳里 2 埃米利奥·穆尼奥斯·韦拉斯科 2 穆罕默德·纳吉布 2 尼尔,丹尼尔 2 内克米耶·奥扎伊 2 朱塞佩·佩雷利 2 撒尿者,或 2 皮埃尔·普拉迪奇 2 Jean-François拉斯金 2 科林·里巴 2 詹·奥利弗·林格特 2 斯文·舍韦 2 安妮·凯瑟琳·施穆克 2 维克多·舒潘 2 圭多·西亚维科 2 卢卡斯·塔巴哈拉。 2 斯特凡诺·托内塔 2 斯塔夫罗斯·特里帕基斯 2 克拉拉·沃尔德曼 2 亚历山大·韦内特 2 马克西米利安·威宁格 2 马丁·齐默尔曼 1 穆罕默德·阿尔谢赫 1 拉杰夫·阿鲁尔 1 肖恩·阿佐帕迪 1 伊塔·巴拉班 1 阿伊萨巴尔干 1 苏古曼·班萨尔 1 奇塔·R·巴拉尔。 1 克拉克·W·巴雷特。 1 苏丹巴拉德瓦吉 1 阿什温·巴斯卡 1 马库斯·比亚雷兰德 1 布莱·博内 1 维克托·布拉伯曼 1 朱利安·布雷尔 1 彼得·布利切夫(Peter E.Bulychev)。 1 伊万娜·乔纳 1 陈明帅 1 彼得·奇尼 1 马丁·奇梅利克 1 哈娜·乔克勒 1 丹尼尔·阿尔弗雷多·乔勒克 1 科宁,诺琳 1 普拉蒂斯·达塔 1 亚历山大·戴维 1 卢卡·德·阿尔法罗 1 乔纳森·德卡斯特罗。 1 朱塞佩·德拉·佩纳 1 Deters,摩根 1 安东尼奥·迪·斯塔西奥 1 雷娜·迪米特洛娃 1 丁旭初 1 尼古拉斯·迪波利托 1 沃伦·狄克逊(Warren E.Dixon)。 1 董金松 1 马蒂亚斯·杜兰 1 拉塔·杜塔 1 马苏德·易卜拉希米 1 托马斯·艾特 1 马可·费拉 1 约翰·费恩利 1 艾曼纽·菲利奥特 1 伊丽莎白·菲尔曼 1 马丁·范策尔 …还有95位作者 全部的 前5名21篇连载文章中引用 8 信息学报 7 系统设计中的形式化方法 6 离散事件动态系统 5 Automatica公司 4 非线性分析。混合动力系统 三 计算机与系统科学杂志 三 信息与计算 三 控制论与系统分析 2 人工智能 2 计算的形式方面 2 计算机科学中的逻辑方法 1 信息处理信件 1 计算 1 计算机程序设计科学 1 自动推理杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 1 欧洲控制杂志 1 美国医学会杂志 1 游戏 1 计算机科学前沿 全部的 前5名10个字段中引用 59 计算机科学(68-XX) 27 数学逻辑和基础(03-XX) 21 系统论;控制(93至XX) 14 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 测量和集成(28-XX) 2 运筹学、数学规划(90-XX) 2 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 1 变异微积分和最优控制;最优化(49-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文