Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

An infinitary Church-Rosser property for noncollapsing orthogonal term rewriting systems Book Chapter

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

January 1993
Event structures and orthogonal term graph rewriting Book Chapter

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

January 1993
The adequacy of term graph rewriting for simulating term rewriting Book Chapter

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

January 1993
The saturating contact rate in marriage- and epidemic models Article

Journal of Mathematical Biology, 31(5), 529-539.

J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1993
Stochastic scheduling games with Markov decision arrival processes. Pursuit-evasion differential games, III Article

Computers & Mathematics with Applications, 26(6), 141-148.

E. Altman and G.M. Koole (Ger)

January 1993
Cardiac magnetic resonance imaging by retrospective gating: mathematical modelling and reconstruction algorithms Article

European Journal of Applied Mathematics, 4(3), 241-270.

J.B.T.M. Roerdink (Jos) and M. Zwaan

January 1993
Compositional analysis for concurrent constraint programming In Proceedings

M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi (Catuscia)

January 1993
On the unification free Prolog programs In Proceedings

K.R. Apt (Krzysztof) and S. Etalle (Sandro)

January 1993
Parallel Jacobi iteration in implicit step-by-step methods Book Chapter

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

January 1993
Authoring multimedia in the CMIF environment Presentation

L. Hardman (Lynda), G. van Rossum (Guido) and D.C.A. Bulterman (Dick)

January 1993
A distributed approach to retrieving JPEG pictures in portable hypermedia documents In Proceedings

D.C.A. Bulterman (Dick) and D.T. Winter (Dik)

January 1993
CMIFed: A presentation environment for portable hypermedia documents In Proceedings

G. van Rossum (Guido), A.J. Jansen (Jack), K.S. Mullender (Sjoerd) and D.C.A. Bulterman (Dick)

January 1993
Structured multimedia authoring In Proceedings

L. Hardman (Lynda), G. van Rossum (Guido) and D.C.A. Bulterman (Dick)

January 1993
Specification and support of adaptable networked multimedia Article

ACM Multimedia Systems Journal, 1(2), 68-76.

D.C.A. Bulterman (Dick)

January 1993
Implementing a multimedia conferencing tool - experiences Lecture

A.J. Jansen (Jack)

January 1993
Links in hypermedia: The requirement for context In Proceedings

L. Hardman (Lynda), D.C.A. Bulterman (Dick) and G. van Rossum (Guido)

January 1993
Simple algorithms for Steiner trees and paths packing problems in planar graphs Article

CWI Quarterly, 6(3), 219-240.

D. Wagner

January 1993
A Difference Engine for Images with Applications to Wavelet Decompression In Proceedings

E.H. Blake and A.A.M. Kuijk (Fons)

January 1993
A Distributed Approach to Retrieving JPEG Pictures in Portable Hypermedia Documents Book Chapter

D.C.A. Bulterman (Dick) and D.T. Winter (Dik)

January 1993
Specification and Support of Adaptable Networked Multimedia Article

Multimedia Systems, 1(2), 68-76.

D.C.A. Bulterman (Dick)

January 1993
Fully abstract models for concurrent languages Dissertation

Computer Security

E. Horita

January 1993
Properties of the miss ratio for a 2-level storage model with LRU or FIFO replacement strategy and independent references Article

IEEE Transactions on Computers, 508-512.

J. van den Berg (Rob) and D. Towsley

January 1993
Runge-Kutta methods and local uniform grid refinement Article

Mathematics of Computation, 60(202), 591-616.

R.A. Trompert (Ronald) and J.G. Verwer (Jan)

January 1993
Analysis of parallel diagonally implicit iteration of Runge-Kutta methods In Proceedings

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

January 1993
Analysis of the implicit Euler local uniform grid refinement method Article

SIAM Journal on Scientific Computing, 14(2), 259-278.

R.A. Trompert (Ronald) and J.G. Verwer (Jan)

January 1993
Nonlocal Lie primitive subgroups of Lie groups Article

