Search the dblp DataBase

Publications of Author

1. Nicoletta Fornara, Francesco Viganò, Marco Colombetti
   Agent Communication and Institutional Reality. [Citation Graph (0, 0)][DBLP]
   AC, 2004, pp:1-17 [Conf]
   
2. Francesco Viganò, Nicoletta Fornara, Marco Colombetti
   An operational approach to norms in artificial institutions. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2005, pp:1289-1290 [Conf]
   
3. Nicoletta Fornara, Francesco Viganò, Marco Colombetti
   Agent communication and artificial institutions. [Citation Graph (0, 0)][DBLP]
   Autonomous Agents and Multi-Agent Systems, 2007, v:14, n:2, pp:121-142 [Journal]
   
4. Francesco Viganò, Marco Colombetti
   Symbolic model checking of institutions. [Citation Graph (0, 0)][DBLP]
   ICEC, 2007, pp:35-44 [Conf]
   
5. Francesco Viganò, Nicoletta Fornara, Marco Colombetti
   An Event Driven Approach to Norms in Artificial Institutions. [Citation Graph (0, 0)][DBLP]
   AAMAS Workshops, 2005, pp:142-154 [Conf]
   
6. Francesco Viganò
   A Framework for Model Checking Institutions. [Citation Graph (0, 0)][DBLP]
   MoChArt, 2006, pp:129-145 [Conf]
   
7. 
   Model Checking Norms and Sanctions in Institutions. [Citation Graph (, )][DBLP]
   
   
8. 
   A Metamodel for Verifying Institutions. [Citation Graph (, )][DBLP]
   
   
9. 
   Artificial institutions: a model of institutional reality for open multiagent systems. [Citation Graph (, )][DBLP]