Carlos Baquero

Commun. ACM, March, 2024

2023

Consistent comparison of symptom-based methods for COVID-19 infection detection.

[BibT_eX]

[DOI]

Jaya Prakash Champati

Davide Frey

Rosa Elvira Lillo

Antonio Fernández Anta

Int. J. Medical Informatics, September, 2023

A Year Embedded in the Crypto-NFT Space.

[BibT_eX]

[DOI]

Commun. ACM, September, 2023

What Ever Happened to Peer-to-Peer Systems?

[BibT_eX]

[DOI]

Commun. ACM, March, 2023

Time-limited Bloom Filter.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Probabilistic Causal Contexts for Scalable CRDTs.

[BibT_eX]

[DOI]

Pedro Henrique Fernandes

Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

2022

The dynamics of remembering and forgetting.

[BibT_eX]

[DOI]

Rosa Cabecinhas

Commun. ACM, 2022

Is having AI generate text cheating?

[BibT_eX]

[DOI]

Commun. ACM, 2022

Picking publication targets.

[BibT_eX]

[DOI]

Commun. ACM, 2022

2021

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

[BibT_eX]

[DOI]

Paolo Casari

Antonio Fernández Anta

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

Efficient Replication via Timestamp Stability (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2021

Seeking out Camille, and being open to others.

[BibT_eX]

[DOI]

Robin K. Hill

Commun. ACM, 2021

Efficient replication via timestamp stability.

[BibT_eX]

[DOI]

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020

Causality is Graphically Simple.

[BibT_eX]

[DOI]

CoRR, 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

State-Machine Replication for Planet-Scale Systems (Extended Version).

[BibT_eX]

[DOI]

Vitor Enes

Tuanir França Rezende

Alexey Gotsman

Matthieu Perrin

Pierre Sutra

CoRR, 2020

Age-Partitioned Bloom Filters.

[BibT_eX]

[DOI]

Ariel Shtul

CoRR, 2020

State-machine replication for planet-scale systems.

[BibT_eX]

[DOI]

Vitor Enes

Tuanir França Rezende

Alexey Gotsman

Matthieu Perrin

Pierre Sutra

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

Conflict-Free Replicated Data Types CRDTs.

[BibT_eX]

[DOI]

Marc Shapiro

Proceedings of the Encyclopedia of Big Data Technologies., 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

Concept design and performance evaluation of UAV-based backhaul link with antenna steering.

[BibT_eX]

[DOI]

J. Commun. Networks, 2018

Conflict-free Replicated Data Types (CRDTs).

[BibT_eX]

[DOI]

Marc Shapiro

CoRR, 2018

Global-Local View: Scalable Consistency for Concurrent Data Types.

[BibT_eX]

[DOI]

Deepthi Devaki Akkoorath

José Brandão

Annette Bieniusa

Proceedings of the Euro-Par 2018: Parallel Processing, 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]

Christopher S. Meiklejohn

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

Practical evaluation of the Lasp programming model at large scale: an experience report.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

Aggregation protocols in light of reliable communication.

[BibT_eX]

[DOI]

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

Quality-Aware Reactive Programming for the Internet of Things.

[BibT_eX]

[DOI]

José Proença

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 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

As Secure as Possible Eventual Consistency: Work in Progress.

[BibT_eX]

[DOI]

Houssam Yactine

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

Transparent cross-system consistency.

[BibT_eX]

[DOI]

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

Multi-view data types for scalable concurrency in the multi-core era.

[BibT_eX]

[DOI]

Deepthi Devaki Akkoorath

José Brandão

Annette Bieniusa

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

2016

Why Logical Clocks are Easy.

[BibT_eX]

[DOI]

ACM Queue, 2016

Worlds of Events: Deduction with Partial Knowledge about Causality.

[BibT_eX]

[DOI]

Seyed H. Haeri (Hossein)

Peter Van Roy

Christopher Meiklejohn

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Life Beyond Distributed Transactions on the Edge.

