Publications from 2013
-
January 1996
-
Complementarity modeling of hybrid systems Tech Report
January 1996 -
Test set for IVP solvers Tech Report
January 1996 -
Building a simulator in the $ mu $ CRL toolbox : a case-study in modern software engineering Tech Report
January 1996 -
January 1996
-
Tractability issues in extraposition grammar Tech Report
January 1996 -
Generalized metric spaces : completion, topology, and powerdomains via the Yoneda embedding Tech Report
January 1996 -
January 1996
-
On multi-query optimization Tech Report
January 1996 -
Complexity of transformation-based optimizers and duplicate-free generation of alternatives Tech Report
January 1996 -
January 1996
-
January 1996
-
Search and imperative programming Tech Report
January 1996 -
Reordering strategies and LU-decomposition of block tridiagonal matrices for parallel processing Tech Report
January 1996 -
January 1996
-
January 1996
-
The iterative solution of fully implicit discretizations of three-dimensional transport models Tech Report
January 1996 -
Asymptotics and numerics of zeros of polynomials that are related to Daubechies wavelets Tech Report
January 1996 -
Multiparameter quantum supergroups Tech Report
January 1996 -
January 1996
-
On the asymmetric clocked buffered switch Tech Report
January 1996 -
Analysis of a multi-server queueing model of ABR Tech Report
January 1996 -
Regular variation in a multi-source fluid queue Tech Report
January 1996 -
On a zero-drift nearest-neighbour random walk Tech Report
January 1996 -
Universal coalgebra: a theory of systems Tech Report
January 1996 -
January 1996
-
Scopes in discourse Tech Report
January 1996 -
Cases, adverbs, situations and events Tech Report
January 1996 -
January 1996
-
January 1996
-
January 1996
-
January 1996
-
January 1996
-
Approximation problems with the divergence criterion for Gaussian variablesand Gaussian processes Tech Report
January 1996 -
January 1996
-
January 1996
-
January 1996
-
Lambda calculus with explicit recursion Tech Report
January 1996 -
January 1996
-
January 1996
-
January 1996
-
January 1996
-
January 1996
-
January 1996
-
Explicit symmetric Runge-Kutta-Nyström methods for parallel computers Article
Computers & Mathematics with Applications, 31(2), 111-121.January 1996 -
A simple cell-centered multigrid method for $3$D interface problems Article
Computers & Mathematics with Applications, 31(9), 25-33.January 1996 -
Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings
January 1996 -
January 1996
-
January 1996
-
Quantifiers and partiality Book Chapter
January 1996 -
VLUGR3 Software
January 1996 -
VLUGR2 Software
January 1996 -
Development of semi-coarsening techniques Article
Applied Numerical Mathematics, 19(4), 433-465.January 1996 -
On termination of general logic programs w.r.t. constructive negation Article
Journal of Logic Programming, 26(1), 69-89.January 1996 -
Chamfer metrics, the medial axis and mathematical morphology Article
Journal of Mathematical Imaging and Vision, 6(2-3), 235-248.January 1996 -
The Robinson-Schensted and Schützenberger algorithms, an elementary approach. The Foata Festschrift Article
Electronic Journal of Combinatorics, 3(2), 1-32.January 1996 -
A note on disjoint-occurrence inequalities for marked Poisson point processes Article
Journal of Applied Probability, 33(2), 420-426.January 1996 -
January 1996
-
January 1996
-
Self-dual morphological operators and filters Article
Journal of Mathematical Imaging and Vision, 6(1), 15-36.January 1996 -
Practical methods for proving termination of general logic programs Article
Journal of Artificial Intelligence Research, 179-208.January 1996 -
On cubism Article
Journal of Functional Programming, 6(3), 379-391.January 1996 -
Historical background of the number field sieve factoring method Article
Nieuw Archief voor Wiskunde, 14(3), 375-389.January 1996 -
On the identification of Wiener-Hopf factors Article
Queueing Systems, 23(1-4), 293-300.January 1996 -
Explicit Runge-Kutta methods for parabolic partial differential equations Article
Applied Numerical Mathematics, 22(1-3), 359-379.January 1996 -
Set-valued estimators for mean bodies related to Boolean models Article
Statistics, 28(1), 43-56.January 1996 -
A singularly perturbed model problem for numerical computation Article
Journal of Computational and Applied Mathematics, 76(1-2), 277-285.January 1996 -
Three-valued completion for abductive logic programs In Proceedings
January 1996 -
Tableau algorithms defined naturally for pictures In Proceedings
January 1996 -
An implementation of the number field sieve Article
Experimental Mathematics, 5(3), 231-253.January 1996 -
Elements of generalized ultrametric domain theory Article
Theoretical Computer Science, 170(1-2), 349-381.January 1996 -
Implicit coercions in type systems In Proceedings
January 1996 -
On periodic Pollaczek waiting time processes In Proceedings
January 1996 -
A multiple polynomial general number field sieve In Proceedings
January 1996 -
January 1996
-
Uniform asymptotics for the incomplete gamma functions starting from negative values of the parameters Article
Methods and Applications of Analysis, 3(3), 335-344.January 1996 -
January 1996
-
January 1996
-
Parameterized Feasible Boundaries in Gradient Vector Fields Article
Computer Vision and Image Understanding, 63(1), 135-144.January 1996 -
Horus: Integration of Digital Vision and Database Paradigms In Proceedings
January 1996 -
Content Based Hypertext Creation in Text/figure Databases In Proceedings
January 1996 -
January 1996
-
Experiences with sparse matrix solvers in parallel ODE software Article
Computers & Mathematics with Applications, 31(9), 43-55.January 1996 -
On the final size of epidemics with herds Article
Canadian Applied Mathematics Quarterly, 4(1), 21-30.January 1996 -
Impulsive-smooth behavior in multimode systems I. State-space and polynomial representations Article
Automatica, 32(5), 747-758.January 1996 -
Impulsive-smooth behavior in multimode systems II. Minimality and equivalence Article
Automatica, 32(6), 819-832.January 1996 -
Splitting methods for three-dimensional bio-chemical transport Article
Applied Numerical Mathematics, 21(3), 303-320.January 1996 -
Multi-authority secret-ballot elections with linear work In Proceedings
January 1996 -
A compositional semantics for normal open programs In Proceedings
January 1996 -
Fundamentals of partial modal logic Book Chapter
January 1996 -
January 1996
-
Congruence types In Proceedings
January 1996 -
New generation of secure and practical RSA-based signatures In Proceedings
January 1996 -
January 1996
-
Basic quantifier theory Book Chapter
January 1996 -
System design for structured hypermedia generation In Proceedings
January 1996 -
January 1996
-
A new lower bound for the critical probability of site percolation on the square lattice Article
Random Structures & Algorithms, 199-212.January 1996 -
A comparison of stiff ode solvers for atmospheric chemistry problems Article
Atmospheric Environment, 30(1), 49-58.January 1996 -
Differential Hopf algebra structures on the universal enveloping algebra of a Lie algebra Article
Journal of Mathematical Physics, 37(1), 524-532.January 1996