mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Theses » MSc Anonymously browsing from 54.161.114.92 at 18:25:16, 29-04-2017. login

MSc theses

Title Author Supervisor(s) Date
2017
Learning Poisson Binomial Distributions with Differential Privacy Α. Γιαννακόπουλος Δ. Φωτάκης 2017-02
2016
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
2015
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
Computational Aspects of the Braess Paradox Κ. Σέργης Δ. Φωτάκης 2015-03
Game Theoretic Models for Power Control in Wireless Networks Α. Νικολιδάκη Δ. Φωτάκης 2015-03
Graph Partitioning Under the Spectral Lens Κ. Κοιλιάρης Ε. Ζάχος 2015-01
2014
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
2013
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
2012
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
2011
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
2010
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
2009
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
2008
Cryptography with RSA A. Petsi Ε. Ράπτης 2008-10
Online Mechanism Design Ι. Γιαννακόπουλος E. Koutsoupias 2008-09
Constraint Optimization - Bucket Elimination D. Kostopoulos P. Stamatopoulos 2008-09
Tarski's High School Algebra Problem Ρ. Σκλήνος Κ. Δημητρακόπουλος 2008-07
Whitney's Theorem Γ. Γαλιατσάτος Δ. Μ. Θηλυκός 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
2007
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
Belief revision and iterated revision Χ. Κανλής Κ. Δημητρακόπουλος, P. Peppas 2007-12
Meaning and Truth -- Donald Davidson and Philosophy of Language N. Katzouris Ι. Στεφάνου 2007-07
The problem of consistency of NF Ν. Θεοδώρου Κ. Δημητρακόπουλος, A. Tzouvaras 2007-07
Modal Logic and Provability Α. Φασούλη Κ. Δημητρακόπουλος 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
2006
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
2005
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
2004
Edge coloring in graphs Ε. Γαβαθά Θ. Ανδρόνικος, Ε. Ζάχος 2004-12
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
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
Cost models in communication networks Σ. Καλλιακούδα L. Merakos 2004-06
Congestion games and price of anarchy Ε. Περουτσέας E. Koutsoupias 2004-06
2003
The MacDowell-Specker theorem Γ. Τζαχρίστας Κ. Δημητρακόπουλος 2003-12
Braid groups and cryptography Χ. Τζέτζιας Ε. Ράπτης 2003-11
Hybrid logics Β. Καλιακούδα Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας 2003-07
2002
Complexity theory and approximation algorithms Τ. Ασλανίδης Φ. Αφράτη, E. Babis 2002-09
Extensions of Hilbert¢s 10th problem Ο. Ράπτης Κ. Δημητρακόπουλος 2002-09
Digital signatures and cryptography Ε. Κανδηλάκης Ε. Ράπτης 2002-09
Logical games and Blackwell games Κ. Κυπριωτάκης Α. Αρβανιτάκης, Y. N. Moschovakis 2002-07
An application for the presentation of results during modern Olympic Games Δ. Σπόντας I. Ioannidis 2002-07
On the k-densest subgraph problem Μ. Λιάζη Β. Ζησιμόπουλος 2002-07
Algorithmic mechanism design Ν. Σαλαμάνος E. Koutsoupias 2002-07
Propositional proof complexity Ι. Σουλδάτος Γ. Κολέτσος 2002-07
On the number of points and the existence of a minimum Steiner triangulation Δ. Σταθόπουλο Φ. Αφράτη, C. Nomikos 2002-07
Model-theoretic constructions in many-valued modal logic Π. Ελευθερίου Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας 2002-07
Diophantine equations and Hilbert¢s 10th problem Π. Σύψα Κ. Δημητρακόπουλος 2002-03
2001
The problem of isometry in Polish spaces Α. Αρβανιτάκης Y. N. Moschovakis 2001-12
Intuitionistic analysis - Basic principles and realizability interpretations Γ. Βαφειάδου Γ. Κολέτσος, J. R. Moschovakis 2001-12
DNA computers Δ. Κετικίδης Τ. Δημήτριου, E. Koutsoupias 2001-10
Ultrafilters, dynamical systems and ergodic theory in Ramsey theory Χ. Βερύκιος Α. Τσαρπαλιάς 2001-10
Neighbor discovery in satellite networks Δ. Τσιούνης E. Kranakis, Y. N. Moschovakis 2001-07
Ramsey theory and applications Α. Ματζαβίνος-Τουμάσης Y. N. Moschovakis 2001-07
Routing in satellite networks Ά. Σταύρου Κ. Δημητρακόπουλος, E. Kranakis 2001-07
2000
Optimization problems in circular arc graphs Γ. Σταθοπούλου Ε. Ζάχος 2000-11
Formal verification and scheduling for real-time systems Ε. Καλυβιανάκη Γ. Κολέτσος 2000-07
Block cryptosystems: from DES to AES Χ. Καπουτσής Ε. Ζάχος 2000-07
Matching problems - Algorithms and complexity Χ. Τόγκα Ε. Ζάχος 2000-07
Morley's categoricity theorem Α. Δημακάκος Κ. Δημητρακόπουλος 2000-06
Locally finitely presentable categories as categories of models of $L_\omega$ Ο. Κεμπάπη Κ. Δημητρακόπουλος, P. Karazeris 2000-06
1999
A static algorithm for frequency assignment on rings of odd length Π. Β. Λεκέας Φ. Αφράτη 1999-02

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
νέα RSS
ανακοινώσεις RSS
νέα ιστοσελίδας RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.