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].
Koorn, J. W. C. (1994). Generating Uniform User-Interfaces for Interactive Programming Environments. [Thesis, fully internal, Universiteit van Amsterdam].
Udding, J. H. (1994). Atom tranfer cyclizations to nitrogen and oxygen heterocycles via captodative radicals. [Thesis, fully internal, Universiteit van Amsterdam].
Wegewijs, B. (1994). Long-range separation in solvent-free Donor-bridge-Acceptor systems; Donor-bridge-Acceptor molecules in splendid isolation. [Thesis, fully internal, Universiteit van Amsterdam].
van den Berg, K. J. (1994). Gas-phase organometallic negative ion/molecule chemistry. [Thesis, fully internal, Universiteit van Amsterdam].
Faasse, P. E. (1994). Experiments in Growth. [Thesis, fully internal, Universiteit van Amsterdam].
Grolman, E. (1994). Gas-Liquid Flow with Low Liquid Loading in Slightly Inclined Pipes. [Thesis, fully internal, Universiteit van Amsterdam].
Cronenberg, C. C. H. (1994). Biochemical engineering on a micro-scale, Biofilms investigated with needle-type glucose sensors. [Thesis, fully internal, Universiteit van Amsterdam].