Centrum Wiskunde & Informatica

Nuovo DRM Paradiso: Towards a verified, fair DRM protocol In Proceedings

H.L. Jonker (Hugo), M.T. Dashti (Mohammad) and S.K. Nair

January 2006
What is algebraic in process theory? Article

Bulletin of the EATCS

S.P. Luttik (Bas)

January 2006
Countering Digital Forensics: An Identity Based Ephemerizer Cryptosystem Tech Report

S.K. Nair, C. Gamage, M.T. Dashti (Mohammad), B. Crispo and A.S. Tanenbaum (Andrew)

January 2006
Ariadne: a framework for reachability analysis of hybrid automata In Proceedings

A. Balluchi, A. Casagrande, P.J. Collins (Pieter), A. Ferrari, T. Villa and A. Sangiovanni-Vincentelli

January 2006
Controlling a class of nonlinear systems on rectangles Article

IEEE Transactions on Automatic Control, 1749-1759.

C. Belta and L.C.G.J.M. Habets (Luc)

January 2006
Reduced mixing generates oscillations and chaos in the oceanic deep chlorophyll maximum Article

Nature, 322-325.

J. Huisman, N.N. Pham Thi (Nga), D. Karl and B.P. Sommeijer (Ben)

January 2006
Zoekende vingers van de bliksem Book Chapter

U. Ebert (Ute)

January 2006
Kolmogorov complexity research and PhD defence of T. Lee Article

Automatisering Gids

H.M. Buhrman (Harry)

January 2006

Previous

Next