Font size: Αα Αα Αα hide gadgets
You are here: Theses

PhD theses

Title Author Supervisor(s) Date
End extensions of models of arithmetic Β. Πασχάλης Κ. Δημητρακόπουλος 2016-06
Επιστημικές τροπικές λογικές δίχως επίγνωση της άγνοιας. Γνωσιακές δομές, και επεκτάσεις με εκτίμηση και πληροφόρηση. Γ. Ζήκος Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας 2012-09
Formalizing Constructive Analysis: A Comparison of Minimal Systems and A Study of Uniqueness Principles Γ. Βαφειάδου J. R. Moschovakis 2012-07
Monadic Second Order Logic and Parameterized Complexity on Structures of Bounded Treewidth Λ. Καλαντζή E. Foustoucos 2012-05
Algorithmic natural language semantics---A study of Locality in the Theory of Referential Intensions Ε. Καλυβιανάκη Y. N. Moschovakis 2007-09
Model Theory and arithmetic Ά. Σιροκόφσκιχ Κ. Δημητρακόπουλος 2007-07

MSc theses

Title Author Supervisor(s) Date
Μια αναδρομή στην Mη-Mεταθετική Kρυπτογραφία Ε. Παρταλίδου Ε. Ράπτης 2017-11
On-line Shortest Path with Switching Cost Ι. Τζιώτης Δ. Φωτάκης 2017-11
Change averse equilibria in congestion games Α. Μάντης Δ. Φωτάκης 2017-11
Online Facility Location with Switching Costs Λ. Ζακυνθινού Δ. Φωτάκης 2017-11
Αλγόριθμοι στη Θεωρία Ομάδων Χ. Πηλιχός Ε. Ράπτης 2017-11
Triangulation Problems on Geometric Graphs - Sampling over Convex Triangulations Α. Αγγελόπουλος A. Παγουρτζής 2017-11
Ηλεκτρονικές Ψηφοφορίες Ανθεκτικές σε Εκβιασμούς Π. Καλογερόπουλος A. Παγουρτζής 2017-11
Non-Strict Pattern Matching and Delimited Control Π. Μπαρμπαγιάννης Ν. Παπασπύρου 2017-10
Federated Consensus Protocols Μ. Γαλενιανού Ά. Κιαγιάς 2017-07
Proof Complexity: A Tableau Perspective Θ. Παπαμακάριος Σ. Κοσμαδάκης, Ε. Ζάχος 2017-07
Transfer k-means Π. Τελώνη A. Παγουρτζής 2017-06
Geometric proximity problems in high dimensions Γ. Αβαρικιώτη Ι. Εμίρης 2017-06
Polytope Membership in High Dimension Ε. Αναγνωστόπουλος Ι. Εμίρης 2017-05
Learning Poisson Binomial Distributions with Differential Privacy Α. Γιαννακόπουλος Δ. Φωτάκης 2017-02
High dimensional approximate r-nets Λ. Κάβουρας Ι. Εμίρης 2016-11
Παραμετρικοί Αλγόριθμοι και Μητροειδή η χρήση των συνόλων αντιπροσώπευσης Μ. Πετροπαναγιωτάκη Δ. Μ. Θηλυκός 2016-11
Quantum complexity, relativized worlds, and oracle separations Δ. Μυρισιώτης Ε. Ζάχος 2016-11
Opinion Dynamics with Local Interactions Ε. Σκουλάκης Δ. Φωτάκης 2016-10
An Alternative Proof for the NP-completeness of the Grid Subgraph Problem Δ. Χατζηδημητρίου Δ. Μ. Θηλυκός 2016-10
Counting below #P: Classes, problems and Descriptive Complexity Α. Χαλκή A. Παγουρτζής 2016-09
Μη-Μεταθετική Κρυπτογραφία Κ. Καραθάνος Ε. Ράπτης 2016-08
Κρυπτογραφία Ελλειπτικών Καμπυλών και το Bitcoin Γ. Καρυστιανός Ά. Κιαγιάς 2016-08
Asymptotic analysis of outerplanar graphs with subgraph obstructions Β. Βελώνα J. R. Perna, Δ. Μ. Θηλυκός 2016-06
Πότε είναι δυνατός ο συμψηφισμός απόψεων; Ι. Λιβιεράτος Ε. Κυρούσης 2016-06
Αποσυνθέσεις σφαιρικών τομών και σύνολα κυριαρχίας σε επίπεδα γραφήματα Μ. Σάμαρης Δ. Μ. Θηλυκός 2016-06
Approximating Minkowski Decomposition and 2D Subset Sum Χ. Τζόβας Ι. Εμίρης 2016-06
Linkages in primal-dual graphs Σ. Μανιάτης Δ. Μ. Θηλυκός 2016-06
Model-theoretic investigations on "overwhelming majority" default conditionals Χ. Ραντσούδης Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας 2015-11
Scientific realism and modality in abduction Α. Αποστολίδης Κ. Δημητρακόπουλος 2015-11
Approximation Algorithms on Network Resource Allocation Ά. Κουτλή Β. Ζησιμόπουλος 2015-07
Visual Cyptography and Applications Ε. Οικονομοπούλου Ά. Κιαγιάς 2015-07
Centralized protocols and anonymous decentralized systems Ν. Λάμπρου A. Παγουρτζής 2015-05
Smart contracts and Payments using Bitcoin and Ethereum Α. Στούκα A. Παγουρτζής 2015-05
Counting complexity: compressed Hamming distance, vertex covers, and recent highlights Ι. Νέμπαρης A. Παγουρτζής 2015-05
Low-quality dimension reduction and high-dimensional Approximate Nearest Neighbor" Ι. Ψαρρός Ι. Εμίρης 2015-04
Annotated Sequent Systems for Linear Temporal Logic Ι. Κοκκίνης Ε. Ζάχος 2015-04
LiquidHaskell : Liquid Types for Haskell Ν. Βάζου Ν. Παπασπύρου 2015-04
Game Theoretic Models for Power Control in Wireless Networks Α. Νικολιδάκη Δ. Φωτάκης 2015-03
Computational Aspects of the Braess Paradox Κ. Σέργης Δ. Φωτάκης 2015-03
Graph Partitioning Under the Spectral Lens Κ. Κοιλιάρης Ε. Ζάχος 2015-01
On the meaningful instances of clustering Ε. Μπακάλη Δ. Αχλιόπτας 2014-12
Opinion Dynamics in the presence of Social Choice Rules Μ. Επιτρόπου Δ. Φωτάκης 2014-11
Tamper Resilient Circuits Ι. Τσελεκούνης Ά. Κιαγιάς 2014-09
Strategyproof Allocation of Multidimensional Tasks on Clusters Χ. Ψωμάς A. Παγουρτζής 2014-08
Variants of Stalnaker Stable Belief Sets Χ. Μωυζές Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας 2014-07
Secure Multi Party Computations for Electronic Voting Π. Γροντάς A. Παγουρτζής 2014-05
o-Minimality and its Variations Β. Βλάχος Κ. Δημητρακόπουλος 2014-04
Heuristic Algorithms for the Tourist Trip Design Problem Κ. Μάστακας Α. Συμβώνης 2014-03
Randomly-oriented RKD-trees Δ. Νικολόπουλος Ι. Εμίρης 2014-03
Obstructions and Algorithms for Graph Searching Problems Δ. Ζώρος Δ. Μ. Θηλυκός 2014-02
An efficient implementation of lazy functional programming languages based on the generalized intensional transformation Π. Θεοφιλόπουλος Ν. Παπασπύρου 2013-12
Computational Complexity of Modal Logics Γ. Κούρτης Κ. Δ. Κούτρας, Ε. Ζάχος 2013-08
Generalized Second-Price Ad Auctions under Budget Constraints Γ. Κότσιαλου Ε. Κυρούσης 2013-06
Computability and Complexity of Two-Way Finite Automata Α. Μίσιος Π. Ροντογιάννης 2013-05
Generalized Second-Price Auctions under Advertisement Settings Γ. Μπίρμπας Ε. Κυρούσης 2013-03
Proofs of secure erasure Ν. Καρβέλας Ά. Κιαγιάς 2013-01
Non-interactive proof systems in pairing-based cryptography and applications in group signatures Θ. Ζαχαρίας A. Παγουρτζής 2012-09
On the computability of obstruction sets for well-quasi-ordered graph classes Ι. Σάλεμ Δ. Μ. Θηλυκός 2012-09
On the relation between treewidth and toughness Κ. Γερακιός Ε. Κυρούσης 2012-08
Implementing approximate voronoi diagrams for approximate nearest neighbor searching Α. Κωνσταντινάκης-Κάρμης Ι. Εμίρης 2012-08
Exploiting the Structure of the Data in Approximate Nearest Neighbor Search Α. Θάνος-Φίλης Ι. Εμίρης 2012-08
Complexity Dichotomies for Approximations of Counting Problems Α. Γκόμπελ-Μαγκάκης Ε. Ζάχος 2012-07
Complexity of Counting CSP Σ. Δεσποτάκης A. Παγουρτζής 2012-07
Encryption Mechanisms for Multiuser Environment Α. Σάμαρη Ά. Κιαγιάς 2012-04
The Discrepancy Problem Ι. Παναγέας Ε. Ζάχος 2011-12
Variants of Stable Marriage, algorithms, complexity and structural properties Γ. Σταθόπουλος I. Mourtos, Δ. Μ. Θηλυκός 2011-12
Cut Elimination in Deep Inference Π. Τσατσάνης Γ. Κολέτσος, Γ. Σταυρινός 2011-11
Kernelization algorithms on planar graphs Γ. Ασκαλίδης Δ. Μ. Θηλυκός 2011-05
Artin groups for the Commuting Action Key Exchange Platforms Β. Τσομπλεκτζόγλου Ε. Ράπτης 2011-05
Treewidth and Proper Treewidth Π. Χάιδος Δ. Μ. Θηλυκός 2011-03
Non-commutative Cryptography Μ. Κελεσίδου Ε. Ράπτης 2010-12
Infrastructure Leasing Problems Π. Κουτρής Δ. Φωτάκης 2010-12
Fully Homomorphic Encryption Χ. Λίτσας Ά. Κιαγιάς 2010-12
Finding Cliques in Random Graphs Α. Γαλάνης Ε. Ζάχος 2010-11
Semantic Approaches to Logic Programming Θ. Τσουάνας Π. Ροντογιάννης 2010-09
Conjuctive and Boolean Grammars Α. Παλιουδάκης Π. Ροντογιάννης 2010-07
Models of Parallel Computation and Parallel Complexity Γ. Λεντάρης D. Reisis, Ε. Ζάχος 2010-07
Artificial intelligence and Inference M. Nikolaou Ε. Ράπτης 2010-07
Large Cardinals and Elementary Embeddings of V Μ. Κουλάκης Κ. Δημητρακόπουλος, A. Tzouvaras 2010-06
Percolation on Small-World Networks Ε. Χατζηγεωργάκη E. Koutsoupias, E. Kranakis 2010-06
Using the color-coding method in Parametric Algorithms design C. Sdrakas Δ. Μ. Θηλυκός 2010-03
Triangulations of point sets, high dimensional Polytopes and Applications Β. Φυσικόπουλος Ι. Εμίρης 2009-12
Factoring Integers using Elliptic Curves K. Kouta Ε. Ράπτης 2009-12
Quantum Fractional Fourier Transform on $Z_p \times Z_p$ phase spaces Β. Καραγεώργος E. Floratos, Ε. Ράπτης 2009-10
Information Theory and the Randomized Communication Complexity of Functions Ν. Λεονάρδος Ε. Ζάχος 2009-07
Algebraic and combinatorial techniques in rigidity theory A. Varvitsiotis Ι. Εμίρης 2009-07
Profit Maximization in Mechanism Design Γ. Πιερράκος E. Koutsoupias 2009-06
Tree-depth of Graphs: Characterisations and Obstructions Α. Γιαννοπούλου Δ. Μ. Θηλυκός 2009-06
The Complexity of the Validity Problem and Justification Logics Α. Αχχιλέως Ε. Ζάχος 2009-02
Undirected Connectivity is in L Α. Λιανέας Ε. Ζάχος 2009-02
Parameters and Problems on Graph Layouts I. Rokos Δ. Μ. Θηλυκός 2009-02
Cryptography with RSA A. Petsi Ε. Ράπτης 2008-10
Online Mechanism Design Ι. Γιαννακόπουλος E. Koutsoupias 2008-09
Constraint Optimization - Bucket Elimination D. Kostopoulos P. Stamatopoulos 2008-09
Whitney's Theorem Γ. Γαλιατσάτος Δ. Μ. Θηλυκός 2008-07
Tarski's High School Algebra Problem Ρ. Σκλήνος Κ. Δημητρακόπουλος 2008-07
Geometric routing in wireless ad hoc networks Δ. Δούδης E. Kranakis, Ε. Ζάχος 2008-06
Elements of parametric complexity K. Papanikolaou Δ. Μ. Θηλυκός 2008-05
Bidimensionality and Graph Decompositions Α. Κουτσώνας Δ. Μ. Θηλυκός 2008-03
Approximation algorithms for scheduling problems G. Zois Σ. Κολλιόπουλος 2008-03
Belief revision and iterated revision Χ. Κανλής Κ. Δημητρακόπουλος, P. Peppas 2007-12
Succintness of logics on trees V. Nikas D. Richerby, Δ. Μ. Θηλυκός 2007-12
On a logical foundation of the intersection types assignment system: Intersection Logics Α. Βενέτη Γ. Κολέτσος, Γ. Σταυρινός 2007-12
The problem of consistency of NF Ν. Θεοδώρου Κ. Δημητρακόπουλος, A. Tzouvaras 2007-07
Modal Logic and Provability Α. Φασούλη Κ. Δημητρακόπουλος 2007-07
Meaning and Truth -- Donald Davidson and Philosophy of Language N. Katzouris Ι. Στεφάνου 2007-07
Real solving of algebraic systems of small dimension Δ. Δ. Διώχνου Ι. Εμίρης 2007-03
Anti-foundation P. Rouvelas Κ. Δημητρακόπουλος, A. Tzouvaras 2007-03
Efficient algorithms for cardinal direction constraints Β. Καραδήμας Μ. Κουμπαράκης 2007-02
An introduction to dynamic logic Γ. Ζήκος Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας 2006-12
Recursive algorithms and implementations Β. Πασχάλης Y. N. Moschovakis 2006-12
Algebraic modal logic and applications C. Manouvelos Κ. Δημητρακόπουλος 2006-11
Bertrand paradoxes and Kolmogorov's foundations of the theory of probability Χ. Αναγνωστόπουλος Y. N. Moschovakis 2006-10
The problem of fairness in cost allocation Α. Κουτσιούμπας E. Koutsoupias 2006-09
The admissible rules of intermediate logics Ν. Βαπόρης Γ. Κολέτσος, J. R. Moschovakis 2006-09
Triangulations and resultant Χ. Κοναξής Ι. Εμίρης 2006-07
Information networks and game theory Γ. Πήλιουρας Ε. Ζάχος 2006-06
Quantum physics and computers Ξ. Ραφιός A. Παγουρτζής, Ε. Ζάχος 2006-04
Edge coloring in bipartite multigraphs Μ. Μαρίνου A. Παγουρτζής, Ε. Ζάχος 2005-12
A linear analysis of classical proofs Γ. Τσοτάκος Γ. Κολέτσος, Γ. Σταυρινός 2005-10
Continued fractions and the subtractive Euclidean algorithm Α. Βιδάλη Y. N. Moschovakis 2005-09
Formal languages and models of computation with limited resources Κ. Γαρούφη Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας 2005-09
Algorithms for routing and wavelength assignment in all- optical networks - Implementations and experimental comparison Γ. Γεωργίου A. Παγουρτζής, Ε. Ζάχος 2005-04
An application for database administration tutoring Θ. Βαλασκοπούλου I. Karali, M. Nikolaidou 2005-01
Automatic timetable construction for secondary schools using constraint logic programming Γ. Κοκορέτσης P. Stamatopoulos 2004-12
Arthur-Merlin games and interactive proof systems Χ. Τσιρώνης Θ. Ανδρόνικος, Ε. Ζάχος 2004-12
The web as a graph E. Kotelida Θ. Ανδρόνικος, Ε. Ζάχος 2004-12
Edge coloring in graphs Ε. Γαβαθά Θ. Ανδρόνικος, Ε. Ζάχος 2004-12
MSO-evaluation and automata Λ. Καλαντζή E. Foustoucos 2004-11
Wormhole attacks in wireless networks Ν. Κιούρτης E. Kranakis, Y. N. Moschovakis 2004-10
Web-based systems and operation dictionary development Ν. Μαραγκός I. Karali, M. Nikolaidou 2004-09
Fairness in online problems Κ. Γεωργίου E. Koutsoupias 2004-08
Congestion games and price of anarchy Ε. Περουτσέας E. Koutsoupias 2004-06
Cost models in communication networks Σ. Καλλιακούδα L. Merakos 2004-06
The MacDowell-Specker theorem Γ. Τζαχρίστας Κ. Δημητρακόπουλος 2003-12
Braid groups and cryptography Χ. Τζέτζιας Ε. Ράπτης 2003-11
Hybrid logics Β. Καλιακούδα Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας 2003-07
Extensions of Hilbert¢s 10th problem Ο. Ράπτης Κ. Δημητρακόπουλος 2002-09
Digital signatures and cryptography Ε. Κανδηλάκης Ε. Ράπτης 2002-09
Complexity theory and approximation algorithms Τ. Ασλανίδης Φ. Αφράτη, E. Babis 2002-09
Logical games and Blackwell games Κ. Κυπριωτάκης Α. Αρβανιτάκης, Y. N. Moschovakis 2002-07
Propositional proof complexity Ι. Σουλδάτος Γ. Κολέτσος 2002-07
Model-theoretic constructions in many-valued modal logic Π. Ελευθερίου Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας 2002-07
On the k-densest subgraph problem Μ. Λιάζη Β. Ζησιμόπουλος 2002-07
An application for the presentation of results during modern Olympic Games Δ. Σπόντας I. Ioannidis 2002-07
On the number of points and the existence of a minimum Steiner triangulation Δ. Σταθόπουλο Φ. Αφράτη, C. Nomikos 2002-07
Algorithmic mechanism design Ν. Σαλαμάνος E. Koutsoupias 2002-07
Diophantine equations and Hilbert¢s 10th problem Π. Σύψα Κ. Δημητρακόπουλος 2002-03
The problem of isometry in Polish spaces Α. Αρβανιτάκης Y. N. Moschovakis 2001-12
Intuitionistic analysis - Basic principles and realizability interpretations Γ. Βαφειάδου Γ. Κολέτσος, J. R. Moschovakis 2001-12
Ultrafilters, dynamical systems and ergodic theory in Ramsey theory Χ. Βερύκιος Α. Τσαρπαλιάς 2001-10
DNA computers Δ. Κετικίδης Τ. Δημήτριου, E. Koutsoupias 2001-10
Routing in satellite networks Ά. Σταύρου Κ. Δημητρακόπουλος, E. Kranakis 2001-07
Neighbor discovery in satellite networks Δ. Τσιούνης E. Kranakis, Y. N. Moschovakis 2001-07
Ramsey theory and applications Α. Ματζαβίνος-Τουμάσης Y. N. Moschovakis 2001-07
Optimization problems in circular arc graphs Γ. Σταθοπούλου Ε. Ζάχος 2000-11
Block cryptosystems: from DES to AES Χ. Καπουτσής Ε. Ζάχος 2000-07
Matching problems - Algorithms and complexity Χ. Τόγκα Ε. Ζάχος 2000-07
Formal verification and scheduling for real-time systems Ε. Καλυβιανάκη Γ. Κολέτσος 2000-07
Locally finitely presentable categories as categories of models of $L_\omega$ Ο. Κεμπάπη Κ. Δημητρακόπουλος, P. Karazeris 2000-06
Morley's categoricity theorem Α. Δημακάκος Κ. Δημητρακόπουλος 2000-06
A static algorithm for frequency assignment on rings of odd length Π. Β. Λεκέας Φ. Αφράτη 1999-02


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