| Bottom-Up Evaluation of Second-Order Datalog with Negation |
Gkanios Antonis |
02/04/2025 |
| Two proofs of Peano Arithmetic’s Consistency |
Sevastou Nikoleta |
19/03/2025 |
| Pricing Games in Heterogeneous Parallel Networks |
Pappas Thomas |
10/02/2025 |
| Almost Envy-Free allocations in multigraphs |
Sotiriou Minas Marios |
04/02/2025 |
| Data-types as Objects Revisited: Insights and Proofs |
Michalakis Vaios-Rafail |
18/12/2024 |
| DeFi vulnerabilities in the eUTxO model |
Tsoumas Georgios |
24/09/2024 |
| Inefficiency of Ordinal One-Sided Matching Mechanisms |
Stamatis Vasileios |
20/09/2024 |
| Maximizing Influence in Network Dynamics with Social Considerations |
Raskopoulou Vasiliki |
15/07/2024 |
| Morley's Categoricity Theorem |
Apostolou Filippos |
10/07/2024 |
| Large cardinals and structural reflection |
Aslanis-Petrou Romanos |
10/07/2024 |
| Minimum degree and immersions of complete graphs |
Oikonomou Martha |
21/12/2023 |
| The Expressive Power of Higher-Order Datalog with Negation |
Kostopoulos Charalampos |
20/10/2023 |
| Algorithms for Multiclass Learning with Corrupted Samples |
Iakovidis Ioannis |
30/06/2023 |
| On the security of Bitcoin and DAG-based performance solutions |
Balla Danai |
27/12/2022 |
| Equivalent Definitions for Block Elimination Distance and a Polynomial Kernel |
Mavropoulos Filippos |
08/11/2022 |
| Simulation Relations among Message Passing and Mobile Agent Algorithms |
Spyrakou Maria-Ioanna |
18/10/2022 |
| Sorting and Selection Problems in Partially Ordered Sets |
Papamichail Merkouris |
27/09/2022 |
| A Survey of Zero-Knowledge Succinct Non-Interactive Arguments with preprocessing |
Paslis Nikitas |
23/09/2022 |
| Parametric Overview of the Feedback Vertex Set |
Chatzikokolakis Konstantinos-Nikolaos |
28/06/2022 |
| Minor-Obstructions for Apex Pseudoforests |
Tsatsanis Konstantinos |
30/03/2022 |
