| 2017 |
| On-line Shortest Path with Switching Cost |
I. Tziotis |
D. Fotakis |
2017-11 |
| Change averse equilibria in congestion games |
A. Mantis |
D. Fotakis |
2017-11 |
| Μια αναδρομή στην Mη-Mεταθετική Kρυπτογραφία |
E. Partalidou |
E. Raptis |
2017-11 |
| Online Facility Location with Switching Costs |
L. Zakynthinou |
D. Fotakis |
2017-11 |
| Αλγόριθμοι στη Θεωρία Ομάδων |
C. Pilichos |
E. Raptis |
2017-11 |
| Triangulation Problems on Geometric Graphs - Sampling over Convex Triangulations |
A. Angelopoulos |
A. T. Pagourtzis |
2017-11 |
| Ηλεκτρονικές Ψηφοφορίες Ανθεκτικές σε Εκβιασμούς |
P. Kalogeropoulos |
A. T. Pagourtzis |
2017-11 |
| Non-Strict Pattern Matching and Delimited Control |
P. Barbagiannis |
N. S. Papaspyrou |
2017-10 |
| Federated Consensus Protocols |
M. Galenianou |
A. Kiayias |
2017-07 |
| Proof Complexity: A Tableau Perspective |
T. Papamakarios |
S. Kosmadakis, E. Zachos |
2017-07 |
| Transfer k-means |
P. Teloni |
A. T. Pagourtzis |
2017-06 |
| Geometric proximity problems in high dimensions |
G. Avarikioti |
I. Emiris |
2017-06 |
| Polytope Membership in High Dimension |
E. Anagnostopoulos |
I. Emiris |
2017-05 |
| Learning Poisson Binomial Distributions with Differential Privacy |
A. Giannakopoulos |
D. Fotakis |
2017-02 |
| 2016 |
| High dimensional approximate r-nets |
L. Kavouras |
I. Emiris |
2016-11 |
| Παραμετρικοί Αλγόριθμοι και Μητροειδή η χρήση των συνόλων αντιπροσώπευσης |
M. Petropanagiotaki |
D. M. Thilikos |
2016-11 |
| Quantum complexity, relativized worlds, and oracle separations |
D. Myrisiotis |
E. Zachos |
2016-11 |
| Opinion Dynamics with Local Interactions |
E. Skoulakis |
D. Fotakis |
2016-10 |
| An Alternative Proof for the NP-completeness of the Grid Subgraph Problem |
D. Chatzidimitriou |
D. M. Thilikos |
2016-10 |
| Counting below #P: Classes, problems and Descriptive Complexity |
A. Chalki |
A. T. Pagourtzis |
2016-09 |
| Μη-Μεταθετική Κρυπτογραφία |
K. Karathanos |
E. Raptis |
2016-08 |
| Κρυπτογραφία Ελλειπτικών Καμπυλών και το Bitcoin |
G. Karistianos |
A. Kiayias |
2016-08 |
| Πότε είναι δυνατός ο συμψηφισμός απόψεων; |
I. Livieratos |
E. Kirousis |
2016-06 |
| Αποσυνθέσεις σφαιρικών τομών και σύνολα κυριαρχίας σε επίπεδα γραφήματα |
M. Samaris |
D. M. Thilikos |
2016-06 |
| Asymptotic analysis of outerplanar graphs with subgraph obstructions |
V. Velona |
J. R. Perna, D. M. Thilikos |
2016-06 |
| Approximating Minkowski Decomposition and 2D Subset Sum |
T. Harilaos |
I. Emiris |
2016-06 |
| Linkages in primal-dual graphs |
S. Maniatis |
D. M. Thilikos |
2016-06 |
| 2015 |
| Model-theoretic investigations on "overwhelming majority" default conditionals |
C. Rantsoudis |
C. Dimitracopoulos, C. D. Koutras |
2015-11 |
| Scientific realism and modality in abduction |
A. Apostolidis |
C. Dimitracopoulos |
2015-11 |
| Approximation Algorithms on Network Resource Allocation |
A. Koutli |
V. Zissimopoulos |
2015-07 |
| Visual Cyptography and Applications |
E. Oikonomopoulou |
A. Kiayias |
2015-07 |
| Centralized protocols and anonymous decentralized systems |
N. Lamprou |
A. T. Pagourtzis |
2015-05 |
| Smart contracts and Payments using Bitcoin and Ethereum |
A. Stouka |
A. T. Pagourtzis |
2015-05 |
| Counting complexity: compressed Hamming distance, vertex covers, and recent highlights |
I. Nemparis |
A. T. Pagourtzis |
2015-05 |
| Low-quality dimension reduction and high-dimensional Approximate Nearest Neighbor" |
I. Psaros |
I. Emiris |
2015-04 |
| Annotated Sequent Systems for Linear Temporal Logic |
I. Kokkinis |
E. Zachos |
2015-04 |
| LiquidHaskell : Liquid Types for Haskell |
N. Vazou |
N. S. Papaspyrou |
2015-04 |
| Game Theoretic Models for Power Control in Wireless Networks |
A. Nikolidaki |
D. Fotakis |
2015-03 |
| Computational Aspects of the Braess Paradox |
K. Sergis |
D. Fotakis |
2015-03 |
| Graph Partitioning Under the Spectral Lens |
K. Koiliaris |
E. Zachos |
2015-01 |
| 2014 |
| On the meaningful instances of clustering |
E. Mpakali |
D. Achlioptas |
2014-12 |
| Opinion Dynamics in the presence of Social Choice Rules |
M. Epitropou |
D. Fotakis |
2014-11 |
| Tamper Resilient Circuits |
Y. Tselekounis |
A. Kiayias |
2014-09 |
| Strategyproof Allocation of Multidimensional Tasks on Clusters |
C. Psomas |
A. T. Pagourtzis |
2014-08 |
| Variants of Stalnaker Stable Belief Sets |
C. Moyzes |
C. Dimitracopoulos, C. D. Koutras |
2014-07 |
| Secure Multi Party Computations for Electronic Voting |
P. Grontas |
A. T. Pagourtzis |
2014-05 |
| o-Minimality and its Variations |
V. Vlachos |
C. Dimitracopoulos |
2014-04 |
| Heuristic Algorithms for the Tourist Trip Design Problem |
K. Mastakas |
A. Symvonis |
2014-03 |
| Randomly-oriented RKD-trees |
D. Nikolopoulos |
I. Emiris |
2014-03 |
| Obstructions and Algorithms for Graph Searching Problems |
D. Zoros |
D. M. Thilikos |
2014-02 |
| 2013 |
| An efficient implementation of lazy functional programming languages based on the generalized intensional transformation |
P. Theofilopoulos |
N. S. Papaspyrou |
2013-12 |
| Computational Complexity of Modal Logics |
G. Kourtis |
C. D. Koutras, E. Zachos |
2013-08 |
| Generalized Second-Price Ad Auctions under Budget Constraints |
G. Kotsialou |
E. Kirousis |
2013-06 |
| Computability and Complexity of Two-Way Finite Automata |
A. Misios |
P. Rondogiannis |
2013-05 |
| Generalized Second-Price Auctions under Advertisement Settings |
G. Mpirmpas |
E. Kirousis |
2013-03 |
| Proofs of secure erasure |
N. Karvelas |
A. Kiayias |
2013-01 |
| 2012 |
| Non-interactive proof systems in pairing-based cryptography and applications in group signatures |
T. Zacharias |
A. T. Pagourtzis |
2012-09 |
| On the computability of obstruction sets for well-quasi-ordered graph classes |
I. Salem |
D. M. Thilikos |
2012-09 |
| On the relation between treewidth and toughness |
K. Gerakios |
E. Kirousis |
2012-08 |
| Implementing approximate voronoi diagrams for approximate nearest neighbor searching |
A. Konstantinakis-Karmis |
I. Emiris |
2012-08 |
| Exploiting the Structure of the Data in Approximate Nearest Neighbor Search |
A. Thanos-Filis |
I. Emiris |
2012-08 |
| Complexity Dichotomies for Approximations of Counting Problems |
A. N. Goebel-Magkakis |
E. Zachos |
2012-07 |
| Complexity of Counting CSP |
S. Despotakis |
A. T. Pagourtzis |
2012-07 |
| Encryption Mechanisms for Multiuser Environment |
A. Samari |
A. Kiayias |
2012-04 |
| 2011 |
| The Discrepancy Problem |
I. Panageas |
E. Zachos |
2011-12 |
| Variants of Stable Marriage, algorithms, complexity and structural properties |
G. Stathopoulos |
I. Mourtos, D. M. Thilikos |
2011-12 |
| Cut Elimination in Deep Inference |
P. Tsatsanis |
G. Koletsos, Y. Stavrinos |
2011-11 |
| Kernelization algorithms on planar graphs |
G. Askalidis |
D. M. Thilikos |
2011-05 |
| Artin groups for the Commuting Action Key Exchange Platforms |
V. Tsomplektzoglou |
E. Raptis |
2011-05 |
| Treewidth and Proper Treewidth |
P. Chaidos |
D. M. Thilikos |
2011-03 |
| 2010 |
| Non-commutative Cryptography |
M. Kelesidou |
E. Raptis |
2010-12 |
| Infrastructure Leasing Problems |
P. Koutris |
D. Fotakis |
2010-12 |
| Fully Homomorphic Encryption |
C. Litsas |
A. Kiayias |
2010-12 |
| Finding Cliques in Random Graphs |
A. Galanis |
E. Zachos |
2010-11 |
| Semantic Approaches to Logic Programming |
T. Tsouanas |
P. Rondogiannis |
2010-09 |
| Conjuctive and Boolean Grammars |
A. Palioudakis |
P. Rondogiannis |
2010-07 |
| Artificial intelligence and Inference |
M. Nikolaou |
E. Raptis |
2010-07 |
| Models of Parallel Computation and Parallel Complexity |
G. Lentaris |
D. Reisis, E. Zachos |
2010-07 |
| Large Cardinals and Elementary Embeddings of V |
M. Koulakis |
C. Dimitracopoulos, A. Tzouvaras |
2010-06 |
| Percolation on Small-World Networks |
E. Chatzigeorgaki |
E. Koutsoupias, E. Kranakis |
2010-06 |
| Using the color-coding method in Parametric Algorithms design |
C. Sdrakas |
D. M. Thilikos |
2010-03 |
| 2009 |
| Triangulations of point sets, high dimensional Polytopes and Applications |
V. Fisikopoulos |
I. Emiris |
2009-12 |
| Factoring Integers using Elliptic Curves |
K. Kouta |
E. Raptis |
2009-12 |
| Quantum Fractional Fourier Transform on $Z_p \times Z_p$ phase spaces |
V. W. Karageorgos |
E. Floratos, E. Raptis |
2009-10 |
| Algebraic and combinatorial techniques in rigidity theory |
A. Varvitsiotis |
I. Emiris |
2009-07 |
| Information Theory and the Randomized Communication Complexity of Functions |
N. Leonardos |
E. Zachos |
2009-07 |
| Profit Maximization in Mechanism Design |
G. Pierrakos |
E. Koutsoupias |
2009-06 |
| Tree-depth of Graphs: Characterisations and Obstructions |
A. Giannopoulou |
D. M. Thilikos |
2009-06 |
| The Complexity of the Validity Problem and Justification Logics |
A. Achileos |
E. Zachos |
2009-02 |
| Undirected Connectivity is in L |
T. Lianeas |
E. Zachos |
2009-02 |
| Parameters and Problems on Graph Layouts |
I. Rokos |
D. M. Thilikos |
2009-02 |
| 2008 |
| Cryptography with RSA |
A. Petsi |
E. Raptis |
2008-10 |
| Constraint Optimization - Bucket Elimination |
D. Kostopoulos |
P. Stamatopoulos |
2008-09 |
| Online Mechanism Design |
Y. Giannakopoulos |
E. Koutsoupias |
2008-09 |
| Whitney's Theorem |
G. Galiatsatos |
D. M. Thilikos |
2008-07 |
| Tarski's High School Algebra Problem |
R. Sklinos |
C. Dimitracopoulos |
2008-07 |
| Geometric routing in wireless ad hoc networks |
D. Doudis |
E. Kranakis, E. Zachos |
2008-06 |
| Elements of parametric complexity |
K. Papanikolaou |
D. M. Thilikos |
2008-05 |
| Bidimensionality and Graph Decompositions |
A. Koutsonas |
D. M. Thilikos |
2008-03 |
| Approximation algorithms for scheduling problems |
G. Zois |
S. Kolliopoulos |
2008-03 |
| 2007 |
| Belief revision and iterated revision |
C. Kanlis |
C. Dimitracopoulos, P. Peppas |
2007-12 |
| Succintness of logics on trees |
V. Nikas |
D. Richerby, D. M. Thilikos |
2007-12 |
| On a logical foundation of the intersection types assignment system: Intersection Logics |
A. Veneti |
G. Koletsos, Y. Stavrinos |
2007-12 |
| The problem of consistency of NF |
N. Theodorou |
C. Dimitracopoulos, A. Tzouvaras |
2007-07 |
| Modal Logic and Provability |
A. Fasouli |
C. Dimitracopoulos |
2007-07 |
| Meaning and Truth -- Donald Davidson and Philosophy of Language |
N. Katzouris |
I. Stephanou |
2007-07 |
| Real solving of algebraic systems of small dimension |
D. Diochnos |
I. Emiris |
2007-03 |
| Anti-foundation |
P. Rouvelas |
C. Dimitracopoulos, A. Tzouvaras |
2007-03 |
| Efficient algorithms for cardinal direction constraints |
V. Karadimas |
M. Koubarakis |
2007-02 |
| 2006 |
| An introduction to dynamic logic |
G. Zikos |
C. Dimitracopoulos, C. D. Koutras |
2006-12 |
| Recursive algorithms and implementations |
V. Paschalis |
Y. N. Moschovakis |
2006-12 |
| Algebraic modal logic and applications |
C. Manouvelos |
C. Dimitracopoulos |
2006-11 |
| Bertrand paradoxes and Kolmogorov's foundations of the theory of probability |
C. Anagnostopoulos |
Y. N. Moschovakis |
2006-10 |
| The problem of fairness in cost allocation |
A. Koutsioumbas |
E. Koutsoupias |
2006-09 |
| The admissible rules of intermediate logics |
N. Vaporis |
G. Koletsos, J. R. Moschovakis |
2006-09 |
| Triangulations and resultant |
C. Konaxis |
I. Emiris |
2006-07 |
| Information networks and game theory |
G. Piliouras |
E. Zachos |
2006-06 |
| Quantum physics and computers |
X. Rafios |
A. T. Pagourtzis, E. Zachos |
2006-04 |
| 2005 |
| Edge coloring in bipartite multigraphs |
M. Marinou |
A. T. Pagourtzis, E. Zachos |
2005-12 |
| A linear analysis of classical proofs |
G. Tsotakos |
G. Koletsos, Y. Stavrinos |
2005-10 |
| Continued fractions and the subtractive Euclidean algorithm |
A. Vidali |
Y. N. Moschovakis |
2005-09 |
| Formal languages and models of computation with limited resources |
K. Garoufi |
C. Dimitracopoulos, C. D. Koutras |
2005-09 |
| Algorithms for routing and wavelength assignment in all- optical networks - Implementations and experimental comparison |
G. Georgiou |
A. T. Pagourtzis, E. Zachos |
2005-04 |
| An application for database administration tutoring |
T. Valaskopoulou |
I. Karali, M. Nikolaidou |
2005-01 |
| 2004 |
| Automatic timetable construction for secondary schools using constraint logic programming |
G. Kokoretsis |
P. Stamatopoulos |
2004-12 |
| Arthur-Merlin games and interactive proof systems |
C. Tsironis |
T. Andronikos, E. Zachos |
2004-12 |
| The web as a graph |
E. Kotelida |
T. Andronikos, E. Zachos |
2004-12 |
| Edge coloring in graphs |
E. Gavatha |
T. Andronikos, E. Zachos |
2004-12 |
| MSO-evaluation and automata |
L. Kalantzi |
E. Foustoucos |
2004-11 |
| Wormhole attacks in wireless networks |
N. Kiourtis |
E. Kranakis, Y. N. Moschovakis |
2004-10 |
| Web-based systems and operation dictionary development |
N. Maragos |
I. Karali, M. Nikolaidou |
2004-09 |
| Fairness in online problems |
C. Georgiou |
E. Koutsoupias |
2004-08 |
| Congestion games and price of anarchy |
E. Peroutseas |
E. Koutsoupias |
2004-06 |
| Cost models in communication networks |
S. Kalliakouda |
L. Merakos |
2004-06 |
| 2003 |
| The MacDowell-Specker theorem |
G. Tzachristas |
C. Dimitracopoulos |
2003-12 |
| Braid groups and cryptography |
C. Tzetzias |
E. Raptis |
2003-11 |
| Hybrid logics |
V. Kaliakouda |
C. Dimitracopoulos, C. D. Koutras |
2003-07 |
| 2002 |
| Extensions of Hilbert¢s 10th problem |
O. Raptis |
C. Dimitracopoulos |
2002-09 |
| Digital signatures and cryptography |
E. Kandilakis |
E. Raptis |
2002-09 |
| Complexity theory and approximation algorithms |
T. Aslanidis |
F. Afrati, E. Babis |
2002-09 |
| Logical games and Blackwell games |
K. Kypriotakis |
A. Arvanitakis, Y. N. Moschovakis |
2002-07 |
| Propositional proof complexity |
I. Souldatos |
G. Koletsos |
2002-07 |
| Model-theoretic constructions in many-valued modal logic |
P. Eleftheriou |
C. Dimitracopoulos, C. D. Koutras |
2002-07 |
| On the k-densest subgraph problem |
M. Liazi |
V. Zissimopoulos |
2002-07 |
| An application for the presentation of results during modern Olympic Games |
D. Spontas |
I. Ioannidis |
2002-07 |
| On the number of points and the existence of a minimum Steiner triangulation |
D. Stathopoulos |
F. Afrati, C. Nomikos |
2002-07 |
| Algorithmic mechanism design |
N. Salamanos |
E. Koutsoupias |
2002-07 |
| Diophantine equations and Hilbert¢s 10th problem |
P. Sypsa |
C. Dimitracopoulos |
2002-03 |
| 2001 |
| The problem of isometry in Polish spaces |
A. Arvanitakis |
Y. N. Moschovakis |
2001-12 |
| Intuitionistic analysis - Basic principles and realizability interpretations |
G. Vafeiadou |
G. Koletsos, J. R. Moschovakis |
2001-12 |
| Ultrafilters, dynamical systems and ergodic theory in Ramsey theory |
C. Verykios |
A. Tsarpalias |
2001-10 |
| DNA computers |
D. Ketikidis |
T. Dimitriou, E. Koutsoupias |
2001-10 |
| Routing in satellite networks |
A. Stavrou |
C. Dimitracopoulos, E. Kranakis |
2001-07 |
| Neighbor discovery in satellite networks |
D. Tsiounis |
E. Kranakis, Y. N. Moschovakis |
2001-07 |
| Ramsey theory and applications |
A. Matzavinos-Toumasis |
Y. N. Moschovakis |
2001-07 |
| 2000 |
| Optimization problems in circular arc graphs |
G. Stathopoulou |
E. Zachos |
2000-11 |
| Block cryptosystems: from DES to AES |
C. Kapoutsis |
E. Zachos |
2000-07 |
| Matching problems - Algorithms and complexity |
C. Toga |
E. Zachos |
2000-07 |
| Formal verification and scheduling for real-time systems |
E. Kalyvianaki |
G. Koletsos |
2000-07 |
| Locally finitely presentable categories as categories of models of $L_\omega$ |
O. Kebapi |
C. Dimitracopoulos, P. Karazeris |
2000-06 |
| Morley's categoricity theorem |
A. Dimakakos |
C. Dimitracopoulos |
2000-06 |
| 1999 |
| A static algorithm for frequency assignment on rings of odd length |
P. V. Lekeas |
F. Afrati |
1999-02 |