logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
T

Technical University of Vienna

Scholars4
Papers4
Citations0
Related Papers (4)
Publication Date
delete
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
errShare
errSave
Turbulence anisotropy modulation in bubble-laden channel flow: A numerical study
errInternational Journal of Multiphase Flow
IF3.8
err2025-10-30
err0
errOAAI
errDavide Procacci; Arturo A. Arosemena; Simone Di Giorgio; Jannike Solsvik
errShare
errSave
TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking
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
errShare
errSave
Ensuring Zero Trust in GDPR-Compliant Deep Federated Learning Architecture
errcomputers
IF0
err2025-08-05
err0
errOAAI
errZahra Abbas; Sunila Fatima Ahmad; Adeel Anjum; Madiha Haider Syed; Saif Ur Rehman Malik; Semeen Rehman
errShare
errSave