Theses
| 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 |
| 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 |
| Title | Name | Advisor | Date Sort ascending |
|---|---|---|---|
| On the security of Bitcoin and DAG-based performance solutions | Danai Balla |
|
27/12/2022 |
| Equivalent Definitions for Block Elimination Distance and a Polynomial Kernel | Filippos Mavropoulos |
|
08/11/2022 |
| Simulation Relations among Message Passing and Mobile Agent Algorithms | Maria-Ioanna Spyrakou |
|
18/10/2022 |
| Sorting and Selection Problems in Partially Ordered Sets | Merkouris Papamichail |
|
27/09/2022 |
| A Survey of Zero-Knowledge Succinct Non-Interactive Arguments with preprocessing | Nikitas Paslis |
|
23/09/2022 |
| Parametric Overview of the Feedback Vertex Set | Konstantinos-Nikolaos Chatzikokolakis |
|
28/06/2022 |
| Minor-Obstructions for Apex Pseudoforests | Konstantinos Tsatsanis |
|
30/03/2022 |