 | 2011 |
|---|
| 9 |       | Mohamed El-Menshawy,
Jamal Bentahar,
Hongyang Qu,
Rachida Dssouli:
On the verification of social commitments and time.
AAMAS 2011: 483-490 |
| 8 | | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
Model Checking Commitment Protocols.
IEA/AIE (2) 2011: 37-47 |
| 2010 |
|---|
| 7 | | Mohamed El-Menshawy,
Wei Wan,
Jamal Bentahar,
Rachida Dssouli:
Symbolic model checking for agent interactions.
AAMAS 2010: 1555-1556 |
| 6 | | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
Symbolic Model Checking Commitment Protocols Using Reduction.
DALT 2010: 185-203 |
| 5 | | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions.
KES-AMSTA (2) 2010: 11-21 |
| 2009 |
|---|
| 4 | | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
Verifiable Semantic Model for Agent Interactions Using Social Commitments.
LADS 2009: 128-152 |
| 3 | | Jamal Bentahar,
Mohamed El-Menshawy,
Rachida Dssouli:
An Integrated Semantics of Social Commitments and Associated Operations.
MALLOW 2009 |
| 2 | | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
Enhancing Engineering Methodology for Communities of Web Services.
MALLOW 2009 |
| 1 | | Mohamed El-Menshawy,
Jamal Bentahar,
Rachida Dssouli:
A New Semantics of Social Commitments Using Branching Space-Time Logic.
Web Intelligence/IAT Workshops 2009: 492-496 |
Data released under the ODC-BY 1.0 license — See also our legal information page