Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων - Γριβοκωστοπούλου, Φωτεινή ([χ.ό.], 2009)
Διατμηματικό Μεταπτυχιακό Πρόγραμμα "Μαθηματικά των Υπολογιστών και των Αποφάσεων"