Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
Bounds for the interval availability distribution Tech Report

P. Wartenhorst

January 1990
Realization and partial fractions Tech Report

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

January 1990
Near-perfect matrices Tech Report

F.B. Shepherd (Bruce)

January 1990
Completeness of combinations of constructor systems Tech Report

A. Middeldorp and Y. Toyama

January 1990
MANIFOLD: a language for specification of inter-process communication Tech Report

F. Arbab (Farhad) and I. Herman (Ivan)

January 1990
Examples in MANIFOLD Tech Report

F. Arbab (Farhad) and I. Herman (Ivan)

January 1990
NUMVEC FORTRAN library manual : chapter: basic linear algebra : routine: MATMUL : chapter: simultaneous linear equations : routines: BIDIAGL and BIDIAGU Tech Report

J.J.F.M. Schlichting

January 1990
NUMVEC FORTRAN library manual : chapter: partial differential equations : routine: ICCG3D Tech Report

J.J.F.M. Schlichting and H.A. van der Vorst (Henk)

January 1990
A note on the grid movement induced by MFE Tech Report

P.A. Zegeling (Paul) and J.G. Blom (Joke)

January 1990
Low-diffusion rotated upwind schemes, multigrid and defect correction for steady, multi-dimensional Euler flows Tech Report

B. Koren (Barry)

January 1990
On Tutte's characterization of graphic matroids : a graphic proof Tech Report

A.M.H. Gerards (Bert)

January 1990
On second order optimality of regular projective estimators: Part I Tech Report

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

January 1990
New lower and upper bounds for scheduling around a small common due date Tech Report

J.A. Hoogeveen, H. Oosterhout and S.L. van de Velde

January 1990
On iterative estimators Tech Report

K.O. Dzhaparidze (Kacha)

January 1990
Cardiac magnetic resonance imaging by retrospective gating: mathematical modelling and reconstruction algorithms Tech Report

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

January 1990
Performance analysis of a dynamic query processing scheme Tech Report

M.L. Kersten (Martin), S. Shair-Ali and C.A. van den Berg (Carel)

January 1990
Computing boolean functions on Cayley networks (extended abstract) Tech Report

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

January 1990
Two nonparametric estimators of the survival function of bivariate right censored observations Tech Report

D.M. Bakker

January 1990
Tait's flyping conjecture for well-connected links Tech Report

A. Schrijver (Lex)

January 1990
Runge-Kutta methods and local uniform grid refinement Tech Report

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

January 1990
A fully abstract model for concurrent logic languages Tech Report

F.S. de Boer (Frank) and C. Palamidessi (Catuscia)

January 1990
Discourse representation theory Tech Report

D.J.N. van Eijck (Jan)

January 1990
Four domains for concurrency Tech Report

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

January 1990
Representation and implementation of design knowledge for intlligent CAD : theoretical aspects Tech Report

P. J. Veerkamp (Paul), T. Kiriyama, D. Xue and T. Tomiyama

January 1990
Representation and implementation of design knowledge for intlligent CAD : implementational aspects Tech Report

T. Kiriyama, D. Xue, T. Tomiyama and P. J. Veerkamp (Paul)

January 1990
Deriving incremental implementations from algebraic specifications Tech Report

E.A. van der Meulen (Emma)

January 1990
Editing objects of a hierarchical structured drawing Tech Report

J.J.W. van der Vegt (Jaap)

January 1990
Loop checking and negation Tech Report

R.N. Bol

January 1990
Block-Cholesky for parallel processing Tech Report

M. Nool (Margreet)

January 1990
On the construction of translation and rotation invariant morphological operators Tech Report

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

January 1990
Central limit theorem for non-homogeneous processes with independent increments and semimarkov switchings Tech Report

V.V. Korolyuk (Vladimir)

January 1990
A local limit theorem for L-statistics Tech Report

R. Helmers (Roelof)

January 1990
Transfinite reductions in orthogonal term rewriting systems Tech Report

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

January 1990
Process algebra with guards : combining Hoare logic with process algebra Tech Report

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

January 1990
Term rewriting systems Tech Report

J.W. Klop (Jan Willem)

January 1990
The two-dimensional random walk, its hitting process and its classification Tech Report

J.W. Cohen

January 1990
The syntax and semantics of $ mu $ CRL Tech Report

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

January 1990
Speciale functies in de mathematische fysica Book

N.M. Temme (Nico)

January 1990
Activiteiten 1990/1991 op het gebied van de tweede fase onderzoeksopleiding wiskunde Book

January 1990
Multi-media research at CWI: goals and objectives Tech Report

D.C.A. Bulterman (Dick)

January 1990
Preface Article

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

January 1990
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29- June 2, 1989 Proceedings Proceedings

January 1990
Diffie-Hellman is as strong as discrete log for certain primes In Proceedings

B. den Boer

January 1990
Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond In Proceedings

J.W. Klop (Jan Willem)

January 1990
A new strategy for proving $omega$-completeness applied to process algebra In Proceedings

J.F. Groote (Jan Friso)

January 1990
A parallel insertion heuristic for vehicle routing with side constraints Article

Statistica Neerlandica, 44(3), 139-148.

M.W.P. Savelsbergh

January 1990
Another look at the Brayton-Moser network equations In Proceedings

J.M. Schumacher (Hans)

January 1990
Logic programming Book Chapter

K.R. Apt (Krzysztof)

January 1990
Towards more efficient loop checks In Proceedings

R.N. Bol

January 1990
Two simple protocols Book Chapter

F.W. Vaandrager (Frits)

January 1990
Process algebra semantics of POOL Book Chapter

F.W. Vaandrager (Frits)

January 1990
Some observations on redundancy in a context Book Chapter

F.W. Vaandrager (Frits)

January 1990
Factoring with the quadratic sieve on large vector computers Article

H.J.J. te Riele (Herman), W.M. Lioen (Walter) and D.T. Winter (Dik)

January 1990
Report on the Fourth Eurographics Workshop on Intelligent CAD Article

Computer Graphics Forum, 9(3), 283-284.

F. Arbab (Farhad)

January 1990
EUROPE '92 ‐ The Computer Graphics Market: Challenge and Opportunity A R&D Institute's View of a Workshop Held in Darmstadt in December 1989 Article

Computer Graphics Forum, 9(5), 388-388.

P.J.W. ten Hagen (Paul) and Schönhut, J. (Jürgen)

January 1990
Report on the First Eurographics Workshop on Object‐Oriented Graphics Article

Computer Graphics Forum, 9(3), 285-286.

D.B.M. Otten (Daan)

January 1990

Previous

Next

Available Years