Yehia Abd Alrahman
According to our database1, Yehia Abd Alrahman authored at least 17 papers between 2014 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2020
Programming interactions in collective adaptive systems by relying on attribute-based communication.
Sci. Comput. Program., 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
J. Log. Algebraic Methods Program., 2019
Inf. Comput., 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014