Multiparty session typing in Java, deductively (Artifact) Software

J. Bouma (Jelle), C.P.T. de Gouw (Stijn) and S.-S.T.Q. Jongmans (Sung)

Invited talk: “Connecting People” Presentation

P.S. César Garcia (Pablo Santiago)

Integrality gaps for random integer programs via discrepancy. In Proceedings

S.J. Borst (Sander), D.N. Dadush (Daniel) and D. Mikulincer (Dan)

Invited Talk: “QoE for immersive communication” Presentation

I. Viola (Irene)

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)

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

Twisted cohomology and likelihood ideals Tech Report

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