Publications from 2013
-
Declarative programming in prolog In Proceedings
January 1993 -
Stochastic geometry models in high-level vision Article
Journal of Applied Statistics, 20(5-6), 231-256.January 1993 -
January 1993
-
December 1992
-
Directed triangles in directed graphs Article
Discrete Mathematics, 110(1-3), 279-282.December 1992 -
Fonctions de legendre sur une algèbre de Jordan Article
CWI Quarterly, 5(4), 309-320.December 1992 -
Quantum Grassmannians and q-hypergeometric series Article
CWI Quarterly, 5(4), 293-308.December 1992 -
Classical Lie groups, quantum groups and special functions Article
CWI Quarterly, 5(4), 271-292.December 1992 -
The world of q Article
CWI Quarterly, 5(4), 251-270.December 1992 -
PRISMA/DB: A Parallel Main Memory Relational DBMS Article
IEEE Transactions on Knowledge and Data Engineering, 4(6), 541-554.December 1992 -
PREGMATIC : a generator for incremental programming environments Dissertation
Software EngineeringNovember 1992 -
November 1992
-
October 1992
-
October 1992
-
October 1992
-
October 1992
-
October 1992
-
R0 Dissertation
September 1992 -
September 1992
-
An architecture for interactive raster graphics In Proceedings
September 1992 -
Transition systems and dynamic semantics In Proceedings
September 1992 -
September 1992
-
Circuits in graphs embedded on the torus Article
Discrete Mathematics, 415-433.September 1992 -
Manifold: Concepts and implementation In Proceedings
September 1992 -
A generalization of the Z-buffer algorithm Article
CWI Quarterly, 5(3), 219-234.September 1992 -
Computational steering: a case study Article
CWI Quarterly, 5(3), 207-218.September 1992 -
A processor farm example in manifold Article
CWI Quarterly, 5(3), 189-206.September 1992 -
Provably unforgeable signatures Article
CWI Quarterly, 5(3), 173-188.September 1992 -
August 1992
-
Object Storage Management in Goblin In Proceedings
August 1992 -
Philosophical issues in Kolmogorov complexity In Proceedings
July 1992 -
De vorming van onderzoekscholen Wiskunde : rapport van de Strategiecommissie Onderzoekscholen Wiskunde, 30-06-1992 Miscellaneous
June 1992 -
Stochastic scheduling and dynamic programming Dissertation
June 1992 -
Process algebra with data Dissertation
June 1992 -
Linear unary operators in process algebra Dissertation
June 1992 -
Structural computations in finite permutation groups Article
CWI Quarterly, 5(2), 127-160.June 1992 -
Random algorithms for permutation groups Article
CWI Quarterly, 5(2), 107-125.June 1992 -
Notes on polynomial-time group theory Article
CWI Quarterly, 5(2), 93-105.June 1992 -
Preface Article
CWI Quarterly, 5(2), 89-91.June 1992 -
Product-form in queueing networks Dissertation
May 1992 -
Some aspects of mixed finite element methods for semiconductor simulation Dissertation
Scientific ComputingMay 1992 -
A short proof of the decidability of bisimulation for normed bpa-processes Article
Information Processing Letters, 42(3), 167-171.May 1992 -
Bootstrapping U-quantiles In Proceedings
April 1992 -
Practical privacy Dissertation
March 1992 -
Integrity Primitives for IBC In Proceedings
March 1992 -
Multigrid methods for semiconductor device simulation Dissertation
Scientific ComputingMarch 1992 -
Computing with Daubechies' wavelets Article
CWI Quarterly, 5(1), 63-72.March 1992 -
Image compression using wavelets Article
CWI Quarterly, 5(1), 53-62.March 1992 -
Calculation of the wavelet decomposition using quadrature formulae Article
CWI Quarterly, 5(1), 33-52.March 1992 -
Discrete wavelets and multiresolution analysis Article
CWI Quarterly, 5(1), 5-32.March 1992 -
The adjoint of a semigroup of linear operators Dissertation
February 1992 -
February 1992
-
Law and order in algorithmics Dissertation
February 1992 -
February 1992
-
Solving parabolic integro-differential equations by an explicit integration method Article
Journal of Computational and Applied Mathematics, 39(1), 121-132.February 1992 -
Parser generation for interactive environments Dissertation
Software EngineeringJanuary 1992 -
January 1992
-
Towards a design theory for database triggers Tech Report
January 1992 -
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
On transfinite abstract reduction systems Tech Report
January 1992 -
January 1992
-
January 1992
-
Survey of continuities of curves and surfaces Tech Report
January 1992 -
January 1992
-
January 1992
-
Asymptotic estimates of Stirling numbers Tech Report
January 1992 -
January 1992
-
Hyperasymptotics and the Stokes' phenomenon Tech Report
January 1992 -
January 1992
-
Graphs on the torus and geometry of numbers Tech Report
January 1992 -
Grid minors of graphs on the torus Tech Report
January 1992 -
January 1992
-
Packing odd paths Tech Report
January 1992 -
A globally gated polling system with server interruptions, and applications to the repairman problem Tech Report
January 1992 -
One-third-integrality in the metric polytope Tech Report
January 1992 -
Finite interpolation of random fields Tech Report
January 1992 -
January 1992
-
January 1992
-
Provably recursive programs Tech Report
January 1992 -
A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation Tech Report
January 1992 -
More examples in Manifold Tech Report
January 1992 -
January 1992
-
A theory of first-order built-in's of Prolog Tech Report
January 1992 -
January 1992
-
January 1992
-
January 1992
-
Moving-finite-element solution of time-dependent partial differential equations in two space dimensions Tech Report
January 1992 -
January 1992
-
January 1992
-
January 1992
-
January 1992
-
Analysis of local uniform grid refinement Tech Report
January 1992