Publication
-
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
-
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 -
Chaotic iteration for polynomial constraints Article
CWI Quarterly, 11(2-3), 249-272.January 1998
-
On the asymmetric clocked buffered switch Article
Queueing Systems, 30(3-4), 385-404.January 1998
-
Constraint satisfaction---a survey Article
CWI Quarterly, 11(2-3), 123-161.January 1998