Concurrency Annotations in C++. - Carlos Baquero; Francisco Moura (ACM SIGPLAN Notices, 1994)

Integration of Concurrency Control in a Language with Subtyping and Subclassing. - Carlos Baquero; Rui Oliveira 001; Francisco Moura (COOTS, 1995)

3rd Workshop on Mobility and Replication. - Birger Andersen; Carlos Baquero; Niels Christian Juul (ECOOP Workshops, 1998)

Improving causality logging in mobile computing networks. - Carlos Baquero; Francisco Moura (ACM SIGMOBILE Mob. Comput. Commun. Rev., 1998)

Poster Session. - Carlos Baquero (ECOOP Workshops, 1999)

Using Structural Characteristics for Autonomous Operation. - Carlos Baquero; Francisco Moura (ACM SIGOPS Oper. Syst. Rev., 1999)

Mobile Transaction Management in Mobisnap. - Nuno M. Preguiça; Carlos Baquero; Francisco Moura; José Legatheaux Martins; Rui Oliveira 001; Henrique João L. Domingos; José Orlando Pereira; Sérgio Duarte (ADBIS-DASFAA, 2000)

Panasync: dependency tracking among file copies. - Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (ACM SIGOPS European Workshop, 2000)

Version Stamps - Decentralized Version Vectors. - Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (ICDCS, 2002)

Towards peer-to-peer content indexing. - Carlos Baquero; Nuno Lopes 001 (ACM SIGOPS Oper. Syst. Rev., 2003)

Bounded Version Vectors. - José Bacelar Almeida; Paulo Sérgio Almeida; Carlos Baquero (DISC, 2004)

Implementing Range Queries with a Decentralized Balanced Tree over Distributed Hash Tables. - Nuno Lopes 001; Carlos Baquero (NBiS, 2007)

Improving on Version Stamps. - Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (OTM Workshops (2), 2007)

Scalable Bloom Filters. - Paulo Sérgio Almeida; Carlos Baquero; Nuno M. Preguiça; David Hutchison 001 (Inf. Process. Lett., 2007)

Interval Tree Clocks. - Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (OPODIS, 2008)

Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination. - Pedro Sousa; Nuno M. Preguiça; Carlos Baquero (CRIWG, 2009)

Fault-Tolerant Aggregation by Flow Updating. - Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (DAIS, 2009)

Fast Estimation of Aggregates in Unstructured Networks. - Carlos Baquero; Paulo Sérgio Almeida; Raquel Menezes (ICAS, 2009)

Probabilistic Estimation of Network Size and Diameter. - Jorge C. S. Cardoso; Carlos Baquero; Paulo Sérgio Almeida (LADC, 2009)

Search Optimizations in Structured Peer-to-Peer Systems. - Nuno Lopes 001; Carlos Baquero (WETICE, 2009)

Genetic Algorithm with Local Search for Community Mining in Complex Networks. - Di Jin 001; Dongxiao He; Dayou Liu; Carlos Baquero (ICTAI (1), 2010)

Fault-Tolerant Aggregation for Dynamic Networks. - Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (SRDS, 2010)

Dotted Version Vectors: Logical Clocks for Optimistic Replication - Nuno M. Preguiça; Carlos Baquero; Paulo Sérgio Almeida; Victor Fonte; Ricardo Gonçalves 002 (CoRR, 2010)

Dependability in Aggregation by Averaging - Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (CoRR, 2010)

Privacy Preserving Gate Counting with Collaborative Bluetooth Scanners. - Nelson Gonçalves; Rui José; Carlos Baquero (OTM Workshops, 2011)

Ant Colony Optimization with Markov Random Walk for Community Detection in Graphs. - Di Jin 001; Dayou Liu; Bo Yang 002; Carlos Baquero; Dongxiao He (PAKDD (2), 2011)

Conflict-Free Replicated Data Types. - Marc Shapiro 001; Nuno M. Preguiça; Carlos Baquero; Marek Zawirski (SSS, 2011)

Logic Training through Algorithmic Problem Solving. - João F. Ferreira 001; Alexandra Mendes; Alcino Cunha; Carlos Baquero; Paulo F. Silva 001; Luís Soares Barbosa; José Nuno Oliveira (TICTTL, 2011)

Convergent and Commutative Replicated Data Types. - Marc Shapiro 001; Nuno M. Preguiça; Carlos Baquero; Marek Zawirski (Bull. EATCS, 2011)

