Agent Communication and Institutional Reality. - Nicoletta Fornara; Francesco Viganò; Marco Colombetti (AC, 2004)

An operational approach to norms in artificial institutions. - Francesco Viganò; Nicoletta Fornara; Marco Colombetti (AAMAS, 2005)

An Event Driven Approach to Norms in Artificial Institutions. - Francesco Viganò; Nicoletta Fornara; Marco Colombetti (AAMAS Workshops, 2005)

Specification and Verification of Institutions Through Status Functions. - Francesco Viganò; Marco Colombetti (COIN@AAMAS/ECAI, 2006)

A Metamodel for Verifying Institutions. - Francesco Viganò (EUMAS, 2006)

A Framework for Model Checking Institutions. - Francesco Viganò (MoChArt, 2006)

Symbolic model checking of institutions. - Francesco Viganò; Marco Colombetti (ICEC, 2007)

Model Checking Norms and Sanctions in Institutions. - Francesco Viganò; Marco Colombetti (COIN, 2007)

Agent communication and artificial institutions. - Nicoletta Fornara; Francesco Viganò; Marco Colombetti (Auton. Agents Multi Agent Syst., 2007)

Artificial institutions: a model of institutional reality for open multiagent systems. - Nicoletta Fornara; Francesco Viganò; Mario Verdicchio; Marco Colombetti (Artif. Intell. Law, 2008)

Verifying Organizations Regulated by Institutions. - Francesco Viganò; Marco Colombetti (Handbook of Research on Multi-Agent Systems, 2009)

169 and Sums of Positive Squares. - Edward Coto Mora; Francesco Viganò (Am. Math. Mon., 2021)

Equivariant Mesh Attention Networks. - Sourya Basu; Jose Gallego-Posada; Francesco Viganò; James Rowbottom; Taco Cohen (Trans. Mach. Learn. Res., 2022)