DOI,IST REx ID,Research Group,Title of publication
10.1145/1966445.1966476,3358,ToHe,Scheduling large jobs by abstraction refinement