publicações selecionadas
-
artigo académico
- Approaches to Conflict-free Replicated Data Types. ACM Computing Surveys. 2025
- A Case for Partitioned Bloom Filters. IEEE Transactions on Computers. 2023
- Time-limited Bloom Filter. CoRR. 2023
- Scalable eventually consistent counters over unreliable networks. Distributed Computing. 2019
- Delta state replicated data types. Journal of Parallel and Distributed Computing. 2018
- COMPOSITION IN STATE-BASED REPLICATED DATA TYPES. Bulletin of the European Association for Theoretical Computer Science. 2017
- Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution. Distributed Computing. 2017
- A Survey of Distributed Data Aggregation Algorithms. IEEE Communications Surveys and Tutorials. 2015
- Flow updating: Fault-tolerant aggregation for dynamic networks. Journal of Parallel and Distributed Computing. 2015
- Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors. Proceedings of the Annual ACM Symposium on Principles of Distributed Computing. 2012
- Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes. IEEE Transactions on Parallel and Distributed Systems. 2012
- Fast distributed computation of distances in networks. Proceedings of the IEEE Conference on Decision and Control. 2012
- Spectra: Robust estimation of distribution functions in networks. International Journal on Software Tools for Technology Transfer. 2012
- Fast estimation of aggregates in unstructured networks. Proceedings of the 5th International Conference on Autonomic and Autonomous Systems, ICAS 2009. 2009
- Fault-tolerant aggregation by flow updating. International Journal on Software Tools for Technology Transfer. 2009
- Probabilistic estimation of network size and diameter. Latin-American Symposium on Dependable Computing. 2009
- Interval tree clocks: A logical clock for dynamic systems. International Journal on Software Tools for Technology Transfer. 2008
- Improving on version stamps. International Journal on Software Tools for Technology Transfer. 2007
- Scalable Bloom Filters. Information Processing Letters. 2007
- Bounded version vectors. International Journal on Software Tools for Technology Transfer. 2004
- Version stamps - Decentralized version vectors. International Conference on Distributed Computing Systems - Proceedings. 2002
- Aliasing in object oriented systems. International Journal on Software Tools for Technology Transfer. 1999
-
artigo de conferência
- A Survey of Tools for Grading Concurrent Programming Exercises 2023
- Time-limited Bloom Filter 2023
- An Oblivious Observed-Reset Embeddable Replicated Counter 2022
- Exon: An Oblivious Exactly-Once Messaging Protocol 2022
- Efficient Synchronization of State-based CRDTs 2019
- Higher-order patterns in replicated data types 2019
- Aggregation Protocols in Light of Reliable Communication 2017
- Borrowing an Identity for a Distributed Counter 2017
- Compact Resettable Counters through Causal Stability 2017
- DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones. Symposium on Reliable Distributed Systems Proceedings. 2017
- The single-writer principle in crdt composition 2017
- Integration Challenges of Pure Operation-based CRDTs in Redis 2016
- Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report 2016
- Life Beyond Distributed Transactions on the Edge 2016
- The problem with embedded CRDT counters and a solution 2016
- Concise Server-Wide Causality Management for Eventually Consistent Data Stores. International Journal on Software Tools for Technology Transfer. 2015
- Efficient State-Based CRDTs by Delta-Mutation. International Journal on Software Tools for Technology Transfer. 2015
- Exactly-Once Quantity Transfer 2015
- Efficient state-based CRDTs by decomposition 2014
- Making Operation-Based CRDTs Operation-Based. International Journal on Software Tools for Technology Transfer. 2014
- Scalable and Accurate Causality Tracking for Eventually Consistent Stores. International Journal on Software Tools for Technology Transfer. 2014
- Fault-Tolerant Aggregation for Dynamic Networks. Symposium on Reliable Distributed Systems Proceedings. 2010
- Panasync: dependency tracking among file copies 2000
- Type-checking balloon types 1999
- Balloon Types: Controlling Sharing of State in Data Types 1997
-
capítulo de livro
- An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises. International Journal on Software Tools for Technology Transfer. 2023
-
documento
- Age-Partitioned Bloom Filters 2020
- Pure Operation-Based Replicated Data Types 2017
- Dependability in Aggregation by Averaging 2010
- Dotted Version Vectors: Logical Clocks for Optimistic Replication 2010
- A Framework for Consistency Models in Distributed Systems
- The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type