Data-types as Objects Revisited: Insights and Proofs |
Vaios-Rafail Michalakis |
- Panagiotis Rondogiannis
- Angelos Charalambidis
|
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 |
- Panagiotis Rondogiannis
- Ioannis Souldatos
|
10/07/2024 |
Large cardinals and structural reflection |
Romanos Aslanis-Petrou |
|
10/07/2024 |