DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-57256-2_20,15333,ToHe,Bubaak-SpLit: Split what you cannot verify (Competition contribution)
10.1007/978-3-031-57256-2_8,15376,ToHe,Auction-based scheduling
10.1007/978-3-031-57256-2_11,15377,ToHe,Rabin games and colourful universal trees