Beszédes Árpád
Forráskód analízis és szeletelés a programmegértés támogatásához.
Doktori értekezés, Szegedi Tudományegyetem (2000-).
(2005)
(Kéziratban)
Ferenc Rudolf
Modelling and reverse engineering C++ source code.
Doktori értekezés, Szegedi Tudományegyetem (2000-).
(2005)
(Kéziratban)
Katonáné Horváth Eszter
Lattices and invariants.
Doktori értekezés, Szegedi Tudományegyetem (2000-).
(2005)
(Kéziratban)
Krész Miklós
Soliton automata: a computational model on the principle of graph matchings.
Doktori értekezés, Szegedi Tudományegyetem (2000-).
(2005)
(Kéziratban)
Toókos Ferenc
Smoothness of Green's functions and density of sets.
Doktori értekezés, Szegedi Tudományegyetem (2000-).
(2005)
(Kéziratban)