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).
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 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).
The atomic multicast protocol (AMp). Delta-4: A Generic Architecture for Dependable Distributed Computing. 267–294.(1991).
Building generic user interface tools: an experience with multiple inheritance. ACM SIGPLAN Notices. 26, 89–96.(1991).
The delta-4 distributed fault-tolerant architecture. Laboratoire d'Automatique et d'Analyse des Systemes, Report.(1991).
Extending the user interface to the multiuser environment. In ECSCW'91, CSCW Developers Workshop.(1991).
Extra Performance Architecture (XPA). Delta-4: A Generic Architecture for Dependable Distributed Computing. 211–266.(1991).
A framework for the construction of interactive applications. The INESC Journal of Research and Development. 2, 50–71.(1991).
INGRID: An Object Oriented Interface Builder. Fifth International Conference on the Technology of Object-Oriented Language and Systems, Proceedings of the Tools. 91, 291–300.(1991).