mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Defenses Anonymously browsing from 54.161.114.92 at 18:29:10, 29-04-2017. login

Defenses

Planned

No defenses planned for the near future.

Past

Date Student Thesis
2017
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 M. Nikolaou Artificial intelligence and Inference
2010-07 Γεώργιος Λεντάρης Models of Parallel Computation and Parallel Complexity
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 G. Zois Approximation algorithms for scheduling problems
2008-03 Αθανάσιος Κουτσώνας Bidimensionality and Graph Decompositions
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 Νικόλαος Θεοδώρου The problem of consistency of NF
2007-07 Άλλα Σιροκόφσκιχ Model Theory and arithmetic
2007-07 N. Katzouris Meaning and Truth -- Donald Davidson and Philosophy of Language
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 Κωνσταντίνα Γαρούφη Formal languages and models of computation with limited resources
2005-09 Αγγελίνα Βιδάλη Continued fractions and the subtractive Euclidean algorithm
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 Χρήστος Τσιρώνης Arthur-Merlin games and interactive proof systems
2004-12 E. Kotelida The web as a graph
2004-12 Ευαγγελία Γαβαθά Edge coloring in graphs
2004-12 Γεώργιος Κοκορέτσης Automatic timetable construction for secondary schools using constraint logic programming
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

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.