DOI,IST REx ID,Research Group,Title of publication
10.1145/2429069.2429109,2181,ToHe,Quantitative relaxation of concurrent data structures