Francesco Viganò

Am. Math. Mon., 2021

2009

Verifying Organizations Regulated by Institutions.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008

Artificial institutions: a model of institutional reality for open multiagent systems.

[BibT_eX]

[DOI]

Artif. Intell. Law, 2008

2007

Agent communication and artificial institutions.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2007

Model Checking Norms and Sanctions in Institutions.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2007

Symbolic model checking of institutions.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Electronic Commerce: The Wireless World of Electronic Commerce, 2007

2006

A Framework for Model Checking Institutions.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

A Metamodel for Verifying Institutions.

[BibT_eX]

[DOI]

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

Specification and Verification of Institutions Through Status Functions.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

2005

An Event Driven Approach to Norms in Artificial Institutions.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2005

An operational approach to norms in artificial institutions.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Agent Communication and Institutional Reality.

[BibT_eX]

[DOI]