email: cbm at di.uminho.pt Address: Departamento de Informática, Universidade do Minho, Campus de Gualtar, 4710-057 Braga, Portugal Phone: +351 253 604 449 / Internal: 4449 Fax: +351 253 604 471 Google Scholar: Researcher Page MS Academic: Researcher Page

Research Oportunities

• Privacy-preserving Bluetooth sensing, (MSc topic) (joint proposal with R. João , Allocated)
• Busca eficiente em redes com limitações energéticas (MSc topic, Open)
• Estimação de tamanho de redes com churn (MSc topic, Open)
• Heartbeat Synchronization based on Averaging Algorithms (MSc topic, Open)
• Causality Tracking under Churn (Interval Tree Clocks) (MSc topic, Allocated, FCT Castor Project)
• Causality Tracking under Churn (Bloom Filters) (MSc topic, Open, FCT Castor Project)
• Distributed and Fault-Tolerant Computation of Node Statistics (MSc topic, Joint work with an ongoing PhD Project, Allocated)

Recent Documents

• A Survey of Distributed Data Aggregation Algorithms TR, Submitted
• "Privacy preserving gate counting with collaborative Bluetooth scanners" OTM 2011 Workshops, MONET
• "Estimativa contínua e tolerante a falhas de funções distribuição cumulativa em redes de larga escala" Inforum 2011
• A comprehensive study of Convergent and Commutative Replicated Data Types TR INRIA, 2010
• Dotted Version Vectors: Logical Clocks for Optimistic Replication
• Time Efficient Distributed Determination of Distances in Networks
• Dependability in Aggregation by Averaging Inforum 2009
• Using Less Links to Improve Fault-Tolerant Aggregation LADC 2009 Fast Abstract
• Probabilistic Estimation of Network Size and Diameter LADC 2009
• Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination CRIWG 2009
• Search Optimizations in Structured Peer–to–peer Systems WETICE COPS 2009
• Fast Estimation of Aggregates in Unstructured Networks IEEE ICAS 2009

Selected Publications

• Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes July 2011, IEEE Transactions on Parallel and Distributed Systems
• Markov random walk under constraint for discovering overlapping communities in complex networks May 2011, Journal of Statistical Mechanics
• Conflict-free Replicated Data Types SSS 2011
• Fault-Tolerant Aggregation for Dynamic Networks SRDS 2010
• Fault-Tolerant Aggregation by Flow Updating DAIS 2009
• Interval Tree Clocks: A Logical Clock for Dynamic Systems OPODIS 2008
• Scalable Bloom Filters Information Processing Letters. March 2007
• FEW: File Management for Portable Devices IWSSPS 2005
• Bounded Version Vectors DISC 2004
• Version stamps -- decentralized version vectors IEEE ICDCS 2002
• Panasync: dependency tracking among file copies ACM SIGOPS EW 2000
• Mobile transaction management in mobisnap ABDIS-DASFAA 2000
• Improving causality logging in mobile computing networks ACM MC2R 1998
• MobiScape: WWW browsing under disconnected and semi-connected operation CNW3 1995
• Integration of Concurrency Control in a Language with Subtyping and Subclassing Usenix COOTS 1995

Publications

• Full categorized list of Publications and Talks
• Legacy documents folder

Projects

• CASTOR: Causality Tracking for Optimistic Replication in Dynamic Distributed Systems (2010-2012)
• FEW (2005-2008) File Management for Portable Devices
• Panasync (2000-2004) Dependency tracking among arbitrary file copies
• MobiSnap (1999-2003) Managing Database Snapshots in a Mobile Environment
• COOP

• Inforum 2009
• Euro-Par 2007
• Conferência sobre Sistemas Móveis e Ubíquos 2006
• 1º Congreso de Tecnologias del Software Libre 2006
• TETIC

• Robust Distributed Data Aggregation. Paulo Jesus . Ongoing PhD (co-supervision with Paulo Almeida), FCT Grant. Submitted in 2011, waiting defense
• Broadcast Cancelation. Rui Lima. Ongoing PhD (co-supervision with Hugo Miranda)
• Privacy preserving Bluetooth scanning. Nelson Gonçalves (co-supervision with Rui João). Ongoing MSc
• Continuous CDF estimation in networks. Miguel Borges. Ongoing MSc

• Logical Clocks for Cloud Databases. "Ricardo Gonçalves" . MSc concluded in 2011
• Information Search in Large-Scale Peer-to-Peer Systems. Nuno Lopes . PhD concluded in 2009, FCT Grant.
• Causality Tracking in Dynamic Distributed Systems. Victor Fonte . PhD concluded in 2009 (co-supervision with Paulo Almeida).
• Probabilistic Estimation of Network Size and Diameter. Jorge Cardoso . MSc concluded in 2009.
• Aggregation and Counting in P2P Networks. Paulo Jesus . MSc concluded in 2007 (co-supervision with Paulo Almeida).

• MSc: MSM
• BSc: LESI LMCC MAT

• Bloom Filters and Scalable Bloom Filters (Erlang by Paulo Almeida) , in use in the Riak data store system, and in CouchDB
• Causality tracking in dynamic systems with Interval Tree Clocks
• Netlogo Chameleon

• 8mm * HASlab