CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A positive finite-difference advection scheme Article
Journal of Computational Physics, 117(1), 35-46.W. Hundsdorfer (Willem), B. Koren (Barry), M. van Loon (Martin) and J.G. Verwer (Jan)
January 1995 -
Reasoning about update logic Article
Journal of Philosophical Logic, 24(1), 19-45.January 1995 -
Control of a random walk with noisy delayed information Article
Systems & Control Letters, 24(3), 207-213.January 1995 -
On the morphology of $gamma$-expansions with deleted digits Article
Transactions of the American Mathematical Society, 955-966.January 1995 -
Using autoreducibility to separate complexity classes In Proceedings
H.M. Buhrman (Harry), L. Fortnow (Lance) and L. Torenvliet (Leen)
January 1995 -
January 1995
-
Self-stabilization of wait-free shared memory objects In Proceedings
J.H. Hoepman (Jaap-Henk), M. Papatriantafilou (Marina) and P. Tsigas (Philippas)
January 1995 -
January 1995