Publication
-
A numerical study for global atmospheric transport-chemistry problems Article
Mathematics and Computers in Simulation, 48(2), 177-204.January 1998
-
Functions computable with nonadaptive queries to $N{m P}$ Article
Theory of Computing Systems, 31(1), 77-92.January 1998
-
A resolution decision procedure for the guarded fragment In Proceedings
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.January 1998 -
January 1998
-
Analysis of the asymmetrical shortest two-server queueing model Article
Journal of Applied Mathematics and Stochastic Analysis, 11(2), 115-162.January 1998 -
Parallel methods for nonstiff VIDEs Article
Journal of Integral Equations and Applications, 10(4), 503-515.January 1998 -
The essence of constraint propagation Article
CWI Quarterly, 11(2-3), 215-248.January 1998