Publications from 2024
-
October 1987
-
October 1987
-
October 1987
-
October 1987
-
Regression analysis and empirical processes Dissertation
September 1987 -
September 1987
-
September 1987
-
July 1987
-
Minimum disclosure proofs of knowledge Tech Report
July 1987 -
Modular specifications in process algebra In Proceedings
June 1987 -
Book review: Groups and geometric analysis Tech Report
June 1987 -
June 1987
-
June 1987
-
The radon transform: first steps Tech Report
June 1987 -
Completeness and definability : applications of the Ehrenfeucht game in second-order and intensional logic Dissertation
May 1987 -
Rekenen met raderen : de prehistorie van de computer : Drents Museum, mei t/m september 1987 Booklet
May 1987 -
April 1987
-
Blinding for unanticipated signatures In Proceedings
April 1987 -
Mathematical morphology: an algebraic approach Tech Report
March 1987 -
Teaching computer science in Nicaragua Tech Report
March 1987 -
Concurrency Tech Report
March 1987 -
March 1987
-
Bounded nondeterminism and the approximation induction principle in process algebra (extended abstract) In Proceedings
February 1987 -
February 1987
-
February 1987
-
February 1987
-
January 1987
-
Numerical methods in fluid dynamics, initial and initial-boundary-value problems Article
Acta Applicandae Mathematicae, 307-308.January 1987 -
Another look at abstraction in process algebra Tech Report
January 1987 -
January 1987
-
Introduction to dialogue cells Tech Report
January 1987 -
ASF: an algebraic specification formalism Tech Report
January 1987 -
January 1987
-
Interactive generation of fractal objects Tech Report
January 1987 -
January 1987
-
Polyhedral combinatorics Tech Report
January 1987 -
The odd-even hopscotch pressure correction scheme for the computation of free convection in a square cavity Tech Report
January 1987 -
January 1987
-
January 1987
-
January 1987
-
January 1987
-
Merge and termination in process algebra Tech Report
January 1987 -
January 1987
-
A model for graphical interaction Tech Report
January 1987 -
Abstraction and empty process in process algebra Tech Report
January 1987 -
Stability results for $ heta $ -methods applied to a class of stiff differential-algebraic equations Tech Report
January 1987 -
January 1987
-
Parallel graphical output from dialogue cells Tech Report
January 1987 -
January 1987
-
January 1987
-
Relativistic Calogero-Moser systems and solitons Tech Report
January 1987 -
Boundary value problems for ordinary differential equations with multiple turning points Tech Report
January 1987 -
Atomic multireader register Tech Report
January 1987 -
Throughput analysis of a flow-controlled communication network with buffer space limitations Tech Report
January 1987 -
January 1987
-
A proof rule for process-creation Tech Report
January 1987 -
Random truncation models and Markov processes Tech Report
January 1987 -
January 1987
-
January 1987
-
January 1987
-
January 1987
-
January 1987
-
January 1987
-
January 1987
-
January 1987
-
January 1987
-
January 1987
-
January 1987
-
January 1987
-
Modelling and filtering of freeway traffic flow Tech Report
January 1987 -
January 1987
-
January 1987
-
January 1987
-
Implementation of elementary functions in ADA Tech Report
January 1987 -
January 1987
-
On proving register atomicity Tech Report
January 1987 -
Atomic multireader register Tech Report
January 1987 -
An Amoeba replicated service organisation Tech Report
January 1987 -
A fully abstract semantics for data flow nets Tech Report
January 1987 -
January 1987
-
Steps into a geometer's workbench Tech Report
January 1987 -
Geometry and graphics applied to robotics Tech Report
January 1987 -
Term rewriting systems: a tutorial Tech Report
January 1987 -
Admissibility in fair Bayes prediction problems Tech Report
January 1987 -
Controlling error rates using prior information and marginal totals to select tumor sites Tech Report
January 1987 -
Efficient monotone sequential design Tech Report
January 1987 -
January 1987
-
Stochastic and chaotic relaxation oscillations Tech Report
January 1987 -
Some stability results for the hopscotch difference method when applied to convection-diffusion equations Tech Report
January 1987 -
January 1987
-
January 1987
-
January 1987
-
January 1987
-
An abstracto reader prepared for IFIP WG 2.1 Tech Report
January 1987 -
January 1987
-
January 1987
-
Strongly sequential rewriting systems Tech Report
January 1987 -
A convergence theorem in process algebra Tech Report
January 1987 -
Consistency of rule-based expert systems Tech Report
January 1987 -
A Lagrangian moving grid scheme for one-dimensional evolutionary partial differential equations Tech Report
January 1987