DOI,IST REx ID,Research Group,Title of publication
10.18420/se2026_45,22622,ToHe,Off-the-Shelf cooperative software verification by splitting programs dynamically
10.15479/AT-ISTA-20471,20471,SyCr,Altruistic disease signalling in ant colonies