Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
21
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 WOS22
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
WOS23
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
24
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
25
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, VOLUME: 12300 LNCS
AUTORES: Maria Ribeiro; Pedro Adão; Paulo Mateus;
PUBLICAÇÃO: 2020, FONTE: Logic, Language, and Security, VOLUME: 12300 LNCS
26
TÃTULO: Advanced MRI Patterns of Muscle Disease in Inherited and Acquired Myopathies: What the Radiologist Should Know
AUTORES: Antonio Proenca Caetano; Pedro Alves;
PUBLICAÇÃO: 2019, FONTE: SEMINARS IN MUSCULOSKELETAL RADIOLOGY, VOLUME: 23, NÚMERO: 3
AUTORES: Antonio Proenca Caetano; Pedro Alves;
PUBLICAÇÃO: 2019, FONTE: SEMINARS IN MUSCULOSKELETAL RADIOLOGY, VOLUME: 23, NÚMERO: 3
INDEXADO EM: Scopus WOS
Scopus WOS27
TÃTULO: Securing Electronic Health Records in the Cloud
AUTORES: David Martins de Matos; Pardal, ML; Adao, P; Silva, AR ; Correia, M ;
PUBLICAÇÃO: 2015, FONTE: PROCEEDINGS OF THE WORKSHOP ON PRIVACY BY DESIGN IN DISTRIBUTED SYSTEMS (P2DS'18)
AUTORES: David Martins de Matos; Pardal, ML; Adao, P; Silva, AR ; Correia, M ;
PUBLICAÇÃO: 2015, FONTE: PROCEEDINGS OF THE WORKSHOP ON PRIVACY BY DESIGN IN DISTRIBUTED SYSTEMS (P2DS'18)
29
TÃTULO: Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete
AUTORES: Adao, P; Mateus, P; Vigano, L;
PUBLICAÇÃO: 2013, FONTE: Theoretical Computer Science
AUTORES: Adao, P; Mateus, P; Vigano, L;
PUBLICAÇÃO: 2013, FONTE: Theoretical Computer Science
INDEXADO EM: Scopus
Scopus30
TÃTULO: ACARI COLONIZATION OF QUERCUS-SUBER AND EUCALYPTUS-GLOBULUS LITTER
AUTORES: SERRALHEIRO, F; MADEIRA, M;
PUBLICAÇÃO: 1991, FONTE: 8TH INTERNATIONAL CONGRESS OF ACAROLOGY in MODERN ACAROLOGY, VOLS 1 AND 2
AUTORES: SERRALHEIRO, F; MADEIRA, M;
PUBLICAÇÃO: 1991, FONTE: 8TH INTERNATIONAL CONGRESS OF ACAROLOGY in MODERN ACAROLOGY, VOLS 1 AND 2
INDEXADO EM: WOS
WOS