Centrum Wiskunde & Informatica

Complementarity modeling of hybrid systems Tech Report

A.J. van der Schaft and J.M. Schumacher (Hans)

January 1996
Similarity and symmetry measures for convex sets based on Minkowski addition Tech Report

H.J.A.M. Heijmans (Henk) and A. Tuzikov

January 1996
A note on negative customers, GI/G/1 workload, and risk processes Tech Report

R.J. Boucherie (Richard), O.J. Boxma (Onno) and K. Sigman

January 1996
The Leibniz-Hopf algebra and Lyndon words Tech Report

M. Hazewinkel (Michiel)

January 1996
Continuation of stationary solutions to evolution problems in CONTENT Tech Report

Y.A. Kuznetsov, V.V. Levitin and A.R. Skovoroda

January 1996
Waveform relaxation methods for implicit differential equations Tech Report

P.J. van der Houwen (Piet) and W.A. van der Veen (Wolter)

January 1996
A linear-time transformation of linear inequalities into conjunctive normal form Tech Report

J.P. Warners (Joost)

January 1996
Implicit induction techniques for the verification of PIM : a transformational toolkit for compilers Tech Report

D. Naidich and T.B. Dinesh

January 1996

Previous

Next