Publications

2017:

2016:

2015:

2014:

2013:

2012:

2011:

2010:

2009:

2008:

2007:

2006:




Older Stuff:

On Specifying and Verifying Agent Communication Languages:

 

On Applying Game Theory to Prove Properties for Agent Systems:

 

On Animating Agent Societies:

 

On Interaction Protocols:

 

On Embodied Agents for a Virtual Marketplace: