Centrum Wiskunde & Informatica

Numerical modelling of strongly anisotropic dissipative effects in MHD In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

January 2012
Cryptanalysis of MD5 and SHA-1 Lecture

M.M.J. Stevens (Marc)

January 2012
Polling systems with batch service Article

OR Spectrum, 743-761.

J.-P.L. Dorsman (Jan-Pieter), R.D. van der Mei (Rob) and E.M.M. Winands

January 2012
SciQL - Bridging the Gap between Science and Relational DBMS Presentation

Y. Zhang (Ying)

January 2012
Domain-Specific Optimization in Digital Forensics In Proceedings

J. van den Bos (Jeroen) and T. van der Storm (Tijs)

January 2012
Turing machines and understanding computational complexity Tech Report

P.M.B. Vitányi (Paul)

January 2012
Automated Verification of Recursive Programs with Pointers In Proceedings

F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and J.C. Rot (Jurriaan)

January 2012
Termination detection for active objects Article

Journal of Logic and Algebraic Programming, 81(4)

F.S. de Boer (Frank), I. Grabe (Immo) and M. Steffen

January 2012

Previous

Next