| 2008 |
|---|
| 13 | EE | Nicoletta Fornara,
Francesco Viganò,
Mario Verdicchio,
Marco Colombetti:
Artificial institutions: a model of institutional reality for open multiagent systems.
Artif. Intell. Law 16(1): 89-105 (2008) |
| 2007 |
|---|
| 12 | EE | Paola Spoletini,
Mario Verdicchio:
Commitment Monitoring in a Multiagent System.
CEEMAS 2007: 83-92 |
| 2006 |
|---|
| 11 | EE | Mario Verdicchio,
Marco Colombetti:
From Message Exchanges to Communicative Acts to Commitments.
Electr. Notes Theor. Comput. Sci. 157(4): 75-94 (2006) |
| 2005 |
|---|
| 10 | EE | Mario Verdicchio,
Marco Colombetti:
A commitment-based communicative act library.
AAMAS 2005: 755-761 |
| 9 | | Mario Verdicchio,
Marco Colombetti:
A commitment-based communicative act library.
EUMAS 2005: 511-512 |
| 8 | EE | Giuliano Armano,
Pietro Baroni,
Giancarlo Cherchi,
Marco Colombetti,
Alfonso Gerevini,
Marco Mari,
Agostino Poggi,
Corrado Santoro,
Emiliano Tramontana,
Mario Verdicchio:
ANEMONE - A Network of Multi-Agent Platforms for Academic Communities.
WOA 2005: 120-126 |
| 2004 |
|---|
| 7 | EE | Mario Verdicchio,
Marco Colombetti:
Dealing with Time in Content Language Expressions.
AC 2004: 91-105 |
| 6 | | Mario Verdicchio,
Pierluigi San Pietro:
Model checking-aided design of secure distributed systems.
IASTED Conf. on Software Engineering 2004: 212-217 |
| 2003 |
|---|
| 5 | EE | Mario Verdicchio,
Marco Colombetti:
A logical model of social commitment for agent communication.
AAMAS 2003: 528-535 |
| 4 | EE | Marco Colombetti,
Nicoletta Fornara,
Mario Verdicchio:
A Social Approach to Communication in Multiagent Systems.
DALT 2003: 191-220 |
| 3 | EE | Mario Verdicchio,
Marco Colombetti:
A Logical Model of Social Commitment for Agent Communication.
Workshop on Agent Communication Languages 2003: 128-145 |
| 2002 |
|---|
| 2 | EE | Marco Colombetti,
Mario Verdicchio:
An analysis of agent speech acts as institutional actions.
AAMAS 2002: 1157-1164 |
| 1 | EE | Mario Verdicchio,
Marco Colombetti:
Commitments for agent-based supply chain management.
SIGecom Exchanges 3(1): 13-23 (2002) |
