DOI,IST REx ID,Research Group,Title of publication
10.1145/2287718.2287727,2967,ToHe,Algorithmic analysis of array-accessing programs