Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Publicações Confirmadas: 205



41
TÍTULO: MB4CP 2015 Keynote II: Resilience of Cyber-Physical Energy Systems
AUTORES: Paulo Jorge Esteves Veríssimo ;
PUBLICAÇÃO: 2015, FONTE: IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015
INDEXADO EM: DBLP
NO MEU: DBLP
42
TÍTULO: Software-Defined Networking: A Comprehensive Survey
AUTORES: Kreutz, D; Ramos, FMV ; Veríssimo, PE ; Rothenberg, CE; Azodolmolky, S; Uhlig, S;
PUBLICAÇÃO: 2015, FONTE: PROCEEDINGS OF THE IEEE, VOLUME: 103, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 3872
43
TÍTULO: SSIV 2015 Keynote II: From Embedded Systems to Autonomous Cooperating Objects
AUTORES: Paulo Veríssimo ;
PUBLICAÇÃO: 2015, FONTE: IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
44
TÍTULO: SCFS: A Shared Cloud-backed File System
AUTORES: Alysson Neves Bessani ; Ricardo Mendes; Tiago Oliveira; Nuno Ferreira Neves ; Miguel Correia ; Marcelo Pasin; Paulo Veríssimo ;
PUBLICAÇÃO: 2014, FONTE: USENIX ATC
INDEXADO EM: Scopus DBLP
45
TÍTULO: Security made, not perfect, but automatic
AUTORES: Verissimo, P ;
PUBLICAÇÃO: 2014, FONTE: 18th International Workshop Security Protocols in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7061
INDEXADO EM: Scopus
46
TÍTULO: Security made, not perfect, but automatic (transcript of discussion)
AUTORES: Verissimo, P ;
PUBLICAÇÃO: 2014, FONTE: 18th International Workshop Security Protocols in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7061
INDEXADO EM: Scopus
47
TÍTULO: Assumptions: The trojan horses of secure protocols
AUTORES: Verissimo, P ;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Human-Computer Interaction, HCI International 2013 in Communications in Computer and Information Science, VOLUME: 374, NÚMERO: PART II
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
48
TÍTULO: Benchmarking some Portuguese S&T system research units
AUTORES: Francisco M Couto ; Daniel Faria; Bruno Tavares; Pedro Gonçalves; Paulo Veríssimo ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1302.0420
INDEXADO EM: DBLP
49
TÍTULO: BFT-TO: Intrusion Tolerance with Less Replicas
AUTORES: Correia, M ; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER JOURNAL, VOLUME: 56, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
50
TÍTULO: E-biobanking: What Have You Done to My Cell Samples?
AUTORES: Verissimo, PE ; Bessani, A ;
PUBLICAÇÃO: 2013, FONTE: IEEE SECURITY & PRIVACY, VOLUME: 11, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
Página 5 de 21. Total de resultados: 205.

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

Links Úteis

Ajuda

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