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

Nahla Elaraby

Technical University of Vienna

5H指数
21论文数
69被引数
收录论文 3
发表时间
logo
Formal Verification of Transcompiled Mobile Applications Using First-Order Logic基于一阶逻辑的转译移动应用程序形式化验证
errTechnologies 2025, Vol. 13, Page 580
IF3.6
err2025-12-11
err0
errOAAI
errAhmad Ahmad Muhammad; Mahitap Ayman; Samer A. Elhossany; Walaa Medhat; Sahar Selim; Hala Zayed; Ahmed H. Yousef; Axel Jantsch; Nahla Elaraby
err分享
err收藏
TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-CheckingTC-Verifier：基于转换编译器的代码翻译器验证器，采用模型检测技术
errApplied System Innovation 2025, Vol. 8, Page 60
IF3.7
err2025-08-22
err0
PREAI
errAmira T. Mahmoud; Walaa Medhat; Sahar Selim; Hala Zayed; Ahmed H. Yousef; Nahla Elaraby
err分享
err收藏
Towards Efficient Memory Architectures: Low-Power Noise-Immune RRAM面向高效内存架构：低功耗抗噪声RRAM
errENERGIES
IF3.2
err2024-12-17
err0
errOAAI
errEdward, Nermine M.; Hamed, Sahar M.; Anis, Wagdy R.; Elaraby, Nahla
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Axel Jantsch
H 指数: 41 · 论文数: 553
A
Ahmed H. Yousef
H 指数: 31 · 论文数: 187
H
Hala H. Zayed
H 指数: 20 · 论文数: 90
W
Wagdy R. Anis
H 指数: 16 · 论文数: 132
W
Walaa Medhat
H 指数: 12 · 论文数: 57
查看更多