Runtime Monitoring with Union-Find Structures. - Normann Decker; Jannis Harder 001; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (TACAS, 2016)

An Answer to the Bose-Nelson Sorting Problem for 11 and 12 Channels. - Jannis Harder 001 (CoRR, 2020)