Chryssis Georgiou

CoRR, 2024

AMECOS: A Modular Event-based Framework for Concurrent Object Specification.

[BibT_eX]

[DOI]

Timothé Albouy

CoRR, 2024

A fault tolerant node placement algorithm for WSNs and IoT networks.

[BibT_eX]

[DOI]

Comput. Networks, 2024

From On-chain to Macro: Assessing the Importance of Data Source Diversity in Cryptocurrency Market Forecasting.

[BibT_eX]

[DOI]

Giorgos Demosthenous

Eliada Polydorou

Proceedings of Workshops at the 50th International Conference on Very Large Data Bases, 2024

Tracing the Latencies of Ares: A DSM Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2024 Workshop on Advanced Tools, 2024

2023

Atomic Appends in Asynchronous Byzantine Distributed Ledgers.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., December, 2023

Self-stabilizing Byzantine-Tolerant Recycling.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

2022

(In)Existence of Equilibria for 2-Player, 2-Value Games with Semistrictly Quasiconcave Cost Functions.

[BibT_eX]

[DOI]

Burkhard Monien

Theory Comput. Syst., 2022

Implementing three exchange read operations for distributed atomic storage.

[BibT_eX]

[DOI]

Alexander A. Schwarzmann

J. Parallel Distributed Comput., 2022

Validated Objects: Specification, Implementation, and Applications.

[BibT_eX]

[DOI]

Antonio Russo

CoRR, 2022

A Survey on Mobility in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2022

A Decentralized Node Placement Algorithm for WSNs and IoT Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE World Forum on Internet of Things, 2022

Fragmented ARES: Dynamic Storage for Large Objects.

[BibT_eX]

[DOI]

Proceedings of the 36th International Symposium on Distributed Computing, 2022

Invited Paper: Towards Practical Atomic Distributed Shared Memory: An Experimental Evaluation.

[BibT_eX]

[DOI]

Efstathios Stavrakis

Viveck R. Cadambe

Bhuvan Urgaonkar

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2022

A Centralized Node Placement Algorithm in WSNs and IoT Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Information Infrastructure and Networking Symposium, 2022

Utilizing Carriers for the Energy Node Placement Algorithm in WSNs and IoT Networks.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Distributed Computing in Sensor Systems, 2022

2021

Principles of Blockchain Systems

[BibT_eX]

[DOI]

Maurice Herlihy

Maria Potop-Butucaru

Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, ISBN: 978-3-031-01807-7, 2021

The complexity of (E+Var)-equilibria, ESR-equilibria, and SuperE-equilibria for 2-players games with few cost values.

[BibT_eX]

[DOI]

Burkhard Monien

Theor. Comput. Sci., 2021

The CoronaSurveys System for COVID-19 Incidence Data Collection and Processing.

[BibT_eX]

[DOI]

Carlos Baquero

Paolo Casari

Amanda García-García

Davide Frey

Augusto Garcia-Agundez

Harold A. Hernández-Roig

Frontiers Comput. Sci., 2021

Estimating Active Cases of COVID-19.

[BibT_eX]

[DOI]

CoRR, 2021

Fragmented Objects: Boosting Concurrency of SharedLarge Objects.

[BibT_eX]

[DOI]

Efstathios Stavrakis

CoRR, 2021

Fragmented Objects: Boosting Concurrency of Shared Large Objects.

[BibT_eX]

[DOI]

Efstathios Stavrakis

Proceedings of the Structural Information and Communication Complexity, 2021

Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 9th International Conference, 2021

Byzantine-Tolerant Distributed Grow-Only Sets: Specification and Applications.

[BibT_eX]

[DOI]

Proceedings of the 4th International Symposium on Foundations and Applications of Blockchain 2021, 2021

Energy Efficient Mechanism for Reusing Mobile Nodes in WSN and IoT Networks.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Distributed Computing in Sensor Systems, 2021

2020

Confidential gossip.

[BibT_eX]

[DOI]

Seth Gilbert

Distributed Comput., 2020

A Self-stabilizing Control Plane for the Edge and Fog Ecosystems.

