Publication

Towards gradual multiparty session typing In Proceedings

S.-S.T.Q. Jongmans (Sung)

New AUAs research lab to work at crossroads of artificial intelligence, media and democracy - Science Business - 20-09-2022 Magazine Article

A computational study of accelerating, steady and fading negative streamers in ambient air Article

B. Guo (Baohong), X. Li (Xiaoran), U. Ebert (Ute) and H.J. Teunissen (Jannis)

The Discourje project: run-time verification of communication protocols in Clojure Article

R. Hamers (Ruben), E. Horlings (Erik) and S.-S.T.Q. Jongmans (Sung)

Overheid zet flink in op databescherming tegen kwantumgeweld - AG Connect - 20-09-2022 Magazine Article

NWO honoreert acht aanvragen voor wetenschappelijke bijeenkomsten en ontmoetingen - NWO - 21-09-2022 Magazine Article

How close does it get? From near-optimal network algorithms to suboptimal equilibrium outcomes Dissertation

K.R. Brokkelkamp (Ruben)

Estimating the hidden overheads in the BDGL lattice sieving algorithm In Proceedings

L. Ducas (Léo)