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