History-based Specification and Verification of Java Collections in KeY: Proof Files Software

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

SIDN 6 miljoen .nl-domeinnamen geregistreerd - Business en IT - 22-06-2020 Magazine Article

Invited talk. "Temporal Challenges in HCI and Affective Computing” Presentation

A. El Ali (Abdallah)

Richtlijnen voor toegankelijkheid nu ook in het nederlands - ICTmagazine - 23-06-2020 Magazine Article

Fairness in Power Flow Network Congestion Management with Outer Matching and Principal Notions of Fair Division In Proceedings

B. Hekkelman (Brinn) and J.A. La Poutré (Han)

Exploitation activities from VRTogether awarded at ACM IMX 2020 Blogpost

Exploitation activities from VR Together awarded at ACM-IMX 2020 - 23-06-2020 - VRTogether Magazine Article

Exploitation activities from VR Together awarded at ACM-IMX 2020 - 23-06-2020 - VRTogether Magazine Article