Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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)

January 1991
Calculate categorically ! Tech Report

M.M. Fokkinga (Maarten)

January 1991
Datatype laws without signatures Tech Report

M.M. Fokkinga (Maarten)

January 1991
Normal forms in real time process algebra Tech Report

W.J. Fokkink (Wan)

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

E.D. de Goede (Erik)

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

J.F. Groote (Jan Friso)

January 1991
Undecidable equivalences for basic process algebra Tech Report

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

January 1991
Proof theory for $ mu $ -CRL Tech Report

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

January 1991
Texture synthesis Tech Report

M. Haindl

January 1991
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)

January 1991
Implementing higher-order algebraic specifications Tech Report

J. Heering (Jan)

January 1991
Discretization of morphological operators Tech Report

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

January 1991
Parallel step-by-step methods Tech Report

P.J. van der Houwen (Piet)

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

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

January 1991
Fast theorem proving in intuitionistic propositional logic Tech Report

M.I. Kanovich

January 1991
Lazy scanner generation for modular regular grammars Tech Report

P. Klint (Paul)

January 1991
Abstraction in real time process algebra Tech Report

A.S. Klusener (Steven)

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

T.H. Koornwinder

January 1991
Report on a window-on-science trip Tech Report

B. Koren (Barry)

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

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

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

V.V. Korolyuk (Vladimir)

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

V.V. Korolyuk (Vladimir)

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

J. Leslie and C. van Eeden (Constance)

January 1991
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)

January 1991
Adaptive multigrid for the steady Euler equations Tech Report

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

January 1991
Fine-grain incremental implementation of algebraic specifications Tech Report

E.A. van der Meulen (Emma)

January 1991
Counterexamples to completeness results for basic narrowing Tech Report

A. Middeldorp and E. Hamoen

January 1991
A rewrite approach to polynomial ideal theory Tech Report

A. Middeldorp and M. Starcevic

January 1991
Adaptive multigrid applied to a bipolar transistor problem Tech Report

J. Molenaar (Gijs)

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

J. Molenaar (Gijs)

January 1991
A metric for line segments Tech Report

P. F. M. Nacken (Peter)

January 1991
Non-interfering dipaths in planar digraphs Tech Report

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

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

M.C. J. van Pul (Mark)

January 1991
Software reliability and the bootstrap Tech Report

M.C. J. van Pul (Mark)

January 1991
Generalized LR parsing for general context-free grammars Tech Report

J. G. Rekers (Jan)

January 1991
Polling systems and multitype branching processes Tech Report

J.A.C. Resing

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

H.J.J. te Riele (Herman)

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

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

January 1991
Hereditarily-finite sets and complete metric spaces Tech Report

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

January 1991
A simplified proof of Toyama's theorem Tech Report

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

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

B.P. Sommeijer (Ben)

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

Y. Toyama

January 1991
Geometric constraint satisfaction Tech Report

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

January 1991
An invitation to structured (meta)population models Tech Report

O. Diekmann (Odo)

January 1991
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)

January 1991
An executable semantics for a subset of COLD Tech Report

A.S. Klusener (Steven)

January 1991
Sixth annual IEEE symposium on logic in computer science : July 15-18, 1991 : Amsterdam, the Netherlands Proceedings

January 1991
Nederlandse stichting voor de wiskunde : inlichtingenboekje 1991 Booklet

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

January 1991
LIE manual Tech Report

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

January 1991
CAN: Computer Algebra Nederland Booklet

January 1991
Liber amicorum: Lambert Meertens @ CWI 1966-1991 Book

January 1991
Preface Article

D.J.N. van Eijck (Jan)

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

January 1991
Anaphora and the logic of change In Proceedings

R. Muskens

January 1991
An exercise in transformational programming: backtracking and branch-and-bound Article

Science of Computer Programming, 16(1), 19-48.

M.M. Fokkinga (Maarten)

January 1991
Block Runge-Kutta methods In Proceedings

P.J. van der Houwen (Piet)

January 1991
Local and global order reduction of some LOD schemes In Proceedings

W. Hundsdorfer (Willem)

January 1991
Low-diffusion rotated upwind schemes, multigrid and defect correction for steady, multi-dimensional Euler flows In Proceedings

B. Koren (Barry)

January 1991
Confluence of the disjoint union of conditional term rewriting systems In Proceedings

A. Middeldorp

January 1991
System-theoretic trends in econometrics Book Chapter

J.M. Schumacher (Hans)

January 1991
COLV12 Software

J.G. Blom (Joke)

January 1991
A Statistical analysis of spatial point patterns A case study Article

Statistica Neerlandica, 45(4), 345-363.

Barendregt, L.G. and Rottschäfer, M.J.

