| A Survey of Probabilistic Reasoning in Justification Logic |
Pipilikas Thomas |
02/11/2021 |
| Upper Bounds on the number of embeddings of minimally rigid graphs |
Tzamos Charalambos |
18/10/2021 |
| Extendability of Graphs with Perfect Matchings |
Semertzakis George |
21/07/2021 |
| Dynamic Complexity of Reachability Problem and Related Problems |
Potsakis Stavros Taxiarchis |
09/06/2021 |
| About Inspection Games |
Karagiannis-Axypolitidis Nikos |
03/06/2021 |
| Approximation Algorithms for Precedence-Constrained Knapsack and Capacitated Covering Integer Programs |
Skarlatos Antonios |
12/03/2021 |
| Lexicographic Sets |
Protopapas Evangelos |
04/11/2020 |
| Non-constructive proof of a fixed point theorem on lexicographic lattice structures |
Chatziagapis Ioannis |
23/07/2020 |
| Structural and Topological Graph Theory and Well-Quasi-Ordering |
Chaniotis Aristotelis |
17/12/2019 |
| Expanding Graphs and Balanced Separators |
Niklanovits Aikaterini |
09/10/2019 |
| Monero mining: CryptoNight Analysis |
Konstantinidis Orestis |
12/07/2019 |
| Dimensionality reduction for approximate near neighbor search in the Manhattan metric |
Margonis Vasilis |
11/04/2019 |
| Voting Rules for Expressing Conditional Preferences in Multiwinner Elections |
Papasotiropoulos Giorgos |
09/04/2019 |
| Decompositions and Algorithms for the Disjoint Paths Problem in Planar Graphs |
Stamoulis Giannos |
07/03/2019 |
| Notions of Galois Connections for Bilattices |
Pitsiladis Georgios |
28/02/2019 |
| Contributions of Graph Theory and Algorithms to Animal Behaviour and Neuroscience |
Smit Nikolaos |
19/02/2019 |
| Enumeration of Cactus Minor-Obstructions for k-Apex Submonocyclic Graphs |
Singh Alexandros |
20/12/2018 |
| Fine-Grained Complexity: Exploring Reductions and their Properties |
Petsalakis Stavros |
20/07/2018 |
