CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Brine transport in porous media: on the use of von Mises and similarity transformations Article
Computational Geosciences, 2(2), 125-149.January 1998
-
Checking verifications of protocols and distributed systems by computer In Proceedings
J.F. Groote (Jan Friso), F. Monin and J.C. van de Pol (Jaco)
January 1998 -
Computing distances between evolutionary trees Book Chapter
B. DasGupta (Bhaskar), X. He (Xin), T. Jiang (Tao), M. Li (Ming), J.T. Tromp (John) and L. Zhang (Louxin)
January 1998 -
Collecting real-life problems to test solvers for implicit differential equations Article
CWI Quarterly, 11(1), 83-100.January 1998 -
CWI contributions to the development of parallel Runge-Kutta methods Article
CWI Quarterly, 11(1), 33-53.January 1998 -
Hard sets are hard to find In Proceedings
January 1998 -
Beyond success and failure In Proceedings
January 1998 -
A generalization of resource-bounded measure, with an application (extended abstract) In Proceedings
H.M. Buhrman (Harry), D. van Melkebeek, K.W. Regan, D. Sivakumar and M. Strauss
January 1998