Stopping ongoing broadcasts in large MANETs. - Rui Lima; Carlos Baquero; Hugo Miranda (ARMOR, 2012)

Fast distributed computation of distances in networks. - Paulo Sérgio Almeida; Carlos Baquero; Alcino Cunha (CDC, 2012)

Spectra: Robust Estimation of Distribution Functions in Networks. - Miguel Borges; Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (DAIS, 2012)

Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. - Nuno M. Preguiça; Carlos Baquero; Paulo Sérgio Almeida; Victor Fonte; Ricardo Gonçalves 002 (PODC, 2012)

Brief Announcement: Semantics of Eventually Consistent Replicated Sets. - Annette Bieniusa; Marek Zawirski; Nuno M. Preguiça; Marc Shapiro 001; Carlos Baquero; Valter Balegas; Sérgio Duarte (DISC, 2012)

An optimized conflict-free replicated set - Annette Bieniusa; Marek Zawirski; Nuno M. Preguiça; Marc Shapiro 001; Carlos Baquero; Valter Balegas; Sérgio Duarte (CoRR, 2012)

Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes. - Carlos Baquero; Paulo Sérgio Almeida; Raquel Menezes; Paulo Jesus (IEEE Trans. Parallel Distributed Syst., 2012)

Fast distributed estimation of empirical mass functions over anonymous networks. - Håkan Terelius; Damiano Varagnolo; Carlos Baquero; Karl Henrik Johansson (CDC, 2013)

Collaborative and Privacy-Aware Sensing for Observing Urban Movement Patterns. - Nelson Gonçalves; Rui José; Carlos Baquero (DPM/SETOP, 2013)

Topic 8: Distributed Systems and Algorithms - (Introduction). - Achour Mostéfaoui; Andreas Polze; Carlos Baquero; Paul D. Ezhilchelvan; Lars Lundberg (Euro-Par, 2013)

Broadcast cancellation in search mechanisms. - Rui Lima; Carlos Baquero; Hugo Miranda (SAC, 2013)

Markov random walk under constraint for discovering overlapping communities in complex networks - Di Jin 001; Bo Yang 002; Carlos Baquero; Dayou Liu; Dongxiao He; Jie Liu 014 (CoRR, 2013)

Genetic Algorithm with a Local Search Strategy for Discovering Communities in Complex Networks. - Dayou Liu; Di Jin 001; Carlos Baquero; Dongxiao He; Bo Yang 002; Qiangyuan Yu (Int. J. Comput. Intell. Syst., 2013)

Scalable and Accurate Causality Tracking for Eventually Consistent Stores. - Paulo Sérgio Almeida; Carlos Baquero; Ricardo Gonçalves 002; Nuno M. Preguiça; Victor Fonte (DAIS, 2014)

Making Operation-Based CRDTs Operation-Based. - Carlos Baquero; Paulo Sérgio Almeida; Ali Shoker (DAIS, 2014)

Efficient state-based CRDTs by decomposition. - Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero (PaPEC@EuroSys, 2014)

SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine. - Nuno M. Preguiça; Marek Zawirski; Annette Bieniusa; Sérgio Duarte; Valter Balegas; Carlos Baquero; Marc Shapiro 001 (SRDS Workshops, 2014)

Concise Server-Wide Causality Management for Eventually Consistent Data Stores. - Ricardo Gonçalves 002; Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (DAIS, 2015)

Efficient State-Based CRDTs by Delta-Mutation. - Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero (NETYS, 2015)

Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks. - Rui Lima; Carlos Baquero; Hugo Miranda (NGMAST, 2015)

Exactly-Once Quantity Transfer. - Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero (SRDS Workshop, 2015)

A Survey of Distributed Data Aggregation Algorithms. - Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (IEEE Commun. Surv. Tutorials, 2015)

Flow updating: Fault-tolerant aggregation for dynamic networks. - Paulo Jesus; Carlos Baquero; Paulo Sérgio Almeida (J. Parallel Distributed Comput., 2015)

Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report. - Vitor Enes; Carlos Baquero; Paulo Sérgio Almeida; Ali Shoker (PMLDC@ECOOP, 2016)

Integration Challenges of Pure Operation-based CRDTs in Redis. - Georges Younes 002; Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero (PMLDC@ECOOP, 2016)

The problem with embedded CRDT counters and a solution. - Carlos Baquero; Paulo Sérgio Almeida; Carl Lerche (PaPoC@EuroSys, 2016)

