 | 2009 |
|---|
| 9 |       | Alessio Lomuscio,
Monika Solanki:
Towards an Agent Based Approach for Verification of OWL-S Process Models.
ESWC 2009: 578-592 |
| 2008 |
|---|
| 8 | | Alessio Lomuscio,
Hongyang Qu,
Monika Solanki:
Towards verifying compliance in agent-based web service compositions.
AAMAS (1) 2008: 265-272 |
| 7 | | Alessio Lomuscio,
Hongyang Qu,
Monika Solanki:
Towards Verifying Contract Regulated Service Composition.
ICWS 2008: 254-261 |
| 2007 |
|---|
| 6 | | Alessio Lomuscio,
Hongyang Qu,
Marek J. Sergot,
Monika Solanki:
Verifying Temporal and Epistemic Properties of Web Service Compositions.
ICSOC 2007: 456-461 |
| 2006 |
|---|
| 5 | | Monika Solanki,
Antonio Cau,
Hussein Zedan:
ASDL: a wide spectrum language for designing web services.
WWW 2006: 687-696 |
| 4 | | Monika Solanki,
Antonio Cau,
Hussein Zedan:
Temporal Reasoning Of Reactive Web Services.
Semantic Web Services, Processes and Applications 2006: 107-136 |
| 2004 |
|---|
| 3 | | Monika Solanki,
Antonio Cau,
Hussein Zedan:
Introducing Compositionality in Web Service Descriptions.
FTDCS 2004: 14-20 |
| 2 | | David L. Martin,
Massimo Paolucci,
Sheila A. McIlraith,
Mark H. Burstein,
Drew V. McDermott,
Deborah L. McGuinness,
Bijan Parsia,
Terry R. Payne,
Marta Sabou,
Monika Solanki,
Naveen Srinivasan,
Katia P. Sycara:
Bringing Semantics to Web Services: The OWL-S Approach.
SWSWPC 2004: 26-42 |
| 1 | | Monika Solanki,
Antonio Cau,
Hussein Zedan:
Augmenting semantic web service descriptions with compositional specification.
WWW 2004: 544-552 |
