Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
11
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
12
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
13
TITLE: Aortic strain in bicuspid aortic valve: an analysis
AUTHORS: Carlos, T; Freitas, AA; Alves, PM; Martins, R; Goncalves, L;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF CARDIOVASCULAR IMAGING
AUTHORS: Carlos, T; Freitas, AA; Alves, PM; Martins, R; Goncalves, L;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF CARDIOVASCULAR IMAGING
INDEXED IN: 
Scopus 
WOS
Scopus WOS14
TITLE: Woman with CYP19A1 TC/CC genotype have increased susceptibility to infertility development, independently of the cause
AUTHORS: Alves, M; Almeida, M; Oliani, AH; Breitenfeld, L; Ramalhinho, A;
PUBLISHED: 2021, SOURCE: HUMAN REPRODUCTION, VOLUME: 36
AUTHORS: Alves, M; Almeida, M; Oliani, AH; Breitenfeld, L; Ramalhinho, A;
PUBLISHED: 2021, SOURCE: HUMAN REPRODUCTION, VOLUME: 36
INDEXED IN: WOS
WOS15
TITLE: A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities
AUTHORS: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October
AUTHORS: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October
16
TITLE: Super modules-based active QR codes for smart trackability and IoT: a responsive-banknotes case study
AUTHORS: Ramalho, JFCB; Correia, SFH; Fu, LS ; Dias, LMS; Adao, P; Mateus, P; Ferreira, RAS ; Andre, PS ;
PUBLISHED: 2020, SOURCE: NPJ FLEXIBLE ELECTRONICS, VOLUME: 4, ISSUE: 1
AUTHORS: Ramalho, JFCB; Correia, SFH; Fu, LS ; Dias, LMS; Adao, P; Mateus, P; Ferreira, RAS ; Andre, PS ;
PUBLISHED: 2020, SOURCE: NPJ FLEXIBLE ELECTRONICS, VOLUME: 4, ISSUE: 1
17
TITLE: Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL
AUTHORS: Maria Ribeiro; Pedro Adão; Paulo Mateus;
PUBLISHED: 2020, SOURCE: Logic, Language, and Security, VOLUME: 12300 LNCS
AUTHORS: Maria Ribeiro; Pedro Adão; Paulo Mateus;
PUBLISHED: 2020, SOURCE: Logic, Language, and Security, VOLUME: 12300 LNCS
18
TITLE: Advanced MRI Patterns of Muscle Disease in Inherited and Acquired Myopathies: What the Radiologist Should Know
AUTHORS: Antonio Proenca Caetano; Pedro Alves;
PUBLISHED: 2019, SOURCE: SEMINARS IN MUSCULOSKELETAL RADIOLOGY, VOLUME: 23, ISSUE: 3
AUTHORS: Antonio Proenca Caetano; Pedro Alves;
PUBLISHED: 2019, SOURCE: SEMINARS IN MUSCULOSKELETAL RADIOLOGY, VOLUME: 23, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS19
TITLE: Securing Electronic Health Records in the Cloud
AUTHORS: David Martins de Matos; Pardal, ML; Adao, P; Silva, AR ; Correia, M ;
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE WORKSHOP ON PRIVACY BY DESIGN IN DISTRIBUTED SYSTEMS (P2DS'18)
AUTHORS: David Martins de Matos; Pardal, ML; Adao, P; Silva, AR ; Correia, M ;
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE WORKSHOP ON PRIVACY BY DESIGN IN DISTRIBUTED SYSTEMS (P2DS'18)
