A Survey of Probabilistic Reasoning in Justification Logic |
Pipilikas Thomas |
02/11/2021 |
A Survey of Zero-Knowledge Succinct Non-Interactive Arguments with preprocessing |
Paslis Nikitas |
23/09/2022 |
About Inspection Games |
Karagiannis-Axypolitidis Nikos |
03/06/2021 |
Algorithms for Multiclass Learning with Corrupted Samples |
Iakovidis Ioannis |
30/06/2023 |
Approximation Algorithms for Precedence-Constrained Knapsack and Capacitated Covering Integer Programs |
Skarlatos Antonios |
12/03/2021 |
Contributions of Graph Theory and Algorithms to Animal Behaviour and Neuroscience |
Smit Nikolaos |
19/02/2019 |
Decompositions and Algorithms for the Disjoint Paths Problem in Planar Graphs |
Stamoulis Giannos |
07/03/2019 |
Dimensionality reduction for approximate near neighbor search in the Manhattan metric |
Margonis Vasilis |
11/04/2019 |
Dynamic Complexity of Reachability Problem and Related Problems |
Potsakis Stavros Taxiarchis |
09/06/2021 |
Enumeration of Cactus Minor-Obstructions for k-Apex Submonocyclic Graphs |
Singh Alexandros |
20/12/2018 |
Equivalent Definitions for Block Elimination Distance and a Polynomial Kernel |
Mavropoulos Filippos |
08/11/2022 |
Expanding Graphs and Balanced Separators |
Niklanovits Aikaterini |
09/10/2019 |
Extendability of Graphs with Perfect Matchings |
Semertzakis George |
21/07/2021 |
Lexicographic Sets |
Protopapas Evangelos |
04/11/2020 |
Minimum degree and immersions of complete graphs |
Oikonomou Martha |
21/12/2023 |
Minor-Obstructions for Apex Pseudoforests |
Tsatsanis Konstantinos |
30/03/2022 |
Monero mining: CryptoNight Analysis |
Konstantinidis Orestis |
12/07/2019 |
Non-constructive proof of a fixed point theorem on lexicographic lattice structures |
Chatziagapis Ioannis |
23/07/2020 |
Notions of Galois Connections for Bilattices |
Pitsiladis Georgios |
28/02/2019 |
On the security of Bitcoin and DAG-based performance solutions |
Balla Danai |
27/12/2022 |