编辑配置文件(在新选项卡中打开) 马尔詹·西尔贾尼 合著者距离 作者ID: 西尔贾尼·马尔扬 发布日期: 马尔詹·西尔贾尼 外部链接: MGP公司 编入索引的文档: 18出版物自2004年起 15名编辑的贡献 合著者: 33位合著者具有32联合出版物 660名合作作者 全部的 前5名合著者 1 单作者的 10 法哈德·阿尔巴 3 德波尔(Frank S。 3 穆罕默德·马赫迪·贾古奥里 3 埃桑·卡梅斯帕纳 3 阿里·莫瓦加尔 3 巴赫曼·普瓦坦 3 卡罗琳·塔尔科特。 2 卡洛斯·卡纳尔 2 汤姆·乔西亚 2 梅迪·达斯坦尼(Mehdi M.Dastani)。 2 法特梅·加塞米 2 侯赛因·霍贾特 2 穆罕默德·穆萨维 2 帕斯卡·波扎特 2 任尚平 2 格温·萨拉恩 1 马吉德·尼利·艾哈迈达巴迪 1 克里斯特尔·拜尔 1 拉齐·贝贾蒂 1 亚历山德罗·西马蒂 1 约翰·哈特克利夫 1 拉苏尔·贾利利 1 赛义德·贾利利 1 Khakpour、Narges 1 德尔芬·朗盖 1 穆罕默德·萨德格·马卡雷姆 1 尼罗法尔·拉扎维 1 简·J·M·M·鲁顿。 1 哈米德·萨布里 1 哈米德·雷扎·沙赫里亚里 1 阿明·沙利 1 萨米拉·塔沙罗菲 1 马赫萨·扎尔尼珊 全部的 前5名系列 8 计算机程序设计科学 8 计算机科学课堂讲稿 3 计算机基础理论 2 信息学报 2 理论计算机科学电子笔记 1 计算机与电气工程 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 领域 33 计算机科学(68至XX) 15 总体主题;集合(00-XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用87中的次63文件 引用人▼ 年份▼ 通过约束自动机在Reo中建模组件连接器。 Zbl 1105.68058号 克里斯特尔·拜尔;马尔詹·西尔贾尼;法哈德·阿尔巴;简·拉特 43 2006 使用Rebeca对反应系统进行建模和验证。 Zbl 1082.68007号 马尔詹·西尔贾尼;阿里·莫瓦加尔;阿明·沙利;德波尔(Frank S。 12 2004 异步实时并发对象的可调度性。 兹比尔1188.68085 穆罕默德·马赫迪·贾古奥里;德波尔(Frank S。;汤姆·乔西亚;马尔詹·西尔贾尼 8 2009 比较三种协调模型:Reo、ARC和RRD。 兹比尔1277.68208 卡罗琳·塔尔科特;马尔詹·西尔贾尼;任尚平 4 2008 使用Reo和CASM对WS-CDL进行形式化建模和一致性验证。 Zbl 1347.68240号 萨米拉·塔沙罗菲;马尔詹·西尔贾尼 4 2009 进化自适应系统的形式化建模。 Zbl 1264.68131号 Khakpour、Narges;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维 3 2012 Rebeca模型检验中的对称性和部分降阶技术。 Zbl 1185.68142号 穆罕默德·马赫迪·贾古奥里;马尔詹·西尔贾尼;穆罕默德·雷扎·穆萨维;埃桑·卡梅斯帕纳;阿里·莫瓦加尔 3 2010 基于角色的切片技术,用于有效简化Rebeca模型。 Zbl 1214.68223号 哈米德·萨布里;马尔詹·西尔贾尼 3 2010 使用符号执行对Reo电路进行自动分析。 Zbl 1364.68142号 巴赫曼·普瓦坦;马尔詹·西尔贾尼;侯赛因·霍贾特;法哈德·阿尔巴 2 2009 使用基于演员的语言Rebeca对网络进行漏洞分析,以检测多阶段攻击。 Zbl 1208.68060号 哈米德·雷扎·沙赫里亚里;穆罕默德·萨德格·马卡雷姆;马尔詹·西尔贾尼;拉苏尔·贾利利;阿里·莫瓦加尔 1 2010 比较三种协调模式:Reo、ARC和PBRD。 Zbl 1211.68056号 卡罗琳·塔尔科特;马尔詹·西尔贾尼;任尚平 1 2011 用SystemC编写的系统级设计的合成语义。 Zbl 1141.68485号 尼罗法尔·拉扎维;马尔詹·西尔贾尼 1 2007 准时演员。 Zbl 1475.68213号 马尔詹·西尔贾尼;埃桑·卡梅斯帕纳 1 2016 软件工程和形式化方法。2017年9月4日至8日在意大利特伦托举行的2017年SEFM第15届国际会议。诉讼程序。 Zbl 1369.68017号 1 2017 软件工程和形式化方法。2017年9月4日至8日在意大利特伦托举行的2017年SEFM第15届国际会议。诉讼程序。 Zbl 1369.68017号 1 2017 准时演员。 Zbl 1475.68213号 马尔詹·西尔贾尼;埃桑·卡梅斯帕纳 1 2016 进化自适应系统的形式化建模。 Zbl 1264.68131号 Khakpour、Narges;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维 3 2012 比较三种协调模式:Reo、ARC和PBRD。 Zbl 1211.68056号 卡罗琳·塔尔科特;马尔詹·西尔贾尼;任尚平 1 2011 Rebeca模型检验中的对称性和部分降阶技术。 兹比尔1185.68142 穆罕默德·马赫迪·贾古奥里;马尔詹·西尔贾尼;穆罕默德·雷扎·穆萨维;埃桑·卡梅斯帕纳;阿里·莫瓦加尔 3 2010 基于行动者的切片技术,可有效减少Rebeca模型。 Zbl 1214.68223号 哈米德·萨布里;马尔詹·西尔贾尼 3 2010 使用基于行动者的语言Rebeca对网络进行漏洞分析,以检测多阶段攻击。 Zbl 1208.68060号 哈米德·雷扎·沙赫里亚里;穆罕默德·萨德格·马卡雷姆;马尔詹·西尔贾尼;拉苏尔·贾利利;阿里·莫瓦加尔 1 2010 异步实时并发对象的可调度性。 Zbl 1188.68085号 穆罕默德·马赫迪·贾古奥里;德波尔(Frank S。;汤姆·乔西亚;马尔詹·西尔贾尼 8 2009 使用Reo和CASM对WS-CDL进行形式化建模和一致性验证。 Zbl 1347.68240号 萨米拉·塔沙罗菲;马尔詹·西尔贾尼 4 2009 使用符号执行对Reo电路进行自动分析。 Zbl 1364.68142号 巴赫曼·普瓦坦;马尔詹·西尔贾尼;侯赛因·霍贾特;法哈德·阿尔巴 2 2009 比较三种协调模型:Reo、ARC和RRD。 Zbl 1277.68208号 卡罗琳·塔尔科特;马尔詹·西尔贾尼;任尚平 4 2008 用SystemC编写的系统级设计的合成语义。 Zbl 1141.68485号 尼罗法尔·拉扎维;马尔詹·西尔贾尼 1 2007 通过约束自动机在Reo中建模组件连接器。 Zbl 1105.68058号 克里斯特尔·拜尔;马尔詹·西尔贾尼;法哈德·阿尔巴;简·拉特 43 2006 使用Rebeca对反应系统进行建模和验证。 Zbl 1082.68007号 马尔詹·西尔贾尼;阿里·莫瓦加尔;阿明·沙利;德波尔(Frank S。 12 2004 所有引用出版物 前5名被引用出版物 全部的 前5名114位作者引用 13 法哈德·阿尔巴 10 马尔詹·西尔贾尼 6 克里斯特尔·拜尔 6 克拉克、戴夫 5 卡罗琳·塔尔科特。 4 法特梅·加塞米 4 Klüppelholz,萨沙 4 克里斯蒂安·克劳斯 4 亚历山大·拉佐维克 3 马塞洛·玛丽亚·邦桑格 3 德波尔(Frank S。 3 埃里克·P·德文克。 3 穆罕默德·伊扎迪。 3 穆罕默德·马赫迪·贾古奥里 3 Lanese,伊万 3 孙孟 3 何塞·普伦萨 3 任尚平 2 大卫·布雷索林 2 罗伯托·布鲁尼 2 汤姆·乔西亚 2 Dokter,Kasper公司 2 法比奥·加杜奇 2 埃纳尔·布罗赫·约翰森 2 钟曼,宋世堂。 2 埃桑·卡梅斯帕纳 2 拉丁·科斯拉维 2 约阿希姆·克莱因 2 纳塔莉亚·科卡什 2 金·古德斯特兰·拉森 2 本杰明·利昂 2 穆罕默德·穆萨维 2 阿里·莫瓦加尔 2 Owe、Olaf 2 鲁道夫·施拉特 2 亚历山德拉·席尔瓦 2 塔皮娅·塔里法(Tapia Tarifa)、西尔维娅·利泽斯(Silvia Lizeth) 1 罗莎·阿巴斯 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 贾法尔Almasizadeh 1 苏珊娜·安多瓦 1 阿塞特夫·诺艾,勒克雷米奥拉 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 桑迪·巴拉格尔 1 巴博萨、路易斯·索亚雷斯 1 马可·安东尼奥·巴博萨 1 托拜厄斯·布莱希曼 1 西蒙·布利兹 1 帕特里夏·鲍耶 1 玛丽亚·艾米利亚·坎布罗内罗 1 卡米利,马特奥 1 洛伦佐·卡普拉 1 陈志远 1 安德烈亚·科拉迪尼 1 亚历山大·戴维 1 洛科·德尼古拉 1 格雷戈里奥·迪亚兹 1 奥斯马·马奇·多斯桑托斯 1 费尔南多·路易斯·多蒂 1 乌里·法伦贝格 1 冯慧 1 吉安·路易吉,法拉利 1 威廉·扬·福克金 1 卢西亚娜·福斯 1 吉迪,哈博姆·卡赛 1 埃里克·格里洛 1 鲁克·格罗内韦根(Luuk P.J.Groenewegen)。 1 一郎·哈索 1 约翰·哈特克利夫 1 侯赛因·霍贾特 1 黄洪涛 1 黄绍斌 1 巴特·雅各布斯 1 赛义德·贾利利 1 卡拉米,法尔扎内 1 斯蒂芬妮·坎佩尔 1 Khakpour、Narges 1 克里斯蒂安·科勒 1 李书豪 1 阿尔贝托·卢什·拉富恩特 1 德尔芬·朗盖 1 布鲁诺·多梅尼西亚诺·洛佩斯 1 吕天阳 1 赫梅内吉尔达·马西阿 1 Ziyan Maraikar 1 尼古拉斯·马基 1 迭戈·马姆斯勒 1 乌戈·蒙塔纳里。 1 月亮,Young-Joo 1 萨拉·纳维德普尔 1 布莱恩·尼尔森 1 乔尔·欧·瓦克宁。 1 胡安·何塞·帕尔多 1 巴赫曼·普瓦坦 1 罗萨里奥Pugliese 1 普辛斯卡斯·索利乌斯·普辛斯卡斯 1 托克塔姆,拉梅扎尼法尔卡尼 1 里贝罗,莱拉 1 简·J·M·M·鲁顿。 1 哈米德·萨布里 …还有14位作者 全部的 前5名13连载 16 计算机程序设计科学 6 程序设计中的逻辑和代数方法杂志 4 信息学报 3 计算的形式方面 2 系统设计中的形式化方法 2 计算机科学中的逻辑方法 1 计算机科学与技术杂志 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 国际计算机数学杂志 1 工程中的数学问题 1 逻辑与代数程序设计杂志 在4个字段中引用 62 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 系统论;控制(93至XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文