Canadian Journal of Mathematics, 45(1), 88-103.

A.M. Cohen (Arjeh) and R.I. Griess

January 1993
Inequalities for the time constant in first-passage percolation Article

Annals of Applied Probability, 3(1), 56-80.

J. van den Berg (Rob) and H. Kesten

January 1993
Iterative defect correction and multigrid accelerated explicit time stepping schemes for the steady Euler equations Article

SIAM Journal on Scientific Computing, 14(4), 953-970.

M.H. Lallemand and B. Koren (Barry)

January 1993
Perturbing semigroups by solving Stieltjes renewal equations Article

Differential Integral Equations, 6(1), 155-181.

O. Diekmann (Odo), M. Gyllenberg and H.R. Thieme

January 1993
Disjoint cycles in directed graphs on the torus and the Klein bottle Article

Journal of Combinatorial Theory - Series B, 58(1), 40-45.

G. Ding, A. Schrijver (Lex) and P.D. Seymour (Paul)

January 1993
An $M/G/1$ queue with customer collection Article

Communications in Statistics. Stochastic Models, 9(3), 341-371.

S.C. Borst (Sem), O.J. Boxma (Onno) and M.B. Combé (Marco)

January 1993
Stability of parallel Volterra-Runge-Kutta methods Article

Journal of Computational and Applied Mathematics, 45(1-2), 169-180.

M.R. Crisci, E. Russo, P.J. van der Houwen (Piet) and A. Vecchio

January 1993
Input-output structure of linear differential/algebraic systems Article

IEEE Transactions on Automatic Control, 404-414.

M. Kuijper and J.M. Schumacher (Hans)

January 1993
Analysis of a three-dimensional point pattern with replication Article

Journal of the Royal Statistical Society - Series C: Applied Statistics, 42(4), 641-668.

A.J. Baddeley (Adrian), R.A. Moyeed, C.V. Howard and A. Boyde

January 1993
On solving the Diophantine equation $xsp 3+ysp 3+zsp 3=k$ on a vector computer Article

Mathematics of Computation, 61(203), 235-244.

D.R. Heath-Brown, W.M. Lioen (Walter) and H.J.J. te Riele (Herman)

January 1993
On correlation calculus for multivariate martingales Article

Stochastic Processes and their Applications, 46(2), 283-299.

K.O. Dzhaparidze (Kacha) and P.J.C. Spreij (Peter)

January 1993
Tight comparison bounds for the string prefix-matching problem Article

Information Processing Letters, 47(1), 51-57.

D. Breslauer (Dany), L. Colussi (Livio) and L. Toniolo (Laura)

January 1993
Cooperation in one machine scheduling Article

Mathematical Methods of Operations Research, 38(2), 113-129.

I. Curiel, R. Prasad, S.H. Tijs and B. Veltman

January 1993
Wavelets: mathematical preliminaries Book Chapter

P.W. Hemker (Piet), T.H. Koornwinder and N.M. Temme (Nico)

January 1993
Efficient comparison based string matching Article

Journal of Complexity, 9(3), 339-365.

D. Breslauer (Dany) and Z. Galil

January 1993
Semantics, orderings and recursion in the weakest precondition calculus In Proceedings

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

January 1993
Wavelet bases adapted to inhomogeneous cases Book Chapter

P.W. Hemker (Piet) and F. Plantevin

January 1993
Analysis of local uniform grid refinement In Proceedings

J.G. Verwer (Jan) and R.A. Trompert (Ronald)

January 1993
Modular specification of process algebras Article

Theoretical Computer Science, 113(2), 293-348.

R.J. van Glabbeek (Rob) and F.W. Vaandrager (Frits)

January 1993
Tight comparison bounds for the string prefix-matching problem In Proceedings

D. Breslauer (Dany), L. Colussi (Livio) and L. Toniolo (Laura)

January 1993
On the foundations of final semantics: nonstandard sets, metric spaces, partial orders In Proceedings

J.J.M.M. Rutten (Jan) and D. Turi

