Harcsás, Anita (2012) Hilbert-típusú kalkulusok implementációja. BA/Bsc, Szegedi Tudományegyetem.
Nagy, Péter (2012) A sztochasztikus legrövidebb út probléma. BA/Bsc, Szegedi Tudományegyetem.