Publications from 2013
-
Robust multigrid methods for the steady and unsteady incompressible Navier-Stokes equations in general coordinates Dissertation
September 1993 -
September 1993
-
Stochastic scheduling games with Markov Decision Arrival Processes Article
Computers & Mathematics with Applications, 26(6), 141-148.September 1993 -
The basic reproduction ratio for sexually transmitted diseases part 2. Effects of variable HIV infectivity Article
Mathematical Biosciences, 117(1-2), 35-47.September 1993 -
Transition system specifications with negative premises Article
Theoretical Computer Science, 118(2), 263-299.September 1993 -
Multicommodity flows and polyhedra Article
CWI Quarterly, 6(3), 281-296.September 1993 -
Edge-disjoint paths in graphs on surfaces Article
CWI Quarterly, 6(3), 267-280.September 1993 -
A group-theoretical approach to disjoint paths in directed graphs Article
CWI Quarterly, 6(3), 257-266.September 1993 -
Rooted routing in the plane Article
CWI Quarterly, 6(3), 241-255.September 1993 -
Minimum circulation of railway stock Article
CWI Quarterly, 6(3), 205-217.September 1993 -
Packing paths and Steiner trees: routing of electronic circuits Article
CWI Quarterly, 6(3), 185-204.September 1993 -
Paths and flows: a historical survey Article
CWI Quarterly, 6(3), 169-183.September 1993 -
A Difference Engine for Image Reconstruction In Proceedings
September 1993 -
July 1993
-
A nonextremal Camion basis Article
Linear Algebra and its Applications, 195-199.July 1993 -
The Amsterdam hypermedia model: Extending hypertext to support *real* multimedia Article
Hypermedia Journal, 5(1), 47-69.July 1993 -
Resource bounded Reductions Dissertation
June 1993 -
Parameterized Feasible Boundaries in Gradient Vector Fields In Proceedings
June 1993 -
Some recent results on adjoint semigroups Article
CWI Quarterly, 6(2), 139-153.June 1993 -
2D computational morphology Article
CWI Quarterly, 6(2), 121--138.June 1993 -
Information and entropy Article
CWI Quarterly, 6(2), 97-120.June 1993 -
Authoring multimedia in the CMIF environment In Proceedings
April 1993 -
Application of a solution-adaptive multigrid method to the Euler equations Article
CWI Quarterly, 6(1), 49-75.March 1993 -
Cell-centered genuinely multidimensional upwind algorithms and structured meshes Article
CWI Quarterly, 6(1), 29-48.March 1993 -
Development of cell-vertex multidimensional upwind solvers for the compressible flow equations Article
CWI Quarterly, 6(1), 1-28.March 1993 -
A local grid refinement method for the Euler equations Dissertation
Scientific ComputingFebruary 1993 -
Reversibility in Natural Language Processing Dissertation
January 1993 -
January 1993
-
Evaluation of the numerical results Book Chapter
January 1993 -
Monotone, higher-order accurate, multi-dimensional upwinding In Proceedings
January 1993 -
Iterative defect correction and multigrid accelerated explicit time stepping for the steady Euler equations In Proceedings
January 1993 -
January 1993
-
On steady, inviscid shock waves at continuously curved, convex surfaces Article
Theoretical and Computational Fluid Dynamics, 177-195.January 1993 -
January 1993
-
January 1993
-
January 1993
-
The correlated M/G/1 queue Tech Report
January 1993 -
January 1993
-
Expressiveness results for process algebras Tech Report
January 1993 -
Fast parallel permutation algorithms Tech Report
January 1993 -
Structured multimedia authoring Tech Report
January 1993 -
January 1993
-
January 1993
-
A lower bound on wait-free counting Tech Report
January 1993 -
Uniform self-stabilizing leader election Tech Report
January 1993 -
Termination and confluence of rule execution Tech Report
January 1993 -
Changing preferences Tech Report
January 1993 -
January 1993
-
Reasoning about update logic Tech Report
January 1993 -
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
A theory for simulator tools Tech Report
January 1993 -
January 1993
-
Binary snapshots Tech Report
January 1993 -
Schema integration in object-oriented databases Tech Report
January 1993 -
Modal logic, transition systems and processes Tech Report
January 1993 -
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
An object model for multimedia programming Tech Report
January 1993 -
January 1993
-
January 1993
-
Stochastic annealing for nearest-neighbour point processes with application to object recognition Tech Report
January 1993 -
Single term off-line coins Tech Report
January 1993 -
A strange application of Kolmogorov complexity Tech Report
January 1993 -
ARM : abstract rewriting machine Tech Report
January 1993 -
January 1993
-
January 1993
-
January 1993
-
On the construction of morphological operators which are selfdual and activity-extensive Tech Report
January 1993 -
January 1993
-
Chamfer metrics in mathematical morphology Tech Report
January 1993 -
On the unification free Prolog programs Tech Report
January 1993 -
Bisimulations and predicate logic Tech Report
January 1993 -
January 1993
-
January 1993
-
January 1993
-
Relating state transformation semantics and predicate transformer semantics for parallel programs Tech Report
January 1993 -
Topological models for higher order control flow Tech Report
January 1993 -
January 1993
-
Steepest descent paths for integrals defining the modified Bessel functions of imaginary order Tech Report
January 1993 -
On constructing multi-variate orthonormal polynomials associated with spectral distribution functions Tech Report
January 1993 -
The use of service limits for efficient operation of multistation single-medium communication systems Tech Report
January 1993 -
A polling system with a dormant server Tech Report
January 1993 -
Annual report ... / CWI. Department of Computer Science. Department of Software Technology Tech Report
January 1993 -
Service independent building blocks Tech Report
January 1993 -
January 1993
-
January 1993
-
Parallel experiments with simple linear algebra operations on a Cray S-MP system 500 matrix Tech Report
January 1993 -
January 1993