January 1993
An introduction to Kolmogorov complexity and its applications Book

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1993
Parallel block predictor-corrector methods of Runge-Kutta type In Proceedings

P.J. van der Houwen (Piet) and Huu Cong Nguyen

January 1993
Associative storage modification machines Book Chapter

J.T. Tromp (John) and P. van Emde Boas (Peter)

January 1993
More problems in rewriting In Proceedings

N. Dershowitz (Nachum), J.-P. Jouannaud and J.W. Klop (Jan Willem)

January 1993
Combinatory reduction systems: introduction and survey. A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday. Article

Theoretical Computer Science, 121(1-2), 279-308.

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1993
Isomorphisms between predicate and state transformers In Proceedings

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

January 1993
Finding disjoint trees in planar graphs in linear time In Proceedings

B. Reed, N. Robertson (Neil), P.D. Seymour (Paul) and A. Schrijver (Lex)

January 1993
The group $L(2,61)$ embeds in the Lie group of type $Esb 8$ Article

Communications in Algebra, 21(6), 1889-1993.

A.M. Cohen (Arjeh), R.I. Griess and B. Lisser (Bert)

January 1993
Reasoning about termination of pure Prolog programs Article

Information and Computation, 106(1), 109-157.

K.R. Apt (Krzysztof) and D. Pedreschi

January 1993
The strong law of large numbers for martingales with deterministic quadratic variation Article

Stochastics Stochastics Reports, 42(1), 53-65.

K.O. Dzhaparidze (Kacha) and P.J.C. Spreij (Peter)

January 1993
Geometric algorithms and combinatorial optimization Book

M. Grötschel, L. Lovász (László) and A. Schrijver (Lex)

January 1993
On optimality of regular projective estimators in semimartingale models Article

Stochastics Stochastics Reports, 43(3-4), 161-178.

K.O. Dzhaparidze (Kacha) and P.J.C. Spreij (Peter)

January 1993
Approximation of parabolic PDEs with a discontinuous initial condition Article

East-West Journal of Numerical Mathematics, 1(4), 287-302.

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

January 1993
Decidability of bisimulation equivalence for processes generating context-free languages Article

Journal of the Association for Computing Machinery, 40(3), 653-682.

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1993
QML: a paraconsistent default logic In Proceedings

J.F.P. van den Akker (Johan) and Y.H. Tan

January 1993
Multigrid methods for semiconductor device simulation Book

J. Molenaar (Gijs)

January 1993
Parallelism in the numerical integration of initial value problems Book

B.P. Sommeijer (Ben)

January 1993
Stochastic integrals and goodness-of-fit tests Book

A.J. Koning (Aris)

January 1993
Sojourn times in feedback and processor sharing queues Book

J.L. van den Berg (Hans)

January 1993
A Lie algebraic study of some integrable systems associated with root systems Book

J.K. Scholma

January 1993
Statistical analysis of software reliability models Book

M.C. J. van Pul (Mark)

January 1993
Moving-grid methods for time-dependent partial differential equations Book

P.A. Zegeling (Paul)

January 1993
Statistical uncertainties in posterior probabilities Book

A.W. Ambergen

January 1993
Multimedians in metric and normed spaces Book

E.R. Verheul

January 1993
The solution of a one-dimensional Stefan problem Book

C. Vuik

January 1993
Moment problems in Hilbert space with applications to magnetic resonance imaging Book

M. Zwaan

January 1993
Numerical methods for the three-dimensional shallow water equations on supercomputers Book

E.D. de Goede (Erik)

January 1993
Vakantiecursus [Centrum voor Wiskunde en Informatica] 1993 : het reele getal Book

January 1993
Meetkunde, van kunst tot kunde Book

January 1993
An FFT-based method for attenuation correction in fluorescence confocal microscopy Article

Journal of Microscopy, 3-14.

J.B.T.M. Roerdink (Jos) and M. Bakker (Miente)

January 1993
Dynamical Renormalization of Polymers in Quenched Disorder: Long-Time Diffusion and Short-Time Anomalies Article

