Search the dblp DataBase

Publications of Author

1. Monika Solanki, Antonio Cau, Hussein Zedan
   Introducing Compositionality in Web Service Descriptions. [Citation Graph (0, 0)][DBLP]
   FTDCS, 2004, pp:14-20 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   SWSWPC, 2004, pp:26-42 [Conf]
   
3. Monika Solanki, Antonio Cau, Hussein Zedan
   Augmenting semantic web service descriptions with compositional specification. [Citation Graph (0, 0)][DBLP]
   WWW, 2004, pp:544-552 [Conf]
   
4. Monika Solanki, Antonio Cau, Hussein Zedan
   ASDL: a wide spectrum language for designing web services. [Citation Graph (0, 0)][DBLP]
   WWW, 2006, pp:687-696 [Conf]
   
5. Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki
   Verifying Temporal and Epistemic Properties of Web Service Compositions. [Citation Graph (0, 0)][DBLP]
   ICSOC, 2007, pp:456-461 [Conf]
   
6. 
   Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach. [Citation Graph (, )][DBLP]
   
   
7. 
   Towards verifying compliance in agent-based web service compositions. [Citation Graph (, )][DBLP]
   
   
8. 
   Runtime monitoring of contract regulated web services. [Citation Graph (, )][DBLP]
   
   
9. 
   Towards an Agent Based Approach for Verification of OWL-S Process Models. [Citation Graph (, )][DBLP]
   
   
10. 
    Towards Verifying Contract Regulated Service Composition. [Citation Graph (, )][DBLP]