Note: this thesis repository might be incomplete for certain programmes.

4 entries found.

PhD Computer Science

Student Thesis
Ábrahám, ErikaAn Assertional Proof System for Multithreaded Java - Theory and Tool Support
Eggermont, JeroenData Mining using Genetic Programming; Classification and Symbolic Regression
Gelsema, Tjalling E.Effective Models for the Structure of pi-Calculus Processes with Replication
Henkel, Christiaan V.Experimental DNA computing