Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

Introduction to program verification Tech Report

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1990
The basic reproduction ratio for sexually transmitted diseases, part I: theoretical considerations Tech Report

O. Diekmann (Odo), K. Dietz and J.A.P. Heesterbeek (Hans)

January 1990
A proof of the relativized, non-metric form of Furstenberg's structure theorem Tech Report

J. de Vries (Jan)

January 1990
Twisted Yangians and infinite-dimensional classical Lie algebras Tech Report

G.I. Olshanskii

January 1990
Complex Lie semigroups, Hardy spaces and the Gelfand-Gindikin program Tech Report

G.I. Olshanskii

January 1990
Adjoints of semigroups acting on vector-valued function spaces Tech Report

G. Greiner and J.M.A.M. van Neerven (Jan)

January 1990
A new lower bound approach for single-machine multicriteria scheduling Tech Report

J.A. Hoogeveen and S.L. van de Velde

January 1990
Stability of collocation-based Runge-Kutta-Nyström methods Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and N. Cong

January 1990

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close