2017 |
Μια αναδρομή στην Mη-Mεταθετική Kρυπτογραφία |
Ε. Παρταλίδου |
Ε. Ράπτης |
2017-11 |
On-line Shortest Path with Switching Cost |
Ι. Τζιώτης |
Δ. Φωτάκης |
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 |
Α. Αγγελόπουλος |
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 |
Asymptotic analysis of outerplanar graphs with subgraph obstructions |
Β. Βελώνα |
J. R. Perna, Δ. Μ. Θηλυκός |
2016-06 |
Πότε είναι δυνατός ο συμψηφισμός απόψεων; |
Ι. Λιβιεράτος |
Ε. Κυρούσης |
2016-06 |
Αποσυνθέσεις σφαιρικών τομών και σύνολα κυριαρχίας σε επίπεδα γραφήματα |
Μ. Σάμαρης |
Δ. Μ. Θηλυκός |
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 |
Models of Parallel Computation and Parallel Complexity |
Γ. Λεντάρης |
D. Reisis, Ε. Ζάχος |
2010-07 |
Artificial intelligence and Inference |
M. Nikolaou |
Ε. Ράπτης |
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 |
Information Theory and the Randomized Communication Complexity of Functions |
Ν. Λεονάρδος |
Ε. Ζάχος |
2009-07 |
Algebraic and combinatorial techniques in rigidity theory |
A. Varvitsiotis |
Ι. Εμίρης |
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 |
Online Mechanism Design |
Ι. Γιαννακόπουλος |
E. Koutsoupias |
2008-09 |
Constraint Optimization - Bucket Elimination |
D. Kostopoulos |
P. Stamatopoulos |
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 |