Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
11
TÃTULO: Concolic Execution for WebAssembly
AUTORES: Filipe Marques; José Fragoso Santos; Nuno Santos; Pedro Adão;
PUBLICAÇÃO: 2022, FONTE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222
AUTORES: Filipe Marques; José Fragoso Santos; Nuno Santos; Pedro Adão;
PUBLICAÇÃO: 2022, FONTE: 36th European Conference on Object-Oriented Programming, ECOOP 2022 in 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., VOLUME: 222
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: DBLP
DBLP12
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
DBLP13
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: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2022 in ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022
AUTORES: Eduard Pinconschi; Quang Cuong Bui; Rui Abreu; Pedro Adão; Riccardo Scandariato;
PUBLICAÇÃO: 2022, FONTE: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2022 in ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022
14
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
15
TÃTULO: Aortic strain in bicuspid aortic valve: an analysis
AUTORES: Carlos, T; Freitas, AA; Alves, PM; Martins, R; Goncalves, L;
PUBLICAÇÃO: 2021, FONTE: INTERNATIONAL JOURNAL OF CARDIOVASCULAR IMAGING
AUTORES: Carlos, T; Freitas, AA; Alves, PM; Martins, R; Goncalves, L;
PUBLICAÇÃO: 2021, FONTE: INTERNATIONAL JOURNAL OF CARDIOVASCULAR IMAGING
INDEXADO EM: Scopus 
WOS
Scopus WOS16
TÃTULO: Woman with CYP19A1 TC/CC genotype have increased susceptibility to infertility development, independently of the cause
AUTORES: Alves, M; Almeida, M; Oliani, AH; Breitenfeld, L; Ramalhinho, A;
PUBLICAÇÃO: 2021, FONTE: HUMAN REPRODUCTION, VOLUME: 36
AUTORES: Alves, M; Almeida, M; Oliani, AH; Breitenfeld, L; Ramalhinho, A;
PUBLICAÇÃO: 2021, FONTE: HUMAN REPRODUCTION, VOLUME: 36
INDEXADO EM: WOS
WOS17
TÃTULO: A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities
AUTORES: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLICAÇÃO: 2021, FONTE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October
AUTORES: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLICAÇÃO: 2021, FONTE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October
18
TÃTULO: Super modules-based active QR codes for smart trackability and IoT: a responsive-banknotes case study
AUTORES: Ramalho, JFCB; Correia, SFH; Fu, LS; Dias, LMS; Adao, P; Mateus, P; Ferreira, RAS; Andre, PS;
PUBLICAÇÃO: 2020, FONTE: NPJ FLEXIBLE ELECTRONICS, VOLUME: 4, NÚMERO: 1
AUTORES: Ramalho, JFCB; Correia, SFH; Fu, LS; Dias, LMS; Adao, P; Mateus, P; Ferreira, RAS; Andre, PS;
PUBLICAÇÃO: 2020, FONTE: NPJ FLEXIBLE ELECTRONICS, VOLUME: 4, NÚMERO: 1
19
TÃTULO: Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
AUTORES: Ribeiro, M; Adão, P; Mateus, P;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12300 LNCS
AUTORES: Ribeiro, M; Adão, P; Mateus, P;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12300 LNCS
20
TÃTULO: Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
AUTORES: Maria Ribeiro; Pedro Adão; Paulo Mateus;
PUBLICAÇÃO: 2020, FONTE: Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, VOLUME: 12300
AUTORES: Maria Ribeiro; Pedro Adão; Paulo Mateus;
PUBLICAÇÃO: 2020, FONTE: Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, VOLUME: 12300
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP