Publication
-
Quantum fingerprinting Article
Physical Review Letters, 87(16), 1-4.October 2001 -
HAVi components in digital television Master Thesis
November 2001
-
Critical conditions for phytoplankton blooms Article
Bulletin of Mathematical Biology, 63(6), 1095-1124.November 2001 -
Improving media fragment integration in emerging web formats In Proceedings
November 2001 -
November 2001
-
November 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