publicações selecionadas
-
artigo académico
- Time-limited Bloom Filter. IEEE Transactions on Computers. 2023
- A Case for Partitioned Bloom Filters. IEEE Transactions on Computers. 2020
- COMPOSITION IN STATE-BASED REPLICATED DATA TYPES. Bulletin of the European Association for Theoretical Computer Science. 2017
- A Survey of Distributed Data Aggregation Algorithms. IEEE Communications Surveys and Tutorials. 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
- 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. Computational Methods in Applied Sciences. 2012
- Fault-tolerant aggregation for dynamic networks. Symposium on Reliable Distributed Systems Proceedings. 2010
- 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. Computational Methods in Applied Sciences. 2009
- Probabilistic estimation of network size and diameter. Latin-American Symposium on Dependable Computing. 2009
- Interval tree clocks: A logical clock for dynamic systems. Computational Methods in Applied Sciences. 2008
- Improving on version stamps. Computational Methods in Applied Sciences. 2007
- Bounded version vectors. Computational Methods in Applied Sciences. 2004
- Version stamps - Decentralized version vectors. International Conference on Distributed Computing Systems - Proceedings. 2002
- Aliasing in object oriented systems. Computational Methods in Applied Sciences. 1999
- Type-checking balloon types. Electronic Notes in Theoretical Computer Science. 1999
-
artigo de conferência
- A Survey of Tools for Grading Concurrent Programming Exercises 2023
- Time-limited Bloom Filter 2023
- An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises 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. Computational Methods in Applied Sciences. 2015
- Efficient State-Based CRDTs by Delta-Mutation. Computational Methods in Applied Sciences. 2015
- Exactly-Once Quantity Transfer 2015
- Efficient state-based CRDTs by decomposition 2014
- Making Operation-Based CRDTs Operation-Based. Computational Methods in Applied Sciences. 2014
- Scalable and Accurate Causality Tracking for Eventually Consistent Stores. Computational Methods in Applied Sciences. 2014
- Fault-Tolerant Aggregation for Dynamic Networks 2010
- Panasync: dependency tracking among file copies 2000
- Type-checking balloon types 1999
- Balloon Types: Controlling Sharing of State in Data Types 1997
-
artigo de revista
- Scalable eventually consistent counters over unreliable networks. Distributed Computing. 2019
- Delta state replicated data types. Journal of Parallel and Distributed Computing. 2018
- Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution. Computational Methods in Applied Sciences. 2017
- Flow updating: Fault-tolerant aggregation for dynamic networks. Journal of Parallel and Distributed Computing. 2015
- Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes. IEEE Transactions on Parallel and Distributed Systems. 2012
- Scalable Bloom Filters. Information Processing Letters. 2007
-
capítulo de livro
-
documento