Font size: Αα Αα Αα hide gadgets
You are here: Theses » MSc Anonymously browsing from at 15:19:01, 25-04-2019. login

MSc theses

Title Author Supervisor(s) Date
On-line Shortest Path with Switching Cost Ι. Τζιώτης Δ. Φωτάκης 2017-11
Change averse equilibria in congestion games Α. Μάντης Δ. Φωτάκης 2017-11
Μια αναδρομή στην Mη-Mεταθετική Kρυπτογραφία Ε. Παρταλίδου Ε. Ράπτης 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
Πότε είναι δυνατός ο συμψηφισμός απόψεων; Ι. Λιβιεράτος Ε. Κυρούσης 2016-06
Αποσυνθέσεις σφαιρικών τομών και σύνολα κυριαρχίας σε επίπεδα γραφήματα Μ. Σάμαρης Δ. Μ. Θηλυκός 2016-06
Asymptotic analysis of outerplanar graphs with subgraph obstructions Β. Βελώνα J. R. Perna, Δ. Μ. Θηλυκός 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
Artificial intelligence and Inference M. Nikolaou Ε. Ράπτης 2010-07
Models of Parallel Computation and Parallel Complexity Γ. Λεντάρης D. Reisis, Ε. Ζάχος 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
Algebraic and combinatorial techniques in rigidity theory A. Varvitsiotis Ι. Εμίρης 2009-07
Information Theory and the Randomized Communication Complexity of Functions Ν. Λεονάρδος Ε. Ζάχος 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
Constraint Optimization - Bucket Elimination D. Kostopoulos P. Stamatopoulos 2008-09
Online Mechanism Design Ι. Γιαννακόπουλος E. Koutsoupias 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


Page updates

No recent updates.

Feeds RSS and Atom feeds

all posts RSS
νέα RSS
ανακοινώσεις RSS
νέα ιστοσελίδας 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.