Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

JITty: a Rewriter with Strategy Annotations In Proceedings

J.C. van de Pol (Jaco)

January 2002
Review of "Mathematical logic for computer science (second revised edition)" by Mordechai Ben-Ari, Springer 2001 Article

Theory and Practice of Logic Programming, 2(1), 123-124.

K.R. Apt (Krzysztof)

January 2002
Refinement and verification applied to an in-flight data acquisitation unit In Proceedings

W.J. Fokkink (Wan), N. Ioustinova (Natalia), E. Kesseler, J.C. van de Pol (Jaco), Y.S. Usenko (Yaroslav) and Y. Yushtein (Yuri)

January 2002
Moa: extensibility and efficiency in querying nested data Tech Report

M. van Keulen, J. Vonk, A.P. de Vries (Arjen), J. Flokstra and H.E. Blok (Henk Ernst)

January 2002
Review of: 'The honours class' by B. Yandell Article

M. Hazewinkel (Michiel)

January 2002
First-order logic as a constraint programming language In Proceedings

K.R. Apt (Krzysztof) and C.F.M. Vermeulen (Kees)

January 2002
The logic programming paradigm and prolog, Chapter 15 Book Chapter

K.R. Apt (Krzysztof)

January 2002
The TREC2001 video track: information retrieval on digital video information In Proceedings

A.F. Smeaton, P. Over, C.J. Costello (Craig), A.P. de Vries (Arjen), D. Doermann, A. Hauptmann (Andreas), M.E. Rorvig, J.R. Smith (John) and L. Wu

January 2002
XML-IR: coverage as a part of relevance In Proceedings

J.A. List (Johan) and A.P. de Vries (Arjen)

January 2002
Idiosyncratic remarks by a bibliomaniac, 7 : semipopular writing Article

Acta Applicandae Mathematicae, 113-116.

M. Hazewinkel (Michiel)

January 2002
Edsger Wybe Dijstra (1930--2002): a portrait of a genius Article

Formal Aspects of Computing, 14(2), 92-98.

K.R. Apt (Krzysztof)

January 2002
Explicit generators for the ring of quasisymmetric functions over the integers Tech Report

M. Hazewinkel (Michiel)

January 2002
Diaglogue mediated information retrieval, automatic keyphrase assignment and identification clouds In Proceedings

M. Hazewinkel (Michiel)

January 2002
Pharmacokinetics of C1-inhibitor in patients with acute myocardial infarction Article

Nederlands Tijdschrift voor Klinische Chemie en Laboratoriumgeneeskunde, 69(27(2)), 1-1.

J.H.C. Diris, W.Th. Hermens (Wim), P.W. Hemker (Piet), W.K. Lagrand, C.E. Hack and M.P. van Dieijen-Visser

January 2002
Multigrid, review of the book by U. Trottenberg, C. Oosterlee and A. Schüller Article

SIAM Review, 44(1), 145-146.

P.W. Hemker (Piet)

January 2002
Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions In Proceedings

M. Hazewinkel (Michiel)

January 2002
High-order time-accurate schemes for singularly perturbed parabolic convection-diffusion problems with Robin boundary conditions Article

Computational Methods in Applied Mathematics, 2(1), 3-25.

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

January 2002
Strong t-perfection of bad-K4-free graphs Article

SIAM Journal on Discrete Mathematics, 403-415.

A. Schrijver (Lex)

January 2002
A short proof of Guenin's characterization of weakly bipartite graphs Article

Journal of Combinatorial Theory - Series B, 255-260.

A. Schrijver (Lex)

January 2002
On the history of the transportation and the maximum flow problems Article

Mathematical Programming, 437-445.

A. Schrijver (Lex)

January 2002
Logic for Social Software Dissertation

M. Pauly (Marc)

December 2001
Benoeming Jan Verwer tot Bijzonder hoogleraar in de numerieke wiskunde en informatica aan de UvA, 07.12.2001 : uitnodiging Other

December 2001
Algebraic Multigrid for Two-Dimensional Time-Harmonic Magnetic Field Computations Dissertation

D.J.P. Lahaye (Domenico)

