Publication

Proving correctness of parallel implementations of transition system specifications Tech Report

F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), V.K.I. Pun (Violet Ka) and S.L. Tapia Tarifa (Lizeth)

Going green: Optimizing GPUs for energy efficiency through model-steered auto-tuning In Proceedings

RA Schoonhoven (Richard), A.J.P. Veenboer (Bram), B.J.C. van Werkhoven (Ben) and K.J. Batenburg (Joost)

Twisted cohomology and likelihood ideals Tech Report

S. Matsubara-Heo (Saiei-Jaeyeong) and S.J.L. Telen (Simon)

joris-pries/DutchDraw Software|Data

E.P. van de Bijl (Etienne)

Gratis software voor dataverwerking - de Ingenieur - 31-1-2023 Magazine Article

Report on the 1st workshop on measuring the Quality of Explanations in Recommender Systems (QUARE 2022) at SIGIR 2022 Article

A. Piscopo (Alessandro), O. Inel (Oana), S. Vrijenhoek (Sanne), M. Millecamp (Martijn) and K. Balog (Krisztian)

Volledig automatische robuuste en complexe software creëren, is geen heilige graal - AG Connect - 1-2-2023 Magazine Article

Epic fail: Emulators can tolerate polynomially many edge faults for free. In Proceedings

G. Bodwin (Greg), M. Dinitz and Y Nazari (Yasamin)