DOI,IST REx ID,Research Group,Title of publication
10.4204/EPTCS.259.3,549,ToHe,Causality-based model checking
10.1007/978-3-319-41540-6_13,1391,ToHe,Array folds logic