Ανάπτυξη εργαλείων για την αυτόματη παραγωγή και τον έλεγχο ορθής λειτουργίας αριθμητικών κυκλωμάτων Πανεπιστήμιο Πατρών Πολυτεχνική Σχολή Τμήμα Μηχανικών Η/Υ και Πληροφορικής - Μπακάλης, Δημήτρης (ΜΔΕ, 2000)
Μεταπτυχιακό Δίπλωμα Ειδίκευσης