January 1991
Edge-disjoint homotopic paths in straight-line planar graphs Article

SIAM Journal on Discrete Mathematics, 4(1), 130-138.

A. Schrijver (Lex)

January 1991
Disjoint circuits of prescribed homotopies in a graph on a compact surface Article

Journal of Combinatorial Theory - Series B, 51(1), 127-159.

A. Schrijver (Lex)

January 1991
Loop checking and negation In Proceedings

R.N. Bol

January 1991
On the Edgeworth expansion and the bootstrap approximation for a Studentized $U$-statistic Article

Annals of Statistics, 19(1), 470-484.

R. Helmers (Roelof)

January 1991
Disjoint homotopic paths and trees in a planar graph Article

Discrete & Computational Geometry, 6(6), 527-574.

A. Schrijver (Lex)

January 1991
The addition formula for little $q$-Legendre polynomials and the ${m SU}(2)$ quantum group Article

SIAM Journal on Mathematical Analysis, 22(1), 295-301.

T.H. Koornwinder

January 1991
A two-grid analysis of the combination of mixed finite elements and Vanka-type relaxation In Proceedings

J. Molenaar (Gijs)

January 1991
Determinism -> (event structure isomorphism = step sequence equivalence) Article

Theoretical Computer Science, 79(2), 275-294.

F.W. Vaandrager (Frits)

January 1991
Analysis of Christofides' heuristic: some paths are more difficult than cycles Article

Operations Research Letters, 10(5), 291-295.

J.A. Hoogeveen

January 1991
On the attained waiting time Article

Advances in Applied Probability, 660-661.

J.W. Cohen

January 1991
Process expressions and Hoare's logic: showing an irreconcilability of context-free recursion with Scott's induction rule Article

Information and Computation, 95(2), 192-217.

A. Ponse (Alban)

January 1991
On distance-transitive graphs and involutions Article

Graphs and Combinatorics, 7(4), 377-394.

J.T.M. van Bon (John)

January 1991
Presentations for certain finite quaternionic reflection groups Book Chapter

A.M. Cohen (Arjeh)

January 1991
Comparative semantics for flow of control in logic programming without logic Article

Information and Computation, 94(2), 123-179.

J.W. de Bakker (Jaco)

January 1991
Riccati and soliton equations In Proceedings

M. Hazewinkel (Michiel)

January 1991
On the topology induced by the adjoint of a semigroup of operators Article

Semigroup Forum, 43(3), 378-394.

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

January 1991
Reflexivity, the dual Radon-Nikod'ym property, and continuity of adjoint semigroups II Article

Indagationes Mathematicae, 2(2), 243-250.

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

January 1991
Coxeter groups and three related topics In Proceedings

A.M. Cohen (Arjeh)

January 1991
Symmetry problems (symmetrical problems and problems in understanding symmetry) In Proceedings

M. Hazewinkel (Michiel)

January 1991
Conclog: a methodological approach to concurrent logic programming Book

J.-M. Jacquet (Jean-Marie)

January 1991
Positive convolution structures associated with quantum groups In Proceedings

T.H. Koornwinder

January 1991
Handling hypergeometric series in Maple In Proceedings

T.H. Koornwinder

January 1991
Zelfevaluatie Stichting Mathematisch Centrum 1991 Book

CWI CWI

January 1991
Scientific programme 1991 : long-range plan 1992-1996. part 2 Book

SMC SMC

January 1991
Filosofische aspecten van digitale systemen : [rede bij het 355-jarig bestaan van de Universiteit Utrecht] Magazine Article

J.A. Bergstra (Jan)

January 1991
Dienstverlening op het gebied van wiskunde en informatica en Jan Nuis Book Chapter

P.J. Zandbergen

January 1991
Beste Nuis Book Chapter

P. de Wolff (Piet)

January 1991
Om in stijl te blijven... Book Chapter

L. Vasmel-Kaarsemaker

January 1991
De werkgroep Neutrixrekening Book Chapter

N.M. Temme (Nico)

January 1991
Een bloem voor Jan Book Chapter

G.J. Stemerdink

January 1991
Enkele overwegingen bij de methode van Newton-Raphson Book Chapter

A. van der Sluis

January 1991
Beste Jan, ... Book Chapter

T. Schipper

January 1991
Dit is de heer Bommel, ... Book Chapter

J. Schipper (Jan)

January 1991
Aan Jan Nuis, mijn buurman Book Chapter

L. Roos

January 1991
Genealogische kwartierstaat van Jan Nuis Book Chapter

F.A. Roos (Frank)

January 1991
Bedankt Book Chapter

G.M.A. Reniers

January 1991

Previous

Next

Available Years