Publication

Workshop Herman te Riele: computational number theory, 01-02.12.2011 : uitnodiging Booklet

High order fluid model for ionization fronts in streamer discharges In Proceedings

The Meaningful Use of Big Data: Four Perspectives - Four Challenges Article

C. Bizer, P.A. Boncz (Peter), M Brodie and O. Erling (Orri)

On the final coalgebra of automatic sequences Tech Report

C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

CWI Praethuys vrijdag 2 december om 16.00 uur ter gelegenheid van de pensionering van Herman te Riele : [Poster] Poster

Model checking of component connectors Dissertation

M. Izadi (Mohammad)

Ambiguity Detection for Programming Language Grammars Dissertation

H.J.S. Basten (Bas)

Feest / reünie t.g.v. CWI 65 jaar, 16.12.2011 : aankondiging [Postcard] Other