logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Alexandra Mendes

universidade do porto

9H指数
79论文数
341被引数
收录论文 10
发表时间
logo
Software Testing Education and Industry Needs- Report from the ENACTEST EU Project软件测试教育与行业需求——来自ENACTEST欧盟项目的报告
errPRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT. INDUSTRY, DOCTORAL-SYMPOSIUM, TUTORIAL, AND WORKSHOP PAPERS, PROFES 2025
IF0
err2026-01-01
err0
PREAI
errSaadatmand, Mehrdad; Khan, Abbas; Marin, Beatriz; Paiva, Ana C. R.; Van Asch, Nele; Moran, Graham; Cammaerts, Felix; Snoeck, Monique; Mendes, Alexandra
err分享
err收藏
Are Users More Willing to Use Formally Verified Password Managers?用户是否更愿意使用形式化验证的密码管理器？
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errCarreira, Carolina; Ferreira, Joao F.; Mendes, Alexandra; Christin, Nicolas
err分享
err收藏
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny大型语言模型能帮助学生证明软件正确性吗？——一项基于Dafny的实验研究
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errCarreira, Carolina; Silva, Alvaro; Abreu, Alexandre; Mendes, Alexandra
err分享
err收藏
Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs基于LLMs的Dafny程序算术错误规范引导修复
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errWu, Valentina; Mendes, Alexandra; Abreu, Alexandre
err分享
err收藏
Teachers’ Perspective on Software Testing Education教师对软件测试教育的看法
errACM Transactions on Computing Education
IF3.8
err2025-12-16
err0
errOAAI
errAnna Rita Fasolino; Beatriz MarÍn; Tanja E. J. Vos; Alexandra Mendes; Ana C. R. Paiva; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Porfirio Tramontana
err分享
err收藏
Hepatitis E virus prevalence among HIV-2 infected individuals in central Portugal
errEUROPEAN JOURNAL OF CLINICAL MICROBIOLOGY & INFECTIOUS DISEASES
IF3
err2024-10-12
err0
PREAI
errPereira-Vaz, Joao; Carmo, Analia; Duque, Vitor; Luxo, Cristina; Alves, Ana; Mendes, Alexandra; Morais, Celia; Gaspar, Claudio; Costa, Raquel; Correia, Lurdes; Rodrigues, Fernando; Matos, Ana
err分享
err收藏
Clearance and persistence of SARS-CoV-2 RNA in patients with COVID-19新型冠状病毒肺炎患者SARS-CoV-2 RNA的清除和持久性
errJOURNAL OF MEDICAL VIROLOGY
IF4.6
err2020-06-19
err84
errOAAI
errCarmo, Analia; Pereira-Vaz, Joao; Mota, Vanda; Mendes, Alexandra; Morais, Celia; da Silva, Andreia Coelho; Camilo, Elisabete; Pinto, Catarina Silva; Cunha, Elizabete; Pereira, Janet; Coucelo, Margarida; Martinho, Patricia; Correia, Lurdes; Marques, Gilberto; Araujo, Lucilia; Rodrigues, Fernando
err分享
err收藏
Anti-SSA52 antibodies - A retrospective study on clinical significance from a tertiary hospital
errCLINICA CHIMICA ACTA
IF2.9
err2019-06-01
err0
PREAI
errQueiroz, C.; Maresch, A.; Monteiro, R.; Cunha, R.; Mendes, A.; Rodrigues, F.
err分享
err收藏
Antinucleolar antibodies and KI-67-A retrospective study on clinical significance
errCLINICA CHIMICA ACTA
IF2.9
err2019-06-01
err0
PREAI
errMaresch, A.; Queiroz, C.; Monteiro, R.; Mendes, A.; Cunha, R.; Pego, J.; Rodrigues, F.
err分享
err收藏
Preliminary study of the prevalence of hepatitis E virus infection in liver transplant recipients in Portugal
errJOURNAL OF CLINICAL VIROLOGY
IF3.4
err2016-09-01
err0
PREAI
errPereira-Vaz, J.; Correia, L.; Ferreira, S.; Goncalves, C.; Vaz, A.; Mendes, A.; Morais, C.; Mota, V.; Goncalves, I.; Pereira, H.; Rodrigues, F.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
N
Nicolas Christin
H 指数: 51 · 论文数: 229
F
Fernando Rodrigues
H 指数: 47 · 论文数: 192
S
Sandra Roberta G. Ferreira
H 指数: 42 · 论文数: 331
R
Robson Q. Monteiro
H 指数: 38 · 论文数: 160
A
Ana Rita Matos
H 指数: 34 · 论文数: 168
查看更多