PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sergot, Marek J."

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Temporal and Epistemic Properties of Web Service Compositions.

, , , and . ICSOC, volume 4749 of Lecture Notes in Computer Science, page 456-461. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

J. K\"astner

J. Schwarz

J. K\"astner

J Walter

J. Vogel

 

Other publications of authors with the same name

Foreword., and . Studia Logica, 57 (1): 3-4 (1996)A Formal Characterisation of Institutionalised Power., and . Logic Journal of the IGPL, 4 (3): 427-443 (1996)Versioning of Objects in Deductive Databases., and . DOOD, volume 760 of Lecture Notes in Computer Science, page 459-472. Springer, (1993)Computer Representation of the Law., and . IJCAI, page 1269-1270. Morgan Kaufmann, (1985)A Framework for Contractual Resource Sharing in Coalitions., , , and . POLICY, page 117-126. IEEE Computer Society, (2004)A Logic-Based Calculus of Events., and . Foundations of Knowledge Base Management (Xania), page 23-55. Springer, (1985)A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks., , , and . DALT, volume 3476 of Lecture Notes in Computer Science, page 221-238. Springer, (2004)Voting in Multi-Agent Systems., , , and . Comput. J., 49 (2): 156-170 (2006)Using Authority Certificates to Create Management Structures., , and . Security Protocols Workshop, volume 2467 of Lecture Notes in Computer Science, page 134-145. Springer, (2001)Games as a Metaphor for Interactive Systems., and . BCS HCI, page 19-33. Springer, (1996)