DOI,IST REx ID,Research Group,Title of publication
10.1145/3447384,10855,DaAl,Input-dynamic distributed algorithms for communication networks
10.1145/3485541,10191,"GradSch,KrCh",The reads-from equivalence for the TSO and PSO memory models
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction