Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
11
TÃTULO: Detection of iridocorneal angle changes after uncomplicated phacoemulsification using automated gonioscopy imaging
AUTORES: Santos, Miguel; Lima Cabrita, Afonso; Barao, Rafael; Abegao Pinto, Luis;
PUBLICAÇÃO: 2024, FONTE: SAUDI JOURNAL OF OPHTHALMOLOGY, VOLUME: 38, NÚMERO: 4
AUTORES: Santos, Miguel; Lima Cabrita, Afonso; Barao, Rafael; Abegao Pinto, Luis;
PUBLICAÇÃO: 2024, FONTE: SAUDI JOURNAL OF OPHTHALMOLOGY, VOLUME: 38, NÚMERO: 4
INDEXADO EM: 
Scopus 
WOS
Scopus WOS12
TÃTULO: Toward Tool-Independent Summaries for Symbolic Execution (Artifact)
AUTORES: Frederico Ramos; Nuno Sabino; Pedro Adão; David A Naumann; José Fragoso Santos;
PUBLICAÇÃO: 2023, FONTE: Dagstuhl Artifacts Ser., VOLUME: 9, NÚMERO: 2
AUTORES: Frederico Ramos; Nuno Sabino; Pedro Adão; David A Naumann; José Fragoso Santos;
PUBLICAÇÃO: 2023, FONTE: Dagstuhl Artifacts Ser., VOLUME: 9, NÚMERO: 2
INDEXADO EM: Scopus 
DBLP
Scopus DBLP NO MEU: DBLP
DBLP13
TÃTULO: Toward Tool-Independent Summaries for Symbolic Execution
AUTORES: Frederico Ramos; Nuno Sabino; Pedro Adão; David A Naumann; José Fragoso Santos;
PUBLICAÇÃO: 2023, FONTE: ECOOP
AUTORES: Frederico Ramos; Nuno Sabino; Pedro Adão; David A Naumann; José Fragoso Santos;
PUBLICAÇÃO: 2023, FONTE: ECOOP
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP14
TÃTULO: Cookie Crumbles: Breaking and Fixing Web Session Integrity
AUTORES: Squarcina, Marco; Adao, Pedro; Veronese, Lorenzo; Maffei, Matteo;
PUBLICAÇÃO: 2023, FONTE: 32nd USENIX Security Symposium in PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM
AUTORES: Squarcina, Marco; Adao, Pedro; Veronese, Lorenzo; Maffei, Matteo;
PUBLICAÇÃO: 2023, FONTE: 32nd USENIX Security Symposium in PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM
INDEXADO EM: WOS DBLP
WOS DBLP NO MEU: DBLP
DBLP15
TÃTULO: Cookie Crumbles: Breaking and Fixing Web Session Integrity
AUTORES: Marco Squarcina; Pedro Adão; Lorenzo Veronese; Matteo Maffei;
PUBLICAÇÃO: 2023, FONTE: 32nd USENIX Security Symposium, USENIX Security 2023 in 32nd USENIX Security Symposium, USENIX Security 2023, VOLUME: 8
AUTORES: Marco Squarcina; Pedro Adão; Lorenzo Veronese; Matteo Maffei;
PUBLICAÇÃO: 2023, FONTE: 32nd USENIX Security Symposium, USENIX Security 2023 in 32nd USENIX Security Symposium, USENIX Security 2023, VOLUME: 8
INDEXADO EM: Scopus
Scopus16
TÃTULO: Atrial Mechanics in Hypertrophic Cardiomyopathy: Discriminating between Ventricular Hypertrophy and Fibrosis Full Text
AUTORES: Marques Alves, P; Ferreira, JA; Freitas, AA; Almeida, JP; Baptista, R; Castro, G; Martins, R; Donato, P; Ferreira, MJ; Goncalves, L;
PUBLICAÇÃO: 2022, FONTE: ARQUIVOS BRASILEIROS DE CARDIOLOGIA, VOLUME: 118, NÚMERO: 1
AUTORES: Marques Alves, P; Ferreira, JA; Freitas, AA; Almeida, JP; Baptista, R; Castro, G; Martins, R; Donato, P; Ferreira, MJ; Goncalves, L;
PUBLICAÇÃO: 2022, FONTE: ARQUIVOS BRASILEIROS DE CARDIOLOGIA, VOLUME: 118, NÚMERO: 1
INDEXADO EM: Scopus WOS
Scopus WOS17
TÃTULO: Concolic Execution for WebAssembly
AUTORES: Filipe Marques; José Fragoso Santos; Nuno Santos; Pedro Adão;
PUBLICAÇÃO: 2022, FONTE: ECOOP, VOLUME: 222
AUTORES: Filipe Marques; José Fragoso Santos; Nuno Santos; Pedro Adão;
PUBLICAÇÃO: 2022, FONTE: ECOOP, VOLUME: 222
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP18
TÃTULO: Concolic Execution for WebAssembly (Artifact)
AUTORES: Filipe Marques; José Fragoso Santos; Nuno Santos; Pedro Adão;
PUBLICAÇÃO: 2022, FONTE: Dagstuhl Artifacts Ser., VOLUME: 8, NÚMERO: 2
AUTORES: Filipe Marques; José Fragoso Santos; Nuno Santos; Pedro Adão;
PUBLICAÇÃO: 2022, FONTE: Dagstuhl Artifacts Ser., VOLUME: 8, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP19
TÃTULO: Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities
AUTORES: Eduard Pinconschi; Quang Cuong Bui; Rui Abreu ; Pedro Adão; Riccardo Scandariato;
PUBLICAÇÃO: 2022, FONTE: ISSTA
AUTORES: Eduard Pinconschi; Quang Cuong Bui; Rui Abreu ; Pedro Adão; Riccardo Scandariato;
PUBLICAÇÃO: 2022, FONTE: ISSTA
20
TÃTULO: Enhancing optimization planning models for health human resources management with foresight Full Text
AUTORES: Amorim Lopes, M ; Oliveira, M; Raposo, M; Cardoso Grilo, T; Alvarenga, A; Barbas, M; Alves, M; Vieira, A; Barbosa Povoa, A ;
PUBLICAÇÃO: 2021, FONTE: OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, VOLUME: 103
AUTORES: Amorim Lopes, M ; Oliveira, M; Raposo, M; Cardoso Grilo, T; Alvarenga, A; Barbas, M; Alves, M; Vieira, A; Barbosa Povoa, A ;
PUBLICAÇÃO: 2021, FONTE: OMEGA-INTERNATIONAL JOURNAL OF MANAGEMENT SCIENCE, VOLUME: 103
