Mohamed El Halaby

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 14

Top Topics

Maximum Satisfiability

Timetabling Problem

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Hany Al Ashwal, Areeg Abdalla, Mohamed El Halaby, Ahmed A. Moustafa
Feature Selection for the Classification of Alzheimer's Disease Data. ICSIM (2020)
Mohamed El Halaby, Areeg Abdalla
New phase transitions for formulas in Łukasiewicz logic. Frontiers Comput. Sci. 14 (6) (2020)
Mohamed El Halaby, Areeg Abdalla
Learning the Satisfiability of Ł-clausal Forms. SAI (2) (2020)
Mohamed El Kerdawy, Mohamed El Halaby, Afnan Hassan, Mohamed Maher, Hatem A. Fayed, Doaa Shawky, Ashraf H. Badawi
The Automatic Detection of Cognition Using EEG and Facial Expressions. Sensors 20 (12) (2020)
Zainab Mohamed, Mohamed El Halaby, Tamer Said, Doaa Shawky, Ashraf H. Badawi
Facilitating Classroom Orchestration Using EEG to Detect the Cognitive States of Learners. AMLTA (2019)
Hany Al Ashwal, Mohamed El Halaby, Jacob J. Crouse, Areeg Abdalla, Ahmed A. Moustafa
The Application of Unsupervised Clustering Methods to Alzheimer's Disease. Frontiers Comput. Neurosci. 13 (2019)
Mohamed El Halaby
Solving the Course-timetabling Problem of Cairo University Using Max-SAT. CoRR (2018)
Zainab Mohamed, Mohamed El Halaby, Tamer Said, Doaa Shawky, Ashraf H. Badawi
Characterizing Focused Attention and Working Memory Using EEG. Sensors 18 (11) (2018)
Mohamed El Halaby, Areeg Abdalla
Maximizing the Number of Satisfied L-clauses. CoRR (2018)
Mohamed El Halaby
Solving MaxSAT by Successive Calls to a SAT Solver. CoRR (2016)
Mohamed El Halaby
Solving MaxSAT by Successive Calls to a SAT Solver. IntelliSys (1) (2016)
Mohamed El Halaby, Areeg Abdalla
Fuzzy Maximum Satisfiability. INFOS (2016)
Mohamed El Halaby, Areeg Abdalla
Fuzzy Maximum Satisfiability. CoRR (2016)
Mohamed El Halaby
On the Computational Complexity of MaxSAT. Electron. Colloquium Comput. Complex. 23 (2016)