Διπλωματικές
| Τίτλος | Όνομα | Επιβλέπων | Ημ/νία Sort ascending |
|---|---|---|---|
| Bottom-Up αποτίμηση της Datalog δεύτερης τάξης με άρνηση | Αντώνης Γκάνιος |
|
02/04/2025 |
| Δύο αποδείξεις για τη συνέπεια της Αριθμητικής Peano | Νικολέτα Σεβαστού |
|
19/03/2025 |
| Παιχνίδια τιμολόγησης σε ετερογενή παράλληλα δίκτυα | Θωμάς Παππάς |
|
10/02/2025 |
| Κατανομή αγαθών σε πολυγραφήματα με περιορισμένο φθόνο | Μηνάς Μάριος Σωτηρίου |
|
04/02/2025 |
| Τίτλος | Όνομα | Επιβλέπων | Ημ/νία Sort ascending |
|---|---|---|---|
| Επανεξέταση τύπων δεδομένων ως αντικείμενα: Ιδέες και αποδείξεις | Βάιος-Ραφαήλ Μιχαλάκης |
|
18/12/2024 |
| DeFi ευπάθειες στο μοντέλο eUTxO | Γεώργιος Τσούμας |
|
24/09/2024 |
| Aναποτελεσματικότητα μηχανισμών μονομερούς αντιστοίχησης | Βασίλειος Σταμάτης |
|
20/09/2024 |
| Μεγιστοποίηση επιρροής στη δυναμική δικτύων με κοινωνικούς προβληματισμούς | Βασιλική Ρασκοπούλου |
|
15/07/2024 |
| Το Θεώρημα Κατηγορικότητας του Morley | Φίλιππος Αποστόλου |
|
10/07/2024 |
| Μεγάλοι πληθάριθμοι και δομική ανάκλαση | Ρωμανός Ασλάνης-Πέτρου |
|
10/07/2024 |
| Τίτλος | Όνομα | Επιβλέπων | Ημ/νία Sort ascending |
|---|---|---|---|
| Ελάχιστος βαθμός και εμβυθίσεις πλήρων γραφημάτων | Μάρθα Οικονόμου |
|
21/12/2023 |
| Η εκφραστικότητα της Datalog υψηλής τάξης με άρνηση | Χαράλαμπος Κωστόπουλος |
|
20/10/2023 |
| Αλγόριθμοι για πολυταξική ταξινόμηση με διεφθαρμένα δείγματα | Ιωάννης Ιακωβίδης |
|
30/06/2023 |