Concepedia

Shamimabi Paurobally

SP

Statistics

Publications

9

Citations

268

H-Index

9

Active since

2003

Affiliations

University of Southampton(Current)

Imperial College London

University of Liverpool

Shamimabi Paurobally is an author at University of Southampton specializing in engineering, formal verification, and systems engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringSemantic WebVerificationCommunicationFormal MethodsAutomated ReasoningSemantics

Publications per year

2003–2008

9

Publications

9

A Framework for Web service negotiation

Shamimabi Paurobally, Valentina Tamma, Michael Wooldrdige · ACM Transactions on Autonomous and Adaptive Systems · 2007 · 68 citations

Negotiation, Web Service Specification, Semantic Grid +18

Automating negotiation for M-services

Shamimabi Paurobally, Peggy Turner, Nicholas R. Jennings · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2003 · 38 citations

Negotiation, Engineering, Service Discovery +20

Protocol engineering for web services conversations

Shamimabi Paurobally, Nicholas R. Jennings · Engineering Applications of Artificial Intelligence · 2005 · 36 citations

Web Service Specification, Engineering, Information Security +7

Verifying the contract net protocol: a case study in interaction protocol and agent communication semantics

Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings · ePrints Soton (University of Southampton) · 2004 · 32 citations · Full text

Engineering, Verification, Fipa Acl +22

Ensuring consistency in the joint beliefs of interacting agents

Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings · 2003 · 26 citations

Negotiation, Engineering, Verification +19

1–5 of 9