Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Concurrency semantics based on metric domain equations Tech Report

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

January 1989
Benchmark of the initial release of the LAPACK library Tech Report

M. Louter-Nool and D.T. Winter (Dik)

January 1989
Damped, direction-dependent multigrid for hypersonic flow computations Tech Report

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

January 1989
A static-regridding method for two-dimensional parabolic partial differential equations Tech Report

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

January 1989
Mathematical morphology on homogeneous spaces Tech Report

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

January 1989
Interconnected networks of queues with randomized arrival and departure blocking Tech Report

P.R. de Waal and N.M. van Dijk

January 1989
Semantic models for a version of PARLOG Tech Report

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

January 1989
Control flow versus logic: a denotational and a declarative model for guarded Horn clauses Tech Report

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

January 1989
Which data types have $ omega $ -complete initial algebra specifications? Tech Report

J.A. Bergstra (Jan) and J. Heering (Jan)

January 1989
Temporal issues of animate response Tech Report

A.A.M. Kuijk (Fons)

January 1989
Convergence of linear multistep and one-leg methods for stiff nonlinear initial value problems Tech Report

W. Hundsdorfer (Willem) and B.I. Steininger

January 1989
A parallel object-oriented language: design and semantic foundations Tech Report

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

January 1989
Deriving denotational models for bisimulation from structured operational semantics Tech Report

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

January 1989
Using transformations to verify parallel programs Tech Report

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

January 1989
Wiskunde 2 : integraalrekening en differentiaalvergelijkingen / Dl. 3 Blok 3, Numerieke wiskunde : cursus Open Universiteit Book

P. H. M. Drijvers, P.J. van der Houwen (Piet), J. S. Lodder, P. J. I. M. de Paepe, B.P. Sommeijer (Ben) and P.M. de Zeeuw (Paul)

January 1989
CWI Scientific Publications 1989 Booklet

January 1989
De bochtige weg van idee naar implementatie Miscellaneous

J.M. Anthonisse, J.K. Lenstra (Jan Karel) and M.W.P. Savelsbergh

January 1989
Preface Preface

J.W. de Bakker (Jaco), W.P. de Roever and G. Rozenberg

January 1989
Upwind schemes for the Navier-Stokes equations In Proceedings

B. Koren (Barry)

January 1989
A conceptual model for inexact reasoning in rule-based systems. Article

International Journal of Approximate Reasoning, 3(3), 239-258.

L.C. van der Gaag

January 1989
Linear system representations Book Chapter

J.M. Schumacher (Hans)

January 1989
Dirac quantization, Virasoro and Kac-Moody algebras and boson-fermion correspondence in $2N$ dimensions In Proceedings

S.N.M. Ruijsenaars (Simon)

January 1989
Correctness and full abstraction of metric semantics for concurrency In Proceedings

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

January 1989
Report on the Third Eurographics Workshop on Intelligent CAD Article

Computer Graphics Forum, 8(3), 267-268.

R.S.S. Pieters Kwiers

January 1989
Computer algebra, theory and practice Article

Nieuw Archief voor Wiskunde, 4e serie Vol. 7(3), 215-230.

A.M. Cohen (Arjeh)

January 1989
Compact and majorizable functionals of finite type Article

Journal of Symbolic Logic, 54(1), 271-280.

M.A. Bezem

January 1989
Multigrid and defect correction for the steady Navier-Stokes equations In Proceedings

B. Koren (Barry)

January 1989
Meixner-Pollaczek polynomials and the Heisenberg algebra Article

Journal of Mathematical Physics, 30(4), 767-769.

T.H. Koornwinder

January 1989
On semigroups and populations In Proceedings

O. Diekmann (Odo)

January 1989
Analysis of a six-component atmospheric spectral model: chaos, predictability and vacillation Article

Physica - D, Nonlinear Phenomena, 36(3), 222-234.

H.E. de Swart (Huibert)

January 1989
Representations of the twisted ${ m SU}(2)$ quantum group and some $q$-hypergeometric orthogonal polynomials Article

Indagationes Mathematicae, 51(1), 97-117.

T.H. Koornwinder

January 1989
Invariant ideals of polynomial algebras with multiplicity free group action Article

Compositio Mathematica, 71(2), 181-227.

G.C.M. Ruitenburg

January 1989
The biennial life strategy in a random environment Article

