Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Polynomial-time algorithms for single-machine multicriteria scheduling Tech Report

J.A. Hoogeveen and S.L. van de Velde

January 1990
Introduction to aspects of object oriented graphics Tech Report

E.H. Blake (Edwin)

January 1990
Analysis of the convergence of iterative implicit and defect-correction algorithms for hyperbolic problems Tech Report

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

January 1990
The center manifold for delay equations in the light of suns and stars Tech Report

O. Diekmann (Odo) and S.A. van Gils (Stephan)

January 1990
Systematic computations on Gauss' lattice point problem : in commemoration of Johannes Gualtherus van der Corput, 1890-1975 Tech Report

J. van de Lune (Jan) and E. Wattel (Evert)

January 1990
Defect correction and nonlinear multigrid for steady Euler equations Tech Report

P.W. Hemker (Piet) and B. Koren (Barry)

January 1990
Parallel ODE solvers Tech Report

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

January 1990
Spurious entropy generation in a non-smooth geometry Tech Report

H.T.M. van der Maarel (Eric) and B. Koren (Barry)

January 1990
Acyclic programs : extended abstract Tech Report

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

January 1990
Computing boolean functions on anonymous networks Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and J. van den Berg (Rob)

January 1990
Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond Tech Report

J.W. Klop (Jan Willem)

January 1990
Specification and verification of real time systems in ACP Tech Report

J.F. Groote (Jan Friso)

January 1990
Proving termination of parallel programs Tech Report

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

January 1990
More computations on Gauss' lattice point problem Tech Report

J.T. Tromp (John)

January 1990
Comparative semantics for a parallel contextual programming language Tech Report

J.-M. Jacquet (Jean-Marie) and L. Monteiro (Luís)

January 1990
From failure to succes: comparing a denotational and a declarative semantics for Horn Clause Logic Tech Report

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

January 1990
From binary to grey-level morphology Tech Report

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

January 1990
On the topology induced by the adjoint of a semigroup of operators Tech Report

J.M.A.M. van Neerven (Jan)

January 1990
Duality-based algorithms for scheduling unrelated parallel machines Tech Report

S.L. van de Velde

January 1990
Asymptotic properties of statistical models in software reliability Tech Report

M.C. J. van Pul (Mark)

January 1990
Associative storage modification machines Tech Report

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

January 1990
Some algorithms on addition chains and their complexity Tech Report

M.J. Coster

January 1990
Fully abstract denotational models for nonuniform concurrent languages Tech Report

E. Horita, J.W. de Bakker (Jaco) and J.J.M.M. Rutten (Jan)

January 1990
Parallel processing in number-theoretical problems Tech Report

H.J.J. te Riele (Herman)

January 1990
Generalizing completeness results for loop checks Tech Report

R.N. Bol

January 1990
Towards more efficient loop checks Tech Report

R.N. Bol

January 1990
Unconditional convergence of some Crank-Nicolson LOD methods for initial-boundary value problems Tech Report

W. Hundsdorfer (Willem)

January 1990
Rekenen aan de Riemann hypothese [Computing the Riemann hypothesis] Tech Report

H.J.J. te Riele (Herman)

January 1990
Disjoint paths in a planar graph : a general theorem Tech Report

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

January 1990
Disjoint cycles in directed graphs on the torus and the Klein bottle Tech Report

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

January 1990
Edge-disjoint circuits in graphs on the torus Tech Report

A. Frank and A. Schrijver (Lex)

January 1990
A simpler proof and a generalization of the zero-trees theorem Tech Report

A. Schrijver (Lex) and P.D. Seymour (Paul)

January 1990
On the attained waiting time Tech Report

J.W. Cohen

January 1990
Efficient visit orders for polling systems Tech Report

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

January 1990
Multiprocessor scheduling with communication delays Tech Report

B. Veltman, B.J. Lageweg and J.K. Lenstra (Jan Karel)

