Font size: Αα Αα Αα hide gadgets
You are here: Theses Anonymously browsing from at 02:42:02, 23-05-2019. login

PhD theses

Title Author Supervisor(s) Date
End extensions of models of arithmetic V. Paschalis C. Dimitracopoulos 2016-06
Επιστημικές τροπικές λογικές δίχως επίγνωση της άγνοιας. Γνωσιακές δομές, και επεκτάσεις με εκτίμηση και πληροφόρηση. G. Zikos C. Dimitracopoulos, C. D. Koutras 2012-09
Formalizing Constructive Analysis: A Comparison of Minimal Systems and A Study of Uniqueness Principles G. Vafeiadou J. R. Moschovakis 2012-07
Monadic Second Order Logic and Parameterized Complexity on Structures of Bounded Treewidth L. Kalantzi E. Foustoucos 2012-05
Algorithmic natural language semantics---A study of Locality in the Theory of Referential Intensions E. Kalyvianaki Y. N. Moschovakis 2007-09
Model Theory and arithmetic A. Sirokofskich C. Dimitracopoulos 2007-07

MSc theses

Title Author Supervisor(s) Date
Μια αναδρομή στην Mη-Mεταθετική Kρυπτογραφία E. Partalidou E. Raptis 2017-11
On-line Shortest Path with Switching Cost I. Tziotis D. Fotakis 2017-11
Change averse equilibria in congestion games A. Mantis D. Fotakis 2017-11
Online Facility Location with Switching Costs L. Zakynthinou D. Fotakis 2017-11
Αλγόριθμοι στη Θεωρία Ομάδων C. Pilichos E. Raptis 2017-11
Triangulation Problems on Geometric Graphs - Sampling over Convex Triangulations A. Angelopoulos A. T. Pagourtzis 2017-11
Ηλεκτρονικές Ψηφοφορίες Ανθεκτικές σε Εκβιασμούς P. Kalogeropoulos A. T. Pagourtzis 2017-11
Non-Strict Pattern Matching and Delimited Control P. Barbagiannis N. S. Papaspyrou 2017-10
Federated Consensus Protocols M. Galenianou A. Kiayias 2017-07
Proof Complexity: A Tableau Perspective T. Papamakarios S. Kosmadakis, E. Zachos 2017-07
Transfer k-means P. Teloni A. T. Pagourtzis 2017-06
Geometric proximity problems in high dimensions G. Avarikioti I. Emiris 2017-06
Polytope Membership in High Dimension E. Anagnostopoulos I. Emiris 2017-05
Learning Poisson Binomial Distributions with Differential Privacy A. Giannakopoulos D. Fotakis 2017-02
High dimensional approximate r-nets L. Kavouras I. Emiris 2016-11
Παραμετρικοί Αλγόριθμοι και Μητροειδή η χρήση των συνόλων αντιπροσώπευσης M. Petropanagiotaki D. M. Thilikos 2016-11
Quantum complexity, relativized worlds, and oracle separations D. Myrisiotis E. Zachos 2016-11
Opinion Dynamics with Local Interactions E. Skoulakis D. Fotakis 2016-10
An Alternative Proof for the NP-completeness of the Grid Subgraph Problem D. Chatzidimitriou D. M. Thilikos 2016-10
Counting below #P: Classes, problems and Descriptive Complexity A. Chalki A. T. Pagourtzis 2016-09
Μη-Μεταθετική Κρυπτογραφία K. Karathanos E. Raptis 2016-08
Κρυπτογραφία Ελλειπτικών Καμπυλών και το Bitcoin G. Karistianos A. Kiayias 2016-08
Asymptotic analysis of outerplanar graphs with subgraph obstructions V. Velona J. R. Perna, D. M. Thilikos 2016-06
Πότε είναι δυνατός ο συμψηφισμός απόψεων; I. Livieratos E. Kirousis 2016-06
Αποσυνθέσεις σφαιρικών τομών και σύνολα κυριαρχίας σε επίπεδα γραφήματα M. Samaris D. M. Thilikos 2016-06
Approximating Minkowski Decomposition and 2D Subset Sum T. Harilaos I. Emiris 2016-06
Linkages in primal-dual graphs S. Maniatis D. M. Thilikos 2016-06
Model-theoretic investigations on "overwhelming majority" default conditionals C. Rantsoudis C. Dimitracopoulos, C. D. Koutras 2015-11
Scientific realism and modality in abduction A. Apostolidis C. Dimitracopoulos 2015-11
Approximation Algorithms on Network Resource Allocation A. Koutli V. Zissimopoulos 2015-07
Visual Cyptography and Applications E. Oikonomopoulou A. Kiayias 2015-07
Centralized protocols and anonymous decentralized systems N. Lamprou A. T. Pagourtzis 2015-05
Smart contracts and Payments using Bitcoin and Ethereum A. Stouka A. T. Pagourtzis 2015-05
Counting complexity: compressed Hamming distance, vertex covers, and recent highlights I. Nemparis A. T. Pagourtzis 2015-05
Low-quality dimension reduction and high-dimensional Approximate Nearest Neighbor" I. Psaros I. Emiris 2015-04
Annotated Sequent Systems for Linear Temporal Logic I. Kokkinis E. Zachos 2015-04
LiquidHaskell : Liquid Types for Haskell N. Vazou N. S. Papaspyrou 2015-04
Game Theoretic Models for Power Control in Wireless Networks A. Nikolidaki D. Fotakis 2015-03
Computational Aspects of the Braess Paradox K. Sergis D. Fotakis 2015-03
Graph Partitioning Under the Spectral Lens K. Koiliaris E. Zachos 2015-01
On the meaningful instances of clustering E. Mpakali D. Achlioptas 2014-12
Opinion Dynamics in the presence of Social Choice Rules M. Epitropou D. Fotakis 2014-11
Tamper Resilient Circuits Y. Tselekounis A. Kiayias 2014-09
Strategyproof Allocation of Multidimensional Tasks on Clusters C. Psomas A. T. Pagourtzis 2014-08
Variants of Stalnaker Stable Belief Sets C. Moyzes C. Dimitracopoulos, C. D. Koutras 2014-07
Secure Multi Party Computations for Electronic Voting P. Grontas A. T. Pagourtzis 2014-05
o-Minimality and its Variations V. Vlachos C. Dimitracopoulos 2014-04
Heuristic Algorithms for the Tourist Trip Design Problem K. Mastakas A. Symvonis 2014-03
Randomly-oriented RKD-trees D. Nikolopoulos I. Emiris 2014-03
Obstructions and Algorithms for Graph Searching Problems D. Zoros D. M. Thilikos 2014-02
An efficient implementation of lazy functional programming languages based on the generalized intensional transformation P. Theofilopoulos N. S. Papaspyrou 2013-12
Computational Complexity of Modal Logics G. Kourtis C. D. Koutras, E. Zachos 2013-08
Generalized Second-Price Ad Auctions under Budget Constraints G. Kotsialou E. Kirousis 2013-06
Computability and Complexity of Two-Way Finite Automata A. Misios P. Rondogiannis 2013-05
Generalized Second-Price Auctions under Advertisement Settings G. Mpirmpas E. Kirousis 2013-03
Proofs of secure erasure N. Karvelas A. Kiayias 2013-01
Non-interactive proof systems in pairing-based cryptography and applications in group signatures T. Zacharias A. T. Pagourtzis 2012-09
On the computability of obstruction sets for well-quasi-ordered graph classes I. Salem D. M. Thilikos 2012-09
On the relation between treewidth and toughness K. Gerakios E. Kirousis 2012-08
Implementing approximate voronoi diagrams for approximate nearest neighbor searching A. Konstantinakis-Karmis I. Emiris 2012-08
Exploiting the Structure of the Data in Approximate Nearest Neighbor Search A. Thanos-Filis I. Emiris 2012-08
Complexity Dichotomies for Approximations of Counting Problems A. N. Goebel-Magkakis E. Zachos 2012-07
Complexity of Counting CSP S. Despotakis A. T. Pagourtzis 2012-07
Encryption Mechanisms for Multiuser Environment A. Samari A. Kiayias 2012-04
The Discrepancy Problem I. Panageas E. Zachos 2011-12
Variants of Stable Marriage, algorithms, complexity and structural properties G. Stathopoulos I. Mourtos, D. M. Thilikos 2011-12
Cut Elimination in Deep Inference P. Tsatsanis G. Koletsos, Y. Stavrinos 2011-11
Kernelization algorithms on planar graphs G. Askalidis D. M. Thilikos 2011-05
Artin groups for the Commuting Action Key Exchange Platforms V. Tsomplektzoglou E. Raptis 2011-05
Treewidth and Proper Treewidth P. Chaidos D. M. Thilikos 2011-03
Non-commutative Cryptography M. Kelesidou E. Raptis 2010-12
Infrastructure Leasing Problems P. Koutris D. Fotakis 2010-12
Fully Homomorphic Encryption C. Litsas A. Kiayias 2010-12
Finding Cliques in Random Graphs A. Galanis E. Zachos 2010-11
Semantic Approaches to Logic Programming T. Tsouanas P. Rondogiannis 2010-09
Conjuctive and Boolean Grammars A. Palioudakis P. Rondogiannis 2010-07
Models of Parallel Computation and Parallel Complexity G. Lentaris D. Reisis, E. Zachos 2010-07
Artificial intelligence and Inference M. Nikolaou E. Raptis 2010-07
Large Cardinals and Elementary Embeddings of V M. Koulakis C. Dimitracopoulos, A. Tzouvaras 2010-06
Percolation on Small-World Networks E. Chatzigeorgaki E. Koutsoupias, E. Kranakis 2010-06
Using the color-coding method in Parametric Algorithms design C. Sdrakas D. M. Thilikos 2010-03
Triangulations of point sets, high dimensional Polytopes and Applications V. Fisikopoulos I. Emiris 2009-12
Factoring Integers using Elliptic Curves K. Kouta E. Raptis 2009-12
Quantum Fractional Fourier Transform on $Z_p \times Z_p$ phase spaces V. W. Karageorgos E. Floratos, E. Raptis 2009-10
Information Theory and the Randomized Communication Complexity of Functions N. Leonardos E. Zachos 2009-07
Algebraic and combinatorial techniques in rigidity theory A. Varvitsiotis I. Emiris 2009-07
Profit Maximization in Mechanism Design G. Pierrakos E. Koutsoupias 2009-06
Tree-depth of Graphs: Characterisations and Obstructions A. Giannopoulou D. M. Thilikos 2009-06
The Complexity of the Validity Problem and Justification Logics A. Achileos E. Zachos 2009-02
Undirected Connectivity is in L T. Lianeas E. Zachos 2009-02
Parameters and Problems on Graph Layouts I. Rokos D. M. Thilikos 2009-02
Cryptography with RSA A. Petsi E. Raptis 2008-10
Online Mechanism Design Y. Giannakopoulos E. Koutsoupias 2008-09
Constraint Optimization - Bucket Elimination D. Kostopoulos P. Stamatopoulos 2008-09
Whitney's Theorem G. Galiatsatos D. M. Thilikos 2008-07
Tarski's High School Algebra Problem R. Sklinos C. Dimitracopoulos 2008-07
Geometric routing in wireless ad hoc networks D. Doudis E. Kranakis, E. Zachos 2008-06
Elements of parametric complexity K. Papanikolaou D. M. Thilikos 2008-05
Bidimensionality and Graph Decompositions A. Koutsonas D. M. Thilikos 2008-03
Approximation algorithms for scheduling problems G. Zois S. Kolliopoulos 2008-03
Belief revision and iterated revision C. Kanlis C. Dimitracopoulos, P. Peppas 2007-12
Succintness of logics on trees V. Nikas D. Richerby, D. M. Thilikos 2007-12
On a logical foundation of the intersection types assignment system: Intersection Logics A. Veneti G. Koletsos, Y. Stavrinos 2007-12
The problem of consistency of NF N. Theodorou C. Dimitracopoulos, A. Tzouvaras 2007-07
Modal Logic and Provability A. Fasouli C. Dimitracopoulos 2007-07
Meaning and Truth -- Donald Davidson and Philosophy of Language N. Katzouris I. Stephanou 2007-07
Real solving of algebraic systems of small dimension D. Diochnos I. Emiris 2007-03
Anti-foundation P. Rouvelas C. Dimitracopoulos, A. Tzouvaras 2007-03
Efficient algorithms for cardinal direction constraints V. Karadimas M. Koubarakis 2007-02
An introduction to dynamic logic G. Zikos C. Dimitracopoulos, C. D. Koutras 2006-12
Recursive algorithms and implementations V. Paschalis Y. N. Moschovakis 2006-12
Algebraic modal logic and applications C. Manouvelos C. Dimitracopoulos 2006-11
Bertrand paradoxes and Kolmogorov's foundations of the theory of probability C. Anagnostopoulos Y. N. Moschovakis 2006-10
The problem of fairness in cost allocation A. Koutsioumbas E. Koutsoupias 2006-09
The admissible rules of intermediate logics N. Vaporis G. Koletsos, J. R. Moschovakis 2006-09
Triangulations and resultant C. Konaxis I. Emiris 2006-07
Information networks and game theory G. Piliouras E. Zachos 2006-06
Quantum physics and computers X. Rafios A. T. Pagourtzis, E. Zachos 2006-04
Edge coloring in bipartite multigraphs M. Marinou A. T. Pagourtzis, E. Zachos 2005-12
A linear analysis of classical proofs G. Tsotakos G. Koletsos, Y. Stavrinos 2005-10
Continued fractions and the subtractive Euclidean algorithm A. Vidali Y. N. Moschovakis 2005-09
Formal languages and models of computation with limited resources K. Garoufi C. Dimitracopoulos, C. D. Koutras 2005-09
Algorithms for routing and wavelength assignment in all- optical networks - Implementations and experimental comparison G. Georgiou A. T. Pagourtzis, E. Zachos 2005-04
An application for database administration tutoring T. Valaskopoulou I. Karali, M. Nikolaidou 2005-01
Automatic timetable construction for secondary schools using constraint logic programming G. Kokoretsis P. Stamatopoulos 2004-12
Arthur-Merlin games and interactive proof systems C. Tsironis T. Andronikos, E. Zachos 2004-12
The web as a graph E. Kotelida T. Andronikos, E. Zachos 2004-12
Edge coloring in graphs E. Gavatha T. Andronikos, E. Zachos 2004-12
MSO-evaluation and automata L. Kalantzi E. Foustoucos 2004-11
Wormhole attacks in wireless networks N. Kiourtis E. Kranakis, Y. N. Moschovakis 2004-10
Web-based systems and operation dictionary development N. Maragos I. Karali, M. Nikolaidou 2004-09
Fairness in online problems C. Georgiou E. Koutsoupias 2004-08
Congestion games and price of anarchy E. Peroutseas E. Koutsoupias 2004-06
Cost models in communication networks S. Kalliakouda L. Merakos 2004-06
The MacDowell-Specker theorem G. Tzachristas C. Dimitracopoulos 2003-12
Braid groups and cryptography C. Tzetzias E. Raptis 2003-11
Hybrid logics V. Kaliakouda C. Dimitracopoulos, C. D. Koutras 2003-07
Extensions of Hilbert¢s 10th problem O. Raptis C. Dimitracopoulos 2002-09
Digital signatures and cryptography E. Kandilakis E. Raptis 2002-09
Complexity theory and approximation algorithms T. Aslanidis F. Afrati, E. Babis 2002-09
Logical games and Blackwell games K. Kypriotakis A. Arvanitakis, Y. N. Moschovakis 2002-07
Propositional proof complexity I. Souldatos G. Koletsos 2002-07
Model-theoretic constructions in many-valued modal logic P. Eleftheriou C. Dimitracopoulos, C. D. Koutras 2002-07
On the k-densest subgraph problem M. Liazi V. Zissimopoulos 2002-07
An application for the presentation of results during modern Olympic Games D. Spontas I. Ioannidis 2002-07
On the number of points and the existence of a minimum Steiner triangulation D. Stathopoulos F. Afrati, C. Nomikos 2002-07
Algorithmic mechanism design N. Salamanos E. Koutsoupias 2002-07
Diophantine equations and Hilbert¢s 10th problem P. Sypsa C. Dimitracopoulos 2002-03
The problem of isometry in Polish spaces A. Arvanitakis Y. N. Moschovakis 2001-12
Intuitionistic analysis - Basic principles and realizability interpretations G. Vafeiadou G. Koletsos, J. R. Moschovakis 2001-12
Ultrafilters, dynamical systems and ergodic theory in Ramsey theory C. Verykios A. Tsarpalias 2001-10
DNA computers D. Ketikidis T. Dimitriou, E. Koutsoupias 2001-10
Routing in satellite networks A. Stavrou C. Dimitracopoulos, E. Kranakis 2001-07
Neighbor discovery in satellite networks D. Tsiounis E. Kranakis, Y. N. Moschovakis 2001-07
Ramsey theory and applications A. Matzavinos-Toumasis Y. N. Moschovakis 2001-07
Optimization problems in circular arc graphs G. Stathopoulou E. Zachos 2000-11
Block cryptosystems: from DES to AES C. Kapoutsis E. Zachos 2000-07
Matching problems - Algorithms and complexity C. Toga E. Zachos 2000-07
Formal verification and scheduling for real-time systems E. Kalyvianaki G. Koletsos 2000-07
Locally finitely presentable categories as categories of models of $L_\omega$ O. Kebapi C. Dimitracopoulos, P. Karazeris 2000-06
Morley's categoricity theorem A. Dimakakos C. Dimitracopoulos 2000-06
A static algorithm for frequency assignment on rings of odd length P. V. Lekeas F. Afrati 1999-02


Page updates

No recent updates.

Feeds RSS and Atom feeds

all posts RSS
news RSS
announcements RSS
website news RSS
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2019 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.