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