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

A slicing-based approach for locating type errors Tech Report

T.B. Dinesh and F. Tip (Frank)

January 1998
A mathematical model for the dissolution of particles in multi-component alloys Tech Report

F.J. Vermolen and C. Vuik

January 1998
Automatic phase detection in seismic data using the discrete wavelet transform Tech Report

P.J. Oonincx

January 1998
Multiresolution signal decomposition schemes Tech Report

J. Goutsias (John) and H.J.A.M. Heijmans (Henk)

January 1998
Formulas as programs Tech Report

K.R. Apt (Krzysztof) and M.A. Bezem

January 1998
Coordination of heterogeneous distributed cooperative constraint solving Tech Report

F. Arbab (Farhad) and E.B.G. Monfroy

January 1998
A note on coinduction and weak bisimilarity for while programs Tech Report

J.J.M.M. Rutten (Jan)

January 1998
Bisimulation for probabilistic transition systems : a coalgebraic approach Tech Report

E.P. de Vink (Erik) and J.J.M.M. Rutten (Jan)

January 1998

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