Paulo Sérgio Almeida

CoRR, 2020

2019

Scalable eventually consistent counters over unreliable networks.

[BibT_eX]

[DOI]

Distributed Comput., 2019

Efficient Synchronization of State-Based CRDTs.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Conference on Data Engineering, 2019

Higher-Order Patterns in Replicated Data Types.

[BibT_eX]

[DOI]

Adriaan Leijnse

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

2018

Delta state replicated data types.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2018

2017

Composition in State-based Replicated Data Types.

[BibT_eX]

[DOI]

Bull. EATCS, 2017

Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution.

[BibT_eX]

[DOI]

Distributed Comput., 2017

Pure Operation-Based Replicated Data Types.

[BibT_eX]

[DOI]

Ricardo Jorge Tome Goncalves

CoRR, 2017

DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Aggregation protocols in light of reliable communication.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

Compact Resettable Counters through Causal Stability.

[BibT_eX]

[DOI]

Georges Younes

Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

Borrowing an Identity for a Distributed Counter: Work in progress report.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

The Single-Writer Principle in CRDT Composition.

[BibT_eX]

[DOI]

Vitor Enes

Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, 2017

2016

Life Beyond Distributed Transactions on the Edge.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, 2016

The problem with embedded CRDT counters and a solution.

[BibT_eX]

[DOI]

Carl Lerche

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Integration Challenges of Pure Operation-based CRDTs in Redis.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

2015

Flow updating: Fault-tolerant aggregation for dynamic networks.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2015

A Survey of Distributed Data Aggregation Algorithms.

[BibT_eX]

[DOI]

IEEE Commun. Surv. Tutorials, 2015

Exactly-Once Quantity Transfer.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems Workshop, 2015

Efficient State-Based CRDTs by Delta-Mutation.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - Third International Conference, 2015

Concise Server-Wide Causality Management for Eventually Consistent Data Stores.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2015

2014

Efficient state-based CRDTs by decomposition.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

Making Operation-Based CRDTs Operation-Based.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2014

Scalable and Accurate Causality Tracking for Eventually Consistent Stores.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2014

2012

Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2012

Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors.

[BibT_eX]

[DOI]

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

Spectra: Robust Estimation of Distribution Functions in Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2012

Fast distributed computation of distances in networks.

[BibT_eX]

[DOI]

Alcino Cunha

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2010

Dependability in Aggregation by Averaging

[BibT_eX]

[DOI]

CoRR, 2010

Dotted Version Vectors: Logical Clocks for Optimistic Replication

[BibT_eX]

[DOI]

CoRR, 2010

Fault-Tolerant Aggregation for Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

2009

Probabilistic Estimation of Network Size and Diameter.

[BibT_eX]

[DOI]

Jorge C. S. Cardoso

Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Fast Estimation of Aggregates in Unstructured Networks.

[BibT_eX]

[DOI]

Raquel Menezes

Proceedings of the Fifth International Conference on Autonomic and Autonomous Systems, 2009

Fault-Tolerant Aggregation by Flow Updating.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2009

2008

Interval Tree Clocks.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2007

Scalable Bloom Filters.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2007

Improving on Version Stamps.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

2004

Bounded Version Vectors.

[BibT_eX]

[DOI]

José Bacelar Almeida

Proceedings of the Distributed Computing, 18th International Conference, 2004

2002

Version Stamps - Decentralized Version Vectors.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2000

Panasync: dependency tracking among file copies.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

1999

Type-checking Balloon Types.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Aliasing in Object Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1997

Balloon Types: Controlling Sharing of State in Data Types.

[BibT_eX]

[DOI]