publicações selecionadas
-
artigo académico
- Using survey data to estimate the impact of the omicron variant on vaccine efficacy against COVID-19 infection. Acta Cytologica. 2023
- The dynamics of remembering and forgetting. Communications of the ACM. 2022
- 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
- Bounded version vectors. Computational Methods in Applied Sciences. 2004
- Version stamps - Decentralized version vectors. International Conference on Distributed Computing Systems - Proceedings. 2002
-
artigo de conferência
- Time-limited Bloom Filter 2023
- State-machine replication for planet-scale systems 2020
- Efficient Synchronization of State-based CRDTs. Proceedings - International Conference on Data Engineering. 2019
- Higher-order patterns in replicated data types 2019
- Global-Local view: Scalable consistency for concurrent data types. Computational Methods in Applied Sciences. 2018
- Practical evaluation of the Lasp programming model at large scale 2017
- Transparent cross-system consistency 2017
- 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
- Quality-Aware Reactive Programming for the Internet of Things. Computational Methods in Applied Sciences. 2017
- Adaptive broadcast cancellation query mechanism for unstructured networks 2016
- Eventually consistent register revisited 2016
- 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
- Worlds of events: deduction with partial knowledge about causality. Electronic Proceedings in Theoretical Computer Science. 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. Symposium on Reliable Distributed Systems Proceedings. 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
- Broadcast cancellation in search mechanisms 2013
- Fast distributed estimation of empirical mass functions over anonymous networks. Proceedings of the IEEE Conference on Decision and Control. 2013
- Filtros de precedência : agregação anónima de dados de trânsito bluetooth 2012
- Brief announcement: semantics of eventually consistent replicated sets. Computational Methods in Applied Sciences. 2012
- Stopping ongoing broadcasts in large MANETs 2012
- Estimativa contínua e tolerante a faltas de funções distribuição cumulativa em redes de larga escala 2011
- Evaluating dotted version vectors in Riak 2011
- Logic training through algorithmic problem solving. Computational Methods in Applied Sciences. 2011
- Genetic algorithm with local search for community mining in complex networks. Proceedings-International Conference on Tools With Artificial Intelligence. 2010
- Dependability in aggregation by averaging 2009
- Search optimizations in structured peer-to-peer systems. IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises Proceedings. 2009
- Using less links to improve fault-tolerant aggregation 2009
- Taming hot-spots in DHT inverted indexes 2007
- VC2-providing awareness in off-the-shelf version control systems 2007
- ID generation in mobile environments 2006
- Reconciliation for mobile computing environments with portable storage devices 2006
- FEW : file management for portable devices 2005
- Towards peer-to-peer content indexing. Operating Systems Review. 2003
- Mobisnap: um sistema de bases de dados para ambientes móveis 2001
- Mobile Transaction Management in Mobisnap. Computational Methods in Applied Sciences. 2000
- Panasync: dependency tracking among file copies 2000
- Causality in autonomous mobile systems 1999
- MobiSnap: managing database snapshots in a mobile environment 1999
- Towards efficient time-stamping for autonomous versioning 1999
- A human centered perspective for mobile information sharing and delivery 1996
- Integration of concurrency control in a language with subtyping and subclassing 1995
- A lightweight approach to NFS replication 1994
- A portable lightweight approach to NFS replication 1994
-
artigo de revista
- Estimating the COVID-19 Prevalence in Spain With Indirect Reporting via Open Surveys. Frontiers in Public Health: Public Health Education and Promotion. 2021
- 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. Computational Methods in Applied Sciences. 2017
- Why logical clocks are easy. Communications of the ACM. 2016
- 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
- Link community detection using generative model and nonnegative matrix factorization. Antibiotics. 2014
- Genetic algorithm with a local search strategy for discovering communities in complex networks. International Journal of Computational Intelligence Systems. 2013
- Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes. IEEE Transactions on Parallel and Distributed Systems. 2012
- A Markov random walk under constraint for discovering overlapping communities in complex networks. Journal of Statistical Mechanics: Theory and Experiment. 2011
- Convergent and commutative replicated data types. Bulletin of the European Association for Theoretical Computer Science. 2011
- Scalable Bloom Filters. Information Processing Letters. 2007
- Using structural characteristics for autonomous operation. Operating Systems Review. 1999
- Improving causality logging in mobile computing networks. Mobile Computing and Communications Review. 1998
- Concurrency annotations in C++. ACM SIGPLAN Notices. 1994
-
documento
-
livro