Publication

Dynamic separation logic Tech Report

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

Nederland 35 jaar geleden als eerste in Europa op het publieke internet - WINMAG Pro - 18-11-2023 Magazine Article

Threshold-based algorithms for an online rolling horizon framework under uncertainty - With an application to energy management Tech Report

J. Hönen (Jens), J.L. Hurink (Johann) and A.P. Zwart (Bert)

Grid-aware real-time control and balancing between microgrids Tech Report

J. Hönen (Jens), J.L. Hurink (Johann) and A.P. Zwart (Bert)

Nederland 35 jaar geleden als eerste in Europa op het publieke internet - e-Totaal - 20-11-2023 Magazine Article

Nederland 35 jaar geleden als eerste in Europa op het publieke internet - Pont Data & Privacy web - 20-11-2023 Magazine Article

The Semantic Web – ISWC 2023 Proceedings

New lower bounds on crossing numbers of Km,n from semidefinite programming Article

D. Brosch and S.C. Polak (Sven)