Publications from 2040

Right angle free subsets in the plane Tech Report

B. Gamble, W.R. Pulleyblank, B. Reed and F.B. Shepherd (Bruce)

Efficient visit frequencies for polling tables : minimization of waiting cost Tech Report

O.J. Boxma (Onno), H. Levy and J.A. Weststrate

A pointwise criterion for controller robustness Tech Report

J.M. Schumacher (Hans)

Single-machine scheduling to minimize a function of K maximum cost criteria Tech Report

J.A. Hoogeveen

Zero drift random walk on N x N with reflection : ergodicity conditions Tech Report

J.W. Cohen

Completeness in real time process algebra Tech Report

A.S. Klusener (Steven)

Proving termination of general Prolog programs Tech Report

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

A proof theory for the language POOL Tech Report

F.S. de Boer (Frank)

A proof theory for a sequential version of POOL Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

A proof theory for process creation Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

Branching time and abstraction in bisimulation semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

Computing distinguising formulas for branching bisimulation Tech Report

H.P. Korver

Facets of database triggers Tech Report

M.H. van der Voort and M.L. Kersten (Martin)

Real-time quadratic shading Tech Report

V.C.J. Disselkoen

Lazy and incremental program generation Tech Report

J. Heering (Jan), P. Klint (Paul) and J. G. Rekers (Jan)

Linear approximation of shortest superstrings Tech Report

A. Blum, T. Jiang (Tao), M. Li (Ming), J.T. Tromp (John) and M. Yannakakis

Positive convolution structures associated with quantum groups Tech Report

T.H. Koornwinder

Asymptotic inversion of the incomplete beta function Tech Report

N.M. Temme (Nico)

Hyperasymptotic expansions of confluent hypergeometric functions Tech Report

A.B. Olde Daalhuis

Combinatorics and Kolmogorov complexity Tech Report

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

The GKS input model in Manifold Tech Report

D. Soede, F. Arbab (Farhad), I. Herman (Ivan) and P.J.W. ten Hagen (Paul)

Optimality of wait-free atomic multiwriter variables Tech Report

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

An algebraic specification for the static semantics of Pascal Tech Report

A. van Deursen (Arie)

Term rewriting analysis in process algebra Tech Report

G.J. Akkerman and J.C.M. Baeten (Jos)

Real space process algebra Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

Loop checking in partial deduction Tech Report

R.N. Bol

Rendez-vous with metric semantics Tech Report

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

CCS for OO and LP Tech Report

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

Solving parabolic integro-differential equations by an explicit integration method Tech Report

A.S. Vasudeva Murthy and J.G. Verwer (Jan)

An improved accuracy version of the mixed finite element method for a second order elliptic equation Tech Report

R.R.P. van Nooyen (Ronald)

Application of a moving-grid method to a class of 1D brine transport problems in porous media Tech Report

P.A. Zegeling (Paul), J.G. Verwer (Jan) and J.C.H. van Eijkeren

Parallel aspects of some spectral problems in linear algebra Tech Report

A.N. Malychev

Limit theorems for functionals of convex hulls Tech Report

A.J. Cabo (Annoesjka) and P. Groeneboom

Asymptotic optimality of the chi-square test with large number of degrees of freedom within the class of symmetric tests Tech Report

D.M. Chibisov

Analysis of a three-dimensional point pattern with replication Tech Report

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

An overview of Manifold and its implementation Tech Report

F. Arbab (Farhad), I. Herman (Ivan) and P. Spilling

Hausdorff metric for capacities Tech Report

A.J. Baddeley (Adrian)

The state operator in real time process algebra Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

An M/G/1 queue with dependence between interarrival and service times Tech Report

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

Infectious disease models with variable infectivity Tech Report

F. Brauer

Gaarding inequalities for systems of pseudo-differential operators Tech Report

R. Brummelhuis

Open problems in rewriting Tech Report

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

On constructing kernel polynomials of a spectral function : application to ARMA models Tech Report

K.O. Dzhaparidze (Kacha)

The dynamics of description Tech Report

D.J.N. van Eijck (Jan)

Quantification and partiality Tech Report

D.J.N. van Eijck (Jan)

A sound and complete calculus for update logic Tech Report

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

The failure of failures in a paradigm for asynchronous communication Tech Report

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

Calculate categorically ! Tech Report

M.M. Fokkinga (Maarten)

Datatype laws without signatures Tech Report

M.M. Fokkinga (Maarten)

Normal forms in real time process algebra Tech Report

W.J. Fokkink (Wan)

A numerical model of the northwest European Continental Shelf on the CRAY Y-MP2E Tech Report

E.D. de Goede (Erik)

A short proof of the decidability of bisimulation fro normed BPA-processes Tech Report

J.F. Groote (Jan Friso)

