Centrum Wiskunde & Informatica

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

Elements of applied bifurcation theory Book

Y.A. Kuznetsov

January 1998

Parallel methods for nonstiff VIDEs Article

Journal of Integral Equations and Applications, 10(4), 503-515.

P.J. van der Houwen (Piet)

January 1998

The essence of constraint propagation Article

CWI Quarterly, 11(2-3), 215-248.

K.R. Apt (Krzysztof)

January 1998

Chaotic iteration for polynomial constraints Article

CWI Quarterly, 11(2-3), 249-272.

E.B.G. Monfroy

January 1998

On the asymmetric clocked buffered switch Article

Queueing Systems, 30(3-4), 385-404.

J.W. Cohen

January 1998

Constraint satisfaction---a survey Article

CWI Quarterly, 11(2-3), 123-161.

Z.M. Ruttkay

January 1998

CWI Institutional Repository

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

Elements of applied bifurcation theory Book

Parallel methods for nonstiff VIDEs Article

The essence of constraint propagation Article

Chaotic iteration for polynomial constraints Article

On the asymmetric clocked buffered switch Article

Constraint satisfaction---a survey Article

Address

CWI researchers

Questions or comments?

CWI Institutional Repository

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

Elements of applied bifurcation theory Book

Parallel methods for nonstiff VIDEs Article

The essence of constraint propagation Article

Chaotic iteration for polynomial constraints Article

On the asymmetric clocked buffered switch Article

Constraint satisfaction---a survey Article

Workflow

Workflow

Add Content