Publications from 2013
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
January 1992
-
Hoeken en hun maat Book
January 1992 -
Applications of cut polyhedra Article
Journal of Computational and Applied Mathematics, 55(2), 191-247.January 1992 -
January 1992
-
January 1992
-
Analytical and numerical analysis of the generalized Shkarofsky function Article
Astrophysics and space science, 194(2), 173-196.January 1992 -
Relativistic and nonrelativistic analysis of whistler-mode waves in a hot anisotropic plasma Article
Journal of Plasma Physics, 163-174.January 1992 -
A relativistic theory of the R wave cutt-of Article
Planetary and Space Science, 433-437.January 1992 -
R wave propagation near the cut-off frequency Article
Physics of space plasmas, SPI Conference proceedings and reprint series, 591-596.January 1992 -
Modularity in many-sorted term rewriting systems Master Thesis
January 1992 -
Preface: Proceedings of the joint international conference and symposium on logic programming (1992) Preface
January 1992 -
January 1992
-
Object recognition using Markov spatial processes In Proceedings
January 1992 -
Idiosyncratic remarks by a bibliomaniac, 6 : classics, masters, and handbooks Article
Acta Applicandae Mathematicae, 87-102.January 1992 -
Een nieuw soort multigrid voor problemen in 3D Book Chapter
January 1992 -
Discrete approximation of singularly perturbed parabolic PDE's with a discontinous initial condition In Proceedings
January 1992 -
Asymptotic inversion of a class of cumulative distribution functions. Article
Journal of Computational and Applied Mathematics, 41(1-2), 145-157.January 1992 -
PSF : a process specification formalism Dissertation
December 1991 -
Texture synthesis Article
CWI Quarterly, 4(4), 305-332.December 1991 -
Interactively testing remote servers using the Python programming language Article
CWI Quarterly, 4(4), 283-304.December 1991 -
A brief survey of art gallery problems in integer lattice systems Article
CWI Quarterly, 4(4), 269-282.December 1991 -
Term rewriting analysis in process algebra Article
CWI Quarterly, 4(4), 257-267.December 1991 -
Process algebra and structured operational semantics Dissertation
November 1991 -
November 1991
-
Multimedia Synchronization and UNIX-or-If Multimedia Support is the Problem, Is UNIX the Solution? In Proceedings
November 1991 -
Jan en Alleman Book
November 1991 -
October 1991
-
October 1991
-
October 1991
-
Negation in Conclog In Proceedings
September 1991 -
Dynamic Graph Algorithms and Data Structures Dissertation
September 1991 -
September 1991
-
Computer algebra and stochastic analysis - some possibilities Article
CWI Quarterly, 4(3), 229-238.September 1991 -
Weighted bootstrapping of means Article
CWI Quarterly, 4(3), 213-228.September 1991 -
On a conjecture concerning a characterization of the exponential distribution Article
CWI Quarterly, 4(3), 205-211.September 1991 -
Degradation rate models for failure time and survival data Article
CWI Quarterly, 4(3), 195-204.September 1991 -
Everything about Kolmogorov was unusual Article
CWI Quarterly, 4(3), 189-194.September 1991 -
August 1991
-
August 1991
-
Extended Horn clauses: the framework and some semantics In Proceedings
August 1991 -
August 1991
-
August 1991
-
Semigroups and renewal equations on dual Banach spaces with applications to population dynamics In Proceedings
August 1991 -
At Last an ISO C Binding of GKS Article
Computer Graphics Forum, 10(3), 249-254.August 1991 -
July 1991
-
July 1991
-
Structural operational semantics for Kernel Andorra Prolog In Proceedings
June 1991 -
Periodic multiprocessor scheduling In Proceedings
June 1991 -
June 1991
-
Abstraction in real time process algebra In Proceedings
June 1991 -
The reconstruction problem for dynamic data structures, an overview Article
CWI Quarterly, 4(2), 149-172.June 1991 -
EG, integration of the object-oriented and the deductive database paradigms Article
CWI Quarterly, 4(2), 131-148.June 1991 -
Dynamic parallel query processing Article
CWI Quarterly, 4(2), 117-129.June 1991 -
Engineering a main-memory DBMS Article
CWI Quarterly, 4(2), 95-116.June 1991 -
Introduction to the special issue on database research Article
CWI Quarterly, 4(2), 91-94.June 1991 -
Programma Zeskamp sport aktiviteiten t.g.v. het 45-jarig bestaan van de SMC : sportdag, 31.05.1991 Booklet
May 1991 -
May 1991
-
Implementation of modular algebraic specifications Dissertation
Software EngineeringMay 1991 -
Onderzoekscholen wiskunde : interimrapport van de Strategiecommissie Onderzoekscholen Wiskunde, 17 mei 1991 Miscellaneous
May 1991 -
April 1991
-
Transfinite reductions in orthogonal term rewriting systems In Proceedings
April 1991 -
Factorization beyond the Googol with MPQS on a single computer Article
CWI Quarterly, 4(1), 69-72.March 1991 -
Universal representation of the behavior of linear systems in both discrete and continuous time: a unified overview Article
CWI Quarterly, 4(1), 45-68.March 1991 -
The Furstenberg structures theorem in topological dynamics Article
CWI Quarterly, 4(1), 27-44.March 1991 -
Introductory recommendations for the study of Hopf algebras in mathematics and physics Article
CWI Quarterly, 4(1), 3-26.March 1991 -
Triangle sets in PHIGS PLUS: a valuable link with finite element modeling Article
Computer Graphics Forum, 10(1), 61-65.March 1991 -
DLP: a language for distributed logic programming Dissertation
Software EngineeringFebruary 1991 -
January 1991
-
Sixteenth conference on the mathematics of operations research, Lunteren, 16-18.01.1991 : program Booklet
January 1991 -
Multi-dimensional upwind schemes, multigrid and defect correction for accurate and efficient Euler flow computations In Proceedings
January 1991 -
Spurious, zeroth-order entropy generation along a kinked wall Article
International Journal for Numerical Methods in Fluids, 1113-1129.January 1991 -
January 1991
-
January 1991
-
Process algebra with signals and conditions Tech Report
January 1991 -
January 1991
-
January 1991
-
The current state of bisimulation tools Tech Report
January 1991 -
January 1991
-
A two-grid analysis of the combination of mixed finite elements and Vanka-type relaxation Tech Report
January 1991 -
January 1991
-
A new device for the synthesis problem of optimal control of admission to an M/M/c queue Tech Report
January 1991 -
Analysis and optimization of polling systems Tech Report
January 1991 -
January 1991
-
January 1991
-
Morphological discretization Tech Report
January 1991 -
Embedding as a tool for language comparison Tech Report
January 1991 -
Extended term rewriting systems Tech Report
January 1991 -
January 1991
-
January 1991
-
Dynamic parallel query processing Tech Report
January 1991 -
Randomized wait-free test-and-set Tech Report
January 1991 -
Dynamic interpretation and Hoare deduction Tech Report
January 1991 -
January 1991
-
Parallel solution of the Burgers equation Tech Report
January 1991 -
January 1991
-
3D shallow water model on the CRAY Y-MP4/464 Tech Report
January 1991