Publication

Gradual grammars: Syntax in levels and locales In Proceedings

T. van der Storm (Tijs) and F. Hermans (Felienne)

A language-parametric approach to Exploratory Programming Environments In Proceedings

L.T. van Binsbergen (Thomas), D. Frölich (Damian), M. Verano Merino (Mauricio), J. Lai (Joey), P. Jeanjean (Pierre), T. van der Storm (Tijs), B. Combemale (Benoit) and O. Barais (Olivier)

Average-case verification of the quantum Fourier transform enables worst-case phase estimation Article

N. Linden (Noah) and R.M. de Wolf (Ronald)

Single-qubit loss-tolerant quantum position verification protocol secure against entangled attackers Tech Report

L. Escolà Farràs (Llorenç) and F. Speelman (Florian)

Explaining hierarchical features in dynamic point cloud processing In Proceedings

P. Gomes (Pedro), S. Rossi (Silvia) and L. Toni (Laura)

Sparsity-based algorithms for inverse problems Dissertation

P.S. Ganguly (Poulami)

Alles stroomt maar we weten niet hoe - NRC Handelsblad -10-12-2022 Magazine Article

Rond de Linde bijlage - Edsger Wybe Dijkstra - 22-12-2022 Magazine Article