Publications from 2012
-
Technical word processing Article
Proof, 9-13.January 1986 -
Tekstverwerkingsproblemen voor de wetenschapper Article
Journal of Desktop Publishing, 9-13.January 1986 -
January 1986
-
Idiosyncratic remarks by a bibliomaniac 2 : contrasts in publishing and markets Article
Acta Applicandae Mathematicae, 7(3), 313-320.January 1986 -
January 1986
-
January 1986
-
Correctness proofs distributed termination algorithms Article
ACM Transactions on Programming Languages and Systems, 388-405.January 1986 -
Limits for automatic verification of finite state concurrent systems Article
Information Processing Letters, 307-309.January 1986 -
Syntax directed analysis of liveness properties Article
Information and Control, 223-253.January 1986 -
Countable nondeterminism and random assignment Article
Journal of the ACM, 724-767.January 1986 -
Pattern formation for a one-dimensional evolution equation based on Thom's river basin model Book Chapter
January 1986 -
January 1986
-
January 1986
-
Computation of layers in Eulerian gas flow In Proceedings
January 1986 -
Geometric methods in discrete optimization Article
Mathematics and Computer Science II (M. Hazewinkel, et al., eds.), 111-137.January 1986 -
Polyhedral proof methods in combinatorial optimization Article
Discrete Applied Mathematics, 113-133.January 1986 -
Relaxations of vertex packing Article
Journal of Combinatorial Theory - Series B, 330-343.January 1986 -
An integer analogue of Carathéodory's Theorem Article
Journal of Combinatorial Theory - Series B, 63-70.January 1986 -
Sensitivity theorems in integer programming Article
Mathematical Programming, 251-264.January 1986 -
December 1985
-
December 1985
-
December 1985
-
Semiparametric models: progress and problems Tech Report
December 1985 -
Homogeneous zero-dimensional absolute Borel sets Dissertation
November 1985 -
Principles of distributed operating system design Dissertation
October 1985 -
October 1985
-
September 1985
-
September 1985
-
The home of the Big Whopper Tech Report
September 1985 -
September 1985
-
The new Linear programming method of Karmarkar Tech Report
September 1985 -
Cryptanalysis of DES with a reduced number of rounds: Sequences of linear factors in block ciphers In Proceedings
August 1985 -
Order dependence Dissertation
June 1985 -
June 1985
-
A Model for a Secure Programming Environment Dissertation
Database ArchitecturesJune 1985 -
June 1985
-
June 1985
-
June 1985
-
Vehicle routing and computer graphics Tech Report
June 1985 -
Set theory and topology Tech Report
June 1985 -
Erich L. Lehmann was granted an honorary degree by the University of Leiden on 8th February 1985 Tech Report
June 1985 -
Second order approximations Tech Report
June 1985 -
May 1985
-
May 1985
-
Dynamics of structured populations Dissertation
May 1985 -
May 1985
-
Entire functions of Paley-Wiener type in Cn, Radon transforms and problems of holomorphic extension Dissertation
April 1985 -
Production-inventory control models : approximations and algorithms Dissertation
CWI managementMarch 1985 -
The Pythagoras tree as a Julia set Tech Report
March 1985 -
Calculating by steam : book review Tech Report
March 1985 -
Mathematical libraries in Ada Tech Report
March 1985 -
Aspects of Quantification in Natural Language Dissertation
February 1985 -
Some Contributions to Percolation Theory Dissertation
January 1985 -
January 1985
-
Special orthogonal polynomial systems mapped onto each other by the Fourier-Jacobi transform Tech Report
January 1985 -
January 1985
-
The Pythagoras tree as a Julia set Tech Report
January 1985 -
Symmetric linear multistep methods for second-order differential equations with periodic solutions Tech Report
January 1985 -
January 1985
-
January 1985
-
January 1985
-
January 1985
-
January 1985
-
January 1985
-
January 1985
-
January 1985
-
January 1985
-
January 1985
-
Implementation of a new primality test Tech Report
January 1985 -
January 1985
-
Onderzoek volgtijden op de 2x2-strooks autosnelweg [Investigation of leadways on the 2x2 lane freeway] Tech Report
January 1985 -
The total time on test plot and the cumulative total time on test statistic for a counting process Tech Report
January 1985 -
January 1985
-
January 1985
-
January 1985
-
January 1985
-
January 1985
-
January 1985
-
January 1985
-
Statistical investigation of weather conditions in the German Bight near Sylt, June-July 1984 Tech Report
January 1985 -
January 1985
-
Standard layout for scientific CWI-publications Tech Report
January 1985 -
Multiple grid and Osher's scheme for the efficient solution of the steady Euler equations Tech Report
January 1985 -
January 1985
-
January 1985
-
January 1985
-
Documentverwerking [Document processing] Tech Report
January 1985 -
Time-driven algorithms for distributed control Tech Report
January 1985 -
January 1985
-
January 1985
-
Genuinely polynomial simplex and non-simplex algorithms for the minimum cost flow problem Tech Report
January 1985 -
January 1985
-
Explicit Runge-Kutta (-Nyström) methods with reduced phase errors for computing oscillating solutions Tech Report
January 1985 -
Multigrid solution of the steady Euler equations Tech Report
January 1985 -
Convergence and order reduction of diagonally implicit Runge-Kutta schemes in the method of lines Tech Report
January 1985 -
January 1985
-
January 1985
-
A double integral containing the modified Bessel function: asymptotics and a device for computation Tech Report
January 1985 -
An abstract delay-differential equation modelling size dependent cell growth and division Tech Report
January 1985 -
January 1985