Carlos Baquero

Orcid: 0000-0002-3933-6850

Affiliations:
  • University of Porto, Portugal


According to our database1, Carlos Baquero authored at least 99 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Pondering the Ugly Underbelly, and Whether Images Are Real.
Commun. ACM, March, 2024

2023
Consistent comparison of symptom-based methods for COVID-19 infection detection.
Int. J. Medical Informatics, September, 2023

A Year Embedded in the Crypto-NFT Space.
Commun. ACM, September, 2023

What Ever Happened to Peer-to-Peer Systems?
Commun. ACM, March, 2023

Time-limited Bloom Filter.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Probabilistic Causal Contexts for Scalable CRDTs.
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

2022
The dynamics of remembering and forgetting.
Commun. ACM, 2022

Is having AI generate text cheating?
Commun. ACM, 2022

Picking publication targets.
Commun. ACM, 2022

2021
The CoronaSurveys System for COVID-19 Incidence Data Collection and Processing.
Frontiers Comput. Sci., 2021

Estimating Active Cases of COVID-19.
CoRR, 2021

Efficient Replication via Timestamp Stability (Extended Version).
CoRR, 2021

Seeking out Camille, and being open to others.
Commun. ACM, 2021

Efficient replication via timestamp stability.
Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020
Causality is Graphically Simple.
CoRR, 2020

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

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

Age-Partitioned Bloom Filters.
CoRR, 2020

State-machine replication for planet-scale systems.
Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019
Conflict-Free Replicated Data Types CRDTs.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Scalable eventually consistent counters over unreliable networks.
Distributed Comput., 2019

Efficient Synchronization of State-Based CRDTs.
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019

Higher-Order Patterns in Replicated Data Types.
Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

2018
Delta state replicated data types.
J. Parallel Distributed Comput., 2018

Concept design and performance evaluation of UAV-based backhaul link with antenna steering.
J. Commun. Networks, 2018

Conflict-free Replicated Data Types (CRDTs).
CoRR, 2018

Global-Local View: Scalable Consistency for Concurrent Data Types.
Proceedings of the Euro-Par 2018: Parallel Processing, 2018

2017
Composition in State-based Replicated Data Types.
Bull. EATCS, 2017

Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution.
Distributed Comput., 2017

Pure Operation-Based Replicated Data Types.
CoRR, 2017

DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

Practical evaluation of the Lasp programming model at large scale: an experience report.
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.
Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

Quality-Aware Reactive Programming for the Internet of Things.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Compact Resettable Counters through Causal Stability.
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.
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

Transparent cross-system consistency.
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.
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

The Single-Writer Principle in CRDT Composition.
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.
Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, 2017

2016
Why Logical Clocks are Easy.
ACM Queue, 2016

Worlds of Events: Deduction with Partial Knowledge about Causality.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Life Beyond Distributed Transactions on the Edge.
Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, 2016

Eventually consistent register revisited.
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.
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.
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.
Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

2015
Flow updating: Fault-tolerant aggregation for dynamic networks.
J. Parallel Distributed Comput., 2015

A Survey of Distributed Data Aggregation Algorithms.
IEEE Commun. Surv. Tutorials, 2015

Exactly-Once Quantity Transfer.
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems Workshop, 2015

Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks.
Proceedings of the 9th International Conference on Next Generation Mobile Applications, 2015

Efficient State-Based CRDTs by Delta-Mutation.
Proceedings of the Networked Systems - Third International Conference, 2015

Concise Server-Wide Causality Management for Eventually Consistent Data Stores.
Proceedings of the Distributed Applications and Interoperable Systems, 2015

2014
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Efficient state-based CRDTs by decomposition.
Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

Making Operation-Based CRDTs Operation-Based.
Proceedings of the Distributed Applications and Interoperable Systems, 2014

Scalable and Accurate Causality Tracking for Eventually Consistent Stores.
Proceedings of the Distributed Applications and Interoperable Systems, 2014

2013
Genetic Algorithm with a Local Search Strategy for Discovering Communities in Complex Networks.
Int. J. Comput. Intell. Syst., 2013

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

Broadcast cancellation in search mechanisms.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Topic 8: Distributed Systems and Algorithms - (Introduction).
Proceedings of the Euro-Par 2013 Parallel Processing, 2013

Collaborative and Privacy-Aware Sensing for Observing Urban Movement Patterns.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2013

Fast distributed estimation of empirical mass functions over anonymous networks.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes.
IEEE Trans. Parallel Distributed Syst., 2012

An optimized conflict-free replicated set
CoRR, 2012

Brief Announcement: Semantics of Eventually Consistent Replicated Sets.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Spectra: Robust Estimation of Distribution Functions in Networks.
Proceedings of the Distributed Applications and Interoperable Systems, 2012

Fast distributed computation of distances in networks.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Stopping ongoing broadcasts in large MANETs.
Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, 2012

2011
Convergent and Commutative Replicated Data Types.
Bull. EATCS, 2011

Logic Training through Algorithmic Problem Solving.
Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

Conflict-Free Replicated Data Types.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Ant Colony Optimization with Markov Random Walk for Community Detection in Graphs.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2011

Privacy Preserving Gate Counting with Collaborative Bluetooth Scanners.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

2010
Dependability in Aggregation by Averaging
CoRR, 2010

Dotted Version Vectors: Logical Clocks for Optimistic Replication
CoRR, 2010

Fault-Tolerant Aggregation for Dynamic Networks.
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.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009
Search Optimizations in Structured Peer-to-Peer Systems.
Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

Probabilistic Estimation of Network Size and Diameter.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

Fast Estimation of Aggregates in Unstructured Networks.
Proceedings of the Fifth International Conference on Autonomic and Autonomous Systems, 2009

Fault-Tolerant Aggregation by Flow Updating.
Proceedings of the Distributed Applications and Interoperable Systems, 2009

Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination.
Proceedings of the Groupware: Design, Implementation, and Use, 15th International Workshop, 2009

2008
Interval Tree Clocks.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2007
Scalable Bloom Filters.
Inf. Process. Lett., 2007

Improving on Version Stamps.
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.
Proceedings of the Network-Based Information Systems, First International Conference, 2007

2004
Bounded Version Vectors.
Proceedings of the Distributed Computing, 18th International Conference, 2004

2003
Towards peer-to-peer content indexing.
ACM SIGOPS Oper. Syst. Rev., 2003

2002
Version Stamps - Decentralized Version Vectors.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2000
Panasync: dependency tracking among file copies.
Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Mobile Transaction Management in Mobisnap.
Proceedings of the Current Issues in Databases and Information Systems, 2000

1999
Using Structural Characteristics for Autonomous Operation.
ACM SIGOPS Oper. Syst. Rev., 1999

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

1998
Improving causality logging in mobile computing networks.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 1998

3rd Workshop on Mobility and Replication.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1995
Integration of Concurrency Control in a Language with Subtyping and Subclassing.
Proceedings of the USENIX Conference on Object-Oriented Technologies, 1995

1994
Concurrency Annotations in C++.
ACM SIGPLAN Notices, 1994


  Loading...