Journal of Mathematical Biology, 27(3), 309-319.

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

January 1989
Stochastic realization problems Book Chapter

J.H. van Schuppen (Jan)

January 1989
Index formulas for generalized Wiener-Hopf operators and boson-fermion correspondence in $2N$ dimensions Article

Communications in Mathematical Physics, 553-593.

S.N.M. Ruijsenaars (Simon)

January 1989
An asymptotic solution to a two-dimensional exit problem arising in population dynamics Article

SIAM Journal on Applied Mathematics, 49(6), 1793-1810.

H.N.M. Roozen

January 1989
The algebra of synchronous processes Article

Fundamenta Informaticae, 12(2), 139-162.

W.P. Weijland

January 1989
Convergence of Runge-Kutta methods on classes of stiff initial value problems In Proceedings

W. Hundsdorfer (Willem)

January 1989
Stochastic stability of the loaded stiff rod Article

Journal of Engineering Mathematics, 23(4), 357-376.

H.N.M. Roozen

January 1989
Workloads and waiting times in single-server systems with multiple customer classes In Proceedings

O.J. Boxma (Onno)

January 1989
Computer algebra, theory and practice Article

Nieuw Archief voor Wiskunde, 4e serie Vol. 7(3), 215-230.

A.M. Cohen (Arjeh)

January 1989
Uniqueness of Gibbs measures and absorption probabilities Article

Annals of Probability, 17(4), 1416-1431.

H.C.P. Berbee (Henri)

January 1989
On the computation of special functions by using asymptotic expansions In Proceedings

N.M. Temme (Nico)

January 1989
The Klein bottle and multicommodity flows Article

Combinatorica, 9(4), 375-384.

A. Schrijver (Lex)

January 1989
On the strong connectivity problem Book Chapter

A. Schrijver (Lex)

January 1989
Non-Gaussian linear filtering, identification of linear systems, and the symplectic group In Proceedings

M. Hazewinkel (Michiel)

January 1989
Scientific programme 1989 : long-range plan 1990-1994. part 1 Book

January 1989
Over $\Phi$'s en $\Psi$'s Book Chapter

J.C. van Vliet (Hans)

January 1989
1964 - MC - J.W. de Bakker - CWI - 1989 Book Chapter

L. Vasmel-Kaarsemaker

January 1989
Applications of computability theory over abstract data types Book Chapter

J.V. Tucker (John)

January 1989
Programmacorrectheid en het college Inleiding informatica Book Chapter

R.P. van de Riet (Reind)

January 1989
The decent philosophers: an exercise in operational semantics of concurrent systems Book Chapter

W. Reisig

January 1989
What is in a step Book Chapter

A. Pnueli and M. Shalev

January 1989
Uit het Zuiden... Book Chapter

J. Paredaens

January 1989
Abstract objects as abstract data types revisited Book Chapter

A. Ollongren

January 1989
Views on parallel parsing: a preliminary survey Book Chapter

A. Nijholt

January 1989
Best wishes Book Chapter

U. Montanari

January 1989
Correspondenties in semantiek Book Chapter

J.J.C. Meijer

January 1989
Voor Jaco Book Chapter

C. Lenstra

January 1989
Correctness of the two-phase commit protocol Book Chapter

J. van Leeuwen (Jan)

January 1989
Metric semantics for the input/output behaviour of sequential programs Book Chapter

J.N. Kok (Joost)

January 1989
Scanner generation for modular regular grammars Book Chapter

P. Klint (Paul)

January 1989
Beste Jaco en Angeline Book Chapter

A. van der Houwen and P.J. van der Houwen (Piet)

January 1989
A compositional semantics for statecharts Book Chapter

J. Hooman, S. Ramesh and W.P. de Roever

January 1989
Qualitative $\lambda$-models as type assignment systems Book Chapter

F. Honsell and S. Ronchi della Rocca

January 1989
The induction rule of De Bakker and Scott Book Chapter

W.H. Hesselink (Wim)

January 1989
MFCS greetings to Jaco W. de Bakker Book Chapter

J. Gruska

January 1989
Towards a theory of (self) applicative communicating processes: a short note Book Chapter

H.J.M. Goeman

January 1989
Refinement in branching time semantics Book Chapter

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

January 1989
The process of De Bakker and Zucker represent bisimulation equivalence classes Book Chapter