[BibT_eX]

[DOI]

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

Eventually consistent register revisited.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 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

Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks.

[BibT_eX]

[DOI]

Rui Lima

Hugo Miranda

Proceedings of the 9th International Conference on Next Generation Mobile Applications, 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

SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 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

2013

Genetic Algorithm with a Local Search Strategy for Discovering Communities in Complex Networks.

[BibT_eX]

[DOI]

Int. J. Comput. Intell. Syst., 2013

Markov random walk under constraint for discovering overlapping communities in complex networks

[BibT_eX]

[DOI]

CoRR, 2013

Broadcast cancellation in search mechanisms.

[BibT_eX]

[DOI]

Rui Lima

Hugo Miranda

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Topic 8: Distributed Systems and Algorithms - (Introduction).

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

Collaborative and Privacy-Aware Sensing for Observing Urban Movement Patterns.

[BibT_eX]

[DOI]

Nelson Gonçalves

Rui José

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2013

Fast distributed estimation of empirical mass functions over anonymous networks.

[BibT_eX]

[DOI]

Håkan Terelius

Damiano Varagnolo

Karl Henrik Johansson

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

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

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2012

An optimized conflict-free replicated set

[BibT_eX]

[DOI]

CoRR, 2012

Brief Announcement: Semantics of Eventually Consistent Replicated Sets.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 26th International Symposium, 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

Stopping ongoing broadcasts in large MANETs.

[BibT_eX]

[DOI]

Rui Lima

Hugo Miranda

Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, 2012

2011

Convergent and Commutative Replicated Data Types.

[BibT_eX]

[DOI]

Bull. EATCS, 2011

Logic Training through Algorithmic Problem Solving.

[BibT_eX]

[DOI]

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Conflict-Free Replicated Data Types.

[BibT_eX]

[DOI]

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

Ant Colony Optimization with Markov Random Walk for Community Detection in Graphs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2011

Privacy Preserving Gate Counting with Collaborative Bluetooth Scanners.

[BibT_eX]

[DOI]

Nelson Gonçalves

Rui José

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

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

Genetic Algorithm with Local Search for Community Mining in Complex Networks.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009

Search Optimizations in Structured Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Nuno Lopes

Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 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

Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination.

[BibT_eX]

[DOI]

Pedro Sousa

Proceedings of the Groupware: Design, Implementation, and Use, 15th International Workshop, 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

Implementing Range Queries with a Decentralized Balanced Tree over Distributed Hash Tables.

[BibT_eX]

[DOI]

Nuno Lopes

Proceedings of the Network-Based Information Systems, First International Conference, 2007

2004

Bounded Version Vectors.

[BibT_eX]

[DOI]

José Bacelar Almeida

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

2003

Towards peer-to-peer content indexing.

[BibT_eX]

[DOI]

Nuno Lopes

ACM SIGOPS Oper. Syst. Rev., 2003

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

Mobile Transaction Management in Mobisnap.

[BibT_eX]

[DOI]

Henrique João L. Domingos

José Legatheaux Martins

Rui Oliveira

José Orlando Pereira

Sérgio Duarte

Proceedings of the Current Issues in Databases and Information Systems, 2000

1999

Using Structural Characteristics for Autonomous Operation.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1999

Poster Session.

[BibT_eX]

[DOI]

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

1998

Improving causality logging in mobile computing networks.

[BibT_eX]

[DOI]

ACM SIGMOBILE Mob. Comput. Commun. Rev., 1998

3rd Workshop on Mobility and Replication.

[BibT_eX]

[DOI]

Birger Andersen

Niels Christian Juul

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1995

Integration of Concurrency Control in a Language with Subtyping and Subclassing.

[BibT_eX]

[DOI]

Rui Oliveira

Proceedings of the USENIX Conference on Object-Oriented Technologies, 1995

1994

Concurrency Annotations in C++.

[BibT_eX]

[DOI]