Search the dblp DataBase

Publications of Author

1. Mario Verdicchio, Marco Colombetti
   Dealing with Time in Content Language Expressions. [Citation Graph (0, 0)][DBLP]
   AC, 2004, pp:91-105 [Conf]
   
2. Mario Verdicchio, Marco Colombetti
   A Logical Model of Social Commitment for Agent Communication. [Citation Graph (0, 0)][DBLP]
   Workshop on Agent Communication Languages, 2003, pp:128-145 [Conf]
   
3. Marco Colombetti, Mario Verdicchio
   An analysis of agent speech acts as institutional actions. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2002, pp:1157-1164 [Conf]
   
4. Mario Verdicchio, Marco Colombetti
   A logical model of social commitment for agent communication. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2003, pp:528-535 [Conf]
   
5. Mario Verdicchio, Marco Colombetti
   A commitment-based communicative act library. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2005, pp:755-761 [Conf]
   
6. Marco Colombetti, Nicoletta Fornara, Mario Verdicchio
   A Social Approach to Communication in Multiagent Systems. [Citation Graph (0, 0)][DBLP]
   DALT, 2003, pp:191-220 [Conf]
   
7. Mario Verdicchio, Marco Colombetti
   A commitment-based communicative act library. [Citation Graph (0, 0)][DBLP]
   EUMAS, 2005, pp:511-512 [Conf]
   
8. Mario Verdicchio, Pierluigi San Pietro
   Model checking-aided design of secure distributed systems. [Citation Graph (0, 0)][DBLP]
   IASTED Conf. on Software Engineering, 2004, pp:212-217 [Conf]
   
9. 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. [Citation Graph (0, 0)][DBLP]
   WOA, 2005, pp:120-126 [Conf]
   
10. Mario Verdicchio, Marco Colombetti
    From Message Exchanges to Communicative Acts to Commitments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:75-94 [Journal]
    
11. Paola Spoletini, Mario Verdicchio
    Commitment Monitoring in a Multiagent System. [Citation Graph (0, 0)][DBLP]
    CEEMAS, 2007, pp:83-92 [Conf]
    
12. 
    Enabling Privacy-preserving Credential-based Access Control with XACML and SAML. [Citation Graph (, )][DBLP]
    
    
13. 
    A Commitment-Based Communicative Act Library. [Citation Graph (, )][DBLP]
    
    
14. 
    An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. [Citation Graph (, )][DBLP]
    
    
15. 
    Towards a Logical Model of Social Agreement for Agent Societies. [Citation Graph (, )][DBLP]
    
    
16. 
    Security and Trust through Electronic Social Network-Based Interactions. [Citation Graph (, )][DBLP]
    
    
17. 
    Artificial institutions: a model of institutional reality for open multiagent systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Communication Languages for Multiagent Systems. [Citation Graph (, )][DBLP]