Hofman, R. F. H. (1994). Scheduling and grain size control. [Thesis, fully internal, Universiteit van Amsterdam].
Hoekstra, A. G. (1994). Computer Simulations of Elastic Light Scattering. [Thesis, fully internal, Universiteit van Amsterdam].
Orange, C. M. (1994). Supervised Boundary Formation. [Thesis, internally prepared, TUD].
Strasters, K. C. (1994). Quantitative analysis in confocal image cytometry. [Thesis, internally prepared, TUD].
van den Berg, C. A. (1994). Dynamic Query Processing in a Parallel Object-Oriented Database System. [Thesis, internally prepared, Stichting Mathematisch Centrum].
Huang, Z. (1994). Logic for agents with bounded rationality. [Thesis, fully internal, Universiteit van Amsterdam].
Drost, N. (1994). Process Theory and Equation Solving. [Thesis, fully internal, Universiteit van Amsterdam].
Klusener, A. S. (1994). Models and Axioms for a Fragment of Real Time Process Algebra. [Thesis, internally prepared, tue].
Korver, H. P. (1994). Protocol Verification in mCRL. [Thesis, internally prepared, Universiteit van Amsterdam].
van der Meulen, E. A. (1994). Incremental Rewriting. [Thesis, fully internal, Universiteit van Amsterdam].