Yehia Abd Alrahman
Orcid: 0000-0002-4866-6931Affiliations:
- University of Gothenburg, Sweden
According to our database1,
Yehia Abd Alrahman
authored at least 25 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
2
2
2
3
1
1
1
3
1
1
1
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
2023
Int. J. Softw. Tools Technol. Transf., December, 2023
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
2021
Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue.
CoRR, 2021
Auton. Agents Multi Agent Syst., 2021
Proceedings of the 2021 American Control Conference, 2021
2020
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
2019
J. Log. Algebraic Methods Program., 2019
Inf. Comput., 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
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
2017
2016
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
2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
2014
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014