Mohamed Khaled

18 papers B 4Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Version of Predicate Logic with Two Variables That has an Incompleteness Property.
Stud Logica
Mohamed Khaled
2025 J jnl
Automating Hot-Rolling: Designing an Integrated Mechatronics System for Enhanced Efficiency in Sheet Metal Production.
CoRR
Mostafa A. Mostafa, Mohamed Khaled, Abdelrahman Ali, Amr Mostafa, Mariam Mohamed, Omar Ahmed, Osama Khalil
2025 J jnl
Conceptual Distance and Algebras of Concepts.
Rev. Symb. Log.
Mohamed Khaled, Gergely Székely
2025 J jnl
FPGA-based Lane Detection System incorporating Temperature and Light Control Units.
CoRR
Ibrahim Qamar, Saber Mahmoud, Seif Megahed, Mohamed Khaled, Saleh Hesham, Ahmed Matar, Saif Gebril, Mervat M. A. Mahmoud
2025 — conf
Pure-Hardware YOLO-Inference via FPGAs.
ICECS
Mohamed Khaled, Seif Megahed, Saleh Sharouk, Ibrahim M. Qamar, Saif Gebril, Ahmed Matar, Saber Mahmoud, Mervat M. A. Mahmoud
2025 J jnl
Towards Automated Regulatory Compliance Verification in Financial Auditing with Large Language Models.
CoRR
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
2024 B conf
Fine-Tuning Large Language Models for Compliance Checks.
IEEE Big Data
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
2023 B conf
Improving Zero-Shot Text Matching for Financial Auditing with Large Language Models.
DocEng
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
2023 J jnl
Improving Zero-Shot Text Matching for Financial Auditing with Large Language Models.
CoRR
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
2023 — conf
Lane and Bump Detection Based on Computer Vision and Deep Learning Methods.
AISI
Ahmed Magdy, Shrouk Abdelfattah, Samia Mohamed, Mohamed Khaled, Mohamed Mahmoud, Mohamed Ashraf, Ahmed H. Eldeib
2023 B conf
Towards Automated Regulatory Compliance Verification in Financial Auditing with Large Language Models.
IEEE Big Data
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
2023 B conf
Uncovering Inconsistencies and Contradictions in Financial Reports using Large Language Models.
IEEE Big Data
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
2022 — conf
Overview of Existing Tools for Extracting Health and Fitness Data from mHealth Apps.
ICIMTH
Mohamed Khaled, Mahdi Sareban, Markus Kreuzthaler, Stefan Schulz, Rada Hussein
2021 J jnl
DREAMS: Drilling and Extraction Automated System.
CoRR
Mohamed Khaled, Srivignesh Srinivasan, Alkassoum Toure, Muhao Chen, Emily Kincaid, Thomas Lopaz, Luis Rodriguez, Jessica Ezemba, Ayodeji Adeniran, Teresa Valdez, Uthej Vattipalli, Le Linh, Ahmed Madi, Eduardo Gildin, Robert E. Skelton, Sam Noynaert, George Moridis
2020 J jnl
Distances between Formal Theories.
Rev. Symb. Log.
Mohamed Khaled, Gergely Székely, Koen Lefever, Michèle Friend
2018 J jnl
First order logic without equality on relativized semantics.
Ann. Pure Appl. Log.
Amitayu Banerjee, Mohamed Khaled
2017 J jnl
The free non-commutative cylindric algebras are not atomic.
Log. J. IGPL
Mohamed Khaled
2009 J jnl
On complete representations of algebras of logic.
Log. J. IGPL
Mohamed Khaled, Tarek Sayed Ahmed