Publications from 2013
-
January 1993
-
January 1993
-
Applying free partially commutative groups to paths and circuits in directed graphs on surfaces Book Chapter
January 1993 -
January 1993
-
A proof procedure for extended logic programs Book Chapter
January 1993 -
Wavelets understand fractals Book Chapter
January 1993 -
The Homing Cursor: A Tool for Three-Dimensional Chromosome Analysis Article
Cytometry, 14(5), 501-509.January 1993 -
Method for Counting Mitoses by Image Processing in Feulgen Stained Breast Cancer Sections Article
Cytometry, 14(3), 241-250.January 1993 -
Digital Curvature Estimation Article
Computer Vision and Image Understanding, 58(3), 366-382.January 1993 -
Graph morphology in image analysis Book Chapter
January 1993 -
A two-machine repair model with variable repair rate Article
Naval Research Logistics, 40(4), 495-523.January 1993 -
An infinitary Church-Rosser property for noncollapsing orthogonal term rewriting systems Book Chapter
January 1993 -
Event structures and orthogonal term graph rewriting Book Chapter
January 1993 -
January 1993
-
The saturating contact rate in marriage- and epidemic models Article
Journal of Mathematical Biology, 31(5), 529-539.January 1993 -
Stochastic scheduling games with Markov decision arrival processes. Pursuit-evasion differential games, III Article
Computers & Mathematics with Applications, 26(6), 141-148.January 1993 -
Cardiac magnetic resonance imaging by retrospective gating: mathematical modelling and reconstruction algorithms Article
European Journal of Applied Mathematics, 4(3), 241-270.January 1993 -
Compositional analysis for concurrent constraint programming In Proceedings
January 1993 -
On the unification free Prolog programs In Proceedings
January 1993 -
January 1993
-
Authoring multimedia in the CMIF environment Presentation
January 1993 -
January 1993
-
January 1993
-
Structured multimedia authoring In Proceedings
January 1993 -
Specification and support of adaptable networked multimedia Article
ACM Multimedia Systems Journal, 1(2), 68-76.January 1993 -
January 1993
-
Links in hypermedia: The requirement for context In Proceedings
January 1993 -
Simple algorithms for Steiner trees and paths packing problems in planar graphs Article
CWI Quarterly, 6(3), 219-240.January 1993 -
January 1993
-
January 1993
-
Specification and Support of Adaptable Networked Multimedia Article
Multimedia Systems, 1(2), 68-76.January 1993 -
Fully abstract models for concurrent languages Dissertation
Computer SecurityJanuary 1993 -
Properties of the miss ratio for a 2-level storage model with LRU or FIFO replacement strategy and independent references Article
IEEE Transactions on Computers, 508-512.January 1993 -
Runge-Kutta methods and local uniform grid refinement Article
Mathematics of Computation, 60(202), 591-616.January 1993 -
January 1993
-
Analysis of the implicit Euler local uniform grid refinement method Article
SIAM Journal on Scientific Computing, 14(2), 259-278.January 1993 -
Nonlocal Lie primitive subgroups of Lie groups Article
Canadian Journal of Mathematics, 45(1), 88-103.January 1993 -
Inequalities for the time constant in first-passage percolation Article
Annals of Applied Probability, 3(1), 56-80.January 1993 -
Iterative defect correction and multigrid accelerated explicit time stepping schemes for the steady Euler equations Article
SIAM Journal on Scientific Computing, 14(4), 953-970.January 1993 -
Perturbing semigroups by solving Stieltjes renewal equations Article
Differential Integral Equations, 6(1), 155-181.January 1993 -
Disjoint cycles in directed graphs on the torus and the Klein bottle Article
Journal of Combinatorial Theory - Series B, 58(1), 40-45.January 1993 -
An $M/G/1$ queue with customer collection Article
Communications in Statistics. Stochastic Models, 9(3), 341-371.January 1993 -
Stability of parallel Volterra-Runge-Kutta methods Article
Journal of Computational and Applied Mathematics, 45(1-2), 169-180.January 1993 -
Input-output structure of linear differential/algebraic systems Article
IEEE Transactions on Automatic Control, 404-414.January 1993 -
Analysis of a three-dimensional point pattern with replication Article
Journal of the Royal Statistical Society - Series C: Applied Statistics, 42(4), 641-668.January 1993 -
On solving the Diophantine equation $xsp 3+ysp 3+zsp 3=k$ on a vector computer Article
Mathematics of Computation, 61(203), 235-244.January 1993 -
On correlation calculus for multivariate martingales Article
Stochastic Processes and their Applications, 46(2), 283-299.January 1993 -
Tight comparison bounds for the string prefix-matching problem Article
Information Processing Letters, 47(1), 51-57.January 1993 -
Cooperation in one machine scheduling Article
Mathematical Methods of Operations Research, 38(2), 113-129.January 1993 -
Wavelets: mathematical preliminaries Book Chapter
January 1993 -
Efficient comparison based string matching Article
Journal of Complexity, 9(3), 339-365.January 1993 -
January 1993
-
Wavelet bases adapted to inhomogeneous cases Book Chapter
January 1993 -
Analysis of local uniform grid refinement In Proceedings
January 1993 -
Modular specification of process algebras Article
Theoretical Computer Science, 113(2), 293-348.January 1993 -
January 1993
-
On the foundations of final semantics: nonstandard sets, metric spaces, partial orders In Proceedings
January 1993 -
January 1993
-
January 1993
-
Associative storage modification machines Book Chapter
January 1993 -
More problems in rewriting In Proceedings
January 1993 -
Combinatory reduction systems: introduction and survey. A collection of contributions in honour of Corrado Böhm on the occasion of his 70th birthday. Article
Theoretical Computer Science, 121(1-2), 279-308.January 1993 -
Isomorphisms between predicate and state transformers In Proceedings
January 1993 -
Finding disjoint trees in planar graphs in linear time In Proceedings
January 1993 -
The group $L(2,61)$ embeds in the Lie group of type $Esb 8$ Article
Communications in Algebra, 21(6), 1889-1993.January 1993 -
Reasoning about termination of pure Prolog programs Article
Information and Computation, 106(1), 109-157.January 1993 -
The strong law of large numbers for martingales with deterministic quadratic variation Article
Stochastics Stochastics Reports, 42(1), 53-65.January 1993 -
January 1993
-
On optimality of regular projective estimators in semimartingale models Article
Stochastics Stochastics Reports, 43(3-4), 161-178.January 1993 -
Approximation of parabolic PDEs with a discontinuous initial condition Article
East-West Journal of Numerical Mathematics, 1(4), 287-302.January 1993 -
Decidability of bisimulation equivalence for processes generating context-free languages Article
Journal of the Association for Computing Machinery, 40(3), 653-682.January 1993 -
QML: a paraconsistent default logic In Proceedings
January 1993 -
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
January 1993
-
An FFT-based method for attenuation correction in fluorescence confocal microscopy Article
Journal of Microscopy, 3-14.January 1993 -
Dynamical Renormalization of Polymers in Quenched Disorder: Long-Time Diffusion and Short-Time Anomalies Article
Europhysics Letters, 741-746.January 1993 -
Schema Integration in Object-Oriented Databases In Proceedings
January 1993 -
January 1993
-
January 1993
-
January 1993
-
Covergence behaviour of defect correction for hyperbolic equations Article
Journal of Computational and Applied Mathematics, 357-365.January 1993 -
An approximate solution of the parallel whistler-mode dispersion equation in a weakly relativistic plasma Article
Plasma Physics and Controlled Fusion, 117-126.January 1993 -
January 1993
-
Termination proofs for higher-order rewrite systems In Proceedings
January 1993 -
January 1993
-
Review of "Computational logic, essays in honor of Alan Robinson" by Lassez, J. L. (ed.) and Plotkin, G. D. (ed.) Article
Informatie (NGI), 504-505.January 1993 -
January 1993
-
January 1993