Publication

High-fidelity metaprogramming with separator syntax trees In Proceedings

R.T.A. Aarssen (Rodin) and T. van der Storm (Tijs)

Parameter estimation in random energy systems using data assimilation Dissertation

S. Ruchi (Sangeetika)

A tutorial on verifying LinkedList using KeY: Video material Online Video

J. Bian (Jinting) and H.A. Hiep (Hans-Dieter)

An end-to-end deep learning approach for landmark detection and matching in medical images Tech Report

M. Grewal (Monika), T.M. Deist (Timo), J. Wiersma (Jan), P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

Convergence analysis of a Lasserre hierarchy of upper bounds for polynomial minimization on the sphere Article

E. de Klerk (Etienne) and M. Laurent (Monique)

Computable:Ict-onderzoeker-Pablo-Cesar-wint-50000-euro Magazine Article

Dutch IT Channel: Pablo Cesar wint Nederlandse prijs voor ICT onderzoek 2020 Magazine Article

AG Connect: Pablo Cesar wint Nederlandse prijs voor ICT onderzoek Magazine Article