( en | de | ru )

 

Disambiguation of "Alrahman, Yehia Abd"

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis of Run-To-Completion Controllers for Discrete Event Systems.

, , , , and . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yehia Abd-Elrazik Heikal

Dana Yehia

Ahmed Yehia

Yehia Goneim

Abdel-Rahman Hassan Yehia

 

Other publications of authors with the same name

Testing for Coordination Fidelity., , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 152-169. Springer, (2019)A Computational Framework for Adaptive Systems and its Verification., , and . CoRR, (2019)A distributed API for coordinating AbC programs., and . Int. J. Softw. Tools Technol. Transf., 22 (4): 477-496 (2020)Modelling and Verification of Reconfigurable Multi-Agent Systems., and . CoRR, (2021)Operation Control Protocols in Power Distribution Grids., and . CoRR, (2018)Interleaving & Reconfigurable Interaction: Separating Choice from Scheduling using Glue., , and . CoRR, (2021)A PO Characterisation of Reconfiguration., , and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 42-59. Springer, (2022)On the Power of Attribute-Based Communication., , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 1-18. Springer, (2016)A Behavioural Theory for Interactions in Collective-Adaptive Systems., , and . CoRR, (2017)A Distributed Coordination Infrastructure for Attribute-Based Interaction., , , and . FORTE, volume 10854 of Lecture Notes in Computer Science, page 1-20. Springer, (2018)