Learning Graph Neural Networks using Exact Compression. - Jeroen Bollen; Jasper Steegmans; Jan Van den Bussche; Stijn Vansummeren (GRADES-NDA@SIGMOD, 2023)

Halting Recurrent GNNs and the Graded μ-Calculus. - Jeroen Bollen; Jan Van den Bussche; Stijn Vansummeren; Jonni Virtema (CoRR, 2025)