Eventually consistent register revisited. - Marek Zawirski; Carlos Baquero; Annette Bieniusa; Nuno M. Preguiça; Marc Shapiro 001 (PaPoC@EuroSys, 2016)

Life Beyond Distributed Transactions on the Edge. - Ali Shoker; Ziad Kassam; Paulo Sérgio Almeida; Carlos Baquero (MECC@Middleware, 2016)

Worlds of Events: Deduction with Partial Knowledge about Causality. - Seyed H. Haeri (Hossein); Peter Van Roy; Carlos Baquero; Christopher Meiklejohn (ICE, 2016)

Why Logical Clocks are Easy. - Carlos Baquero; Nuno M. Preguiça (ACM Queue, 2016)

Multi-view data types for scalable concurrency in the multi-core era. - Deepthi Devaki Akkoorath; José Brandão 001; Annette Bieniusa; Carlos Baquero (PMLDC@ECOOP, 2017)

The Single-Writer Principle in CRDT Composition. - Vitor Enes; Paulo Sérgio Almeida; Carlos Baquero (PMLDC@ECOOP, 2017)

Borrowing an Identity for a Distributed Counter: Work in progress report. - Vitor Enes; Carlos Baquero; Paulo Sérgio Almeida; João Leitão 001 (PaPoC@EuroSys, 2017)

Transparent cross-system consistency. - João Loff; Daniel Porto 002; Carlos Baquero; João Garcia 001; Nuno M. Preguiça; Rodrigo Rodrigues 001 (PaPoC@EuroSys, 2017)

As Secure as Possible Eventual Consistency: Work in Progress. - Ali Shoker; Houssam Yactine; Carlos Baquero (PaPoC@EuroSys, 2017)

Compact Resettable Counters through Causal Stability. - Georges Younes 002; Paulo Sérgio Almeida; Carlos Baquero (PaPoC@EuroSys, 2017)

Quality-Aware Reactive Programming for the Internet of Things. - José Proença; Carlos Baquero (FSEN, 2017)

Aggregation protocols in light of reliable communication. - Ziad Kassam; Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero (NCA, 2017)

Practical evaluation of the Lasp programming model at large scale: an experience report. - Christopher S. Meiklejohn; Vitor Enes; Junghun Yoo; Carlos Baquero; Peter Van Roy; Annette Bieniusa (PPDP, 2017)

DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones. - Ricardo Jorge Tome Goncalves; Paulo Sérgio Almeida; Carlos Baquero; Victor Fonte (SRDS, 2017)

Pure Operation-Based Replicated Data Types. - Carlos Baquero; Paulo Sérgio Almeida; Ali Shoker (CoRR, 2017)

Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution. - Paulo Sérgio Almeida; Carlos Baquero; Martin Farach-Colton; Paulo Jesus; Miguel A. Mosteiro (Distributed Comput., 2017)

Composition in State-based Replicated Data Types. - Carlos Baquero; Paulo Sérgio Almeida; Alcino Cunha; Carla Ferreira 001 (Bull. EATCS, 2017)

Global-Local View: Scalable Consistency for Concurrent Data Types. - Deepthi Devaki Akkoorath; José Brandão 001; Annette Bieniusa; Carlos Baquero (Euro-Par, 2018)

Conflict-free Replicated Data Types (CRDTs). - Nuno M. Preguiça; Carlos Baquero; Marc Shapiro 001 (CoRR, 2018)

Concept design and performance evaluation of UAV-based backhaul link with antenna steering. - Jirí Pokorný; Aleksandr Ometov; Pablo Pascual; Carlos Baquero; Pavel Masek; Alexander Pyattaev; Ainoa Garcia; Carlos Castillo; Sergey Andreev 001; Jiri Hosek; Yevgeni Koucheryavy (J. Commun. Networks, 2018)

Delta state replicated data types. - Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero (J. Parallel Distributed Comput., 2018)

Higher-Order Patterns in Replicated Data Types. - Adriaan Leijnse; Paulo Sérgio Almeida; Carlos Baquero (PaPoC@EuroSys, 2019)

Efficient Synchronization of State-Based CRDTs. - Vitor Enes; Paulo Sérgio Almeida; Carlos Baquero; João Leitão 001 (ICDE, 2019)

Scalable eventually consistent counters over unreliable networks. - Paulo Sérgio Almeida; Carlos Baquero (Distributed Comput., 2019)

