DOI,IST REx ID,Research Group,Title of publication
10.1145/3572848.3577512,12736,"DaAl,GradSch",Unexpected scaling in path copying trees
10.1145/3558481.3591082,13262,"DaAl,GradSch",Provably-efficient and internally-deterministic parallel Union-Find
10.5281/ZENODO.7877757,14995,DaAl,Lincheck: A practical framework for testing concurrent data structures on JVM
10.1007/978-3-031-37706-8_8,14260,"DaAl,GradSch","Lincheck: A practical framework for testing concurrent data structures on JVM"
10.4230/LIPIcs.DISC.2023.35,14485,GradSch,Brief announcement: BatchBoost: Universal batching for concurrent data structures