Publications

Export 81 results:
Sort by: Author Title Type [ Year (Desc)]
2017
Mohammed, A., "Hierarchical Modeling and Specification logic for Knowledge and Continuous Dynamics Reasoning", International Journal of Applied Science and Technology, vol. 6, issue 11, pp. 1-8, 2017.
Mohammed, A., R. Mohamed, and H. Hefny, "A Model Checker for Epistemic Hybrid Automata Using Constraints Logic Programming", International Journal of Computer Science and Information Technologies, vol. 8, issue 1, pp. 125-131, 2017.
2016
Mohammed, A., "Hybrid Epistemic Logic for Specifying Requirements of Multi-agent Systems", International Journal of Computer Science and Information Security, vol. 14, issue 5, pp. 634-641, 2016.
Mohammed, A., and L. Schreiter, "Surgical Robots: Behaviors Specification and Reasoning", International Journal of Computer Science Issues, vol. 13, issue 3, pp. In Press, 2016.
2015
Mohammed, A., R. Mohammed, and H. Hefny, "Epistemic Hybrid Tree Logic", Proceeding of The 25th International Conference on Computer Theory and Applications (ICCTA 2015), Alexanderia -, pp. in press, 2015.
Mohammed, A., M. Karam, and H. Hefny, "A Hybrid Approach For Word Segmentation", proceedings of IEEE SAI Intelligent Systems Conference (IntelliSys), London, UK, pp. in press, 2015.
El-halawany, I., A. Mohammed, khalid Wassif, and H. Hefny, "Using Textual Case-based Reasoning in Intelligent Fatawa QA System", International Arab journal of Information Technologies (IAJIT), vol. 12, issue 5, pp. 503- 509, 2015.
2014
Schreiter, L., A. Mohammed, J. Raczkowsky, and H. Woern, "Using the mutual exclusion protocol for safety in the area of robotic surgery", Proceedings of 6th ICT Innovations Conference 2014, OHRID, Macedonia, ISSN 1857-7288, pp. 123-132, accepted, 2014.
Beekheet, S., A. Mohammed, and H. A. Hefny, "An Enhanced Fuzzy Multi Criteria Decision Making Model with A Proposed Polygon Fuzzy Number", (IJACSA ) International Journal of Advanced Computer Science and Applications, vol. 5, issue 5, 2014.
El-halawany, I., A. Mohammed, K. Wasfi, and H. Hefney, "Enhanced Knowledge Discovery Approach in Textual Case Based Reasoning", 13th Mexican International Conference on Artificial Intelligence, Mexico, 2014.
IslamElhalwany, A. Mohammed, khalid Wassif, and H. Hefny, "Enhancements to A knowledge discovery framework of SOPHIA textual case-based reasoning", Egyptian Informatics Journal, vol. 15, issue 3, pp. to appear, 2014.
Bekhit, S., A. Mohammed, and H. Hefny, "Proposed Polygon Fuzzy Numbers for Fuzzy mutli-Criteria Decision Making", Proceedings of 48th Conference on "Statistics, Computer Science and Operations Research, Cairo University, Egypt, 2014.
2013
Mohammed, A., "HRCTL: A Specification Logic for Hierarchical Hybrid Automata", Innovation in Computational Science, specia issue to the International Journal of Advanced Studies in Computers, Science & Engineering (IJASCSE), vol. 2, issue special 2, pp. 14-23, 2013.
Badawi, M., A. Mohammed, A. Hussein, and M. Geith, "Maintaining the search engine freshness using mobile agent", Egyptian Informatics Journal, vol. 14, issue 1, pp. 27-36, 2013.
2012
Mohammed, A., and U. Furbach, "MAS: Qualitative and Quantitative Reasoning (Revised and Extended Version)", Lecture Notes in Computer Science LNCS, vol. 7217, pp. 114-132, 2012.
2011
Mohammed, A., and U. Frubach, "MAS: Qualitative and Quantitative Reasoning.", In proceeding of the 9th InternationalWorkshop on Programming Multi-Agent Systems (ProMAS 2011) at the 10th International Joint conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2011), Taipei, Taiwan, 2nd-6th May, 2011.
2010
Mohammed, A., and U. Furbach, "Extending CTL to Specify Quantitative Temporal Requirements", Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, Madiera, Portugal, SciTePress, 2010.
Mohammed, A., Hybrid Multi-agent Systems: Modeling, Specication and Verication, , Koblenz, Germany, Kobleny-Landau, 2010.
Mohammed, A., "Multi-agent systems: modeling and verification using hybrid automata (Extended and revised Version)", Lecture Notes in Artificial Intelligence LNCS , vol. 5919, pp. 49-66, 2010.
Schwarz, C., A. Mohammed, and F. Stolzenburg, "A Tool Environment for Specifying and Verifying Multi-agent Systems", ICAART 2 - Proceedings of the International Conference on Agents and Artificial Intelligence, vol. 2, Valencia, Spain, INSTICC Press, pp. {323-326, 2010.
2009
Mohammed, A., and U. Furbach, Multi-agent Systems:Modeling and verification Using Hybrid Automata, , Kobleny, Geramny, Arbeitsberichte aus dem Fachbereich Informatik, Universität Koblenz-Landau, pp. 1-24, October 2009.
Mohammed, A., and F. Stolzenburg, Using Constraint Logic Programming for Modeling and Verifying Hierarchical Hybrid Automata, , Koblenz, Germany, Universität Koblenz-Landau, pp. 1-27, June 2009.
Mohammed, A., and U. Furbach, "From Reactive to Deliberative Multi-agent Planning", Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009: INSTICC PRESS, 2009.
Mohammed, A., and C. Schwarz, "HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata", KI 2009: Advances in Artificial Intelligence, LNAI, vol. 5803, pp. 695-702, 2009.
Mohammed, A., and U. Frubach, "Multi-agent systems: modeling and Verification using hybrid automata ", In proceeding of the 7th International Workshop on Programming Multi-Agent Systems (ProMAS 2009) at the 8th International Joint conference on Autonomous Agents & Multi-Agent Systems (AAMAS 2009), Budapest, pp. 86-102, 2009.
Tourism