Causality and divergence detection

• Interval Tree Clocks: A Logical Clock for Dynamic Systems OPODIS 2008
• Improving on Version Stamps OTM 2007, RDDS Workshop.
• Bounded Version Vectors DISC 2004
• Version stamps -- decentralized version vectors IEEE ICDCS 2002
• Panasync: dependency tracking among file copies ACM SIGOPS EW 2000
• Causality in autonomous mobile systems ERSADS 1999
• "Towards Efficient Time-stamping for Autonomous Versioning" EPCM 1999
• Improving causality logging in mobile computing networks ACM MC2R 1998

Peer-to-peer and Sensor Networks

• Fast Estimation of Aggregates in Unstructured Networks IEEE ICAS 2009
• Taming Hot-Spots in DHT Inverted Indexes ACM SIGIR 2007, LSDS-IR Workshop
• A Study on Aggregation by Averaging Algorithms (poster) ACM EuroSys 2007
• Scalable Bloom Filters Elsevier, Information Processing Letters, Volume 101, Issue 6, March 2007.
• Implementing Range Queries with a Decentralized Balanced Tree Over DHTs NBiS2007, Springer LNCS.
• Using Distributed Balanced Trees Over DHTs for Building Large-scale Indexes Tech Report October 2006
• Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes Tech Report May 2006
• "ID Generation in Mobile Environments" (poster) CSMU 2006
• "Wireless Sensor Network Aggregation Using Overlay Protocols" (poster) CSMU 2006
• Building Inverted Indexes Using Balanced Trees Over DHT Systems (poster) ACM EuroSys 2006
• B+Trees on P2P: Providing content indexing over DHT overlays Tech Report March 2004
• "Análise da Disponibilização de um Índice Invertido em P2P" CRC 2003
• Towards Peer-to-Peer Content Indexing, ACM OS Review 2003

Reconciliation

• VC^2 - Providing Awareness in Off-The-Shelf Version Control Systems 9th IWCES Workshop, GROUP 2007.
• Using Structural Characteristics for Autonomous Operation, ACM OS Review 1999
• "Convergent Data Types for Autonomous Operation" WPDJ 1997
• Specification of convergent abstract data types for autonomous mobile computing Tech Report 1997

Mobile Computing

• Reconciliation in Files EveryWhere File System (poster) ACM EuroSys 2006
• "Reconciliation for Mobile Computing Environments with Portable Storage Devices" CSMU 2006
• FEW: File Management for Portable Devices IWSSPS 2005
• "Mobisnap: Um sistema de Base de Dados para Ambientes Móveis" CRC 2001
• "Replicação Autónoma em Computação Nómada" PhD Thesis 2000
• Mobile transaction management in mobisnap ABDIS-DASFAA 2000
• "MobiSnap: Managing Database Snapshots in a Mobile Environment" EPCM 1999
• "A Human Centered Perspective for Mobile Information Sharing and Delivery" ECOOP Workshop MR 1996
• Indirect calls: remote invocations on loosely coupled systems Tech Report 1996
• "Synergetic State Evolution under Mobile Computing" Tech Report 1995
• MobiScape: WWW browsing under disconnected and semi-connected operation CNW3 1995

Concurrent OO

• Integration of Concurrency Control in a Language with Subtyping and Subclassing Usenix COOTS 1995
• Concurrency Annotations in C++, ACM SIGPLAN Notices 1994
• "Heranca de Codigo de Sincronizacao em Programacao Concorrente Orientada por Objectos" MSc Thesis 1994
• "Uma Abordagem ao Controlo de Concorrencia em Orientacao por Objectos" OOP 1994
• "Anotações de Concorrência" Tech Report November 1993
• "Alguns Elementos sobre Programação Concorrente Orientada ao Objecto" Tech Report September 1993

Operating Systems and WEB

• "Paperwork on the Fly" Eunis 2003
• "Web Core - Forward and Backward browsing in a Multi-grain Web representation" 5th WWW Posters 1996
• A portable lightweight approach to nfs replication ROSE 1994

Open/Free Software Advocacy

• "Software Aberto: O Futuro da Engenharia Informática ?" Ingenium 2000
• "Broms: Gestão Uniforme de um Parque Computacional Multi-Plataforma" Ingenium 1999