Centrum Wiskunde & Informatica

Zal de computer ons opnieuw te slim af zijn? - interview met Paul Klint Magazine Article

P. Klint (Paul)

February 2011
SAT-based verification for timed component connectors Article

Science of Computer Programming

S. Kemper (Stephanie)

February 2011
Computations and interaction In Proceedings

J.C.M. Baeten (Jos), S.P. Luttik (Bas) and P.J.A. van Tilburg (Paul)

February 2011
Het begin van een ijstijd voor ICT-onderzoek? Article

I/O ICT Onderzoek, 8(1), 17-17.

P. Klint (Paul)

February 2011
Regenerative processes Book Chapter

M. Vlasiou (Maria)

February 2011
A combined topical/non-topical approach to identifying web sites for children In Proceedings

C. Eickhoff (Carsten), P. Serdyukov and A.P. de Vries (Arjen)

February 2011
Renewal processes with costs and rewards Book Chapter

M. Vlasiou (Maria)

February 2011
Deliverable D7.1 Project website Tech Report

L. Nixon (Lyndon) and M. Bauer (Matthias)

February 2011

Previous

Next