Publications from 2012
-
Matrix-dependent prolongations and restrictions in a blackbox multigrid solver Article
Journal of Computational and Applied Mathematics, 33(1), 1-27.January 1990 -
January 1990
-
Vakantiecursus 1990 Centrum voor Wiskunde en Informatica : getallentheorie en haar toepassingen Book
January 1990 -
January 1990
-
January 1990
-
January 1990
-
January 1990
-
Parametric surfaces in PHIGS PLUS: a new chance for patterning and hatching? Article
Computer Graphics Forum, 9(1), 3-8.January 1990 -
January 1990
-
Hilbert's 1990 ICM Lecture : the 23 problems Unpublished
January 1990 -
Preface : Acta applicandae mathematicae 1990 Article
Acta Applicandae Mathematicae, 21(1-2), 1-1.January 1990 -
Fundamenta informaticae 13(1) 1990 Article
Fundamenta Informaticae, 13(1), 1-17.January 1990 -
Fundamenta informaticae on Logic Programming Article
Fundamenta Informaticae, 13(1), 1-17.January 1990 -
Synthesis of images Book
January 1990 -
January 1990
-
Studies in Pure Prolog: termination In Proceedings
January 1990 -
Proving terminations of parallel programs Book Chapter
January 1990 -
January 1990
-
A multigrid approach for the solution of the 2D semiconductor equations Article
Impact of Computing in Science and Engineering, 2(3), 219-243.January 1990 -
A nonlinear multigrid method for one-dimensional semiconductor decive simulation: results for the diode Article
Journal of Computational and Applied Mathematics, 30(1), 117-126.January 1990 -
January 1990
-
Convex resource allocation problems on directed acyclic graphs: duality, complexity, special cases, and extensions Article
Mathematics of Operations Research, 736-748.January 1990 -
Relativistic effects on parallel whistler-mode propagation and instability Article
Astrophysics and space science, 166(2), 301-313.January 1990 -
Chvatal closures for mixed integer programming problems Article
Mathematical Programming, 155-174.January 1990 -
Nieuwjaarskaart CWI 1990 Other
December 1989 -
December 1989
-
December 1989
-
On the declarative semantics of Horn Clause logic-based languages Article
CWI Quarterly, 2(4), 331-344.December 1989 -
A brief survey of concurrent readers and writers Article
CWI Quarterly, 2(4), 307-330.December 1989 -
Compact distributed data structures for adaptive routing Article
CWI Quarterly, 2(4), 277-305.December 1989 -
Faster Phong Shading via Angular Interpolation Article
Computer Graphics Forum, 8(4), 315-324.December 1989 -
An early implementation of revised Algol 68 Dissertation
November 1989 -
November 1989
-
November 1989
-
October 1989
-
Functional dependencies of variables in wait-free programs In Proceedings
September 1989 -
Discrete events and max-algebra Article
CWI Quarterly, 2(3), 257-258.September 1989 -
AIL - A class-oriented RPC stub generator for Amoeba Article
CWI Quarterly, 2(3), 247-256.September 1989 -
An introduction to input/output automata Article
CWI Quarterly, 2(3), 219-246.September 1989 -
The client/server model in distributed computing Article
CWI Quarterly, 2(3), 193-218.September 1989 -
Correctness of concurrent processes In Proceedings
August 1989 -
August 1989
-
July 1989
-
The squiggolist Miscellaneous
July 1989 -
June 1989
-
June 1989
-
Constructing a calculus of programs In Proceedings
June 1989 -
Exercises in parallel combinatorial computing Dissertation
June 1989 -
Compositionality in the temporal logic of concurrent systems In Proceedings
June 1989 -
June 1989
-
June 1989
-
Archief CWI - Intern Rapport CWI Miscellaneous
June 1989 -
Archief CWI - intern rapport CWI Miscellaneous
June 1989 -
Research announcement Article
CWI Quarterly, 2(2), 171-173.June 1989 -
Zero-sum stochastic games Article
CWI Quarterly, 2(2), 147-170.June 1989 -
Discrete events: perspectives from system theory Article
CWI Quarterly, 2(2), 131-146.June 1989 -
Missed chances Article
CWI Quarterly, 2(2), 117-129.June 1989 -
Statistics of extreme values Article
CWI Quarterly, 2(2), 101-115.June 1989 -
Process theory based on bisimulation semantics In Proceedings
May 1989 -
May 1989
-
A Parallel Object-Oriented Language: Design and semantic foundations Dissertation
Computer SecurityMay 1989 -
Multigrid and defect correction for the steady Navier-Stokes equations : application to aerodynamics Dissertation
Modelling, Analysis and ComputationMay 1989 -
How to share concurrent wait-free variables Tech Report
April 1989 -
Position paper In Proceedings
April 1989 -
AIL - a class-oriented RPC stub generator for Amoeba In Proceedings
April 1989 -
The evolution of a distributed operating system In Proceedings
April 1989 -
April 1989
-
April 1989
-
April 1989
-
An explicit Runge-Kutta method of order twenty-five Article
CWI Quarterly, 11(1), 75-82.March 1989 -
A radon transform on circles through the origin in \Re^2 Article
CWI Quarterly, 2(1), 73-79.March 1989 -
Asymptotic expansion of a special integral Article
CWI Quarterly, 2(1), 67-72.March 1989 -
A short introduction to exit problems Article
CWI Quarterly, 2(1), 45-66.March 1989 -
Products of random matrices or 'Why do biennials live longer than two years?' Article
CWI Quarterly, 2(1), 37-44.March 1989 -
Iterations of morphological transformations Article
CWI Quarterly, 2(1), 19-36.March 1989 -
On sums of remainders and almost perfect numbers Article
CWI Quarterly, 2(1), 15-18.March 1989 -
Exploring linear chain trickery for physiologically structured populations Article
CWI Quarterly, 2(1), 3-14.March 1989 -
February 1989
-
February 1989
-
Fourteenth conference on the mathematics of operations research : Lunteren, 13-15.02.1989 : program Booklet
February 1989 -
February 1989
-
A non-linear multigrid method for the steady Euler equations In Proceedings
January 1989 -
Upwind schemes, multigrid and defect correction for the steady Navier-Stokes equations In Proceedings
January 1989 -
Euler flow solutions for transonic shock wave-boundary layer interaction Article
International Journal for Numerical Methods in Fluids, 59-73.January 1989 -
Kolmogorov complexity and its applications Tech Report
January 1989 -
January 1989
-
January 1989
-
January 1989
-
A moving-grid interface for systems of one-dimensional time-dependent partial differential equations Tech Report
January 1989 -
January 1989
-
January 1989
-
Hahn-Banach type theorems for dual semigroups Tech Report
January 1989 -
Numerical solution of the Hamilton-Jacobi-Bellman equation for a freeway traffic flow control problem Tech Report
January 1989 -
On the nonexistence of a strong solution in the boundary problem for a sticky Brownian motion Tech Report
January 1989 -
January 1989
-
January 1989
-
Dynamic MRI reconstruction as a moment problem Tech Report
January 1989 -
January 1989
-
January 1989
-
January 1989