DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2016.6,1095,ToHe,Local linearizability for concurrent container-type data structures