CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Presenting Distributive Laws Article
Logical Methods in Computer Science, 11(3)M.M. Bonsangue (Marcello), H.H. Hansen (Helle), A. Kurz (Alexander) and J.C. Rot (Jurriaan)
January 2015
-
A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning In Proceedings
J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)
January 2015
-
Streamer discharge inception in a sub-breakdown electric field from a dielectric body with a frequency dependent dielectric permittivity In Proceedings
A. A. Dubinova (Anna), C. Rutjes (Casper) and U. Ebert (Ute)
January 2015
-
Coupling discharge and gas dynamics in streamer-less spark formation on the example of supercritical N2 In Proceedings
A. Agnihotri (Ashutosh), W. Hundsdorfer (Willem) and U. Ebert (Ute)
January 2015
-
Coordinating multicore computing In Proceedings
January 2015
-
Pore REconstruction and Segmentation (PORES) method for improved porosity quantification of nanoporous materials Article
Ultramicroscopy, 10-19.G. Van Eyndhoven (Geert), M. Kurttepeli, C.J. van Oers, P. Cool (Pegie), S. Bals (Sara), K.J. Batenburg (Joost) and J. Sijbers (Jan)
January 2015
-
The Strong Price of Anarchy of Linear Bottleneck Congestion Games Article
Theory of Computing Systems, 57(2), 377-396.B. de Keijzer (Bart), G. Schäfer (Guido) and O. Telelis (Orestis)
January 2015
-
Characterizing partition functions of the edge-coloring model by rank growth Article
Journal of Combinatorial Theory - Series A, 164-173.January 2015