CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
November 2001
-
A signal-recovery system: asymptotic properties and construction of an infinite-volume process Article
Stochastic Processes and their Applications, 96(2), 177-190.December 2001
-
December 2001
-
Focus points and convergent process operators: a proof strategy for protocol verification Article
Journal of Logic and Algebraic Programming, 49(1-2), 31-60.December 2001
-
Een dag zonder fouten is een dag zonder wiskunde : rede uitgesproken t.g.v. het ambt van bijzonder hoogleraar Numerieke Wiskunde en Informatica, UvA, 07.12.2001 Inaugural Lecture
December 2001
-
December 2001 -
December 2001 -
Logic for Social Software Dissertation
December 2001