Fuzzy Maximum Satisfiability. - Mohamed El Halaby; Areeg Abdalla (INFOS, 2016)

Solving MaxSAT by Successive Calls to a SAT Solver. - Mohamed El Halaby (IntelliSys (1), 2016)

On the Computational Complexity of MaxSAT. - Mohamed El Halaby (Electron. Colloquium Comput. Complex., 2016)

Solving the Course-timetabling Problem of Cairo University Using Max-SAT. - Mohamed El Halaby (CoRR, 2018)

Maximizing the Number of Satisfied L-clauses. - Mohamed El Halaby; Areeg Abdalla (CoRR, 2018)

Characterizing Focused Attention and Working Memory Using EEG. - Zainab Mohamed; Mohamed El Halaby; Tamer Said; Doaa Shawky; Ashraf H. Badawi (Sensors, 2018)

Facilitating Classroom Orchestration Using EEG to Detect the Cognitive States of Learners. - Zainab Mohamed; Mohamed El Halaby; Tamer Said; Doaa Shawky; Ashraf H. Badawi (AMLTA, 2019)

The Application of Unsupervised Clustering Methods to Alzheimer's Disease. - Hany Al Ashwal; Mohamed El Halaby; Jacob J. Crouse; Areeg Abdalla; Ahmed A. Moustafa (Frontiers Comput. Neurosci., 2019)

Feature Selection for the Classification of Alzheimer's Disease Data. - Hany Al Ashwal; Areeg Abdalla; Mohamed El Halaby; Ahmed A. Moustafa (ICSIM, 2020)

Learning the Satisfiability of Ł-clausal Forms. - Mohamed El Halaby; Areeg Abdalla (SAI (2), 2020)

New phase transitions for formulas in Łukasiewicz logic. - Mohamed El Halaby; Areeg Abdalla (Frontiers Comput. Sci., 2020)

The Automatic Detection of Cognition Using EEG and Facial Expressions. - Mohamed El Kerdawy; Mohamed El Halaby; Afnan Hassan; Mohamed Maher; Hatem A. Fayed; Doaa Shawky; Ashraf H. Badawi (Sensors, 2020)