Conflict-Free Replicated Data Types CRDTs. - Nuno M. Preguiça; Carlos Baquero; Marc Shapiro 001 (Encyclopedia of Big Data Technologies, 2019)

State-machine replication for planet-scale systems. - Vitor Enes; Carlos Baquero; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra (EuroSys, 2020)

Age-Partitioned Bloom Filters. - Ariel Shtul; Carlos Baquero; Paulo Sérgio Almeida (CoRR, 2020)

State-Machine Replication for Planet-Scale Systems (Extended Version). - Vitor Enes; Carlos Baquero; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra (CoRR, 2020)

CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics. - Oluwasegun Ojo; Augusto García-Agundez; Benjamin Girault; Harold Hernández; Elisa Cabana; Amanda García-García; Payman Arabshahi; Carlos Baquero; Paolo Casari; Ednaldo José Ferreira; Davide Frey; Chryssis Georgiou; et al. (CoRR, 2020)

Causality is Graphically Simple. - Carlos Baquero (CoRR, 2020)

Efficient replication via timestamp stability. - Vitor Enes; Carlos Baquero; Alexey Gotsman; Pierre Sutra (EuroSys, 2021)

Seeking out Camille, and being open to others. - Robin K. Hill; Carlos Baquero (Commun. ACM, 2021)

Efficient Replication via Timestamp Stability (Extended Version). - Vitor Enes; Carlos Baquero; Alexey Gotsman; Pierre Sutra (CoRR, 2021)

Estimating Active Cases of COVID-19. - Javier Álvarez; Carlos Baquero; Elisa Cabana; Jaya Prakash Champati; Antonio Fernández Anta; Davide Frey; Augusto García-Agundez; Chryssis Georgiou; Mathieu Goessens; Harold Hernández; Rosa E. Lillo; Raquel Menezes; et al. (CoRR, 2021)

The CoronaSurveys System for COVID-19 Incidence Data Collection and Processing. - Carlos Baquero; Paolo Casari; Antonio Fernández Anta; Amanda García-García; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Benjamin Girault; Antonio Ortega; Mathieu Goessens; Harold A. Hernández-Roig; Nicolas Nicolaou; et al. (Frontiers Comput. Sci., 2021)

Picking publication targets. - Carlos Baquero (Commun. ACM, 2022)

Is having AI generate text cheating? - Carlos Baquero (Commun. ACM, 2022)

The dynamics of remembering and forgetting. - Carlos Baquero; Rosa Cabecinhas (Commun. ACM, 2022)

Probabilistic Causal Contexts for Scalable CRDTs. - Pedro Henrique Fernandes; Carlos Baquero (PaPoC@EuroSys, 2023)

Time-limited Bloom Filter. - Ana Rodrigues; Ariel Shtul; Carlos Baquero; Paulo Sérgio Almeida (SAC, 2023)

What Ever Happened to Peer-to-Peer Systems? - Carlos Baquero (Commun. ACM, 2023)

A Year Embedded in the Crypto-NFT Space. - Carlos Baquero (Commun. ACM, 2023)

Consistent comparison of symptom-based methods for COVID-19 infection detection. - Jesús Rufino; Juan Marcos Ramirez; José Aguilar 001; Carlos Baquero; Jaya Prakash Champati; Davide Frey; Rosa Elvira Lillo; Antonio Fernández Anta (Int. J. Medical Informatics, 2023)

Pondering the Ugly Underbelly, and Whether Images Are Real. - Robin K. Hill; Carlos Baquero (Commun. ACM, 2024)

CRDT-Based Game State Synchronization in Peer-to-Peer VR. - Abel Dantas; Carlos Baquero (PaPoC@EuroSys, 2025)

Social Compliance With NPIs, Mobility Patterns, and Reproduction Number: Lessons From COVID-19 in Europe. - Daniele Baccega; José Aguilar 001; Carlos Baquero; Antonio Fernández Anta; Juan Marcos Ramirez (IEEE Access, 2025)

Distributed Generalized Linear Models: A Privacy-Preserving Approach. - Daniel Tinoco; Raquel Menezes; Carlos Baquero (CoRR, 2025)

ConflictSync: Bandwidth Efficient Synchronization of Divergent State. - Pedro Silva Gomes; Miguel Boaventura Rodrigues; Carlos Baquero (CoRR, 2025)