4 entries found.


PhD Computer Science



2005
Student Thesis Content
Á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