On complete representations of algebras of logic. - Mohamed Khaled; Tarek Sayed Ahmed (Log. J. IGPL, 2009)

The free non-commutative cylindric algebras are not atomic. - Mohamed Khaled (Log. J. IGPL, 2017)

First order logic without equality on relativized semantics. - Amitayu Banerjee; Mohamed Khaled (Ann. Pure Appl. Log., 2018)

Distances between Formal Theories. - Mohamed Khaled; Gergely Székely; Koen Lefever; Michèle Friend (Rev. Symb. Log., 2020)

DREAMS: Drilling and Extraction Automated System. - Mohamed Khaled; Srivignesh Srinivasan; Alkassoum Toure; Muhao Chen 002; Emily Kincaid; Thomas Lopaz; Luis Rodriguez; Jessica Ezemba; Ayodeji Adeniran; Teresa Valdez; Uthej Vattipalli; Le Linh; et al. (CoRR, 2021)

Overview of Existing Tools for Extracting Health and Fitness Data from mHealth Apps. - Mohamed Khaled; Mahdi Sareban; Markus Kreuzthaler; Stefan Schulz 001; Rada Hussein (ICIMTH, 2022)

Lane and Bump Detection Based on Computer Vision and Deep Learning Methods. - Ahmed Magdy; Shrouk Abdelfattah; Samia Mohamed; Mohamed Khaled; Mohamed Mahmoud; Mohamed Ashraf; Ahmed H. Eldeib (AISI, 2023)

Towards Automated Regulatory Compliance Verification in Financial Auditing with Large Language Models. - Armin Berger; Lars Hillebrand; David Leonhard; Tobias Deußer; Thiago Bell Felix de Oliveira; Tim Dilmaghani Khameneh; Mohamed Khaled; Bernd Kliem; Rüdiger Loitz; Christian Bauckhage; Rafet Sifa (IEEE Big Data, 2023)

Uncovering Inconsistencies and Contradictions in Financial Reports using Large Language Models. - Tobias Deußer; David Leonhard; Lars Hillebrand; Armin Berger; Mohamed Khaled; Sarah Heiden; Tim Dilmaghani Khameneh; Bernd Kliem; Rüdiger Loitz; Christian Bauckhage; Rafet Sifa (IEEE Big Data, 2023)

Improving Zero-Shot Text Matching for Financial Auditing with Large Language Models. - Lars Hillebrand; Armin Berger; Tobias Deußer; Tim Dilmaghani Khameneh; Mohamed Khaled; Bernd Kliem; Rüdiger Loitz; Maren Pielka; David Leonhard; Christian Bauckhage; Rafet Sifa (DocEng, 2023)

Fine-Tuning Large Language Models for Compliance Checks. - Thiago Bell; David Leonhard; Ali Hamza Bashir; Tim Dilmaghani Khameneh; Mohamed Khaled; Ulrich Warning; Rüdiger Loitz; Sandra Halscheidt; Jana Birr; Armin Berger; Rafet Sifa; David Berghaus (IEEE Big Data, 2024)

Conceptual Distance and Algebras of Concepts. - Mohamed Khaled; Gergely Székely (Rev. Symb. Log., 2025)

Automating Hot-Rolling: Designing an Integrated Mechatronics System for Enhanced Efficiency in Sheet Metal Production. - Mostafa A. Mostafa; Mohamed Khaled; Abdelrahman Ali; Amr Mostafa; Mariam Mohamed; Omar Ahmed; Osama Khalil (CoRR, 2025)

A Version of Predicate Logic with Two Variables That has an Incompleteness Property. - Mohamed Khaled (Stud Logica, 2025)