Publication

The logic of separation logic: Models and proofs In Proceedings

F.S. de Boer (Frank), H.A. Hiep (Hans-Dieter) and C.P.T. de Gouw (Stijn)

Ai -en databedrijf Databricks haalt 500 miljoen op - Computable - 15-9-2023 Magazine Article

Simulation study on surface charge distribution characteristics of surface discharges in air Article

X. Li (Xiaoran), Y. Zhang (Yaqi), Y. Guo (Yulin) and A.B. Sun (Anbang)

Constructing phylogenetic networks via cherry picking and machine learning Article

G. Bernardini (Giulia), L.J.J. van Iersel (Leo), E. Julien (Esther) and L. Stougie (Leen)

Shuffling posets on trajectories Tech Report

L.J. Edixhoven (Luc)

Non-adaptive measurement-based quantum computation on IBM Q Article

J. Mackeprang (Jelena), D. Bhatti (Daniel) and S. Barz (Stefanie)

Unravelling a 17th-century prison escape: The quest to identify the original Hugo Grotius bookchest Tech Report

M. Domínguez-Delmás (Marta), P. van Duin (Paul), J. Dorscheid (Jan), F.G. Bossema (Francien), K.J. Batenburg (Joost) and R. van Langh (Robert)

Affective driver-pedestrian interaction: Exploring driver affective responses toward pedestrian crossing actions using camera and physiological sensors In Proceedings

S. Rao (Shruti), S. Wirjopawiro (Sabrina), G. Pons Rodriguez (Gerard), T. Röggla (Thomas), P.S. César Garcia (Pablo Santiago) and A. El Ali (Abdallah)