Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
11
TITLE: Design and construction of polyaromatic group containing Cd(II)-based coordination polymers for solvent-free Strecker-type cyanation of acetals Full Text
AUTHORS: Karmakar, Anirban; Paul, Anup; Santos, Pedro M. R.; Santos, Ines R. M.; Guedes da Silva, M. Fatima C.; Pombeiro, Armando J. L.;
PUBLISHED: 2022, SOURCE: NEW JOURNAL OF CHEMISTRY, VOLUME: 46, ISSUE: 21
AUTHORS: Karmakar, Anirban; Paul, Anup; Santos, Pedro M. R.; Santos, Ines R. M.; Guedes da Silva, M. Fatima C.; Pombeiro, Armando J. L.;
PUBLISHED: 2022, SOURCE: NEW JOURNAL OF CHEMISTRY, VOLUME: 46, ISSUE: 21
INDEXED IN: 
Scopus 
WOS
Scopus WOS12
TITLE: Concolic Execution for WebAssembly
AUTHORS: Filipe Marques; José Fragoso Santos; Nuno Santos; Pedro Adão;
PUBLISHED: 2022, SOURCE: 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
AUTHORS: Filipe Marques; José Fragoso Santos; Nuno Santos; Pedro Adão;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP13
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
DBLP14
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: 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
AUTHORS: Eduard Pinconschi; Quang Cuong Bui; Rui Abreu; Pedro Adão; Riccardo Scandariato;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP15
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
16
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 WOS17
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
WOS18
TITLE: Smart Specialisation Strategies and Regional Convergence: Spanish Extremadura after a Period of Divergence
AUTHORS: Madeira, PM; Vale, M; Mora Aliseda, J;
PUBLISHED: 2021, SOURCE: ECONOMIES, VOLUME: 9, ISSUE: 4
AUTHORS: Madeira, PM; Vale, M; Mora Aliseda, J;
PUBLISHED: 2021, SOURCE: ECONOMIES, VOLUME: 9, ISSUE: 4
INDEXED IN: Scopus WOS
Scopus WOS19
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
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP20
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 - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, VOLUME: 12300
AUTHORS: Maria Ribeiro; Pedro Adão; Paulo Mateus;
PUBLISHED: 2020, SOURCE: Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, VOLUME: 12300
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP