Khakpour、Narges;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维 进化自适应系统的形式化建模。 (英语) Zbl 1264.68131号 科学。计算。程序。 78,第1期,3-26(2012).MSC公司:68T05型 68号30 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Khakpour}等人,科学。计算。程序。78,第1号,第3--26号(2012;Zbl 1264.68131) 全文: DOI程序
巴赫曼·普瓦坦;马尔詹·西尔贾尼;侯赛因·霍贾特;法哈德·阿尔巴 使用约束自动机的Reo电路的符号执行。 (英语) Zbl 1242.68073号 科学。计算。程序。 77,编号7-8,848-869(2012).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Pourvatan}等人,科学。计算。程序。77,编号7--8848-869(2012;Zbl 1242.68073) 全文: DOI程序
阿巴布,法哈德(编辑);马尔詹·西尔贾尼(编辑) 特刊:FSEN'09。根据2009年4月15日至17日在伊朗基什举行的第三届IPM软件工程基础国际研讨会上的演讲选出的论文。 (英语) Zbl 1246.68020号 科学。计算。程序。77,编号7-8,887-967(2012)。 MSC公司:68-06 00时25分 68号30 PDF格式BibTeX公司 XML格式
Salaün,格温(编辑);马尔詹·西尔贾尼(编辑) 专题:协调语言和软件架构的基础。2009年7月11日,在希腊罗德斯举行的第八届国际研讨会(FOCLASA'09)上,根据研讨会上的陈述,选出了一些论文。 (英语) Zbl 1246.68056号 科学。计算。程序。77,编号7-8,777-886(2012)。 MSC公司:68-06 00时25分 68新元 PDF格式BibTeX公司 XML格式
帕斯卡·波扎特(编辑);马尔詹·西尔贾尼(编辑);卡洛斯·卡纳尔(编辑) 特刊:2008年7月13日在冰岛雷克雅未克举行的第七届协调语言和软件架构基础国际研讨会(FOCLASA'08)。精选论文。 (英语) Zbl 1218.68028号 科学。计算。程序。76,第8期,627-735(2011)。 MSC公司:68-06 00时25分 68甲15 68号30 68问题85 PDF格式BibTeX公司 XML格式
卡罗琳·塔尔科特;马尔詹·西尔贾尼;任尚平 比较三种协调模式:Reo、ARC和PBRD。 (英语) Zbl 1211.68056号 科学。计算。程序。 76,第1期,3-22(2011).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Talcott}等人,科学。计算。程序。76,第1号,第3--22号(2011;Zbl 1211.68056) 全文: DOI程序
哈米德·萨布里;马尔詹·西尔贾尼 基于行动者的切片技术,可有效减少Rebeca模型。 (英语) 兹比尔1214.68223 科学。计算。程序。 75,第10号,811-827(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Sabouri}和\textit{M.Sirjani},科学。计算。程序。75,第10号,811--827(2010;Zbl 1214.68223) 全文: DOI程序
拜尔,克里斯特尔;马尔詹·西尔贾尼;法哈德·阿尔巴;简·拉特 通过约束自动机在Reo中建模组件连接器。 (英语) Zbl 1105.68058号 科学。计算。程序。 61,第2期,75-113(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,科学。计算。程序。61,No.2,75--113(2006;Zbl 1105.68058) 全文: DOI程序 链接