Centrum Wiskunde & Informatica

Verification of temporal properties of processes in a setting with data Tech Report

J.F. Groote (Jan Friso) and R. Mateescu

January 1998
Uniqueness conditions in a hyperbolic model for oil recovery by steamdrive Tech Report

J. Bruining and C.J. van Duijn (Hans)

January 1998
Recent problems from uniform asymptotic analysis of integral in particular in connection with Tricomi's $ Psi $ -function Tech Report

N.M. Temme (Nico)

January 1998
HPCN and air quality modeling Tech Report

J.G. Blom (Joke), W.M. Lioen (Walter) and J.G. Verwer (Jan)

January 1998
A numerical study for global atmospheric transport-chemistry problems Article

Mathematics and Computers in Simulation, 48(2), 177-204.

E.J. Spee (Edwin), J.G. Verwer (Jan), P.M. de Zeeuw (Paul), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

January 1998
Functions computable with nonadaptive queries to $N{m P}$ Article

Theory of Computing Systems, 31(1), 77-92.

H.M. Buhrman (Harry), J. Kadin and T. Thierauf

January 1998
A resolution decision procedure for the guarded fragment In Proceedings

H. de Nivelle

January 1998
A heavy-traffic theorem for the $GI/G/1$ queue with a Pareto-type service time distribution Article

Journal of Applied Mathematics and Stochastic Analysis, 11(3), 247-254.

J.W. Cohen

January 1998

Previous

Next