The SCEAS System
Navigation Menu

Search the dblp DataBase


Monika Solanki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002