December 2001
Een dag zonder fouten is een dag zonder wiskunde : rede uitgesproken t.g.v. het ambt van bijzonder hoogleraar Numerieke Wiskunde en Informatica, UvA, 07.12.2001 Inaugural Lecture

J.G. Verwer (Jan)

December 2001
Focus points and convergent process operators: a proof strategy for protocol verification Article

Journal of Logic and Algebraic Programming, 49(1-2), 31-60.

J.F. Groote (Jan Friso) and J.G. Springintveld

December 2001
The Image Blender; A SIMD coprocessor architecture for pixel based image synthesis Tech Report

A.A.M. Kuijk (Fons)

December 2001
A signal-recovery system: asymptotic properties and construction of an infinite-volume process Article

Stochastic Processes and their Applications, 96(2), 177-190.

J. van den Berg (Rob) and B. Tóth

December 2001
Afscheid Carolien van der Pol, 22 en 30.11.2001 : CD-ROM uitgave Other

November 2001
Application-specific constraints for multimedia presentation generation In Proceedings

J.P.T.M. Geurts (Joost), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

November 2001
Improving media fragment integration in emerging web formats In Proceedings

L. Rutledge (Lloyd) and P. Schmitz (Patrick)

November 2001
HAVi components in digital television Master Thesis

P.S. César Garcia (Pablo Santiago)

November 2001
Critical conditions for phytoplankton blooms Article

Bulletin of Mathematical Biology, 63(6), 1095-1124.

U. Ebert (Ute), M. Arrayás, N.M. Temme (Nico), B.P. Sommeijer (Ben) and J. Huisman

November 2001
Quantum fingerprinting Article

Physical Review Letters, 87(16), 1-4.

H.M. Buhrman (Harry), R.E. Cleve (Richard), J. Watrous and R.M. de Wolf (Ronald)

October 2001
Open dag WCW 07.10.2001 : programma CWI Booklet

October 2001
Kennisnetwerken : CWI in bedrijf, 05.10.2001 Booklet

October 2001
On-line single-server dial-a-ride problems Article

Theoretical Computer Science, 268(1), 91-105.

E. Feuerstein and L. Stougie (Leen)

October 2001
Equivalence of recursive specifications in process algebra Article

Information Processing Letters, 80(1), 59-65.

A. Ponse (Alban) and Y.S. Usenko (Yaroslav)

October 2001
Process algebra and conditional composition Article

Information Processing Letters, 80(1), 41-49.

J.A. Bergstra (Jan) and A. Ponse (Alban)

October 2001
The cones and foci proof technique for timed transition systems Article

Information Processing Letters, 80(1), 33-40.

M.B. van der Zwaag

October 2001
Non-regular iterators in process algebra Article

Theoretical Computer Science, 269(1-2), 203-229.

J.A. Bergstra (Jan) and A. Ponse (Alban)

October 2001
Queueing Systems with Heavy Tails Dissertation

Stochastics

A.P. Zwart (Bert)

September 2001
Domain decomposition in the Jacobi-Davidson method for eigenproblems Dissertation

M. Genseberger (Menno)

September 2001
Quantum Computing and Communication Complexity Dissertation

Quantum Computing and Advanced System Research

R.M. de Wolf (Ronald)

September 2001
A Combinatorial Approach to Orthogonal Placement Problems Dissertation

G.W. Klau (Gunnar)

September 2001
CWI: Frontier research for practical applications : colour brochure Booklet

September 2001
Grensverleggend onderzoek voor praktische vraagstukken : kleurenbrochure Booklet

September 2001
The sparse-grid combination technique applied to time-dependent advection problems Article

Applied Numerical Mathematics, 38(4), 377-401.

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

September 2001
The parallel composition of uniform processes with data Article

Theoretical Computer Science, 266(1-2), 631-652.

J.F. Groote (Jan Friso) and J.J. van Wamel

September 2001
Why and How to Benchmark XML Databases Article

ACM SIGMOD Record, 3(30), 27-32.

A.R. Schmidt, F. Waas (Florian), M.L. Kersten (Martin), D. Florescu, M.J. Carey, I. Manolescu and R. Busse

September 2001
Internet search engines - Fluctuations in document accessibility Article

