Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 205



191
TITLE: Group orientation. a paradigm for modern distributed systems
AUTHORS: Paulo Veríssimo ; Luís Rodrigues ;
PUBLISHED: 1992, SOURCE: Proceedings of the 5th workshop on ACM SIGOPS European workshop Models and paradigms for distributed systems structuring - EW 5
INDEXED IN: CrossRef
192
TITLE: Group orientation: a paradigm for distributed systems of the nineties
AUTHORS: Paulo Verissimo ; Luis Rodrigues ;
PUBLISHED: 1992, SOURCE: Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems in Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems
INDEXED IN: Scopus
IN MY: ORCID
193
TITLE: Group orientation: a paradigm for modern distributed systems
AUTHORS: Paulo Veríssimo ; Luís E T Rodrigues ;
PUBLISHED: 1992, SOURCE: ACM SIGOPS European Workshop
INDEXED IN: Scopus DBLP
194
TITLE: Requirements for high performance group support in distributed systems
AUTHORS: Werner Vogels; Paulo Veríssimo ; Luís E T Rodrigues ;
PUBLISHED: 1992, SOURCE: ACM SIGOPS European Workshop
INDEXED IN: Scopus DBLP CrossRef: 1
195
TITLE: XAMP - A MULTIPRIMITIVE GROUP COMMUNICATIONS SERVICE
AUTHORS: RODRIGUES, L ; VERISSIMO, P ;
PUBLISHED: 1992, SOURCE: 11TH SYMP ON RELIABLE DISTRIBUTED SYSTEMS in 11TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS : PROCEEDINGS
INDEXED IN: WOS DBLP CrossRef: 24
196
TITLE: Reliable Multicasting in High-speed LANs
AUTHORS: Paulo Veríssimo ; Luís Rodrigues ;
PUBLISHED: 1991, SOURCE: High-Capacity Local and Metropolitan Area Networks
INDEXED IN: CrossRef
197
TITLE: Design of fault tolerant distributed systems: the fail-controlled approach. the fail-controlled approach
AUTHORS: Paulo Veríssimo ;
PUBLISHED: 1990, SOURCE: Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990
INDEXED IN: DBLP CrossRef
IN MY: DBLP
198
TITLE: Experience with the AMp group communication system: Current status
AUTHORS: Paulo Verissimo ;
PUBLISHED: 1990, SOURCE: Proceedings - Second IEEE Workshop on Experimental Distributed Systems
INDEXED IN: Scopus
IN MY: ORCID
199
TITLE: Formal Specification and Verification of a Network Independent Atomic Multicast Protocol
AUTHORS: Mário Baptista; Susanne Graf; Jean Luc Richier; Luís E T Rodrigues ; Carlos Rodríguez; Paulo Veríssimo ; Jacques Voiron;
PUBLISHED: 1990, SOURCE: FORTE
INDEXED IN: DBLP
200
TITLE: Real-time data management with clock-less reliable broadcast protocols
AUTHORS: Paulo Verissimo ;
PUBLISHED: 1990, SOURCE: 1990 Workshop on the Management of Replicated Data in Proceedings - Workshop on the Management of Replicated Data
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Page 20 of 21. Total results: 205.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service