[BibT_eX]

[DOI]

Zacharias Georgiou

George Pallis

Demetris Trihinas

CoRR, 2020

(In)Existence of Equilibria for 2-Players, 2-Values Games with Concave Valuations.

[BibT_eX]

[DOI]

Burkhard Monien

CoRR, 2020

CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics.

[BibT_eX]

[DOI]

CoRR, 2020

Appending Atomically in Byzantine Distributed Ledgers.

[BibT_eX]

[DOI]

CoRR, 2020

A Self-stabilizing Control Plane for Fog Ecosystems.

[BibT_eX]

[DOI]

Zacharias Georgiou

George Pallis

Demetris Trihinas

Proceedings of the 13th IEEE/ACM International Conference on Utility and Cloud Computing, 2020

Atomic Appends in Asynchronous Byzantine Distributed Ledgers.

[BibT_eX]

[DOI]

Proceedings of the 16th European Dependable Computing Conference, 2020

2019

Self-Stabilizing Snapshot Objects for Asynchronous Fail-Prone Network Systems.

[BibT_eX]

[DOI]

Oskar Lundström

CoRR, 2019

Brief Announcement: Implementing Byzantine Tolerant Distributed Ledger Objects.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Blockchain Economics, 2019

Self-Stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems.

[BibT_eX]

[DOI]

Oskar Lundström

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

Self-stabilization Overhead: A Case Study on Coded Atomic Storage.

[BibT_eX]

[DOI]

Robert Gustafsson

Andreas Lindhé

Proceedings of the Networked Systems - 7th International Conference, 2019

Utilizing Mobile Nodes for Congestion Control in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Distributed Computing in Sensor Systems, 2019

2018

Formalizing and Implementing Distributed Ledger Objects.

[BibT_eX]

[DOI]

Kishori M. Konwar

SIGACT News, 2018

Practically-self-stabilizing virtual synchrony.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2018

Competitive analysis of fundamental scheduling algorithms on a fault-prone machine and the impact of resource augmentation.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Self-stabilization Overhead: an Experimental Case Study on Coded Atomic Storage.

[BibT_eX]

[DOI]

Robert Gustafsson

Andreas Lindhe

CoRR, 2018

Session details: Session 2D: Consensus.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Unleashing and Speeding Up Readers in Atomic Object Implementations.

[BibT_eX]

[DOI]

Alexander A. Schwarzmann

Proceedings of the Networked Systems - 6th International Conference, 2018

Self-stabilizing Byzantine Tolerant Replicated State Machine Based on Failure Detectors.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security Cryptography and Machine Learning, 2018

2017

Adaptive packet scheduling over a wireless channel under constrained jamming.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Coordinated cooperative task computing using crash-prone processors with unreliable multicast.

[BibT_eX]

[DOI]

Seda Davtyan

Roberto De Prisco

Alexander A. Schwarzmann

J. Parallel Distributed Comput., 2017

Competition: Dynamic Alternative Path Selection in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

2016

Measuring the impact of adversarial errors on packet scheduling strategies.

[BibT_eX]

[DOI]

J. Sched., 2016

Traceable Objects: Consistent Versioning for Concurrent Objects.

[BibT_eX]

[DOI]

CoRR, 2016

Multi-round Master-Worker Computing: A Repeated Game Approach.

[BibT_eX]

[DOI]

Daniel Pareja

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

Internet Computing: Using Reputation to Select Workers from a Pool.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 4th International Conference, 2016

Cover-ability: Consistent versioning in asynchronous, fail-prone, message-passing environments.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Self-stabilizing Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the Posters and Demos Session of the 17th International Middleware Conference, 2016

2015

Online parallel scheduling of non-uniform tasks: Trading failures for energy.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

On the competitiveness of scheduling dynamically injected tasks on processes prone to crashes and restarts.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2015

Practically Stabilizing Virtual Synchrony.

[BibT_eX]

[DOI]

CoRR, 2015

Self-stabilizing Virtual Synchrony.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Competitive Analysis of Task Scheduling Algorithms on a Fault-Prone Machine and the Impact of Resource Augmentation.