Europhysics Letters, 741-746.

U. Ebert (Ute) and L. Schäfer

January 1993
Schema Integration in Object-Oriented Databases In Proceedings

C.J.E. Thieme and A.P.J.M. Siebes (Arno)

January 1993
Design and implementation of a DBMS Performance Assessment Tool In Proceedings

M.L. Kersten (Martin) and F. Kwakkel

January 1993
Conference on the history of ALGOL 68 : [conference on 25 years of ALGOL 68 held on the occasion of the 47th anniversary of CWI, Amsterdam, 11.02.1993] Tech Report

G. Alberts (Gerard)

January 1993
RIPE integrity primitives Part II Final report of RACE 1040 Tech Report

B. den Boer, J.P. Boly, A. Bosselaers, J. Brandt, D. Chaum (David), I.B. Damgård (Ivan), M. Dichtl, W. Fumy, M. van der Ham, C.J.A. Jansen, et al. B. Preneel, J. Vandewalle

January 1993
Covergence behaviour of defect correction for hyperbolic equations Article

Journal of Computational and Applied Mathematics, 357-365.

P.W. Hemker (Piet) and J.-A. Désidéri

January 1993
An approximate solution of the parallel whistler-mode dispersion equation in a weakly relativistic plasma Article

Plasma Physics and Controlled Fusion, 117-126.

S.S. Sazhin, A.E. Sumner, N.M. Temme (Nico) and F. Gugic

January 1993
Numerical Methods for Advection-Diffusion Problems Book

January 1993
Termination proofs for higher-order rewrite systems In Proceedings

J.C. van de Pol (Jaco)

January 1993
A nonparametric measure of spatial interaction in point patterns Tech Report

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

January 1993
Review of "Computational logic, essays in honor of Alan Robinson" by Lassez, J. L. (ed.) and Plotkin, G. D. (ed.) Article

Informatie (NGI), 504-505.

K.R. Apt (Krzysztof)

January 1993
Current Trents in logic programming languages Book

January 1993
Preface: Current Trents in logic programming languages (1993) Preface

K.R. Apt (Krzysztof), J.W. de Bakker (Jaco) and J.J.M.M. Rutten (Jan)

January 1993
Declarative programming in prolog In Proceedings

K.R. Apt (Krzysztof)

January 1993
Stochastic geometry models in high-level vision Article

Journal of Applied Statistics, 20(5-6), 231-256.

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

January 1993
Wavelets: mathematical preliminaries Article

P.W. Hemker (Piet), T.H. Koornwinder and N.M. Temme (Nico)

January 1993
Eighteenth conference on the mathematics of operations research, and: Fourth international workshop Landelijk Netwerk Mathematische Besliskunde, Lunteren, 08-11.12.1992 Booklet

December 1992
Directed triangles in directed graphs Article

Discrete Mathematics, 110(1-3), 279-282.

M. de Graaf (Mart), A. Schrijver (Lex) and P.D. Seymour (Paul)

December 1992
Fonctions de legendre sur une algèbre de Jordan Article

CWI Quarterly, 5(4), 309-320.

J. Faraut

December 1992
Quantum Grassmannians and q-hypergeometric series Article

CWI Quarterly, 5(4), 293-308.

M. Noumi

December 1992
Classical Lie groups, quantum groups and special functions Article

CWI Quarterly, 5(4), 271-292.

A.U. Klimyk

December 1992
The world of q Article

CWI Quarterly, 5(4), 251-270.

R. Askey

December 1992
PRISMA/DB: A Parallel Main Memory Relational DBMS Article

IEEE Transactions on Knowledge and Data Engineering, 4(6), 541-554.

P.M.G. Apers (Peter), C.A. van den Berg (Carel), J. Flokstra, P.W.P.J. Grefen, M.L. Kersten (Martin) and A.N. Wilschut

December 1992
PREGMATIC : a generator for incremental programming environments Dissertation

Software Engineering

M.G.J. van den Brand (Mark)

November 1992

Previous

Next

Available Years