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

CWI Institutional Repository

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

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

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

HPCN and air quality modeling Tech Report

A numerical study for global atmospheric transport-chemistry problems Article

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

A resolution decision procedure for the guarded fragment In Proceedings

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

Address

CWI researchers

Questions or comments?

CWI Institutional Repository

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

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

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

HPCN and air quality modeling Tech Report

A numerical study for global atmospheric transport-chemistry problems Article

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

A resolution decision procedure for the guarded fragment In Proceedings

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

Workflow

Workflow

Add Content