Publications from 2013
-
The workload in the $M/G/1$ queue with work removal Article
Probability in the Engineering and Informational Sciences, 10(2), 261-277.January 1996 -
Comparing curried and uncurried rewriting Article
Journal of Symbolic Computation, 21(1), 15-39.January 1996 -
Reversibility and adiabatic computation: trading time and space for energy Article
Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences, 452(1947), 769-789.January 1996 -
Parallel predictor-corrector methods In Proceedings
January 1996 -
Discrete approximations for singularly perturbed boundary value problems with parabolic layers Article
Journal of Computational Mathematics, 14(1), 71-97.January 1996 -
Statistical models of random polyhedra Article
Communications in Statistics. Stochastic Models, 12(2), 199-214.January 1996 -
Systolic arrays for the recognition of permutation-invariant segments Article
Science of Computer Programming, 27(2), 119-137.January 1996 -
Large time asymptotics in contaminant transport in porous media Article
SIAM Journal on Applied Mathematics, 56(4), 965-993.January 1996 -
A closer look at declarative interpretations Article
Journal of Logic Programming, 28(2), 147-180.January 1996 -
Asymptotic behaviour of solutions of a nonlinear transport equation Article
Journal für die reine und angewandte Mathematik, 77-98.January 1996 -
Development of semi-coarsening techniques Article
Applied Numerical Mathematics, 19(4), 433-465.January 1996 -
A note on fairness in I/O automata Article
Information Processing Letters, 59(5), 245-250.January 1996 -
${ m gl}(lambda)$ and differential operators preserving polynomials. Representations of Lie groups, Lie algebras and their quantum analogues Article
Acta Applicandae Mathematicae, 44(1-2), 257-268.January 1996 -
Iteration of Runge-Kutta methods with block triangular Jacobians Article
ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 76(7), 367-375.January 1996 -
Modular properties of algebraic type systems In Proceedings
January 1996 -
Collapsing partial combinatory algebras In Proceedings
January 1996 -
CWI contributions to the development of parallel Runge-Kutta methods Article
Applied Numerical Mathematics, 22(1-3), 327-344.January 1996 -
January 1996
-
Invariance principle for associated random fields In Proceedings
January 1996 -
Wiener-Hopf analysis of an $M/G/1$ queue with negative customers and of a related class of random walks Article
Queueing Systems, 23(1-4), 301-316.January 1996 -
Random strings make hard instances In Proceedings
January 1996 -
The absolute rigidity of the Neveu-Schwarz and Ramond superalgebras Article
Journal of Mathematical Physics, 37(11), 5858-5868.January 1996 -
Cryptography, statistics and pseudorandomness II Article
Probability and Mathematical Statistics, 16(1), 1-17.January 1996 -
Jacobi-Davidson type methods for generalized eigenproblems and polynomial eigenproblems In Proceedings
January 1996 -
A geometric proof of the Kochen-Specker no-go theorem Article
Journal of Physics A: Mathematical and Theoretical, 29(12), 289-291.January 1996 -
Factoring integers with large-prime variations of the quadratic sieve Article
Experimental Mathematics, 5(4), 257-273.January 1996 -
January 1996
-
The complementary-slackness class of hybrid systems Article
Mathematics of Control, Signals, and Systems, 9(3), 266-301.January 1996 -
On almost everywhere exponential convergence of the modified Jacobi-Perron algorithm: a corrected proof Article
Ergodic Theory and Dynamical Systems, 16(6), 1345-1352.January 1996 -
The Authors Book Chapter
January 1996 -
Discrete approximations for singularly perturbed boundary value problems with parabolic layers III Article
Journal of Computational Mathematics, 14(3), 273-290.January 1996 -
January 1996
-
Coordination of Cooperative Agents Book Chapter
January 1996 -
Architectures for human-computer communication Book Chapter
January 1996 -
Computational Steering Book Chapter
January 1996 -
On the Borderline of Logic Language and Computation Book Chapter
January 1996 -
Logic Programming Book Chapter
January 1996 -
Interactive Mathematical Books Book Chapter
January 1996 -
An Electronic Wallet for Digital Money Book Chapter
January 1996 -
A Tour of Algorithmics Book Chapter
January 1996 -
Rewriting Book Chapter
January 1996 -
Generating Interactive Programming Environments Book Chapter
January 1996 -
Hybrid Systems Book Chapter
January 1996 -
Semantics Book Chapter
January 1996 -
Computational Number Theory Book Chapter
January 1996 -
Multigrid, Semi-Refinement and Fluid Flow Book Chapter
January 1996 -
Discrete approximations for singularly perturbed boundary value problems with parabolic layers II Article
Journal of Computational Mathematics, 14(2), 183-194.January 1996 -
January 1996
-
Morphological Image Processing Book Chapter
January 1996 -
Bootstrap Resampling Book Chapter
January 1996 -
System Theory - A Brief Exposition Book Chapter
January 1996 -
Queueing Theory Book Chapter
January 1996 -
Optimizing Transportation by Polyhedra Book Chapter
January 1996 -
Mathematical Epidemiology of Infectious Diseases Book Chapter
January 1996 -
Mathematical Aspects of Nonlinear Dynamical Systems Book Chapter
January 1996 -
Statistics and Medieval Astronomical Tables Book Chapter
January 1996 -
Instuitionistic Logic and Topos Theory Book Chapter
January 1996 -
The Moduli Project, 1981-1988 Book Chapter
January 1996 -
Singularity Theory Book Chapter
January 1996 -
January 1996
-
Analysis on Lie Groups Book Chapter
January 1996 -
Coding Theory Book Chapter
January 1996 -
Infinite-Dimensional Linear Systems Theory Book Chapter
January 1996 -
Markov Decision Chains Book Chapter
January 1996 -
Forward and backward simulations II. Timing-based systems Article
Information and Computation, 128(1), 1-25.January 1996 -
Ergodic Theory Book Chapter
January 1996 -
Polynomial Splines in Two Variables Book Chapter
January 1996 -
The Many Faces of Computer Science Book Chapter
January 1996 -
Mathematical Statistics: Fringe of Frontier? Book Chapter
January 1996 -
The Quest for Correctness Book Chapter
January 1996 -
Computers: (Ac)counting for Mathematical Proofs Book Chapter
January 1996 -
January 1996
-
Foreword (Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC]) Book Chapter
January 1996 -
Images of SMC research 1996 : [published on the occasion of the 50th anniversary of the SMC] Miscellaneous
January 1996 -
On optimality of regular projective estimators for semimartingale models III. One step improvements Article
Stochastics Stochastics Reports, 56(1-2), 63-74.January 1996 -
On the role of Rouché's theorem in queueing analysis Article
Queueing Systems, 23(1-4), 281-291.January 1996 -
On behaviors and convolutional codes. Codes and complexity Article
IEEE Transactions on Information Theory, 42(6), 1881-1891.January 1996 -
The meaning of negative premises in transition system specifications Article
Journal of the ACM, 43(5), 863-914.January 1996 -
Compressibility and resource bounded measure In Proceedings
January 1996 -
January 1996
-
January 1996
-
January 1996
-
Meta-variables in logic programming, or In praise of ambivalent syntax Article
Fundamenta Informaticae, 28(1-2), 23-36.January 1996 -
January 1996
-
January 1996
-
January 1996
-
Polling systems Book
January 1996 -
January 1996
-
Introduction to option pricing in a securities market I. Binary models. Mathematics of finance, Part I Article
CWI Quarterly, 9(4), 319-355.January 1996 -
A new lower bound for the critical probability of site percolation on the square lattice Article
Random Structures & Algorithms, 8(3), 199-212.January 1996 -
January 1996
-
January 1996
-
January 1996
-
A bounded retransmission protocol for large data packets - a case study in computer checked algebraic verification - In Proceedings
January 1996 -
Streamer Propagation as a Pattern Formation Problem: Planar Fronts Article
Physical Review Letters, 4178-4181.January 1996 -
Universal Short-time Motion of a Polymer in a Random Environment - Analytical Calculations, a Blob Picture, and Monte Carlo Results Article
Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 950-965.January 1996 -
Polymer Diffusion in Quenched Disorder - a Renormalization Group Approach Article
Journal of Statistical Physics, 183-265.January 1996 -
On the facial structure of the set of correlation matrices Article
SIAM Journal on Matrix Analysis and Applications, 530-547.January 1996 -
Corrigendum: Remarks on sparse-grid finite-volume multigrid Article
Advances in Computational Mathematics, 125-126.January 1996 -
System Design for Structured Hypermedia Generation In Proceedings
January 1996