January 1990
Asymptotic theory of M-estimators in general statistical models. Part I: On asymptotic behaviour of estimators under model disturbance Tech Report

R.J. Chitashvili, N.L. Lazrieva and T.A. Toronjadze

January 1990
Three logics for branching bisimulation Tech Report

R. De Nicola (Rocco) and F.W. Vaandrager (Frits)

January 1990
Reactive, generative, and stratified models of probabilistic processes Tech Report

R.J. van Glabbeek (Rob), S.A. Smolka, B. Steffen and C.M.N. Tofts

January 1990
Back and forth bisimulations Tech Report

R. De Nicola (Rocco), U. Montanari and F.W. Vaandrager (Frits)

January 1990
Resolution and logical consequences Tech Report

L. Kossen

January 1990
Process algebra with zero object Tech Report

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

January 1990
On the role of delegation and inheritance in object-oriented database systems Tech Report

D.B.M. Otten (Daan) and P.J.W. ten Hagen (Paul)

January 1990
Metric pomset semantics for a concurrent language with recursion Tech Report

J.W. de Bakker (Jaco) and J.H.A. Warmerdam

January 1990
The $ gamma $ -neighborhood graph Tech Report

R.C. Veltkamp (Remco)

January 1990
Upper and lower bounds on switching energy in VLSI Tech Report

G. Kissin

January 1990
Studies in pure PROLOG : termination Tech Report

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

January 1990
Analysis of the implicit Euler local uniform grid refinement method Tech Report

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

January 1990
Uniform Airy type expansions of integrals Tech Report

A.B. Olde Daalhuis and N.M. Temme (Nico)

January 1990
Mathematical morphology on the sphere Tech Report

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

January 1990
Askey-Wilson polynomials as zonal spherical functions on the SU(2) quantum group Tech Report

T.H. Koornwinder

January 1990
Continuous Hahn polynomials of differential operator argument and analysis on Riemannian symmetric spaces of constant curvature Tech Report

E. Badertscher and T.H. Koornwinder

January 1990
Morphological filtering and iteration Tech Report

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

January 1990
Modelling infectious diseases in structured populations Tech Report

O. Diekmann (Odo)

January 1990
Dual decomposition of single-machine scheduling problems Tech Report

S.L. van de Velde

January 1990
Bootstrapping U-quantiles Tech Report

R. Helmers (Roelof), P. Janssen and N. Veraverbeke

January 1990
On the random walk with zero drifts in the first quadrant of $R_ 2$ Tech Report

J.W. Cohen

January 1990
A new strategy for proving $ omega $ -completeness applied to process algebra Tech Report

J.F. Groote (Jan Friso)

January 1990
A fully abstract model for concurrent nondeterministic processes based on posets with non-actions Tech Report

L. Cherkasova

January 1990
GSE, a generic syntax-directed editor Tech Report

M.H.H. van Dijk and J.W.C. Koorn

January 1990
A time splitting method for the three-dimensional shallow water equations Tech Report

E.D. de Goede (Erik)

January 1990
BASIS: a data structure for adaptive multigrid computations Tech Report

P.W. Hemker (Piet), H.T.M. van der Maarel (Eric) and C.T.H. Everaars (Kees)

January 1990
At last an ISO C binding of GKS Tech Report

M. Bakker (Miente)

January 1990
The linear time - branching time spectrum Tech Report

R.J. van Glabbeek (Rob)

January 1990
SmartCash: a practical electronic payment system Tech Report

J.N.E. Bos (Jurjen) and D. Chaum (David)

January 1990
Substring parsing for arbitrary context-free grammars Tech Report

J. G. Rekers (Jan) and J.W.C. Koorn

January 1990
Computing boolean functions on anonymous hypercube networks : extended abstract Tech Report

E. Kranakis (Evangelos) and D.D.M. Krizanc

January 1990
Camera placement in integer lattices : extended abstract Tech Report

M. Pocchiola and E. Kranakis (Evangelos)

