艾尔维拉·阿尔伯特;弗洛雷斯·蒙托亚,安东尼奥;萨米尔·根奈姆;恩里克·马丁·马汀 May-happen基于参与者的并发并行分析。 (英语) Zbl 1367.68056号 ACM事务处理。计算。日志。 17,第2号,第11条,39页(2016年).MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,ACM Trans。计算。日志。17,第2号,第11条,39页(2016年;Zbl 1367.68056) 全文: 内政部
达米亚诺·扎纳尔迪尼;萨米尔·根奈姆 场敏感可达性和周期性的推断。 (英语) Zbl 1354.68035号 ACM事务处理。计算。日志。 第15号第4条第33条第41页(2014年).MSC公司:68甲15 03B70号 68第05页 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Zanardini}和\textit{S.Genaim},ACM翻译。计算。日志。15,第4号,第33条,第41页(2014;Zbl 1354.68035) 全文: 内政部 arXiv公司
艾尔维拉·阿尔伯特;萨米尔·根奈姆;阿布·纳赛尔·马苏德 关于资源使用上限和下限的推断。 (英语) Zbl 1353.68045号 ACM事务处理。计算。日志。 第14条第3款第22条第35页(2013年).MSC公司:68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,ACM Trans。计算。日志。14,第3号,第22条,第35页(2013;Zbl 1353.68045) 全文: 内政部
萨米尔·根奈姆;安迪·金 用动态调度推断逻辑程序的非暂停条件。 (英语) Zbl 1367.68033号 ACM事务处理。计算。日志。 第9号第3条第17条第43页(2008年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Genaim}和\textit{A.King},ACM翻译。计算。日志。9,第3号,第17条,43页(2008年;Zbl 1367.68033) 全文: 内政部 链接