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 DBLP: Researcher Page MS Academic: Researcher Page

Research Oportunities

• Founded research grants soon available: Up to two years post doctoral position to work on CRDTs, and the same period for a holder of an MSc degree to work in Distributed Aggregation.

Recent Documents

• Broadcast Cancellation in Search Mechanisms ACM SAC 2013
• Spectra: Robust estimation of distribution functions in networks DAIS 2012
• An optimized conflict-free replicated set TR INRIA 2012
• Time Efficient Distributed Determination of Distances in Networks IEEE CDC 2012
• A Survey of Distributed Data Aggregation Algorithms Submitted
• A comprehensive study of Convergent and Commutative Replicated Data Types TR INRIA, 2010
• Dotted Version Vectors: Logical Clocks for Optimistic Replication
• Dependability in Aggregation by Averaging Inforum 2009
• Probabilistic Estimation of Network Size and Diameter LADC 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
• Specification of convergent abstract data types for autonomous mobile computing CvRDTs TR 1997
• 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

• PC Euro-Par 2013, Track on Distributed Systems and Algorithms
• PC DAIS 2013
• PC Euro-Par 2007, Track on Mobile and Ubiquitous Computing

• Broadcast Cancelation. Rui Lima. Ongoing PhD (co-supervision with Hugo Miranda)
• Distributed Statistical Data Aggregation. Miguel Borges. Ongoing PhD (co-supervision with Paulo Almeida)

• Privacy preserving Bluetooth scanning. Nelson Gonçalves (co-supervision with Rui João). MSc concluded in 2013.
• Robust Distributed Data Aggregation. Paulo Jesus . PhD concluded in 2012 (co-supervision with Paulo Almeida), FCT Grant.
• Continuous CDF estimation in networks. Miguel Borges. MSc concluded in 2011
• 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: MEI MIECOM
• BSc: LEI

• 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