Pedro Miguel dos Santos Alves Madeira Adão
AuthID: R-000-EYR
1
TÃTULO: Specification-Driven Generation of Summaries for Symbolic Execution
AUTORES: Rafael Gonçalves; Frederico Ramos; Pedro Adão; José Fragoso Santos;
PUBLICAÇÃO: 2026, FONTE: ESOP (1)
AUTORES: Rafael Gonçalves; Frederico Ramos; Pedro Adão; José Fragoso Santos;
PUBLICAÇÃO: 2026, FONTE: ESOP (1)
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml
AUTORES: João Madeira Pereira; Filipe Marques; Pedro Adão; Hichem Rami Ait El Hara; Léo Andrès; Arthur Carcano; Pierre Chambart; Petar Maksimovic; Nuno Santos; José Fragoso Santos;
PUBLICAÇÃO: 2026, FONTE: TACAS (1)
AUTORES: João Madeira Pereira; Filipe Marques; Pedro Adão; Hichem Rami Ait El Hara; Léo Andrès; Arthur Carcano; Pierre Chambart; Petar Maksimovic; Nuno Santos; José Fragoso Santos;
PUBLICAÇÃO: 2026, FONTE: TACAS (1)
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP3
TÃTULO: PET-CT Imaging in Hypertrophic Cardiomyopathy: A Narrative Review on Risk Stratification and Prognosis Full Text
AUTORES: Marques Alves, Patricia; Goncalves, Lino; Ferreira, Maria Joao;
PUBLICAÇÃO: 2025, FONTE: DIAGNOSTICS, VOLUME: 15, NÚMERO: 2
AUTORES: Marques Alves, Patricia; Goncalves, Lino; Ferreira, Maria Joao;
PUBLICAÇÃO: 2025, FONTE: DIAGNOSTICS, VOLUME: 15, NÚMERO: 2
4
TÃTULO: Molecular imaging in hypertrophic cardiomyopathy: an exploratory study with 2-[18F]FDG and [13N]NH3 Full Text
AUTORES: Ferreira, Maria Joao; Marques Alves, Patricia; Silva, Rodolfo; Gomes, Andreia; Abrunhosa, Antero; Castelo Branco, Miguel; Jaber, Wael; Goncalves, Lino;
PUBLICAÇÃO: 2025, FONTE: EJNMMI RESEARCH, VOLUME: 15, NÚMERO: 1
AUTORES: Ferreira, Maria Joao; Marques Alves, Patricia; Silva, Rodolfo; Gomes, Andreia; Abrunhosa, Antero; Castelo Branco, Miguel; Jaber, Wael; Goncalves, Lino;
PUBLICAÇÃO: 2025, FONTE: EJNMMI RESEARCH, VOLUME: 15, NÚMERO: 1
INDEXADO EM: 
Scopus 
WOS
Scopus WOS5
TÃTULO: SWIPE: DOM-XSS analysis infrastructure
AUTORES: Nuno Sabino; Darion Cassel; Rui Abreu; Pedro Adão; Lujo Bauer; Limin Jia;
PUBLICAÇÃO: 2025
AUTORES: Nuno Sabino; Darion Cassel; Rui Abreu; Pedro Adão; Lujo Bauer; Limin Jia;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP6
TÃTULO: Structuring Security: A Survey of Cybersecurity Ontologies, Semantic Log Processing, and LLMs Application
AUTORES: Bruno Lourenço; Pedro Adão; João F Ferreira; Mario Monteiro Marques; Cátia Vaz;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.16610
AUTORES: Bruno Lourenço; Pedro Adão; João F Ferreira; Mario Monteiro Marques; Cátia Vaz;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.16610
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP7
TÃTULO: Midterm Survival Results of Preserflo in a Real-World Setting
AUTORES: Lima Cabrita, Afonso; Santos, Miguel; Jose, Patricia; Barao, Rafael; Barata, Andre; Pinto, Luis Abegao;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF GLAUCOMA, VOLUME: 33, NÚMERO: 11
AUTORES: Lima Cabrita, Afonso; Santos, Miguel; Jose, Patricia; Barao, Rafael; Barata, Andre; Pinto, Luis Abegao;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF GLAUCOMA, VOLUME: 33, NÚMERO: 11
INDEXADO EM: Scopus WOS
Scopus WOS8
TÃTULO: Enhancing Cybersecurity Curriculum Development: AI-Driven Mapping and Optimization Techniques
AUTORES: Dzurenda, Petr; Ricci, Sara; Sikora, Marek; Stejskal, Michal; Lendak, Imre; Adao, Pedro;
PUBLICAÇÃO: 2024, FONTE: 19th International Conference on Availability, Reliability, and Security (ARES) in 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024
AUTORES: Dzurenda, Petr; Ricci, Sara; Sikora, Marek; Stejskal, Michal; Lendak, Imre; Adao, Pedro;
PUBLICAÇÃO: 2024, FONTE: 19th International Conference on Availability, Reliability, and Security (ARES) in 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024
9
TÃTULO: Web Platform Threats: Automated Detection of Web Security Issues With WPT
AUTORES: Bernardo, Pedro; Veronese, Lorenzo; Valle, Valentino Dalla; Calzavara, Stefano; Squarcina, Marco; Adao, Pedro; Maffei, Matteo;
PUBLICAÇÃO: 2024, FONTE: 33rd USENIX Security Symposium in PROCEEDINGS OF THE 33RD USENIX SECURITY SYMPOSIUM, SECURITY 2024
AUTORES: Bernardo, Pedro; Veronese, Lorenzo; Valle, Valentino Dalla; Calzavara, Stefano; Squarcina, Marco; Adao, Pedro; Maffei, Matteo;
PUBLICAÇÃO: 2024, FONTE: 33rd USENIX Security Symposium in PROCEEDINGS OF THE 33RD USENIX SECURITY SYMPOSIUM, SECURITY 2024
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP10
TÃTULO: Normativity: An Overview of the Field and the Contributions of This Book
AUTORES: Pedro S Alves; Panos Theodorou; Anna Irene Baka;
PUBLICAÇÃO: 2024, FONTE: Contributions To Phenomenology, VOLUME: 133
AUTORES: Pedro S Alves; Panos Theodorou; Anna Irene Baka;
PUBLICAÇÃO: 2024, FONTE: Contributions To Phenomenology, VOLUME: 133
INDEXADO EM: Scopus
Scopus