|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Model Checking Commitment Protocols.  |
IEA/AIE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli |
On the verification of social commitments and time. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Symbolic Model Checking Commitment Protocols Using Reduction. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions. |
KES-AMSTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Wei Wan, Jamal Bentahar, Rachida Dssouli |
Symbolic model checking for agent interactions. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
A New Semantics of Social Commitments Using Branching Space-Time Logic. |
Web Intelligence/IAT Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Verifiable Semantic Model for Agent Interactions Using Social Commitments. |
LADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Enhancing Engineering Methodology for Communities of Web Services. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jamal Bentahar, Mohamed El-Menshawy, Rachida Dssouli |
An Integrated Semantics of Social Commitments and Associated Operations. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")