| 2017 |
| On-line Shortest Path with Switching Cost |
Ι. Τζιώτης |
Δ. Φωτάκης |
2017-11 |
| Change averse equilibria in congestion games |
Α. Μάντης |
Δ. Φωτάκης |
2017-11 |
| Μια αναδρομή στην Mη-Mεταθετική Kρυπτογραφία |
Ε. Παρταλίδου |
Ε. Ράπτης |
2017-11 |
| Online Facility Location with Switching Costs |
Λ. Ζακυνθινού |
Δ. Φωτάκης |
2017-11 |
| Αλγόριθμοι στη Θεωρία Ομάδων |
Χ. Πηλιχός |
Ε. Ράπτης |
2017-11 |
| Triangulation Problems on Geometric Graphs - Sampling over Convex Triangulations |
Α. Αγγελόπουλος |
A. Παγουρτζής |
2017-11 |
| Ηλεκτρονικές Ψηφοφορίες Ανθεκτικές σε Εκβιασμούς |
Π. Καλογερόπουλος |
A. Παγουρτζής |
2017-11 |
| Non-Strict Pattern Matching and Delimited Control |
Π. Μπαρμπαγιάννης |
Ν. Παπασπύρου |
2017-10 |
| Federated Consensus Protocols |
Μ. Γαλενιανού |
Ά. Κιαγιάς |
2017-07 |
| Proof Complexity: A Tableau Perspective |
Θ. Παπαμακάριος |
Σ. Κοσμαδάκης, Ε. Ζάχος |
2017-07 |
| Transfer k-means |
Π. Τελώνη |
A. Παγουρτζής |
2017-06 |
| Geometric proximity problems in high dimensions |
Γ. Αβαρικιώτη |
Ι. Εμίρης |
2017-06 |
| Polytope Membership in High Dimension |
Ε. Αναγνωστόπουλος |
Ι. Εμίρης |
2017-05 |
| 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 |
| Πότε είναι δυνατός ο συμψηφισμός απόψεων; |
Ι. Λιβιεράτος |
Ε. Κυρούσης |
2016-06 |
| Αποσυνθέσεις σφαιρικών τομών και σύνολα κυριαρχίας σε επίπεδα γραφήματα |
Μ. Σάμαρης |
Δ. Μ. Θηλυκός |
2016-06 |
| Asymptotic analysis of outerplanar graphs with subgraph obstructions |
Β. Βελώνα |
J. R. Perna, Δ. Μ. Θηλυκός |
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 |
| Game Theoretic Models for Power Control in Wireless Networks |
Α. Νικολιδάκη |
Δ. Φωτάκης |
2015-03 |
| Computational Aspects of the Braess Paradox |
Κ. Σέργης |
Δ. Φωτάκης |
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 |
| 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 |
| 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 |
| Constraint Optimization - Bucket Elimination |
D. Kostopoulos |
P. Stamatopoulos |
2008-09 |
| Online Mechanism Design |
Ι. Γιαννακόπουλος |
E. Koutsoupias |
2008-09 |
| Whitney's Theorem |
Γ. Γαλιατσάτος |
Δ. Μ. Θηλυκός |
2008-07 |
| Tarski's High School Algebra Problem |
Ρ. Σκλήνος |
Κ. Δημητρακόπουλος |
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 |
| Belief revision and iterated revision |
Χ. Κανλής |
Κ. Δημητρακόπουλος, P. Peppas |
2007-12 |
| 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 |
| The problem of consistency of NF |
Ν. Θεοδώρου |
Κ. Δημητρακόπουλος, A. Tzouvaras |
2007-07 |
| Modal Logic and Provability |
Α. Φασούλη |
Κ. Δημητρακόπουλος |
2007-07 |
| Meaning and Truth -- Donald Davidson and Philosophy of Language |
N. Katzouris |
Ι. Στεφάνου |
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 |
| 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 |
| Edge coloring in graphs |
Ε. Γαβαθά |
Θ. Ανδρόνικος, Ε. Ζάχος |
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 |
| 2003 |
| The MacDowell-Specker theorem |
Γ. Τζαχρίστας |
Κ. Δημητρακόπουλος |
2003-12 |
| Braid groups and cryptography |
Χ. Τζέτζιας |
Ε. Ράπτης |
2003-11 |
| Hybrid logics |
Β. Καλιακούδα |
Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας |
2003-07 |
| 2002 |
| Extensions of Hilbert¢s 10th problem |
Ο. Ράπτης |
Κ. Δημητρακόπουλος |
2002-09 |
| Digital signatures and cryptography |
Ε. Κανδηλάκης |
Ε. Ράπτης |
2002-09 |
| Complexity theory and approximation algorithms |
Τ. Ασλανίδης |
Φ. Αφράτη, E. Babis |
2002-09 |
| Logical games and Blackwell games |
Κ. Κυπριωτάκης |
Α. Αρβανιτάκης, Y. N. Moschovakis |
2002-07 |
| Propositional proof complexity |
Ι. Σουλδάτος |
Γ. Κολέτσος |
2002-07 |
| Model-theoretic constructions in many-valued modal logic |
Π. Ελευθερίου |
Κ. Δημητρακόπουλος, Κ. Δ. Κούτρας |
2002-07 |
| On the k-densest subgraph problem |
Μ. Λιάζη |
Β. Ζησιμόπουλος |
2002-07 |
| An application for the presentation of results during modern Olympic Games |
Δ. Σπόντας |
I. Ioannidis |
2002-07 |
| On the number of points and the existence of a minimum Steiner triangulation |
Δ. Σταθόπουλο |
Φ. Αφράτη, C. Nomikos |
2002-07 |
| Algorithmic mechanism design |
Ν. Σαλαμάνος |
E. Koutsoupias |
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 |
| 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 |
| 2000 |
| 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 |
| 1999 |
| A static algorithm for frequency assignment on rings of odd length |
Π. Β. Λεκέας |
Φ. Αφράτη |
1999-02 |