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

4 entries found.


PhD Computer Science



2005
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