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