[BibT_eX]

[DOI]

Proceedings of the Adaptive Resource Management and Scheduling for Cloud Computing, 2015

Packet Scheduling over a Wireless Channel: AQT-Based Constrained Jamming.

[BibT_eX]

[DOI]

Chrysovalandis Agathangelou

Proceedings of the Networked Systems - Third International Conference, 2015

Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2015

Adaptive Scheduling Over a Wireless Channel Under Constrained Jamming.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Optimization and Applications, 2015

2014

Algorithmic Mechanisms for Reliable Master-Worker Internet-Based Computing.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2014

Coordinated Cooperative Work Using Undependable Processors with Unreliable Broadcast.

[BibT_eX]

[DOI]

Seda Davtyan

Roberto De Prisco

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

Asynchronous gossip.

[BibT_eX]

[DOI]

J. ACM, 2013

Algorithmic Mechanisms for Reliable Internet-based Computing under Collusion.

[BibT_eX]

[DOI]

CoRR, 2013

Applying the dynamics of evolution to achieve reliability in master-worker computing.

[BibT_eX]

[DOI]

Chrysovalandis Agathangelou

Concurr. Comput. Pract. Exp., 2013

A distributed algorithm for gathering many fat mobile robots in the plane.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Reputation-Based Mechanisms for Evolutionary Master-Worker Computing.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

Tempo-Toolkit: Tempo to Java Translation Module.

[BibT_eX]

[DOI]

Christos Ploutarchou

Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013

2012

Reliable Internet-Based Master-Worker Computing in the Presence of Malicious Workers.

[BibT_eX]

[DOI]

Luis López

Agustín Santos

Parallel Process. Lett., 2012

The Role of Twitter in YouTube Videos Diffusion.

[BibT_eX]

[DOI]

George Christodoulou

George Pallis

Proceedings of the Web Information Systems Engineering - WISE 2012, 2012

Brief announcement: achieving reliability in master-worker computing via evolutionary dynamics.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

On the Practicality of Atomic MWMR Register Implementations.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012

Achieving Reliability in Master-Worker Computing via Evolutionary Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

2011

Cooperative Task-Oriented Computing: Algorithms and Complexity

[BibT_eX]

[DOI]

Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02005-6, 2011

Meeting the deadline: on the complexity of fault-tolerant continuous gossip.

[BibT_eX]

[DOI]

Seth Gilbert

Distributed Comput., 2011

Performing Dynamically Injected Tasks on Processes Prone to Crashes and Restarts.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 25th International Symposium, 2011

Brief Announcement: Algorithmic Mechanisms for Internet-Based Computing under Unreliable Communication.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 25th International Symposium, 2011

Towards Feasible Implementations of Low-Latency Multi-writer Atomic Registers.

[BibT_eX]

[DOI]

Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, 2011

Algorithmic Mechanisms for Internet Supercomputing under Unreliable Communication.

[BibT_eX]

[DOI]

Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, 2011

2010

On the Automated Implementation of Time-Based Paxos Using the IOA Compiler.

[BibT_eX]

[DOI]

Procopis Hadjiprocopiou

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

Algorithmic mechanisms for internet-based master-worker computing with untrusted and selfish workers.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009

Developing a Consistent Domain-Oriented Distributed Object Service.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2009

Automated implementation of complex distributed algorithms specified in the IOA language.

[BibT_eX]

[DOI]

Nancy A. Lynch

Panayiotis Mavrommatis

Joshua A. Tauber

Int. J. Softw. Tools Technol. Transf., 2009

Game-theoretic aspects of distributed computing.

[BibT_eX]

[DOI]

SIGACT News, 2009

Selfish Routing in the Presence of Network Uncertainty.

[BibT_eX]

[DOI]

Theophanis Pavlides

Anna Philippou

Parallel Process. Lett., 2009

Fault-tolerant semifast implementations of atomic read/write registers.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2009

On the Efficiency of Atomic Multi-reader, Multi-writer Distributed Memory.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Evaluating a Dependable Sharable Atomic Data Service on a Planetary-Scale Network.

