1.Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs That Use Concurrent Objects

作　　者：Hagit Attiya ;Constantin Enea

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;146:1-17.doi:10.4230/LIPIcs.DISC.2019.2

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：240116398

文章详细全文下载

2.Privatization-Safe Transactional Memories

作　　者：Artem Khyzha ;Hagit Attiya ;Alexey Gotsman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;146:1-17.doi:10.4230/LIPIcs.DISC.2019.24

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：240116420

文章详细全文下载

3.Front Matter, Table of Contents, Preface, Conference Organization

作　　者：Hagit Attiya

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;179:1-18.doi:10.4230/LIPIcs.DISC.2020.0

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：256859568

文章详细全文下载

4.Lower Bounds on the Amortized Time Complexity of Shared Objects

作　　者：Hagit Attiya ;Arie Fouren

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;95:16:1-16:18.doi:10.4230/LIPIcs.OPODIS.2017.16

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015308

文章详细

5.Remote Memory References at Block Granularity

作　　者：Hagit Attiya ;Gili Yavneh

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;95:18:1-18:17.doi:10.4230/LIPIcs.OPODIS.2017.18

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015310

文章详细

6.Optimal Resilience in Systems That Mix Shared Memory and Message Passing

作　　者：Hagit Attiya ;Sweta Kumari ;Noa Schiller

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;184:16:1-16:16.doi:10.4230/LIPIcs.OPODIS.2020.16

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：259385576

文章详细全文下载

7.Locally Solvable Tasks and the Limitations of Valency Arguments

作　　者：Hagit Attiya ;Armando Casta{~n}eda ;Sergio Rajsbaum

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;184:18:1-18:16.doi:10.4230/LIPIcs.OPODIS.2020.18

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：259385578

文章详细全文下载

8.Nontrivial and Universal Helping for Wait-Free Queues and Stacks

作　　者：Hagit Attiya ;Armando Castaneda ;Danny Hendler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;46:1-16.doi:10.4230/LIPIcs.OPODIS.2015.31

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847991

文章详细全文下载

9.Poly-Logarithmic Adaptive Algorithms Require Unconditional Primitives

作　　者：Hagit Attiya ;Arie Fouren

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;46:1-16.doi:10.4230/LIPIcs.OPODIS.2015.36

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847996

文章详细全文下载

	有本地全文	7篇
	有全文链接	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Hagit Attiya")))) )) ) )"

	Hagit Attiya	9篇
	Arie Fouren	2篇
	Alexey Gotsman	1篇
	Armando Castaneda	1篇
	Armando Casta{~n}eda	1篇

	Artem Khyzha	1篇
	Constantin Enea	1篇
	Danny Hendler	1篇
	Gili Yavneh	1篇
	Noa Schiller	1篇
	Sergio Rajsbaum	1篇
	Sweta Kumari	1篇