Accelerating Nested Data Parallelism: Preserving Regularity. - Lars B. van den Haak; Trevor L. McDonell; Gabriele K. Keller; Ivo Gabe de Wolff (Euro-Par, 2020)

Formal Methods for GPGPU Programming: Is the Demand Met? - Lars B. van den Haak; Anton Wijs; Mark van den Brand; Marieke Huisman (IFM, 2020)

A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. - Jan Martens 001; Jan Friso Groote; Lars B. van den Haak; Pieter Hijma; Anton Wijs (FACS, 2021)

Linear parallel algorithms to compute strong and branching bisimilarity. - Jan Martens 001; Jan Friso Groote; Lars B. van den Haak; Pieter Hijma; Anton Wijs (Softw. Syst. Model., 2023)

The VerCors Verifier: A Progress Report. - Lukas Armborst; Pieter Bos; Lars B. van den Haak; Marieke Huisman; Robert Rubbens; Ömer Sakar; Philip Tasche (CAV (2), 2024)

Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. - Lars B. van den Haak; Anton Wijs; Marieke Huisman; Mark van den Brand (FMICS, 2024)

HaliVer: Deductive Verification and Scheduling Languages Join Forces. - Lars B. van den Haak; Anton Wijs; Marieke Huisman; Mark van den Brand (TACAS (3), 2024)