DOI,IST REx ID,Research Group,Title of publication
10.1145/3360550,10190,"GradSch,KrCh",Value-centric dynamic partial order reduction