mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Defenses

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

Reporter

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