Undecidable equivalences for basic process algebra Tech Report

J.F. Groote (Jan Friso) and H. Hüttel

Proof theory for $ mu $ -CRL Tech Report

J.F. Groote (Jan Friso) and A. Ponse (Alban)

Texture synthesis Tech Report

M. Haindl

On solving the diophantine equation $ x^ 3 + y^ 3 + z^ 3 = k $ on a vector computer Tech Report

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

Implementing higher-order algebraic specifications Tech Report

J. Heering (Jan)

Discretization of morphological operators Tech Report

H.J.A.M. Heijmans (Henk)

Parallel step-by-step methods Tech Report

P.J. van der Houwen (Piet)

Analysis of parallel diagonal-implicit iteration of Runge-Kutta methods Tech Report

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

Fast theorem proving in intuitionistic propositional logic Tech Report

M.I. Kanovich

Lazy scanner generation for modular regular grammars Tech Report

P. Klint (Paul)

Abstraction in real time process algebra Tech Report

A.S. Klusener (Steven)

Askey-Wilson polynomials for root systems of type BC Tech Report

T.H. Koornwinder

Report on a window-on-science trip Tech Report

B. Koren (Barry)

U-statics of increasing degrees with asymptotically Poisson distributions Tech Report

V.S. Korolyuk (Vladimir Semenovich) and Y.V. Borovskikh

Diffusion approximation of stochastic additive functionals of jump Markov processes Tech Report

V.V. Korolyuk (Vladimir)

Diffusion approximation of stochastic integral functionals of jump Markov processes Tech Report

V.V. Korolyuk (Vladimir)

On a characterization of the exponential distribution based on a type 2 right cesored sample Tech Report

J. Leslie and C. van Eeden (Constance)

Solving large dense systems of linear equations on systems with virtual memory and with cache Tech Report

W.M. Lioen (Walter) and D.T. Winter (Dik)

Adaptive multigrid for the steady Euler equations Tech Report

H.T.M. van der Maarel (Eric)

Fine-grain incremental implementation of algebraic specifications Tech Report

E.A. van der Meulen (Emma)

Counterexamples to completeness results for basic narrowing Tech Report

A. Middeldorp and E. Hamoen

A rewrite approach to polynomial ideal theory Tech Report

A. Middeldorp and M. Starcevic

Adaptive multigrid applied to a bipolar transistor problem Tech Report

J. Molenaar (Gijs)

Multigrid for semiconductor device simulation: cell-centered of vertex-centered multigrid? Tech Report

J. Molenaar (Gijs)

A metric for line segments Tech Report

P. F. M. Nacken (Peter)

Non-interfering dipaths in planar digraphs Tech Report

C. MacDiarmid, B. Reed and A. Schrijver (Lex)

Simulations on the Jelinski-Moranda model of software reliability Tech Report

M.C. J. van Pul (Mark)

Software reliability and the bootstrap Tech Report

M.C. J. van Pul (Mark)

Generalized LR parsing for general context-free grammars Tech Report

J. G. Rekers (Jan)

Polling systems and multitype branching processes Tech Report

J.A.C. Resing

On the history of the function $M(x)/sqrt x$ since Stieltjes Tech Report

H.J.J. te Riele (Herman)

An FFT-based method for attenuation correction in fluorescence confocal microscopy Tech Report

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

Hereditarily-finite sets and complete metric spaces Tech Report

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

A simplified proof of Toyama's theorem Tech Report

J.W. Klop (Jan Willem), A. Middeldorp, Y. Toyama and R. de Vrijer

Parallel-iterated Runge-Kutta methods for stiff ordinary differential equations Tech Report

B.P. Sommeijer (Ben)

Strong sequentiality of left-linear overlapping term rewriting systems Tech Report

Y. Toyama

Geometric constraint satisfaction Tech Report

R.C. Veltkamp (Remco) and F. Arbab (Farhad)

An invitation to structured (meta)population models Tech Report

O. Diekmann (Odo)

An analytical solution to the consistency problem for the Littlewood model in software reliability Tech Report

L.G. Barendregt and M.C. J. van Pul (Mark)

An executable semantics for a subset of COLD Tech Report

A.S. Klusener (Steven)

Informatiegids 1991/92 Tweede-Fase Onderzoekopleiding Systeem- en Regeltheorie Booklet

LIE manual Tech Report

Nederlandse Stichting voor de Wiskunde SMC: toelichting op het aanvraagformulier voor 1992 Booklet

CAN: Computer Algebra Nederland Booklet

Liber amicorum: Lambert Meertens @ CWI 1966-1991 Book

Preface Article

D.J.N. van Eijck (Jan)

Foundations of object-oriented languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28-June 1, 1990 Proceedings Proceedings

Anaphora and the logic of change In Proceedings

R. Muskens