2006 |
10 | EE | A. Sousa,
Alfrânio Correia Jr.,
Francisco Moura,
José Pereira,
Rui Carlos Oliveira:
Evaluating Certification Protocols in the Partial Database State Machine.
ARES 2006: 855-863 |
2005 |
9 | EE | A. Sousa,
José Pereira,
L. Soares,
Alfrânio Correia Jr.,
L. Rocha,
Rui Carlos Oliveira,
Francisco Moura:
Testing the Dependability and Performance of Group Communication Based Database Replication Protocols.
DSN 2005: 792-801 |
8 | EE | Alfrânio Correia Jr.,
A. Sousa,
L. Soares,
José Pereira,
Francisco Moura,
Rui Carlos Oliveira:
Group-Based Replication of On-Line Transaction Processing Servers.
LADC 2005: 245-260 |
2002 |
7 | EE | António Luís Pinto Ferreira de Sousa,
José Orlando Pereira,
Francisco Moura,
Rui Carlos Oliveira:
Optimistic Total Order in Wide Area Networks.
SRDS 2002: 190- |
2001 |
6 | EE | António Luís Pinto Ferreira de Sousa,
Rui Carlos Oliveira,
Francisco Moura,
Fernando Pedone:
Partial Replication in the Database State Machine.
NCA 2001: 298-309 |
2000 |
5 | EE | Nuno M. Preguiça,
Carlos Baquero,
Francisco Moura,
José Legatheaux Martins,
Rui Carlos Oliveira,
Henrique João L. Domingos,
José Orlando Pereira,
Sérgio Duarte:
Mobile Transaction Management in Mobisnap.
ADBIS-DASFAA 2000: 379-386 |
4 | | Luís Brito,
José Neves,
Francisco Moura:
A mobile-agent based architecture for virtual enterprises.
E-Business and Virtual Enterprises 2000: 167-174 |
1999 |
3 | | Carlos Baquero,
Francisco Moura:
Using Structural Characteristics for Autonomous Operation.
Operating Systems Review 33(4): 90-96 (1999) |
1995 |
2 | EE | Carlos Baquero,
Rui Carlos Oliveira,
Francisco Moura:
Integration of Concurrency Control in a Language with Subtyping and Subclassing.
COOTS 1995 |
1994 |
1 | | Carlos Baquero,
Francisco Moura:
Concurrency Annotations in C++.
SIGPLAN Notices 29(7): 61-67 (1994) |