Font size: Αα Αα Αα hide gadgets
You are here: Theses Anonymously browsing from at 18:24:20, 29-04-2017. login

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
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
Smart contracts and Payments using Bitcoin and Ethereum Α. Στούκα A. Παγουρτζής 2015-05
Centralized protocols and anonymous decentralized systems Ν. Λάμπρου 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
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 of Counting CSP Σ. Δεσποτάκης A. Παγουρτζής 2012-07
Complexity Dichotomies for Approximations of Counting Problems Α. Γκόμπελ-Μαγκάκης Ε. Ζάχος 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
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
Belief revision and iterated revision Χ. Κανλής Κ. Δημητρακόπουλος, P. Peppas 2007-12
On a logical foundation of the intersection types assignment system: Intersection Logics Α. Βενέτη Γ. Κολέτσος, Γ. Σταυρινός 2007-12
Succintness of logics on trees V. Nikas D. Richerby, Δ. Μ. Θηλυκός 2007-12
The problem of consistency of NF Ν. Θεοδώρου Κ. Δημητρακόπουλος, A. Tzouvaras 2007-07
Meaning and Truth -- Donald Davidson and Philosophy of Language N. Katzouris Ι. Στεφάνου 2007-07
Modal Logic and Provability Α. Φασούλη Κ. Δημητρακόπουλος 2007-07
Anti-foundation P. Rouvelas Κ. Δημητρακόπουλος, A. Tzouvaras 2007-03
Real solving of algebraic systems of small dimension Δ. Δ. Διώχνου Ι. Εμίρης 2007-03
Efficient algorithms for cardinal direction constraints Β. Καραδήμας Μ. Κουμπαράκης 2007-02
Recursive algorithms and implementations Β. Πασχάλης Y. N. Moschovakis 2006-12
An introduction to dynamic logic Γ. Ζήκος Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας 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
Arthur-Merlin games and interactive proof systems Χ. Τσιρώνης Θ. Ανδρόνικος, Ε. Ζάχος 2004-12
Edge coloring in graphs Ε. Γαβαθά Θ. Ανδρόνικος, Ε. Ζάχος 2004-12
Automatic timetable construction for secondary schools using constraint logic programming Γ. Κοκορέτσης P. Stamatopoulos 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
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
Digital signatures and cryptography Ε. Κανδηλάκης Ε. Ράπτης 2002-09
Complexity theory and approximation algorithms Τ. Ασλανίδης Φ. Αφράτη, E. Babis 2002-09
Extensions of Hilbert¢s 10th problem Ο. Ράπτης Κ. Δημητρακόπουλος 2002-09
Propositional proof complexity Ι. Σουλδάτος Γ. Κολέτσος 2002-07
On the k-densest subgraph problem Μ. Λιάζη Β. Ζησιμόπουλος 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
An application for the presentation of results during modern Olympic Games Δ. Σπόντας I. Ioannidis 2002-07
Algorithmic mechanism design Ν. Σαλαμάνος E. Koutsoupias 2002-07
Logical games and Blackwell games Κ. Κυπριωτάκης Α. Αρβανιτάκης, Y. N. Moschovakis 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 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.