Walaa Medhat - Publications, H-index & Citations

Walaa Medhat

Nile University

12H指数

57论文数

3.8K被引数

收录论文 7

发表时间

Formal Verification of Transcompiled Mobile Applications Using First-Order Logic 基于一阶逻辑的转译移动应用程序形式化验证

Technologies 2025, Vol. 13, Page 580

IF3.6

2025-12-11

OAAI

Ahmad Ahmad Muhammad; Mahitap Ayman; Samer A. Elhossany; Walaa Medhat; Sahar Selim; Hala Zayed; Ahmed H. Yousef; Axel Jantsch; Nahla Elaraby

TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking TC-Verifier：基于转换编译器的代码翻译器验证器，采用模型检测技术

Applied System Innovation 2025, Vol. 8, Page 60

IF3.7

2025-08-22

PREAI

Amira T. Mahmoud; Walaa Medhat; Sahar Selim; Hala Zayed; Ahmed H. Yousef; Nahla Elaraby

UniTextFusion: A low-resource framework for Arabic multimodal sentiment analysis using early fusion and LoRA-tuned language models UniTextFusion：一种用于阿拉伯语多模态情感分析的少资源框架，采用早期融合和LoRA调优的语言模型

Ain Shams Engineering Journal

IF5.9

2025-08-20

PREAI

Salma Khaled; Walaa Medhat; Ensaf Hussein Mohamed

Hands-on analysis of using large language models for the auto evaluation of programming assignments

enterprise information systems

IF3.4

2025-02-01

PREAI

Mohamed, Kareem; Yousef, Mina; Medhat, Walaa; Mohamed, Ensaf Hussein; Khoriba, Ghada; Arafa, Tamer

Arabic sarcasm detection: An enhanced fine-tuned language model approach 阿拉伯语讽刺检测: 一种增强的微调语言模型方法

AIN SHAMS ENGINEERING JOURNAL

IF5.9

2024-06-01

OAAI

Galal, Mohamed A.; Yousef, Ahmed Hassan; Zayed, Hala H.; Medhat, Walaa

Big data analytics deep learning techniques and applications: A survey 大数据分析深度学习技术与应用综述

enterprise information systems

IF3.4

2024-02-01

PREAI

Selmy, Hend A.; Mohamed, Hoda K.; Medhat, Walaa

Topic modeling algorithms and applications: A survey

enterprise information systems

IF3.4

2023-02-01

PREAI

Abdelrazek, Aly; Eid, Yomna; Gawish, Eman; Medhat, Walaa; Hassan, Ahmed

研究方向