Pedro Alexandre Guimarães Lobo Ferreira Souto


AuthID: R-000-EN8

Publicações Confirmadas: 45



41
TÍTULO: A reliability evaluation of a group membership protocol
AUTORES: Valerio Rosset; Pedro F Souto ; Paulo Portugal ; Francisco Vasques ;
PUBLICAÇÃO: 2007, FONTE: 26th International Conference on Computer Safety, Reliability and Security in COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, VOLUME: 4680
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
42
TÍTULO: Formal verification of a group membership protocol using model checking
AUTORES: Rosset, V; Souto, PF ; Vasques, R ;
PUBLICAÇÃO: 2007, FONTE: OTM Confederated International Conference and Workshop in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS, VOLUME: 4803, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID
43
TÍTULO: Real-Time Communication in IEEE 802.11 Networks: Timing Analysis and a Ring Management Scheme for the VTP-CSMA Architecture
AUTORES: Ricardo Moraes; Paulo Portugal ; Stefano Vitturi; Francisco Vasques ; Pedro F Souto ;
PUBLICAÇÃO: 2007, FONTE: 32nd IEEE Conference on Local Computer Networks, LCN 2007 in 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 15-18 October 2007, Clontarf Castle, Dublin, Ireland, Proceedings
INDEXADO EM: Scopus DBLP CrossRef: 4 Handle
44
TÍTULO: A group membership protocol for communication systems with both static and dynamic scheduling
AUTORES: Rosset, V; Souto, PF ; Vasques, F ;
PUBLICAÇÃO: 2006, FONTE: WFCS 2006: 2006 IEEE International Workshop on Factory Communication Systems in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS
INDEXADO EM: Scopus CrossRef: 7 Handle
NO MEU: ORCID
45
TÍTULO: XML scheme for specification of security policies
AUTORES: Pedro Monteiro; Joao Vila Verde; Pedro Souto ;
PUBLICAÇÃO: 2006, FONTE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, VOLUME: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID
Página 5 de 5. Total de resultados: 45.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service