Publications from 2013
-
January 1991
-
An analytical solution to the consistency problem for the Littlewood model in software reliability Tech Report
January 1991 -
An executable semantics for a subset of COLD Tech Report
January 1991 -
January 1991
-
LIE manual Tech Report
January 1991 -
January 1991
-
CAN: Computer Algebra Nederland Booklet
January 1991 -
January 1991
-
Preface Article
January 1991 -
January 1991
-
Anaphora and the logic of change In Proceedings
January 1991 -
An exercise in transformational programming: backtracking and branch-and-bound Article
Science of Computer Programming, 16(1), 19-48.January 1991 -
Block Runge-Kutta methods In Proceedings
January 1991 -
Local and global order reduction of some LOD schemes In Proceedings
January 1991 -
Low-diffusion rotated upwind schemes, multigrid and defect correction for steady, multi-dimensional Euler flows In Proceedings
January 1991 -
January 1991
-
System-theoretic trends in econometrics Book Chapter
January 1991 -
COLV12 Software
January 1991 -
A Statistical analysis of spatial point patterns A case study Article
Statistica Neerlandica, 45(4), 345-363.January 1991 -
Edge-disjoint homotopic paths in straight-line planar graphs Article
SIAM Journal on Discrete Mathematics, 4(1), 130-138.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.January 1991 -
Loop checking and negation In Proceedings
January 1991 -
On the Edgeworth expansion and the bootstrap approximation for a Studentized $U$-statistic Article
Annals of Statistics, 19(1), 470-484.January 1991 -
Disjoint homotopic paths and trees in a planar graph Article
Discrete & Computational Geometry, 6(6), 527-574.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.January 1991 -
A two-grid analysis of the combination of mixed finite elements and Vanka-type relaxation In Proceedings
January 1991 -
Determinism -> (event structure isomorphism = step sequence equivalence) Article
Theoretical Computer Science, 79(2), 275-294.January 1991 -
Analysis of Christofides' heuristic: some paths are more difficult than cycles Article
Operations Research Letters, 10(5), 291-295.January 1991 -
On the attained waiting time Article
Advances in Applied Probability, 660-661.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.January 1991 -
On distance-transitive graphs and involutions Article
Graphs and Combinatorics, 7(4), 377-394.January 1991 -
January 1991
-
Comparative semantics for flow of control in logic programming without logic Article
Information and Computation, 94(2), 123-179.January 1991 -
Riccati and soliton equations In Proceedings
January 1991 -
On the topology induced by the adjoint of a semigroup of operators Article
Semigroup Forum, 43(3), 378-394.January 1991 -
Reflexivity, the dual Radon-Nikod'ym property, and continuity of adjoint semigroups II Article
Indagationes Mathematicae, 2(2), 243-250.January 1991 -
Coxeter groups and three related topics In Proceedings
January 1991 -
January 1991
-
January 1991
-
January 1991
-
Handling hypergeometric series in Maple In Proceedings
January 1991 -
January 1991
-
January 1991
-
Filosofische aspecten van digitale systemen : [rede bij het 355-jarig bestaan van de Universiteit Utrecht] Magazine Article
January 1991 -
January 1991
-
Beste Nuis Book Chapter
January 1991 -
Om in stijl te blijven... Book Chapter
January 1991 -
De werkgroep Neutrixrekening Book Chapter
January 1991 -
Een bloem voor Jan Book Chapter
January 1991 -
January 1991
-
Beste Jan, ... Book Chapter
January 1991 -
Dit is de heer Bommel, ... Book Chapter
January 1991 -
Aan Jan Nuis, mijn buurman Book Chapter
January 1991 -
Genealogische kwartierstaat van Jan Nuis Book Chapter
January 1991 -
Bedankt Book Chapter
January 1991 -
Het SARA-model, een voorbeeld? Book Chapter
January 1991 -
Bladerend in het archief WCW... Book Chapter
January 1991 -
Een jonge mathemaat uit Purmerend Book Chapter
January 1991 -
Kruislaan impressies Book Chapter
January 1991 -
Jan Nuis en de geschiedenis Book Chapter
January 1991 -
De voetstukken van het CWI, aflevering 171: J. Nuis Book Chapter
January 1991 -
Twee obolen Book Chapter
January 1991 -
Beste Jan Book Chapter
January 1991 -
Jan Nuis, 1 augustus 1964 - 30 november 1991 Book Chapter
January 1991 -
Wie het weet mag het zeggen Book Chapter
January 1991 -
Wiskunde voor 60+ en ouder Book Chapter
January 1991 -
Plato, Escher, Nuis Book Chapter
January 1991 -
January 1991
-
Beste Jan Book Chapter
January 1991 -
January 1991
-
In een diligence zaten ...... Book Chapter
January 1991 -
January 1991
-
January 1991
-
Wij zullen het niet vergeten Book Chapter
January 1991 -
On the management style of Jan Nuis Book Chapter
January 1991 -
Zij mogen uiteraard daarbij de besliskunde niet verwaarlozen.... Kansberekeningen en kanttekeningen bij een kantine Book Chapter
January 1991 -
January 1991
-
Jan Nuis is de naam Book Chapter
January 1991 -
Waarom Jan? Book Chapter
January 1991 -
Een nieuw exemplaar voor de verzameling Book Chapter
January 1991 -
January 1991
-
January 1991
-
An Approach to Image Indexing of Documents In Proceedings
January 1991 -
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.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.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.January 1991 -
A Bending Energy Model for Measurement of Cardiac Shape Deformity Article
IEEE Transactions on Medical Imaging, 10(3), 307-320.January 1991 -
Which new RSA signatures can be computed from some given RSA signatures? (extended abstract) In Proceedings
January 1991 -
CCS for OO and LP In Proceedings
January 1991 -
Rendez-vous with metric semantics In Proceedings
January 1991 -
An analysis of loop checking mechanisms for logic programs Article
Theoretical Computer Science, 86(1), 35-79.January 1991 -
Convergence properties of the Runge-Kutta-Chebyshev method In Proceedings
January 1991 -
Preserving liveness. Comments on: 'Safety and liveness from a methodological point of view' Article
Information Processing Letters, 40(3), 141-142.January 1991 -
Introduction to program verification In Proceedings
January 1991 -
The meaning of negative premises in transition system specifications (extended abstract) In Proceedings
January 1991 -
Extended term rewriting systems In Proceedings
January 1991 -
Concurrency semantics based on metric domain equations In Proceedings
January 1991 -
January 1991
-
Proving termination of general Prolog programs In Proceedings
January 1991