Francesco Viganò

14 papers A 1C 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
Equivariant Mesh Attention Networks.
CoRR
Sourya Basu, Jose Gallego-Posada, Francesco Viganò, James Rowbottom, Taco Cohen
2022 J jnl
Equivariant Mesh Attention Networks.
Trans. Mach. Learn. Res.
Sourya Basu, Jose Gallego-Posada, Francesco Viganò, James Rowbottom, Taco Cohen
2021 J jnl
169 and Sums of Positive Squares.
Am. Math. Mon.
Edward Coto Mora, Francesco Viganò
2009 — ch.
Verifying Organizations Regulated by Institutions.
Handbook of Research on Multi-Agent Systems
Francesco Viganò, Marco Colombetti
2008 J jnl
Artificial institutions: a model of institutional reality for open multiagent systems.
Artif. Intell. Law
Nicoletta Fornara, Francesco Viganò, Mario Verdicchio, Marco Colombetti
2007 J jnl
Agent communication and artificial institutions.
Auton. Agents Multi Agent Syst.
Nicoletta Fornara, Francesco Viganò, Marco Colombetti
2007 — conf
Model Checking Norms and Sanctions in Institutions.
COIN
Francesco Viganò, Marco Colombetti
2007 C conf
Symbolic model checking of institutions.
ICEC
Francesco Viganò, Marco Colombetti
2006 — conf
A Framework for Model Checking Institutions.
MoChArt
Francesco Viganò
2006 C conf
A Metamodel for Verifying Institutions.
EUMAS
Francesco Viganò
2006 — conf
Specification and Verification of Institutions Through Status Functions.
COIN@AAMAS/ECAI
Francesco Viganò, Marco Colombetti
2005 — conf
An Event Driven Approach to Norms in Artificial Institutions.
AAMAS Workshops
Francesco Viganò, Nicoletta Fornara, Marco Colombetti
2005 A conf
An operational approach to norms in artificial institutions.
AAMAS
Francesco Viganò, Nicoletta Fornara, Marco Colombetti
2004 — conf
Agent Communication and Institutional Reality.
AC
Nicoletta Fornara, Francesco Viganò, Marco Colombetti