Concurrency Annotations in C++. - Carlos Baquero; Francisco Moura (ACM SIGPLAN Notices, 1994)

Integration of Concurrency Control in a Language with Subtyping and Subclassing. - Carlos Baquero; Rui Oliveira 001; Francisco Moura (COOTS, 1995)

Improving causality logging in mobile computing networks. - Carlos Baquero; Francisco Moura (ACM SIGMOBILE Mob. Comput. Commun. Rev., 1998)

Using Structural Characteristics for Autonomous Operation. - Carlos Baquero; Francisco Moura (ACM SIGOPS Oper. Syst. Rev., 1999)

Mobile Transaction Management in Mobisnap. - Nuno M. Preguiça; Carlos Baquero; Francisco Moura; José Legatheaux Martins; Rui Oliveira 001; Henrique João L. Domingos; José Orlando Pereira; Sérgio Duarte (ADBIS-DASFAA, 2000)

A mobile-agent based architecture for virtual enterprises. - Luís Brito; José Neves 001; Francisco Moura (E-Business and Virtual Enterprises, 2000)

Partial Replication in the Database State Machine. - António Luís Pinto Ferreira de Sousa; Rui Oliveira 001; Francisco Moura; Fernando Pedone (NCA, 2001)

Optimistic Total Order in Wide Area Networks. - António Luís Pinto Ferreira de Sousa; José Pereira 001; Francisco Moura; Rui Oliveira 001 (SRDS, 2002)

Testing the Dependability and Performance of Group Communication Based Database Replication Protocols. - António Luís Sousa; José Pereira 001; Luís Soares; Alfrânio Correia Jr.; L. Rocha; Rui Oliveira 001; Francisco Moura (DSN, 2005)

Group-Based Replication of On-Line Transaction Processing Servers. - Alfrânio Correia Jr.; António Luís Sousa; Luís Soares; José Pereira 001; Francisco Moura; Rui Oliveira 001 (LADC, 2005)

Evaluating Certification Protocols in the Partial Database State Machine. - António Luís Sousa; Alfrânio Correia Jr.; Francisco Moura; José Pereira 001; Rui Oliveira 001 (ARES, 2006)