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 compositional model for confluent dynamic data-flow networks In Proceedings

F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2000
Quantum Kolmogorov complexity In Proceedings

A. Berthiaume, W. van Dam (Wim) and S. Laplante

January 2000
New bounds for the language compression problem In Proceedings

H.M. Buhrman (Harry), S. Laplante and P.B. Miltersen

January 2000
An $omega$-complete equational specification of interleaving (extended abstract) In Proceedings

W.J. Fokkink (Wan) and S.P. Luttik (Bas)

January 2000
Resource augmentation in load balancing In Proceedings

Y. Azar, L. Epstein (Lea) and R. van Stee (Rob)

January 2000
The sparse-grid combination technique applied to time-dependent advection problems In Proceedings

B. Lastdrager, B. Koren (Barry) and J.G. Verwer (Jan)

January 2000
Average-case quantum query complexity In Proceedings

A. Ambainis (Andris) and R.M. de Wolf (Ronald)

January 2000
The propositional formula checker HeerHugo Article

Journal of Automated Reasoning, 24(1-2), 101-125.

J.F. Groote (Jan Friso) and J.P. Warners (Joost)

January 2000

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