Login | Register

Items where Author is "Bentahar, Jamal"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 4.

Article

Drawel, Nagat, Qu, Hongyang, Bentahar, Jamal and Shakshuki, Elhadi (2018) Specification and automatic verification of trust-based multi-agent systems. Future Generation Computer Systems . ISSN 0167739X (In Press)

Menshawy, Mohamed El, Bentahar, Jamal, Kholy, Warda El and Laarej, Amine (2018) Model Checking Real-Time Conditional Commitment Logic using Transformation. Journal of Systems and Software . ISSN 01641212 (In Press)

El Menshawy, Mohamed, Bentahar, Jamal, El Kholy, Warda and Dssouli, Rachida (2013) Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Autonomous Agents and Multi-Agent Systems, 27 (3). pp. 375-418. ISSN 1387-2532

Bentahar, Jamal and Labban, Jihad (2011) An Argumentation-Driven Model for Flexible and Efficient Persuasive Negotiation. Group Decision and Negotiation, 20 (4). pp. 411-435. ISSN 0926-2644

This list was generated on Sun Apr 21 03:23:12 2019 EDT.
Back to top Back to top