A Framework for Structuring Group Support in LSDCs, : Technical Report RT/19-94, INESC, BROADCAST REPORT, Lisboa, Portugal, September 1993. Expanded version of a paper in procs. 4th IEEE Workshop on Future Trends of Distr. Comput. Syst., Lisboa-Portugal, 1993.
"A low-level processor group membership protocol for LANs", Distributed Computing Systems, 1993., Proceedings the 13th International Conference on: IEEE, pp. 541–550, 1993.
"Using atomic broadcast to implement a posteriori agreement for clock synchronization", Reliable Distributed Systems, 1993. Proceedings., 12th Symposium on: IEEE, pp. 115–124, 1993.
"Group orientation: a paradigm for distributed systems of the nineties", Distributed Computing Systems, 1992., Proceedings of the Third Workshop on Future Trends of: IEEE, pp. 57–63, 1992.
"Group orientation: a paradigm for modern distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–6, 1992.
A posteriori agreement for clock synchronization on broadcast networks, : Citeseer, 1992.
"A posteriori agreement for fault-tolerant clock synchronization on broadcast networks", Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers., Twenty-Second International Symposium on: IEEE, pp. 527–536, 1992.
"Requirements for high performance group support in distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–5, 1992.
xAMp: A protocol suite for group communication, : Citeseer, 1992.
"The atomic multicast protocol (AMp)", Delta-4: A Generic Architecture for Dependable Distributed Computing: ESPRIT Research Papers, Springer-Verlag, pp. 267–294, 1991.
Enforcing Real-Time behaviour on LAN-based protocols, : Citeseer, 1991.
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol, : FORMAL DESCRIPTION TECHNIQUES, III. IFIP. North-Holland, 1991.
The performance of the xAMp protocol on token-bus and fddi nac's, : Technical Report RT/109-91, INESC, Lisboa, Portugal, 1991.
"Reliable multicasting in high-speed LANs", High-Capacity Local and Metropolitan Area Networks: Springer Berlin Heidelberg, pp. 397–412, 1991.
"The Delta-4 extra performance architecture (XPA)", Fault-Tolerant Computing, 1990. FTCS-20. Digest of Papers., 20th International Symposium: IEEE, pp. 481–488, 1990.
"Formal specification and verification of a network independent atomic multicast protocol", Third International Conference on Formal Description Techniques (FORTE 90), 1990.
"Local support environment: User specification", Relatório Técnico RT/50-90, INESC, Lisboa, Portugal, 1990.
"Amp: A highly parallel atomic multicast protocol", ACM SIGCOMM Computer Communication Review, vol. 19, no. 4: ACM, pp. 83–93, 1989.
Order and synchronism properties of reliable broadcast protocols, : Technical Report RT/66-89, INESC, Lisboa, Portugal, 1989.