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