CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
On complex roots of the independence polynomial In Proceedings
F Bencs (Ferenc), P. Csikvári (Péter), P. Srivastava (Piyush) and J. Vondrák (Jan)
January 2023
-
Multiparty session typing in Java, deductively (Artifact) Software
J. Bouma (Jelle), C.P.T. de Gouw (Stijn) and S.-S.T.Q. Jongmans (Sung)
January 2023
-
Integrality gaps for random integer programs via discrepancy. In Proceedings
S.J. Borst (Sander), D.N. Dadush (Daniel) and D. Mikulincer (Dan)
January 2023
-
January 2023
-
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)
January 2023
-
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)
January 2023 -
joris-pries/DutchDraw Software|Data
January 2023
-
Twisted cohomology and likelihood ideals Tech Report
January 2023