Jourbal of Documentation

W. Mettrop (Wouter) and P. Nieuwenhuysen

September 2001
Interorganisationele netwerkorganisaties en HRM-beleid : scriptie Book

J. Koster (José)

August 2001
Van sub-optimalisatie naar optimalisatie go/no go : afstudeerscriptie t.b.v. HOFAM, de Post-HBO opleiding tot qualified controller Book

E. de Boer (Edwin)

August 2001
Synchronized Multimedia Integration Language (SMIL) 2.0 Manual

Y. Ayers, A. Cohen, D.C.A. Bulterman (Dick) and not CWI et al

August 2001
Wavelet methods in (financial) time-series processing Article

Physica A: Statistical Mechanics and its Applications, 307-319.

Z.R. Struzik

July 2001
A numerical study of mixed parabolic-gradient systems Article

Journal of Computational and Applied Mathematics, 132(1), 191-210.

J.G. Verwer (Jan) and B.P. Sommeijer (Ben)

July 2001
An empirical study into COBOL type inferencing Article

Science of Computer Programming, 40(2-3), 189-211.

A. van Deursen (Arie) and L.M.F. Moonen (Leon)

July 2001
Spatial interaction of methylene blue stained soil pores Article

Geoderma, 102(1-2), 101-121.

A. Stein (Alfred), M.N.M. van Lieshout (Marie-Colette) and H.W.G. Booltink

July 2001
Configuration and dynamic reconfiguration of components using the coordination paradigm Article

Future Generation Computer Systems, 17(8), 1023-1038.

G.A. Papadopoulos (George) and F. Arbab (Farhad)

June 2001
Specifying coalgebras with modal logic Article

Theoretical Computer Science, 260(1-2), 119-138.

A. Kurz (Alexander)

June 2001
Foreword Article

Theoretical Computer Science, 260(1-2)

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

June 2001
Tree width and regular triangulations Article

Discrete Mathematics, 237(1-3), 187-191.

A. Kotlov

June 2001
Eighth MPS Conference On Integer Programming And Combinatorial Optimization Proceedings

June 2001
Repurposing Broadcast Content for the Web Tech Report

D.C.A. Bulterman (Dick)

June 2001
Eighth MPS Conference on Integer Programming and Combinatorial Optimization Proceedings

June 2001
Wavelet Methods in (Financial) Time-series Processing Article

Physica A: Statistical Mechanics and its Applications, 296(1-2), 307-319.

Z.R. Struzik

June 2001
Finding elliptic Fekete points sets: two numerical solution approaches Article

Journal of Computational and Applied Mathematics, 130(1-2), 205-216.

W.J.H. Stortelder (Walter), J.J.B. de Swart (Jacques) and J.D. Pintér

May 2001
On Bernstein-type inequalities for martingales Article

Stochastic Processes and their Applications, 93(1), 109-117.

K.O. Dzhaparidze (Kacha) and J.H. van Zanten (Harry)

May 2001
Linearization in parallel pCRL Article

Journal of Logic and Algebraic Programming, 48(2), 39-70.

J.F. Groote (Jan Friso), A. Ponse (Alban) and Y.S. Usenko (Yaroslav)

May 2001
XHTML™ 1.1 - Module-based XHTML Standard

M Altheim, S. McCarron (Shane) and S. Pemberton (Steven)

May 2001
Towards Second and Third Generation Web-Based Multimedia Book Chapter

J.R. van Ossenbruggen (Jacco), J.P.T.M. Geurts (Joost), F.J. Cornelissen, L. Rutledge (Lloyd) and L. Hardman (Lynda)

May 2001
Processing Structured Hypermedia : A Matter of Style Dissertation

Information Systems

J.R. van Ossenbruggen (Jacco)

April 2001
Aafs afscheidscafé : uitnodiging afscheid Aaf van den Berg, 06.04.2001 Other

April 2001
Modularization of XHTML™ Standard

M Altheim, S. Pemberton (Steven) and not CWI et al

April 2001
Giving eyes to ICT!, or How does a computer recognize a cow? Dissertation

B.A.M. Schouten (Ben)

March 2001
Studies in Interactive Visualization Dissertation

