Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



201
TITLE: ENFORCING REAL-TIME BEHAVIOR ON LAN-BASED PROTOCOLS
AUTHORS: VERISSIMO, P ; RUFINO, J; RODRIGUES, L ;
PUBLISHED: 1992, SOURCE: 10TH WORKSHOP ON DISTRIBUTED COMPUTER CONTROL SYSTEMS in DISTRIBUTED COMPUTER CONTROL SYSTEMS 1991: TOWARDS DISTRIBUTED REAL-TIME SYSTEMS WITH PREDICTABLE TIMING PROPERTIES, VOLUME: 1992
INDEXED IN: WOS
202
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
203
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
204
TITLE: Group orientation: a paradigm for modern distributed systems
AUTHORS: Paulo Veríssimo ; Luís Rodrigues ;
PUBLISHED: 1992, SOURCE: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992
INDEXED IN: DBLP
IN MY: DBLP
205
TITLE: Requirements for high performance group support in distributed systems
AUTHORS: Werner Vogels; Paulo Veríssimo ; Luís Rodrigues ;
PUBLISHED: 1992, SOURCE: 5th ACM SIGOPS European Workshop on Models and Paradigms for Distributed Systems Structuring, EW 1992 in Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
206
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
IN MY: DBLP
207
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
208
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
209
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
210
TITLE: Formal Specification and Verification of a Network Independent Atomic Multicast Protocol
AUTHORS: Baptista, M; Susanne Graf; Jean Luc Richier; Luís Rodrigues ; Carlos Rodriguez; Paulo Veríssimo ; Jacques Voiron;
PUBLISHED: 1990, SOURCE: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990
INDEXED IN: DBLP
IN MY: DBLP
Page 21 of 22. Total results: 216.

A place for researchers and their institutions

Useful Links

Get Help

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