| An automatic mobile-health based approach for EEG epileptic seizures detection MEL Menshawy, A Benharref, M Serhani Expert systems with applications 42 (20), 7157-7174, 2015 | 72 | 2015 |
| Reducing model checking commitments for agent communication to model checking ARCTL and GCTL* M El Menshawy, J Bentahar, W El Kholy, R Dssouli Autonomous agents and multi-agent systems 27, 375-418, 2013 | 53 | 2013 |
| Verifying conformance of multi-agent commitment-based protocols M El-Menshawy, J Bentahar, W El Kholy, R Dssouli Expert Systems with Applications 40 (1), 122-138, 2013 | 53 | 2013 |
| Communicative commitments: Model checking and complexity analysis J Bentahar, M El-Menshawy, H Qu, R Dssouli Knowledge-Based Systems 35, 21-34, 2012 | 53 | 2012 |
| On the verification of social commitments and time M El Menshawy, J Bentahar, H Qu, R Dssouli The 10th International Conference on Autonomous Agents and Multiagent …, 2011 | 46 | 2011 |
| Symbolic model checking commitment protocols using reduction M El-Menshawy, J Bentahar, R Dssouli Declarative Agent Languages and Technologies VIII: 8th International …, 2011 | 40 | 2011 |
| Verifiable semantic model for agent interactions using social commitments M El-Menshawy, J Bentahar, R Dssouli Languages, Methodologies, and Development Tools for Multi-Agent Systems …, 2010 | 40 | 2010 |
| Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols W El Kholy, J Bentahar, M El Menshawy, H Qu, R Dssouli Expert systems with applications 41 (16), 7478-7494, 2014 | 36 | 2014 |
| Mobile health architecture for obesity management using sensory and social data S Harous, M El Menshawy, MA Serhani, A Benharref Informatics in Medicine Unlocked 10, 27-44, 2018 | 34 | 2018 |
| Conditional commitments: Reasoning and model checking WEL Kholy, J Bentahar, MEL Menshawy, H Qu, R Dssouli ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (2), 1-49, 2014 | 30 | 2014 |
| SME2EM: Smart mobile end-to-end monitoring architecture for life-long diseases MA Serhani, M El Menshawy, A Benharref Computers in Biology and Medicine 68, 137-154, 2016 | 29 | 2016 |
| On the interaction between knowledge and social commitments in multi-agent systems F Al-Saqqar, J Bentahar, K Sultan, M El Menshawy Applied intelligence 41, 235-259, 2014 | 29 | 2014 |
| A new approach for instance selection: Algorithms, evaluation, and comparisons M Malhat, M El Menshawy, H Mousa, A El Sisi Expert Systems with Applications 149, 113297, 2020 | 28 | 2020 |
| Model checking intelligent avionics systems for test cases generation using multi-agent systems W Elkholy, M El-Menshawy, J Bentahar, M Elqortobi, A Laarej, R Dssouli Expert Systems with Applications 156, 113458, 2020 | 27 | 2020 |
| Adagen: Adaptive interface agent for x-ray fracture detection M Syiam, MA El-Aziem, M El-Menshawy International Journal of Computing & Information Sciences 2 (3), 143-148, 2004 | 23 | 2004 |
| New algorithms for processing time-series big EEG data within mobile health monitoring systems MA Serhani, M El Menshawy, A Benharref, S Harous, AN Navaz Computer methods and programs in biomedicine 149, 79-94, 2017 | 21 | 2017 |
| Model checking probabilistic social commitments for intelligent agent communication K Sultan, J Bentahar, M El-Menshawy Applied Soft Computing 22, 397-409, 2014 | 21 | 2014 |
| Model checking real-time conditional commitment logic using transformation M El Menshawy, J Bentahar, W El Kholy, A Laarej Journal of Systems and Software 138, 189-205, 2018 | 19 | 2018 |
| Specifying and verifying contract-driven service compositions using commitments and model checking AS Bataineh, J Bentahar, M El Menshawy, R Dssouli Expert Systems with Applications 74, 151-184, 2017 | 18 | 2017 |
| SMC4AC: A new symbolic model checker for intelligent agent communication W El Kholy, J Bentahar, M El Menshawy, H Qu, R Dssouli Fundamenta Informaticae 152 (3), 223-271, 2017 | 15 | 2017 |