Software Engineering

R. van Liere (Robert)

March 2001
Term graph rewriting : syntax and semantics Dissertation

Specification and Analysis of Embedded Systems

S.C.C. Blom (Stefan)

March 2001
Approximate factorization for time-dependent partial differential equations Article

Journal of Computational and Applied Mathematics, 12(1-2), 447-466.

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

March 2001
Analysis of three hybrid systems in timed mu CRL Article

Science of Computer Programming, 39(2-3), 215-247.

J.F. Groote (Jan Friso) and J.J. van Wamel

March 2001
Revealing Local Variability Properties of Human Heartbeat Intervals with the Local Effective Hölder Exponent Article

Fractals: Complex Geometry, Patterns, and Scaling in Nature and Society, 9(1), 77-93.

Z.R. Struzik

March 2001
Marked PCP is decidable Article

Theoretical Computer Science, 255(1-2), 193-204.

V. Halava, M. Hirvensalo and R.M. de Wolf (Ronald)

March 2001
Revealing Local Variablity Properties of Human Heartbeat Intervals with the Local Effective Hölder Exponent Article

Fractals, 9(1), 77-93.

Z.R. Struzik

March 2001
A queueing model with dependence between service and interarrival times Article

European Journal of Operational Research, 128(3), 611-624.

O.J. Boxma (Onno) and D. Perry

February 2001
Factorization in block-triangularly implicit methods for shallow water applications Article

Applied Numerical Mathematics, 36(2-3), 113-128.

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

February 2001
Tighter linear and semidefinite relaxations for max-cut based on the Lovász-Schrijver lift-and-project procedure Article

SIAM Journal on Optimization, 345-375.

M. Laurent (Monique)

February 2001
Estimating the intensity of a cyclic Poisson process Dissertation

I.W. Mangku (Wayan)

January 2001
Uitnodiging 25 jarig CWI jubileum van Margreet Nool, 19.01.2001 Other

January 2001
Riemann-problem and level-set approaches for two-fluid flow computations II. Fixes for solution errors near interfaces. Tech Report

B. Koren (Barry), M.R. Lewis (Mervyn), E.H. van Brummelen (Harald) and B. van Leer

January 2001
Using coordination to restructure sequential source code into a concurrent program In Proceedings

C.T.H. Everaars (Kees), F. Arbab (Farhad) and B. Koren (Barry)

January 2001
Computation of compressible, immiscible water-air flows under the action of gravity In Proceedings

B. Koren (Barry) and M.R. Lewis (Mervyn)

January 2001
A Godunov-type scheme for capturing water waves In Proceedings

E.H. van Brummelen (Harald) and B. Koren (Barry)

January 2001
Numerical solution of steady free-surface Navier-Stokes flow In Proceedings

E.H. van Brummelen (Harald), B. Koren (Barry) and H.C. Raven

January 2001
A parallel nearly implicit time-stepping scheme Article

Journal of Computational and Applied Mathematics, 137(2), 229-243.

M.A. Botchev and H.A. van der Vorst (Henk)

January 2001
The application of rhetorical structure theory to interactive news program generation from digital archives Tech Report

C.A. Lindley, J.R. Davis (James), F.-M. Nack (Frank) and L. Rutledge (Lloyd)

January 2001
High-order time-accurate schemes for parabolic singular perturbation problems with convection Tech Report

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

January 2001
A particle-mesh method for the shallow water equations near geostrophic balance Tech Report

J.E. Frank (Jason) and S. Reich

January 2001
Distributing requirements specifications on basic splice Tech Report

S.-M. Orzan (Simona-Mihaela)

January 2001
A compact file format for labeled transition systems Tech Report

I.A. van Langevelde

January 2001
Lower bounds for on-line single-machine scheduling Tech Report

L. Epstein (Lea) and R. van Stee (Rob)

January 2001
On the fractal beauty of bin packing Tech Report

L. Epstein (Lea), S. Seiden and R. van Stee (Rob)

January 2001
Adaptive lifting schemes with perfect reconstruction Tech Report

H.J.A.M. Heijmans (Henk) and G. Piella (Gema)

January 2001

Previous

Next

Available Years