Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
Het SARA-model, een voorbeeld? Book Chapter

R. Poppe

January 1991
Bladerend in het archief WCW... Book Chapter

R. Poel

January 1991
Een jonge mathemaat uit Purmerend Book Chapter

R. van Ouwerkerk-Pool

January 1991
Kruislaan impressies Book Chapter

A.L. Ong (Ay Ling)

January 1991
Jan Nuis en de geschiedenis Book Chapter

H. Noot (Han)

January 1991
De voetstukken van het CWI, aflevering 171: J. Nuis Book Chapter

B. Niksaart (Bop)

January 1991
Twee obolen Book Chapter

G.Y. Nieuwland

January 1991
Beste Jan Book Chapter

H.M. Nieland (Henk)

January 1991
Jan Nuis, 1 augustus 1964 - 30 november 1991 Book Chapter

W.J. Mol (Wim)

January 1991
Wie het weet mag het zeggen Book Chapter

J. van de Lune (Jan)

January 1991
Wiskunde voor 60+ en ouder Book Chapter

G. de Leve (Gijs)

January 1991
Plato, Escher, Nuis Book Chapter

H.A. Lauwerier

January 1991
Jan Nuis en het Wetenschappelijk Centrum Watergraafsmeer Book Chapter

J. Langelaar

January 1991
Beste Jan Book Chapter

F. Kuiper (Frank)

January 1991
Crystallographic examination of stone walls (Preliminary announcement) Book Chapter

M. Hazewinkel (Michiel)

January 1991
In een diligence zaten ...... Book Chapter

G.F. C. Hardeveld Kleuver (Guus)

January 1991
Methodus auferendi omnes terminos intermedios ex data equatione Book Chapter

A.W. Grootendorst (Albert)

January 1991
Asymptotische methoden voor de bepaling van de mate van grondwaterverontreiniging Book Chapter

J. Grasman (Johan)

January 1991
Wij zullen het niet vergeten Book Chapter

T. van Campenhout

January 1991
On the management style of Jan Nuis Book Chapter

D.C.A. Bulterman (Dick)

January 1991
Zij mogen uiteraard daarbij de besliskunde niet verwaarlozen.... Kansberekeningen en kanttekeningen bij een kantine Book Chapter

O.J. Boxma (Onno)

January 1991
Herinneringen aan onze eerste jaren op het Mathematisch Centrum Book Chapter

H. Bavinck

January 1991
Jan Nuis is de naam Book Chapter

F.J.M. Barning

January 1991
Waarom Jan? Book Chapter

P.C. Baayen

January 1991
Een nieuw exemplaar voor de verzameling Book Chapter

T. Baanders (Tobias)

January 1991
Decomposition of discrete curves into piecewise straight segments in linear time Book Chapter

A.W.M. Smeulders (Arnold) and L. Dorst

January 1991
Discrete Straight Line Segments: Parameters, Primitives and Properties Book Chapter

L. Dorst and A.W.M. Smeulders (Arnold)

January 1991
An Approach to Image Indexing of Documents In Proceedings

P.L. Stanchev, A.W.M. Smeulders (Arnold) and F.C.A. Groen

January 1991
Discrete Straight Line Segments: Parameters, Primitives and Properties Dissertation

L. Dorst

January 1991
Reasoning in Uncertainties: An Analysis of Five Strategies and Their Suitability in Pathology Article

Analytical and Quantitative Cytology and Histology, 13(2), 93-109.

A.M. van Ginneken and A.W.M. Smeulders (Arnold)

January 1991
DNA Measurement Errors with a Scanning Microdensitometer in Cytologic and Histologic Samples of Breast Cancers Article

Analytical and Quantitative Cytology and Histology, 13(2), 115-122.

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

January 1991
Automated Selection of the Most Epithelium-Rich Areas in Gynecologic Tumor Sections Article

Analytical and Quantitative Cytology and Histology, 13(6), 395-402.

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

January 1991
A Bending Energy Model for Measurement of Cardiac Shape Deformity Article

IEEE Transactions on Medical Imaging, 10(3), 307-320.

J. Duncan, F.A. Lee, A.W.M. Smeulders (Arnold) and B.L. Zaret

January 1991
Which new RSA signatures can be computed from some given RSA signatures? (extended abstract) In Proceedings

J.-H. Evertse (Jan-Hendrik) and E. van Heyst

January 1991
CCS for OO and LP In Proceedings

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

January 1991
Rendez-vous with metric semantics In Proceedings

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

January 1991
An analysis of loop checking mechanisms for logic programs Article

Theoretical Computer Science, 86(1), 35-79.

R.N. Bol, K.R. Apt (Krzysztof) and J.W. Klop (Jan Willem)

January 1991
Convergence properties of the Runge-Kutta-Chebyshev method In Proceedings

J.G. Verwer (Jan), W. Hundsdorfer (Willem) and B.P. Sommeijer (Ben)

January 1991
Preserving liveness. Comments on: 'Safety and liveness from a methodological point of view' Article

Information Processing Letters, 40(3), 141-142.

M. Abadi, B. Alpern, K.R. Apt (Krzysztof), N. Francez, S. Katz, L. Lamport and F.B. Schneider

January 1991
Introduction to program verification In Proceedings

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

January 1991
The meaning of negative premises in transition system specifications (extended abstract) In Proceedings

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

January 1991
Extended term rewriting systems In Proceedings

J.W. Klop (Jan Willem) and R. de Vrijer

January 1991
Concurrency semantics based on metric domain equations In Proceedings

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

January 1991
Functional programming with bananas, lenses, envelopes and barbed wire In Proceedings

E. Meijer, M.M. Fokkinga (Maarten) and R. Paterson

January 1991
Proving termination of general Prolog programs In Proceedings

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

January 1991
Efficient multigrid computation of steady hypersonic flows Book Chapter

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

January 1991
Direct zero knowledge proofs of computational power in five rounds In Proceedings

T. Okamoto, D. Chaum (David) and K. Ohta

January 1991
Advances in Computer Graphics Hardware Proceedings

January 1991
A structure for transportable, dynamic multimedia documents In Proceedings

D.C.A. Bulterman (Dick), G. van Rossum (Guido) and R. van Liere (Robert)

January 1991
Multimedia synchronization and UNIX -or- If multimedia is the problem, is UNIX the solution? In Proceedings

D.C.A. Bulterman (Dick), G. van Rossum (Guido) and D.T. Winter (Dik)

January 1991
Multimedia synchronization and UNIX In Proceedings

D.C.A. Bulterman (Dick) and R. van Liere (Robert)

January 1991
Book review Article

CWI Quarterly, 4(1), 73-74.

J.J. Duistermaat

January 1991
XInPosse: Structural Simulation for Graphics Hardware In Proceedings

M.A. Guravage (Michael), E.H. Blake and A.A.M. Kuijk (Fons)

January 1991
A Display Controller for an Object-level Frame Store System In Proceedings

J.A.K.S. Jayasinghe, A.A.M. Kuijk (Fons) and L. Spaanenburg

January 1991
Temporal Issues of Animate Response Book Chapter

A.A.M. Kuijk (Fons)

January 1991
Stability properties of a flow process in graphs Article

Random Structures & Algorithms, 335-341.

J. van den Berg (Rob) and R. Meester

January 1991

Previous

Next

Available Years