( en | de | ru )

 

Disambiguation of "El-Menshawy, Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
Specifying and verifying contract-driven service compositions using commitments and model checking.

, , , and . Expert Syst. Appl., (2017)

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.

Mohamed Anter Menshawy

Mohamed El-Kahlout

Mohamed El-Menuawy

Mohamed El-Shazly

Mohamed El-kersch

 

Other publications of authors with the same name

Verifying conformance of multi-agent commitment-based protocols., , , and . Expert Syst. Appl., 40 (1): 122-138 (2013)Verifying Temporal Trust Logic using CTL Model Checking., , , and . TRUST@AAMAS, volume 2154 of CEUR Workshop Proceedings, page 62-74. CEUR-WS.org, (2018)On the interaction between knowledge and social commitments in multi-agent systems., , , and . Appl. Intell., 41 (1): 235-259 (2014)An Integrated Semantics of Social Commitments and Associated Operations., , and . MALLOW, volume 494 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Modeling and Verifying Business Interactions via Commitments and Dialogue Actions., , and . KES-AMSTA (2), volume 6071 of Lecture Notes in Computer Science, page 11-21. Springer, (2010)Real-Time Conditional Commitment Logic., , , , , and . PRIMA, volume 9387 of Lecture Notes in Computer Science, page 547-556. Springer, (2015)Symbolic model checking for agent interactions., , , and . AAMAS, page 1555-1556. IFAAMAS, (2010)A new approach for instance selection: Algorithms, evaluation, and comparisons., , , and . Expert Syst. Appl., (2020)Model checking probabilistic social commitments for intelligent agent communication., , and . Appl. Soft Comput., (2014)Model checking real-time conditional commitment logic using transformation., , , and . J. Syst. Softw., (2018)