Author of the publication

Formalizing a Language for Institutions and Norms.

, , and . ATAL, volume 2333 of Lecture Notes in Computer Science, page 348-366. Springer, (2001)

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.

 

Other publications of authors with the same name

Organizing services for a changing environment., , and . iiWAS, page 16. ACM, (2010)Current Developments in LISP.. European Conference on Computer Algebra (1), volume 203 of Lecture Notes in Computer Science, page 45-57. Springer, (1985)ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming., , , and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 724-728. Springer, (2008)Applications of computer algebra in solid modelling., , , , and . EUROCAL, volume 378 of Lecture Notes in Computer Science, page 244-245. Springer, (1987)Social Norm Recommendation for Virtual Agent Societies., , and . PRIMA, volume 8291 of Lecture Notes in Computer Science, page 308-323. Springer, (2013)A Light-Weight Framework for Bridge-Building from Desktop to Cloud., , and . ICSOC Workshops, volume 8377 of Lecture Notes in Computer Science, page 308-323. Springer, (2013)MSMAS: Modelling Self-managing Multi Agent Systems., and . Scalable Comput. Pract. Exp., (2012)Fine-Grained Access Control via Policy-Carrying Data., and . ACM Trans. Internet Techn., 18 (3): 31:1-31:24 (2018)Towards HARMONIA: automatic generation of e-organisations from institution specifications., and . OAS, volume 73 of CEUR Workshop Proceedings, page 31-38. CEUR-WS.org, (2003)Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus., and . IFM, volume 3771 of Lecture Notes in Computer Science, page 347-365. Springer, (2005)