Publications from 2013
-
A new approach to formal language theory by Kolmogorov complexity Article
SIAM Journal on Computing, 24(2), 398-410.January 1995 -
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras Article
Studia Logica, 61-78.January 1995 -
On the estimation of the parameters for the Littlewood model in software reliability Article
Statistica Neerlandica, 49(2), 165-184.January 1995 -
Deformations of vector fields and Hamiltonian vector fields on the plane Article
Mathematics of Computation, 64(211), 1215-1226.January 1995 -
Control of discrete event systems---research at the interface of control theory and computer science Article
CWI Quarterly, 8(1), 31-45.January 1995 -
Perturbing evolutionary systems by step responses and cumulative outputs Article
Differential Integral Equations, 8(5), 1205-1244.January 1995 -
Line transects, covariance functions and set convergence Article
Advances in Applied Probability, 27(3), 585-605.January 1995 -
January 1995
-
A note on splitting errors for advection-reaction equations In Proceedings
January 1995 -
Finding all periods and initial palindromes of a string in parallel Article
Algorithmica, 14(4), 355-366.January 1995 -
Right angle free subsets in the plane Article
Graphs and Combinatorics, 11(2), 121-129.January 1995 -
Sparse reduces conjunctively to tally Article
SIAM Journal on Computing, 24(4), 673-681.January 1995 -
The regulator problem with robust stability Article
Automatica, 31(10), 1393-1406.January 1995 -
Cryptography, statistics and pseudorandomness I. Dedicated to the memory of Jerzy Neyman. Article
Probability and Mathematical Statistics, 101-114.January 1995 -
Counting objects Article
Journal of Logic and Computation, 5(3), 325-345.January 1995 -
On a minor-monotone graph invariant Article
Journal of Combinatorial Theory - Series B, 65(2), 291-304.January 1995 -
How to make a strongly connected digraph two-connected In Proceedings
January 1995 -
A characterization of box $1/d$-integral binary clutters Article
Journal of Combinatorial Theory - Series B, 65(2), 186-207.January 1995 -
Parallel iteration across the steps of high-order Runge-Kutta methods for nonstiff initial value problems Article
Journal of Computational and Applied Mathematics, 60(3), 309-329.January 1995 -
On the sparse set conjecture for sets with low density In Proceedings
January 1995 -
Delay equations Book
January 1995 -
A Hamiltonian approach to fairly low and fairly long gravity waves Article
Journal of Engineering Mathematics, 29(4), 329-345.January 1995 -
An elementary renewal theorem for random compact convex sets Article
Advances in Applied Probability, 931-942.January 1995 -
January 1995
-
Forward and backward simulations I. Untimed systems Article
Information and Computation, 121(2), 214-233.January 1995 -
Termination for direct sums of left-linear complete term rewriting systems Article
Journal of the Association for Computing Machinery, 42(6), 1275-1304.January 1995 -
January 1995
-
Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi In Proceedings
January 1995 -
Three logics for branching bisimulation Article
Journal of the Association for Computing Machinery, 42(2), 458-487.January 1995 -
Proofs of partial knowledge and simplified design of witness hiding protocols Article
CWI Quarterly, 8(2), 111-127.January 1995 -
Algorithmic arguments in physics of computation In Proceedings
January 1995 -
Secure signature schemes based on interactive protocols In Proceedings
January 1995 -
On solving implicit differential equations on parallel computers Article
Rendiconti del Seminario Matematico e Fisico di Milano, 159-178.January 1995 -
On termination of constraint logic programs In Proceedings
January 1995 -
Near-optimal distributed edge coloring In Proceedings
January 1995 -
An algebraic view of structural induction In Proceedings
January 1995 -
January 1995
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
Uniformly-distributed random generation of join orders In Proceedings
January 1995 -
January 1995
-
One-third-integrality in the metric polytope Article
Mathematical Programming, 29-50.January 1995 -
January 1995
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
January 1995
-
Towards the Generation of Hypermedia Structure In Proceedings
January 1995 -
An Interactive Multimedia Business Game Article
International Journal of Intelligent Systems, 5(2-4), 139-150.January 1995 -
Embedded Video in Hypermedia Documents: Supporting Integration and Adaptive Control Article
ACM Transactions on Information Systems, 13(4), 440-470.January 1995 -
The Wavelet Transform in the Solution to the Inverse Fractal Problem Article
Fractals, 3(2), 329-350.January 1995 -
Uniformly-distributed random generation of join orders In Proceedings
January 1995 -
January 1995
-
January 1995
-
TOPYDE: A Tool for Physical Database Design In Proceedings
January 1995 -
An Active Component for a Parallel Database Kernel In Proceedings
January 1995 -
Calibration of a DBMS Cost Model With the Software Testpilot In Proceedings
January 1995 -
Are relativistic effects significant for the analysis of whistler-mode waves in the earth's magnetosphere? Book Chapter
January 1995 -
Strict functionals for termination proofs In Proceedings
January 1995 -
Two different strong normalization proofs? - computability versus functionals of finite type - In Proceedings
January 1995 -
Stochastic geometry models in image analysis and spatial statistics Article
Statistica Neerlandica, 1-1.January 1995 -
Area-interaction point processes Article
Annals of the Institute of Statistical Mathematics, 601-619.January 1995 -
January 1995
-
Markov point processes and their applications in high-level imaging Article
Bulletin of the international statistical institute, 559-576.January 1995 -
Linear vs non-linear mathematics with emphasis on the KdV equation and other Liouville integrable systems In Proceedings
January 1995 -
Review of "Handbook of logic in computer science, Vols. 1&2" by Gabby, D. M. (ed.), Abramsky, S. (ed.) and Maibaum, T. S. E. (ed.) Article
Mededelingen van het Wiskundig Genootschap, 326-328.January 1995 -
January 1995
-
January 1995
-
January 1995
-
January 1995
-
Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings
January 1995 -
Verification of logic programs with delay declarations In Proceedings
January 1995 -
Index : Theoretical computer science 1995 Article
Theoretical Computer Science, 195-313.January 1995 -
Handbook of algebra Book
January 1995 -
Program verification and Prolog Book Chapter
January 1995 -
January 1995
-
January 1995
-
January 1995
-
Convergence analysis of the defect-correction iteration for hyperbolic problems Article
SIAM Journal on Scientific Computing, 16(1), 88-118.January 1995 -
December 1994
-
December 1994
-
Clocks, trees and stars in process theory Dissertation
December 1994 -
December 1994
-
Prime numbers in quadratic fields Article
CWI Quarterly, 7(4), 367-394.December 1994 -
A survey of modern integer factorization algorithms Article
CWI Quarterly, 7(4), 337--366.December 1994 -
Introduction to the special issue [of CWI Quarterly 7(1994)4] on computational number theory Article
CWI Quarterly, 7(4), 281-283.December 1994 -
Randomness Book Chapter
December 1994 -
December 1994
-
Verification of a Distributed Summation Algorithm Book Chapter
December 1994 -
Kleene's Realizability (for Cor Baayen) Book Chapter
December 1994 -
December 1994
-
December 1994
-
December 1994
-
Job scheduling on a parallel shared memory bus computer (Dedicated to Cor Baayen, With esteem and admiration) Book Chapter
December 1994 -
Fast, Randomized Join-Order and Join-Method Selection Combined with Transformation Based Optimization Book Chapter
December 1994