The Delta-4 extra performance architecture (XPA). Fault-Tolerant Computing, 1990. FTCS-20. Digest of Papers., 20th International Symposium. 481–488.(1990).
Design of fault tolerant distributed systems: the fail-controlled approach. Proceedings of the 4th workshop on ACM SIGOPS European workshop. 1–4.(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).
Real-time data management with clock-less reliable broadcast protocols. Management of Replicated Data, 1990. Proceedings., Workshop on the. 20–24.(1990).
Reliable broadcast for fault-tolerance on local computer networks. Reliable Distributed Systems, 1990. Proceedings., Ninth Symposium on. 54–63.(1990).
Amp: A highly parallel atomic multicast protocol. ACM SIGCOMM Computer Communication Review. 19, 83–93.(1989).
Confiança no funcionamento: Proposta para uma terminologia em português. Publicação conjunta INESC e LCMI/UFSC.(1989).
Protection and versioning for OCT. Proceedings of the 26th ACM/IEEE Design Automation Conference. 264–269.(1989).
Software integration in SOMIW: Goals, accomplishments, and problems. Esprit'89, 6th Annual Esprit Conf..(1989).
The distributed operating system of the SMD project. Software: Practice and Experience. 18, 859–877.(1988).
Images-An Approach to an Object Oriented UIMS. Proceedings of the Autumn 1988 EUUG Conference.(1988).
Redundant media mechanisms for dependable communication in token-bus LANs. Local Computer Networks, 1988., Proceedings of the 13th Conference on. 453–462.(1988).