Publications from 2024
-
June 1990
-
Infectious diseases in structured populations Article
CWI Quarterly, 3(2), 151-158.June 1990 -
The nature of fractal geometry Article
CWI Quarterly, 3(2), 137-149.June 1990 -
Solving polynomial equation systems by Groebner type methods Article
CWI Quarterly, 3(2), 121-136.June 1990 -
A central problem in the algorithmic geometry of numbers: lattice reduction Article
CWI Quarterly, 3(2), 95-120.June 1990 -
May 1990
-
A layered semantics for a parallel object-oriented language In Proceedings
May 1990 -
Zero-knowledge undeniable signatures (extended abstract) In Proceedings
May 1990 -
Comparative concurrency semantics and refinement of actions Dissertation
Specification and Analysis of Embedded SystemsMay 1990 -
May 1990
-
April 1990
-
April 1990
-
Multimedia : a round table discussion about the state of the art, Amsterdam, CWI, 11-12.04.1990 Book
April 1990 -
April 1990
-
March 1990
-
March 1990
-
9-th Benelux meeting on systems and control : Veldhoven, 14-16.03.1990 : preliminary program Booklet
March 1990 -
On complex objects Dissertation
March 1990 -
Performance analysis of polling systems Article
CWI Quarterly, 3(1), 67-72.March 1990 -
Models of multiswitch energy Article
CWI Quarterly, 3(1), 45-66.March 1990 -
Representations of the infinite matrix algebra Article
CWI Quarterly, 3(1), 21-43.March 1990 -
Index theorems and anomalies: a common playground for mathematicians and physicists Article
CWI Quarterly, 3(1), 3-19.March 1990 -
March 1990
-
February 1990
-
January 1990
-
Fifteenth conference on the mathematics of operations research : Lunteren, 15-17.01.1990 : program Booklet
January 1990 -
January 1990
-
January 1990
-
Euler flow solutions for a transonic wind tunnel section In Proceedings
January 1990 -
A computational tool for analizing strong viscous-inviscid interactions in gasdynamics In Proceedings
January 1990 -
Multigrid and defect correction for the steady Navier-Stokes equations Article
Journal of Computational Physics, 99-117.January 1990 -
January 1990
-
Grey-level morphology Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
January 1990
-
January 1990
-
January 1990
-
January 1990
-
Paramorphisms Tech Report
January 1990 -
Algorithms from theorems Tech Report
January 1990 -
January 1990
-
Performance evaluation of Rosser's method Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
Finite-dimensional soliton systems Tech Report
January 1990 -
January 1990
-
Modeling clip: some more results Tech Report
January 1990 -
An exponential fitting method in two dimensions Tech Report
January 1990 -
An evaluation of the gradient-weighted moving-finite-element method in one space dimension Tech Report
January 1990 -
January 1990
-
January 1990
-
Time to failure, time to repair and availability of a two-unit standby system with Markovian degrading units Tech Report
January 1990 -
January 1990
-
January 1990
-
Analysis of the convergence of iterative implicit and defect-correction algorithms for hyperbolic problems Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
Parallel ODE solvers Tech Report
January 1990 -
January 1990
-
Acyclic programs : extended abstract Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
Proving termination of parallel programs Tech Report
January 1990 -
January 1990
-
January 1990
-
From failure to succes: comparing a denotational and a declarative semantics for Horn Clause Logic Tech Report
January 1990 -
From binary to grey-level morphology Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
Associative storage modification machines Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
January 1990
-
Towards more efficient loop checks Tech Report
January 1990 -
Unconditional convergence of some Crank-Nicolson LOD methods for initial-boundary value problems Tech Report
January 1990 -
January 1990
-
January 1990
-
January 1990
-
Edge-disjoint circuits in graphs on the torus Tech Report
January 1990 -
January 1990
-
On the attained waiting time Tech Report
January 1990 -
Efficient visit orders for polling systems Tech Report
January 1990 -
January 1990
-
January 1990
-
Three logics for branching bisimulation Tech Report
January 1990 -
January 1990
-
Back and forth bisimulations Tech Report
January 1990 -
Resolution and logical consequences Tech Report
January 1990 -
Process algebra with zero object Tech Report
January 1990 -
January 1990
-
January 1990
-
The $ gamma $ -neighborhood graph Tech Report
January 1990 -
January 1990