Theses
| Title | Name | Advisor | Date Sort ascending |
|---|---|---|---|
| Bottom-Up Evaluation of Second-Order Datalog with Negation | Antonis Gkanios |
|
02/04/2025 |
| Two proofs of Peano Arithmetic’s Consistency | Nikoleta Sevastou |
|
19/03/2025 |
| Pricing Games in Heterogeneous Parallel Networks | Thomas Pappas |
|
10/02/2025 |
| Almost Envy-Free allocations in multigraphs | Minas Marios Sotiriou |
|
04/02/2025 |
| Title | Name | Advisor | Date Sort ascending |
|---|---|---|---|
| Data-types as Objects Revisited: Insights and Proofs | Vaios-Rafail Michalakis |
|
18/12/2024 |
| DeFi vulnerabilities in the eUTxO model | Georgios Tsoumas |
|
24/09/2024 |
| Inefficiency of Ordinal One-Sided Matching Mechanisms | Vasileios Stamatis |
|
20/09/2024 |
| Maximizing Influence in Network Dynamics with Social Considerations | Vasiliki Raskopoulou |
|
15/07/2024 |
| Morley's Categoricity Theorem | Filippos Apostolou |
|
10/07/2024 |
| Large cardinals and structural reflection | Romanos Aslanis-Petrou |
|
10/07/2024 |
| Title | Name | Advisor | Date Sort ascending |
|---|---|---|---|
| Minimum degree and immersions of complete graphs | Martha Oikonomou |
|
21/12/2023 |
| The Expressive Power of Higher-Order Datalog with Negation | Charalampos Kostopoulos |
|
20/10/2023 |
| Algorithms for Multiclass Learning with Corrupted Samples | Ioannis Iakovidis |
|
30/06/2023 |