Publication
-
Content independence in multimedia databases Article
Journal of the American Society for Information Science and Technology, 52(11), 954-960.January 2001
-
Generalized overlapping shuffle algebras Article
Journal of Mathematical Sciences, 106(4), 3168-3186.January 2001
-
A rewriting approach to binary decision diagrams Article
Journal of Logic and Algebraic Programming, 49(1-2), 61-86.January 2001
-
January 2001
-
An introduction to stochastic geometry In Proceedings
January 2001
-
January 2001
-
mCRL: a toolset for analysing algebraic specifications In Proceedings
January 2001
-
Just-in-time : on strategy annotations Article
Electronic Notes in Theoretical Computer Science, 1-23.January 2001