×
作者ID: 萨尔·亚尼夫“Sa’ar,Yaniv”最近发表的zbMATH文章
发布日期: 亚尼夫·萨阿尔
外部链接: MGP公司
已编制索引的文档: 6出版物自2006年起
合著者: 10位合著者具有6联合出版物
267位合作作者

按年份列出的出版物

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名

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位作者

按年份列出的引文