Centrum Wiskunde & Informatica

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
Multicellular aggregate organization as a result of mechanical cell-ECM interactions Presentation

E.G. Rens (Lisanne) and R.M.H. Merks (Roeland)

January 2015
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 (Extended Version). Tech Report

J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)

January 2015
Particle Swarm Software

H.J. Teunissen (Jannis) and A.B. Sun (Anbang)

January 2015
GIS Navigation Boosted by Column Stores Article

VLDB Journal, 8(12)

F. Alvanaki (Foteini), R.A. Pereira Goncalves (Romulo Antonio), M.G. Ivanova (Milena), M.L. Kersten (Martin) and K. Kyzirakos (Konstantinos)

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.

A. Schrijver (Lex)

January 2015

Previous

Next