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 transition system semantics for the control-driven coordination language Manifold Article
Theoretical Computer Science, 240(1), 3-47.M.M. Bonsangue (Marcello), F. Arbab (Farhad), J.W. de Bakker (Jaco), J.J.M.M. Rutten (Jan), A. Scutellà and G. Zavattaro (Gianluigi)
January 2000
-
Asymptotic estimates for generalized Stirling numbers Article
Analysis, 20(1), 1-13.January 2000 -
Uniqueness conditions in a hyperbolic model for oil recovery by steamdrive Article
Computational Geosciences, 4(1), 65-98.January 2000
-
Separating complexity classes using autoreducibility Article
SIAM Journal on Computing, 29(5), 1497-1520.H.M. Buhrman (Harry), L. Fortnow (Lance), D. van Melkebeek and L. Torenvliet (Leen)
January 2000 -
On a crossroad of resampling plans: bootstrapping elementary symmetric polynomials Article
Statistica Neerlandica, 54(1), 100-110.January 2000 -
Cellular buckling in long structures. The theme of solitary waves and localization phenomena in elastic structures Article
Journal of Nonlinear Dynamics and Chaos in Engineering Systems, 21(1), 3-29.G.W. Hunt, M.A. Peletier (Mark), A.R. Champneys, P.D. Woods, M.A. Wadee, C.J. Budd and G.J. Lord
January 2000 -
$ \epsilon $ -uniform schemes with high-order time-accuracy for parabolic singular perturbation problems Article
IMA Journal of Numerical Analysis, 20(1), 99-121.P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina
January 2000 -
Diagonally implicit Runge-Kutta methods for 3D shallow water applications Article
Advances in Computational Mathematics, 12(2-3), 229-250.January 2000