DOI,IST REx ID,Research Group,Title of publication
10.1145/3158119,10417,KrCh,Data-centric dynamic partial order reduction