January 1990
Logging and recovery in PRISMA Tech Report

C.A. van den Berg (Carel) and M.L. Kersten (Martin)

January 1990
EULER: an adaptive Euler code Tech Report

H.T.M. van der Maarel (Eric), P.W. Hemker (Piet) and C.T.H. Everaars (Kees)

January 1990
Stability of collocation-based Runge-Kutta-Nyström methods Tech Report

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

January 1990
Handling hypergeometric series in Maple Tech Report

T.H. Koornwinder

January 1990
Nested Monte Carlo study of random packing on the sphere Tech Report

R.P.C. Rodgers and A.J. Baddeley (Adrian)

January 1990
A constrained optimisation problem in a processor sharing queue Tech Report

P.R. de Waal

January 1990
A new lower bound approach for single-machine multicriteria scheduling Tech Report

J.A. Hoogeveen and S.L. van de Velde

January 1990
Adjoints of semigroups acting on vector-valued function spaces Tech Report

G. Greiner and J.M.A.M. van Neerven (Jan)

January 1990
Graph morphology Tech Report

H.J.A.M. Heijmans (Henk), P. F. M. Nacken (Peter) and A. Toet (Alexander)

January 1990
Complex Lie semigroups, Hardy spaces and the Gelfand-Gindikin program Tech Report

G.I. Olshanskii

January 1990
Twisted Yangians and infinite-dimensional classical Lie algebras Tech Report

G.I. Olshanskii

January 1990
A proof of the relativized, non-metric form of Furstenberg's structure theorem Tech Report

J. de Vries (Jan)

January 1990
The basic reproduction ratio for sexually transmitted diseases, part I: theoretical considerations Tech Report

O. Diekmann (Odo), K. Dietz and J.A.P. Heesterbeek (Hans)

January 1990
Introduction to program verification Tech Report

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1990
Quantifiers Tech Report

D.J.N. van Eijck (Jan)

January 1990
Determiners Tech Report

D.J.N. van Eijck (Jan)

January 1990
Transfinite reductions in orthogonal term rewriting systems (extended abstract) Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

January 1990
An infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

January 1990
Retrospective creation of virtual alternative hierarchies Tech Report

J.L.H. Rogier (Jan) and D.B.M. Otten (Daan)

January 1990
A layered semantics for a parallel object-oriented language Tech Report

P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

January 1990
Real time process algebra Tech Report

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

January 1990
The meaning of negative premises in transition system specifications Tech Report

R.N. Bol and J.F. Groote (Jan Friso)

January 1990
Formal semantics Tech Report

D.J.N. van Eijck (Jan)

January 1990
IDDL: a language for intelligent interactive integrated CAD systems Tech Report

P. J. Veerkamp (Paul), P. Bernus, P.J.W. ten Hagen (Paul) and V. Akman (Varol)

January 1990
Multiple worlds in an intelligent CAD system Tech Report

P. J. Veerkamp (Paul)

January 1990
Modeling design processes Tech Report

H. Takeda, T. Tomiyama, H. Yoshikawa and P. J. Veerkamp (Paul)

January 1990
A component class for design objects Tech Report

J.L.H. Rogier (Jan)

January 1990
Explicit canonical representatives for weak bisimulation equivalence and congruence Tech Report

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

January 1990
Nonwellfounded sets and programming language semantics Tech Report

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

January 1990
A meta-environment for generating programming environments Tech Report

P. Klint (Paul)

January 1990
Numerical analysis of time-dependent Boussinesq models Tech Report

P.J. van der Houwen (Piet), J. Mooiman and F.W. Wubs (Fred)

January 1990
Combinatorics in operations research Tech Report

A.W.J. Kolen (Antoon) and J.K. Lenstra (Jan Karel)

January 1990
Gradient projection for nonparametric maximum likelihood estimation with interval censored data Tech Report

D.M. Bakker

January 1990

Previous

Next

Available Years