丹·多布雷;拉希德·格拉乌伊;马提亚斯·马扬特克;内拉吉·苏里;马尔科·武科利奇 健壮原子存储的复杂性。 (英语) 兹比尔1321.68306 2011年6月6日至8日,美国加利福尼亚州圣何塞市,第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC’11。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0719-2)。59-68 (2011).MSC公司:65年第68季度 64岁以下 2010年第68季度 2017年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.Dobre}等人,in:第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC’11,美国加利福尼亚州圣何塞,2011年6月6-08日。纽约州纽约市:计算机协会(ACM)。59-68(2011年;Zbl 1321.68306) 全文: 内政部 链接
卡罗尔·德尔波特;Hugues的Fauconnier;拉希德·格拉乌伊;安娜·马里·科尔马雷克;埃里克·鲁珀特;洪特朗 拜占庭式的同音异义词协议。 (英语) Zbl 1321.68070号 2011年6月6日至8日,美国加利福尼亚州圣何塞市,第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC’11。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0719-2)。21-30 (2011).MSC公司:64岁以下 68米15 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Delport-Gallet}等人,in:第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集,PODC’11,美国加利福尼亚州圣何塞,2011年6月6日至8日。纽约州纽约市:计算机协会(ACM)。21-30(2011年;Zbl 1321.68070) 全文: 内政部 链接
费利克斯·C·弗雷林。;拉希德·格拉乌伊;彼得·库兹涅佐夫 故障检测器抽象。 (英语) Zbl 1293.68053号 ACM计算。Surv公司。 43,第2号,第4号论文,40页(2011年).MSC公司:64岁以下 68米15 68宽15 2002年8月 PDF格式BibTeX公司 XML格式引用 \textit{F.C.Freiling}等人,ACM计算。调查。43,第2号,第4号论文,40页(2011年;Zbl 1293.68053) 全文: 内政部 链接
Dan Alistarh;詹姆斯·阿斯彭斯;塞斯·吉尔伯特;拉希德·格拉乌伊 重命名的复杂性。 (英语) Zbl 1292.68151号 Ostrovsky,Rafail(编辑),2011年IEEE第52届计算机科学基础年会会议记录–FOCS 2011,加利福尼亚州棕榈泉,美国,10月22日至25日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-4571-4;978-1-4577-1843-4/电子书)。718-727 (2011).MSC公司:68宽15 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Alistarh}等人,in:2011年IEEE第52届计算机科学基础年会会议记录——FOCS 2011,加利福尼亚州棕榈泉市,美国,10月22日至25日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。718--727(2011年;Zbl 1292.68151) 全文: 内政部
哈吉特·阿提亚;拉希德·格拉乌伊;丹尼·亨德勒;彼得·库兹涅佐夫;Maged M.迈克尔。;马丁·维切夫 顺序法则、并发算法中昂贵的同步无法消除。 (英语) Zbl 1284.68423号 2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。487-498(2011年)。MSC公司:68问题85 68平方米 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{H.Attiya}等人,in:第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'11,美国德克萨斯州奥斯汀,2011年1月26-28日。纽约州纽约市:计算机协会(ACM)。487--498(2011年;Zbl 1284.68423) 全文: 内政部
拉希德·格拉乌伊;托马斯·亨辛格。;瓦苏·辛格 在放松记忆模型上验证STM。 (英语) Zbl 1247.68165号 形式方法系统。设计。 39,第3期,297-331(2011).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Guerraoui}等人,《表格方法系统》。设计。39,第3号,297--331(2011;Zbl 1247.68165) 全文: 内政部 链接
卡罗尔·德尔波特;Hugues的Fauconnier;拉希德·格拉乌伊;安德烈亚斯·蒂尔曼 对手的分歧力量。 (英语) Zbl 1231.68071号 分布计算。 24,第3-4137-147号(2011).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{C.Delport-Gallet}等人,《分布计算》。24,编号3--4,137-147(2011;Zbl 1231.68071) 全文: 内政部 哈尔
埃利·加夫尼;拉希德·格拉乌伊 广义普遍性。 (英语) Zbl 1343.68168号 Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学讲义6901,17-27(2011)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Gafni}和\textit{R.Guerraoui},莱克特。注释计算。科学。6901,17--27(2011;Zbl 1343.68168) 全文: 内政部
阿乔伊·K·达塔。(编辑);小弗朗克(编辑);拉希德·格拉乌伊(编辑) 专题:分布式系统的稳定性、安全性和安全性(SSS 2009)。根据2009年11月3日至6日在法国里昂举行的第十一届国际研讨会上的发言选出的论文。 (英语) Zbl 1221.68012号 西奥。计算。科学。412,第33期,4227-4371(2011)。 MSC公司:68-06 00B25型 64岁以下 68米15 PDF格式BibTeX公司 XML格式
保罗·阿蒂;拉希德·格拉乌伊;彼得·库兹涅佐夫;南希·林奇;塞尔吉奥·拉杰斯鲍姆 提高分布式服务弹性的可能性。 (英语) Zbl 1228.68015号 Inf.计算。 209,第6期,927-950(2011).MSC公司:64岁以下 68米15 PDF格式BibTeX公司 XML格式引用 \textit{P.Attie}等人,《信息计算》。209,第6号,927--950(2011;Zbl 1228.68015) 全文: 内政部
伊莱·加夫尼;拉希德·格拉乌伊;巴斯蒂安·波雄 早期确定集合协议的复杂性。 (英语) Zbl 1216.68128号 SIAM J.计算。 40,第1期,63-78(2011).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Gafni}等人,SIAM J.Compute。40,编号1,63--78(2011;Zbl 1216.68128) 全文: 内政部 链接 链接
克里斯蒂安·卡钦;拉希德·格拉乌伊;罗德里格斯,路易斯 介绍可靠和安全的分布式编程。第2版。 (英语) Zbl 1208.68001号 柏林:施普林格出版社(ISBN 978-3-642-15259-7/hbk;978-3-442-15260-3/电子书)。xix,第367页。(2011).MSC公司:68-01 64岁以下 68米15 68号30 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{C.Cachin}等人,《可靠和安全的分布式编程简介》。第二版,柏林:施普林格出版社(2011;Zbl 1208.68001) 全文: 内政部