Publications

Articles in Journals

Improving causality logging in mobile computing networks: Carlos Baquero, Francisco Moura. Improving causality logging in mobile computing networks. ACM Mobile Computing and Communications Review, 2(4):62-66, 10/1998.

Articles in Conference Proceedings

Experimental Performability Evaluation of Middleware for Large-Scale Distributed Systems: L. Soares, J. Pereira. Experimental Performability Evaluation of Middleware for Large-Scale Distributed Systems. Proceedings of the 7th International Workshop on Performability Modeling of Computer and Communication Systems. 2005.
Testing the Dependability and Performance of Group Communication Based Database Replication Protocols: A. Sousa, J. Pereira, L. Soares, A. Correia Jr., L. Rocha, R. Oliveira, F. Moura. Testing the Dependability and Performance of Group Communication Based Database Replication Protocols. International Conference on Dependable Systems and Networks (DSN'05). 2005.
Group-based Replication of On-line Transaction Processing Servers: A. Correia Jr., A. Sousa, L. Soares, J. Pereira, R. Oliveira, F. Moura. Group-based Replication of On-line Transaction Processing Servers. Dependable Computing: Second Latin-American Symposium (LADC'05). 2005.

Bounded version vectors: José Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero. Bounded version vectors. In Rachid Guerraoui, editor, Proceedings of DISC 2004: 18th international symposium on distributed computing, number 3274 in LNCS, pages 102--116. 2004. Springer Verlag.
Revisiting epsilon serializabilty to improve the database state machine (extended abstract): A. Correia Jr., A. Sousa, L. Soares, F. Moura, R. Oliveira. Revisiting epsilon serializabilty to improve the database state machine (extended abstract). In proc. of the workshop on dependable distributed data management, srds (2004). 2004.
Evaluating database replication in escada (position paper): A. Sousa, L. Soares, A. Correia Jr., R. Oliveira, F. Moura. Evaluating database replication in escada (position paper). In proc. of the workshop on dependable distributed data management, srds (2004). 2004.
The mutable consensus protocol: José Pereira, Rui Oliveira. The mutable consensus protocol. Proc. 23rd international symposium on reliable distributed systems, pages 218-227. Florianópolis, Brazil, 2004. IEEE, IEEE Computer Society.
Low latency probabilistic broadcast in wide area networks: J. Pereira, L. Rodrigues, A. Pinto, R. Oliveira. Low latency probabilistic broadcast in wide area networks. Proc. 23rd international symposium on reliable distributed systems, page -. Florianópolis, Brazil, 2004. IEEE, IEEE Computer Society.

Avaliação de um SGBD replicado usando simulação de redes: A. Correia Jr., A. Sousa, L. Soares, F. Moura, R. Oliveira. 2003.
Neem: network-friendly epidemic multicast: J. Pereira, L. Rodrigues, M. J. Monteiro, R. Oliveira, A.-M. Kermarrec. Neem: network-friendly epidemic multicast. Proc. 22nd international symposium on reliable distributed systems, page -. Florence, Italy, 2003. IEEE, IEEE Computer Society.

Version stamps -- decentralized version vectors: Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte. Version stamps -- decentralized version vectors. Proceedings of the 22nd international conference on distributed computing systems (ICDCS), pages 544--551. 2002. IEEE Computer Society.
Optimistic total order in wide area networks: António Sousa, José Pereira, Francisco Moura, Rui Oliveira. Optimistic total order in wide area networks. Proc. 21st ieee symposium on reliable distributed systems, pages 190-199. 2002. IEEE CS.

Partial replication in the database state machine: António Sousa, Fernando Pedone , Francisco Moura, Rui Oliveira. Partial replication in the database state machine. N proc. of the ieee international symposium on network computing and applications (nca 2001), pages 298--309. 2001. IEEE CS.
Primary-backup replication: from a time-free protocol to a time-based implementation: R. Oliveira, J. Pereira, A. Schiper. Primary-backup replication: from a time-free protocol to a time-based implementation. Proc. 20th international symposium on reliable distributed systems, page -. New Orleans, USA, 2001. IEEE, IEEE Computer Society.

Panasync: dependency tracking among file copies: Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte. Panasync: dependency tracking among file copies. In Paulo Guedes, editor, Ninth acm sigops european workshop, pages 7-12. 2000. DIKU - University of Copenhagen.
Mobile transaction management in mobisnap: Nuno Preguica, Carlos Baquero, Francisco Moura, J. Legatheaux Martins, Rui Oliveira, Henrique Domingos, J. Orlando Pereira, Sergio Duarte. Mobile transaction management in mobisnap. Current issues in databases and information systems: east-european conference on advances in databases and information systems held jointly with international conference on database systems for advanced applications, pages 379--386. 2000. Springer LNCS.

Causality in autonomous mobile systems: Carlos Baquero, Francisco Moura. Causality in autonomous mobile systems. Third european research seminar on advances in distributed systems. 4/1999. Broadcast, EPFL-LSE.
Type-checking balloon types: Paulo Sérgio Almeida. Type-checking balloon types. MFPS XV -- mathematical foundations of program semantics, volume 20 of Electronic Notes in Theoretical Computer Science. 1999. Elsevier.

Balloon types: controlling sharing of state in data types: Paulo Sérgio Almeida. Balloon types: controlling sharing of state in data types. Proceedings ECOOP'97, volume 1241 of LNCS, pages 32--59. 6/1997. Springer-Verlag.

MobiScape: WWW browsing under disconnected and semi-connected operation: Carlos Baquero, Victor Fonte, Francisco Moura, Rui Oliveira. MobiScape: WWW browsing under disconnected and semi-connected operation. Primeira conferência nacional de www. Universidade do Minho, 1995.
Integration of concurrency control in a language with subtyping and subclassing: Carlos Baquero, Rui Oliveira, Francisco Moura. Integration of concurrency control in a language with subtyping and subclassing. Proceedings of the usenix conference on object-oriented technologies (coots'95), pages 173--184. 6/1995. USENIX Association.

A portable lightweight approach to nfs replication: Raquel Menezes, Carlos Baquero, Francisco Moura. A portable lightweight approach to nfs replication. Rose'94, pages 174-183. 1994.

Technical Reports

Wice-si: pragmatic inter-cluster replication: J. Grov, L. Soares, A. Correia Jr., J. Pereira, R. Oliveira, F. Pedone. Wice-si: pragmatic inter-cluster replication. Technical report, Univ. do Minho, 2006.

Bounded version vectors: José Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero. Bounded version vectors. Technical report, UMDITR2004.01, Departamento de Informática, Universidade do Minho, 7/2004.
Evaluating the performance of the database state machine: A. Sousa, J. Pereira, L. Soares, A. Correia Jr., L. Rocha, R. Oliveira, F. Moura. Evaluating the performance of the database state machine. Technical report, Univ. do Minho, 2004.

Evaluating certification protocols in the partial database state machine: A. Sousa, A. Correira Jr, F. Moura, J. Pereira, R. Oliveira. Evaluating certification protocols in the partial database state machine. Technical report, Univ. do Minho, 2003.

Specification of convergent abstract data types for autonomous mobile computing: Carlos Baquero, Francisco Moura. Specification of convergent abstract data types for autonomous mobile computing. Technical report, Departamento de Informática, Universidade do Minho, 1997.

Indirect calls: remote invocations on loosely coupled systems: Carlos Baquero. Indirect calls: remote invocations on loosely coupled systems. Technical report, Departamento de Informática, Universidade do Minho, 1996.

GSD

Sections

Personal tools

Publications

Document Actions