mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Theses

PhD theses

Title Author Supervisor(s) Date
2016
End extensions of models of arithmetic V. Paschalis C. Dimitracopoulos 2016-06
2012
Επιστημικές τροπικές λογικές δίχως επίγνωση της άγνοιας. Γνωσιακές δομές, και επεκτάσεις με εκτίμηση και πληροφόρηση. 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
2007
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
2017
Μια αναδρομή στην 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
2016
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
2015
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
2014
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
2013
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
2012
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
2011
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
2010
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
2009
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
2008
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
2007
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
2006
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
2005
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
2004
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
2003
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
2002
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
2001
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
2000
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
1999
A static algorithm for frequency assignment on rings of odd length P. V. Lekeas F. Afrati 1999-02

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.