R.J. van Glabbeek (Rob) and J.J.M.M. Rutten (Jan)

January 1989
Cooperating-proofs for distributed programs with multi-party interactions Book Chapter

N. Francez

January 1989
A compositional semantics for the Turing machine Book Chapter

P. van Emde Boas (Peter)

January 1989
On the use of semantics: extending Prolog to a parallel object oriented language Book Chapter

A. P. W. Eliëns (Anton)

January 1989
A characterization of the state spaces of elementary net systems Book Chapter

A. Ehrenfeucht and G. Rozenberg

January 1989
Intersection types for combinatory logic Book Chapter

M. Dezani-Ciancaglini and R. Hindley

January 1989
Continuation semantics for PROLOG with cut Book Chapter

A. de Bruin (Arie) and E.P. de Vink (Erik)

January 1989
A summary of the work on the proof theory for the language POOL Book Chapter

F.S. de Boer (Frank)

January 1989
The semantics and complexity of parallel programs for vector computations, part II Book Chapter

E.K. Blum

January 1989
Facets of software development Book Chapter

D. Bjørner

January 1989
Towards compositional predicate transformer semantics for concurrent programs Book Chapter

E. Best

January 1989
BMACP Book Chapter

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

January 1989
An algebra for process creation Book Chapter

J.C.M. Baeten (Jos) and F.W. Vaandrager (Frits)

January 1989
On formal and informal reasoning in program construction Book Chapter

R.J.R. Back (Ralph-Johan)

January 1989
Playing at semantics Book Chapter

P.C. Baayen

January 1989
A note on disjoint parallelism Book Chapter

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

January 1989
The practical importance of formal semantics Book Chapter

P.H.M. America (Pierre)

January 1989
A theory of programs : an outline of joint work : IBM seminar Vienna, August 1969 Book Chapter

J.W. de Bakker (Jaco) and D. Scott

January 1989
Voorwoord (bij J.W. de Bakker: 25 jaar semantiek) Book Chapter

J.W. Klop (Jan Willem), J.J.C. Meijer and J.J.M.M. Rutten (Jan)

January 1989
J.W. de Bakker, 25 jaar semantiek : liber amicorum Miscellaneous

January 1989
Semantic models for a version of PARLOG In Proceedings

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

January 1989
Control flow versus logic: a denotational and a declarative model for guarded Horn clauses In Proceedings

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

January 1989
Equivalence notions for concurrent systems and refinement of actions In Proceedings

R.J. van Glabbeek (Rob) and U. Goltz

January 1989
Structured operational semantics and bisimulation as a congruence (extended abstract) In Proceedings

J.F. Groote (Jan Friso) and F.W. Vaandrager (Frits)

January 1989
How to share concurrent asynchronous wait-free variables (preliminary version) In Proceedings

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

January 1989
A new approach to formal language theory by Kolmogorov complexity (preliminary version) In Proceedings

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

January 1989
A Lagrangian moving grid scheme for one-dimensional evolutionary partial differential equations In Proceedings

J.G. Blom (Joke), J.M. Sanz-Serna and J.G. Verwer (Jan)

January 1989
Reproducibility and Comparison of Quantitative DNA Histogram Features Obtained with a Scanning Microdensitometer and a Flow Cytometer in Breast Cancers Article

Analytical and Quantitative Cytology and Histology, 11(5), 353-360.

A.M. Uyterlinde, A.W.M. Smeulders (Arnold) and J.P.A. Baak

January 1989
Quantification of Epithelial Area by Image Processing Applied to Endometrial Carcinomas: A Comparison with Ovarian Tumors Article

Human Pathology, 20(11), 1125-1132.

N. Schipper, A.W.M. Smeulders (Arnold), J.H.M. de Lange and J.P.A. Baak

January 1989
Hypermedia Techniques for Diagnostic Imaging Instruction: Videodisk Echocardiography Encyclopedia Article

Radiology, 171(2), 475-480.

C.C. Jaffe, P. J. Lynch and A.W.M. Smeulders (Arnold)

January 1989
Human Chromosome Classification Based on Local Band Descriptors Article

Pattern Recognition Letters, 9(3), 211-222.

F.C.A. Groen, T.K. ten Kate, A.W.M. Smeulders (Arnold) and I.T. Young

January 1989

Previous

Next

Available Years