[BibT_eX]

[DOI]

Nikolas Hadjiprocopiou

Demetrios Zeinalipour-Yazti

Proceedings of the Algorithms and Architectures for Parallel Processing, 2009

2008

Metadata Ranking and Pruning for Failure Detection in Grids.

[BibT_eX]

[DOI]

Harris Papadakis

Marios D. Dikaiakos

Parallel Process. Lett., 2008

A Hybrid Fault-Tolerant Algorithm for MPLS Networks.

[BibT_eX]

[DOI]

Proceedings of the Wired/Wireless Internet Communications, 6th International Conference, 2008

On the robustness of (semi) fast quorum-based implementations of atomic shared memory.

[BibT_eX]

[DOI]

Demetrios Zeinalipour-Yazti

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

On the complexity of asynchronous gossip.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Identifying Failures in Grids through Monitoring and Ranking.

[BibT_eX]

[DOI]

Kyriakos Neocleous

Marios D. Dikaiakos

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets.

[BibT_eX]

[DOI]

Elaine L. Sonderegger

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.

[BibT_eX]

[DOI]

Marina Gelastou

Anna Philippou

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Designing Mechanisms for Reliable Internet-based Computing.

[BibT_eX]

[DOI]

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity.

[BibT_eX]

[DOI]

Springer, ISBN: 978-0-387-30918-7, 2008

2007

Long-lived Rambo: Trading knowledge for communication.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Failure-Sensitive Analysis of Parallel Algorithms with Controlled Memory Access Concurrency.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2007

A formal treatment of an abstract channel implementation using java sockets and TCP.

[BibT_eX]

[DOI]

Demetrios Zeinalipour-Yazti

Elaine L. Sonderegger

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Failrank: Towards a Unified Grid Failure Monitoring and Ranking System.

[BibT_eX]

[DOI]

Kyriakos Neocleous

Marios D. Dikaiakos

Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

2006

A Report from DISC 2005, the 19th International Symposium on Distributed Computing.

[BibT_eX]

Maria J. Blesa

Bull. EATCS, 2006

Eight Open Problems in Distributed Computing.

[BibT_eX]

Paul G. Spirakis

Roger Wattenhofer

Bull. EATCS, 2006

Brief Announcement: Fault-Tolerant SemiFast Implementations of Atomic Read/Write Registers.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Reliably Executing Tasks in the Presence of Untrusted Entities.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Network uncertainty in selfish routing.

[BibT_eX]

[DOI]

Theophanis Pavlides

Anna Philippou

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Efficient gossip and robust distributed computation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

The Do-All problem with Byzantine processor failures.

[BibT_eX]

[DOI]

Antonio Fernández

Theor. Comput. Sci., 2005

Work-Competitive Scheduling for Cooperative Computing with Dynamic Groups.

[BibT_eX]

[DOI]

SIAM J. Comput., 2005

Reliably Executing Tasks in the Presence of Malicious Processors.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 19th International Conference, 2005

2004

Analysis of memory access concurrency in robust parallel algorithms.

[BibT_eX]

[DOI]

Stud. Inform. Univ., 2004

The complexity of synchronous iterative Do-All with crashes.

[BibT_eX]

[DOI]

Distributed Comput., 2004

2003

Cooperative computing with fragmentable and mergeable groups.

[BibT_eX]

[DOI]

J. Discrete Algorithms, 2003

The Do-All Problem with Byzantine Processor Failures.

[BibT_eX]

Antonio Fernández

Proceedings of the SIROCCO 10: Proceedings of the 10th Internaltional Colloquium on Structural Information Complexity, 2003

Distributed Cooperation and Adversity: Complexity Trade-Offs.

[BibT_eX]

[DOI]

Proceedings of the PCK50, 2003

2002

Optimally work-competitive scheduling for cooperative computing with merging groups.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

Failure sensitive analysis for parallel algorithm with controlled memory access concurrency.

[BibT_eX]

Proceedings of the Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, 2002

2000

The Complexity of Distributed Cooperation in the Presence of Failures.

[BibT_eX]