Publications from 2024
-
A parallel insertion heuristic for vehicle routing with side constraints Article
Statistica Neerlandica, 44(3), 139-148.January 1990 -
Another look at the Brayton-Moser network equations In Proceedings
January 1990 -
Logic programming Book Chapter
January 1990 -
Towards more efficient loop checks In Proceedings
January 1990 -
Two simple protocols Book Chapter
January 1990 -
Process algebra semantics of POOL Book Chapter
January 1990 -
Some observations on redundancy in a context Book Chapter
January 1990 -
January 1990
-
Report on the Fourth Eurographics Workshop on Intelligent CAD Article
Computer Graphics Forum, 9(3), 283-284.January 1990 -
EUROPE '92 ‐ The Computer Graphics Market: Challenge and Opportunity A R&D Institute's View of a Workshop Held in Darmstadt in December 1989 Article
Computer Graphics Forum, 9(5), 388-388.January 1990 -
Report on the First Eurographics Workshop on Object‐Oriented Graphics Article
Computer Graphics Forum, 9(3), 285-286.January 1990 -
A parallel insertion heuristic for vehicle routing with side constraints Article
Statistica Neerlandica, 44(3), 139-148.January 1990 -
Scheduling identical jobs on uniform parallel machines Article
Statistica Neerlandica, 44(3), 115-123.January 1990 -
Increasing the real stability boundary of explicit methods Article
Computers & Mathematics with Applications, 19(6), 37-49.January 1990 -
A simpler and faster algorithm for optimal total-work-content-power due date determination Article
Mathematical and Computer Modelling, 13(3), 81-83.January 1990 -
State representations of linear systems with output constraints Article
Mathematics of Control, Signals, and Systems, 3(1), 61-80.January 1990 -
Uniform asymptotic expansions of a class of integrals in terms of modified Bessel functions, with application to confluent hypergeometric functions Article
SIAM Journal on Mathematical Analysis, 21(1), 241-261.January 1990 -
Jacobi functions as limit cases of $q$-ultraspherical polynomials Article
Journal of Mathematical Analysis and Applications, 148(1), 44-54.January 1990 -
Upwind discretization of the steady Navier-Stokes equations Article
International Journal for Numerical Methods in Fluids, 11(1), 99-117.January 1990 -
Hahn-Banach type theorems for adjoint semigroups Article
Mathematische Annalen, 287(1), 63-71.January 1990 -
Asymptotic estimates for Laguerre polynomials Article
ZAMP: Zeitschrift für angewandte Mathematik und Physik, 41(1), 114-126.January 1990 -
Completeness of resolution revisited Article
Theoretical Computer Science, 74(2), 227-237.January 1990 -
Semantic correctness for a parallel object-oriented language Article
SIAM Journal on Computing, 19(2), 341-383.January 1990 -
Non-Gaussian linear filtering, identification of linear systems, and the symplectic group Book Chapter
January 1990 -
Minimizing the sum of the job completion times in the two-machine flow shop by Lagrangian relaxation Article
Annals of Operations Research, 26(1-4), 257-268.January 1990 -
January 1990
-
A Markov chain identity and monotonicity of the diffusion constants for a random walk in a heterogeneous environment Article
Mathematical Proceedings of the Cambridge Philosophical Society, 108(1), 111-126.January 1990 -
On the order of prolongations and restrictions in multigrid procedures Article
Journal of Computational and Applied Mathematics, 32(3), 423-429.January 1990 -
Semantics for logic programs without occur check Article
Theoretical Computer Science, 71(1), 155-174.January 1990 -
An efficient implementation of local search algorithms for constrained routing problems Article
European Journal of Operational Research, 47(1), 75-85.January 1990 -
Error estimates for nonuniform sampling Article
Numerical Algorithms, 11(5-6), 589-599.January 1990 -
January 1990
-
Supercongruences In Proceedings
January 1990 -
January 1990
-
Relativistic Toda systems Article
Communications in Mathematical Physics, 133(2), 217-247.January 1990 -
Homotopic routing methods In Proceedings
January 1990 -
Finite-dimensional soliton systems Book Chapter
January 1990 -
Approximation of the solution to the moment problem in a Hilbert space Article
Numerical Algorithms, 11(5-6), 601-608.January 1990 -
On cutting planes and matrices Book Chapter
January 1990 -
January 1990
-
Reflexivity, the dual Radon-Nikod'ym property, and continuity of adjoint semigroups Article
Indagationes Mathematicae, 1(3), 365-379.January 1990 -
Graphs and polyhedra: binary spaces and cutting planes (slightly revised version of the authors thesis) Dissertation
Probability, Networks and AlgorithmsJanuary 1990 -
January 1990
-
On the definition and the computation of the basic reproduction ratio R0 in models for infectious diseases in heterogeneous populations Article
Journal of Mathematical Biology, 28(4), 365-382.January 1990 -
SCILAIM: A Multi-Level Interactive Image Processing Environment Article
Pattern Recognition Letters, 11(6), 429-441.January 1990 -
Constrained scheduling of VLSI algorithms In Proceedings
January 1990 -
Computing Boolean functions on anonymous networks In Proceedings
January 1990 -
Back and forth bisimulations In Proceedings
January 1990 -
Enumeration and visibility problems in integer lattices In Proceedings
January 1990 -
The Probability of a Random Straight Line in Two and Three Dimensions Article
Pattern Recognition Letters, 11(4), 233-240.January 1990 -
Evaluation of a Diagnostic Encyclopedia Workstation for Ovarian Pathology Article
Human Pathology, 21(10), 989-997.January 1990 -
Design of the Diagnostic Encyclopedia Workstation (DEW) Article
Computers in Biology and Medicine, 20(4), 281-292.January 1990 -
Automated Estimation of Epithelial Volume in Breast Cancer Sections: A Comparison with the Image Processing Steps Applied to Gynecologic Tumors Article
Pathology Research and Practice, 186(6), 737-744.January 1990 -
A Method for the Acquisition of Formalized Knowledge in Pathology Article
Methods of Information in Medicine, 29(3), 182-192.January 1990 -
Three logics for branching bisimulation In Proceedings
January 1990 -
January 1990
-
Kolmogorov complexity and its applications Book Chapter
January 1990 -
Acyclic programs (extended abstract) In Proceedings
January 1990 -
January 1990
-
January 1990
-
Approximation algorithms for scheduling unrelated parallel machines Article
Mathematical Programming, 259-271.January 1990 -
Directe numerieke oplosmethoden. Iteratieve numerieke oplosmethoden. De kleinste-kwadratenmethode. Book Chapter
January 1990 -
January 1990
-
Vectorization of the odd-even hopscotch scheme and the alternating direction implicit scheme for the two-dimensional Burgers equations Article
Journal on Scientific and Statistical Computing, 11(2), 354-367.January 1990 -
Machine allocation problems in manufacturing networks In Proceedings
January 1990 -
On a biorthogonal system associated with uniform asymptotic expansions Article
IMA Journal of Applied Mathematics, 44(1), 1-25.January 1990 -
Parallel iteration of high-order Runge-Kutta methods with stepsize control Article
Journal of Computational and Applied Mathematics, 29(1), 111-127.January 1990 -
Diffusion in lattices with anisotropic scatterers Article
Journal of Statistical Physics, 59(1-2), 23-52.January 1990 -
An algebraic characterization of $B$-convergent Runge-Kutta methods Article
Numerische Mathematik, 56(7), 695-705.January 1990 -
On the Hellinger type distances for filtered experiments Article
Probability Theory and Related Fields, 85(1), 105-117.January 1990 -
Convergence properties of the Runge-Kutta-Chebyshev method Article
Numerische Mathematik, 57(2), 157-178.January 1990 -
Berry-Esséen and bootstrap results for generalized $L$-statistics Article
Scandinavian Journal of Statistics, 17(1), 65-77.January 1990 -
Dominance relations in polling systems Article
Queueing Systems, 6(2), 155-171.January 1990 -
The velocity of spatial population expansion Article
Journal of Mathematical Biology, 28(5), 529-565.January 1990 -
Edge-disjoint homotopic paths in a planar graph with one hole Article
Journal of Combinatorial Theory - Series B, 48(1), 77-91.January 1990 -
The finite continuous Jacobi transform and its inverse Article
Journal of Approximation Theory, 60(1), 83-100.January 1990 -
A numerical study of three moving-grid methods for one-dimensional partial differential equations which are based on the method of lines Article
Journal of Computational Physics, 89(2), 349-388.January 1990 -
Iterated $ heta$-method for hyperbolic equations Article
International Journal for Numerical Methods in Engineering, 30(2), 271-290.January 1990 -
On the power of subsumption and context checks In Proceedings
January 1990 -
Module algebra Article
Journal of the Association for Computing Machinery, 37(2), 335-372.January 1990 -
Cauchy problems with state-dependent time evolution Article
Japan Journal of Applied Mathematics , 7(3), 433-457.January 1990 -
Affine polar spaces Article
Geometriae Dedicata, 35(1-3), 43-76.January 1990 -
Uniform asymptotic approximation of Fermi-Dirac integrals Article
Journal of Computational and Applied Mathematics, 31(3), 383-387.January 1990 -
Improving the stability of predictor-corrector methods by residue smoothing Article
IMA Journal of Numerical Analysis, 10(3), 361-378.January 1990 -
On downward closure ordinals of logic programs Article
Fundamenta Informaticae, 13(1), 67-83.January 1990 -
Contractions in comparing concurrency semantics Article
Theoretical Computer Science, 76(2-3), 179-222.January 1990 -
Action versus state based logics for transition systems In Proceedings
January 1990 -
Comparative metric semantics for concurrent Prolog In Proceedings
January 1990 -
Proving total correctness of recursive procedures Article
Information and Computation, 84(2), 129-162.January 1990 -
Scheduling identical jobs on uniform parallel machines Article
Statistica Neerlandica, 44(3), 115-123.January 1990 -
Analysis of smoothing operators in the solution of partial differential equations by explicit difference schemes Article
Applied Numerical Mathematics, 6(6), 501-521.January 1990 -
January 1990
-
Realization of autoregressive equations in pencil and descriptor form Article
SIAM Journal on Control and Optimization, 28(5), 1162-1189.January 1990 -
Spanning trees of different weights In Proceedings
January 1990 -
January 1990
-
Arithmetic classification of perfect models of stratified programs Article
Fundamenta Informaticae, 13(1), 1-17.January 1990 -
Process algebra Book
January 1990 -
Catastrophes and classical surface scattering Article
Chemical Physics, 149(3), 275-298.January 1990 -
January 1990
-
Systematic computations on Gauss' lattice point problem (in commemoration of Johannes Gualtherus van der Corput, 1890--1975) In Proceedings
January 1990