Login | Register

Items where Author is "Bentahar, Jamal"

Group by: Item Type | No Grouping
Number of items: 5.

Bakalis, Georgios, Valipour, Maryam, Bentahar, Jamal, Kadem, Lyes, Teng, Honghui and Ng, Hoi Dick ORCID: https://orcid.org/0000-0002-8459-5990 (2023) Detonation Cell Size Prediction based on Artificial Neural Networks with Chemical Kinetics and Thermodynamic Parameters. Fuel Communications, 14 (100084).

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 Thu Mar 28 03:10:09 2024 EDT.
Back to top Back to top