Publications from 2024
-
January 1991
-
January 1991
-
Advances in Computer Graphics Hardware Proceedings
January 1991 -
A structure for transportable, dynamic multimedia documents In Proceedings
January 1991 -
Multimedia synchronization and UNIX -or- If multimedia is the problem, is UNIX the solution? In Proceedings
January 1991 -
Multimedia synchronization and UNIX In Proceedings
January 1991 -
Book review Article
CWI Quarterly, 4(1), 73-74.January 1991 -
XInPosse: Structural Simulation for Graphics Hardware In Proceedings
January 1991 -
A Display Controller for an Object-level Frame Store System In Proceedings
January 1991 -
Temporal Issues of Animate Response Book Chapter
January 1991 -
Stability properties of a flow process in graphs Article
Random Structures & Algorithms, 335-341.January 1991 -
On the zeros of the error term for the mean square of $vert zeta(frac {1}{2}+it)vert $ Article
Mathematics of Computation, 56(193), 303-328.January 1991 -
Convergence of linear multistep and one-leg methods for stiff nonlinear initial value problems Article
BIT : Numerical Mathematics, 31(1), 124-143.January 1991 -
Monotonicity of performance measures in a processor sharing queue Article
Performance Evaluation, 12(1), 5-16.January 1991 -
Boolean functions, invariance groups, and parallel complexity Article
SIAM Journal on Computing, 20(3), 553-590.January 1991 -
Damped, direction-dependent multigrid for hypersonic flow computations Article
Applied Numerical Mathematics, 7(4), 309-328.January 1991 -
Cones of matrices and set-functions and $0$-$1$ optimization Article
SIAM Journal on Optimization, 1(2), 166-190.January 1991 -
Improved techniques for lower bounds for odd perfect numbers Article
Mathematics of Computation, 57(196), 857-868.January 1991 -
Completeness of combinations of constructor systems In Proceedings
January 1991 -
Recursive process definitions with the state operator Article
Theoretical Computer Science, 81(2), 285-302.January 1991 -
Generating functions and Lie groups In Proceedings
January 1991 -
Asymptotic behaviour for Wall polynomials and the addition formula for little $q$-Legendre polynomials Article
SIAM Journal on Mathematical Analysis, 22(1), 302-311.January 1991 -
January 1991
-
Supercongruences of Atkin and Swinnerton-Dyer type for Legendre polynomials Article
Journal of Number Theory, 38(3), 265-286.January 1991 -
Stability of collocation-based Runge-Kutta-Nyström methods Article
BIT : Numerical Mathematics, 31(3), 469-481.January 1991 -
A static-regridding method for two-dimensional parabolic partial differential equations Article
Applied Numerical Mathematics, 8(1), 65-90.January 1991 -
Nested Monte Carlo study of random packing on the sphere Article
Journal of Applied Probability, 28(3), 539-552.January 1991 -
On rates of convergence and asymptotic normality in the multiknapsack problem Article
Mathematical Programming, 51(3), 349-358.January 1991 -
Sequentiality in orthogonal term rewriting systems Article
Journal of Symbolic Computation, 12(2), 161-195.January 1991 -
January 1991
-
Iterated Runge-Kutta methods on parallel computers Article
SIAM Journal on Scientific and Statistical Computing, 12(5), 1000-1028.January 1991 -
Arithmetic classification of perfect models of stratified programs Article
Fundamenta Informaticae, 14(3), 339-343.January 1991 -
Numerical analysis of time-dependent Boussinesq models Article
International Journal for Numerical Methods in Fluids, 1235-1250.January 1991 -
The $M/G/1$ queue with processor sharing and its relation to a feedback queue Article
Queueing Systems, 9(4), 365-401.January 1991 -
Stochastic approximation of the MLE for a spatial point pattern Article
Scandinavian Journal of Statistics, 18(1), 39-50.January 1991 -
Semantic models for concurrent logic languages In Proceedings
January 1991 -
Seven criteria for integer sequences being graphic Article
Journal of Graph Theory, 15(2), 223-231.January 1991 -
January 1991
-
Patterns in the effects of infectious diseases on population growth Article
Journal of Mathematical Biology, 29(6), 539-570.January 1991 -
A simpler proof and a generalization of the zero-trees theorem Article
Journal of Combinatorial Theory - Series A, 58(2), 301-305.January 1991 -
Four domains for concurrency Article
Theoretical Computer Science, 90(1), 127-149.January 1991 -
January 1991
-
January 1991
-
January 1991
-
January 1991
-
Minimality of descriptor representations under external equivalence Article
Automatica, 27(6), 985-995.January 1991 -
January 1991
-
January 1991
-
January 1991
-
January 1991
-
January 1991
-
January 1991
-
January 1991
-
Multigrid and defect correction for the steady Navier-Stokes equations : application to aerodynamics Book
January 1991 -
January 1991
-
January 1991
-
January 1991
-
A Structure for Transportable, Dynamic Multimedia Documents In Proceedings
January 1991 -
A new lower bound for the De Bruijn-Newman constant Article
Numerical Mathematics, 661-667.January 1991 -
Marginal stability pf parallel whistler-mode waves (asymptotic analysis) Article
Annales Gepphysicae, 304-308.January 1991 -
The threshold of parallel whistler-mode instability Article
Annales Geophysique, 30-31.January 1991 -
Multigrid and defect correction for the steady Navier-Stokes equations : application to aerodynamics Book
January 1991 -
January 1991
-
Using transformations to verify parallel programs Book Chapter
January 1991 -
January 1991
-
A Bayesian approach to object recognition Book Chapter
January 1991 -
Crystallographic examination of stone walls Book Chapter
January 1991 -
Acyclic Programs Article
New Generation Computing, 9(3-4), 335-363.January 1991 -
January 1991
-
Short proofs on multicommodity flows and cuts Article
Journal of Combinatorial Theory - Series B, 32-39.January 1991 -
Decomposition of graphs on surfaces and a homotopic circulation theorem Article
Journal of Combinatorial Theory - Series B, 161-210.January 1991 -
Primality proving with cyclotomy Dissertation
December 1990 -
CWI Scientific Publications Booklet
December 1990 -
Tidal calculations in the Netherlands, 1920-1960 Article
CWI Quarterly, 3(4), 285-302.December 1990 -
The persistence of the classical computer architecture Article
CWI Quarterly, 3(4), 335-348.December 1990 -
The roots of software engineering Article
CWI Quarterly, 3(4), 325-334.December 1990 -
Howard Aiken and the beginnings of computer science Article
CWI Quarterly, 3(4), 303-324.December 1990 -
The Swedish difference engines Article
CWI Quarterly, 3(4), 275-284.December 1990 -
Editorial Article
CWI Quarterly, 3(4), 273-274.December 1990 -
Algebra, knopen en DNA Article
NRC Handelsblad, 1-1.December 1990 -
The Use of Projective Geometry in Computer Graphics Dissertation
Distributed and Interactive SystemsNovember 1990 -
November 1990
-
October 1990
-
October 1990
-
Probability-based models for plausible reasoning Dissertation
September 1990 -
Performance analysis of a dynamic query processing scheme In Proceedings
September 1990 -
Duplicates and translation of nested SQL queries into XRA In Proceedings
September 1990 -
September 1990
-
September 1990
-
September 1990
-
Appendix Article
CWI Quarterly, 3(3), 198-201.September 1990 -
On the development of an artifact and design description language Article
CWI Quarterly, 3(3), 219-236.September 1990 -
User interfaces Article
CWI Quarterly, 3(3), 203-218.September 1990 -
Introduction to the special issue on computer graphics Article
CWI Quarterly, 3(3), 175-178.September 1990 -
Architectures for Interactive Raster Graphics Article
CWI Quarterly, 3(3), 179-201.September 1990 -
Computer Graphics Standards Article
CWI Quarterly, 3(3), 237-253.September 1990 -
Process algebra with a zero object In Proceedings
August 1990 -
August 1990
-
Mental models of force and motion In Proceedings
August 1990 -
June 1990