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)

joris-pries/DutchDraw Software|Data

E.P. van de Bijl (Etienne)

Twisted cohomology and likelihood ideals Tech Report

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

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)

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

Roadmap Thematic Digital Competence Center v1.0 - Domain Natural and Engineering Sciences Report

A. Brown (Anthony), D. Groep (David), M. Teperek (Marta), I. Dedoussi (Irene), V.A. Sarkol (Vera) and W. Som de Cerff (Wim)

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