Mario Verdicchio

Viola Schiaffonati, Mario Verdicchio: The Influence of Engineering Theory and Practice on Philosophy of AI. Philosophy and Theory of Artificial Intelligence 2013: 375-388

Claudio Agostino Ardagna, Sabrina De Capitani di Vimercati, Stefano Paraboschi, Eros Pedrini, Pierangela Samarati, Mario Verdicchio: Expressive and Deployable Access Control in Open Web Service Applications. IEEE T. Services Computing 4(2): 96-109 (2011)

Patrik Bichsel, Jan Camenisch, Mario Verdicchio: Recognizing Your Digital Friends. SocialCom/PASSAT 2011: 1310-1313

Claudio Agostino Ardagna, Jan Camenisch, Markulf Kohlweiss, Ronald Leenes, Gregory Neven, Bart Priem, Pierangela Samarati, Dieter Sommer, Mario Verdicchio: Exploiting cryptography for privacy-enhanced access control: A result of the PRIME Project. Journal of Computer Security 18(1): 123-160 (2010)

Claudio Agostino Ardagna, Sabrina De Capitani di Vimercati, Gregory Neven, Stefano Paraboschi, Franz-Stefan Preiss, Pierangela Samarati, Mario Verdicchio: Enabling Privacy-preserving Credential-based Access Control with XACML and SAML. CIT 2010: 1090-1095

Claudio Agostino Ardagna, Sabrina De Capitani di Vimercati, Sara Foresti, Gregory Neven, Stefano Paraboschi, Franz-Stefan Preiss, Pierangela Samarati, Mario Verdicchio: Fine-Grained Disclosure of Access Policies. ICICS 2010: 16-30

Mario Verdicchio, Marco Colombetti: Communication Languages for Multiagent Systems. Computational Intelligence 25(2): 136-159 (2009)

Emiliano Lorini, Mario Verdicchio: Towards a Logical Model of Social Agreement for Agent Societies. COIN@AAMAS&IJCAI&MALLOW 2009: 147-162

Patrik Bichsel, Samuel Müller, Franz-Stefan Preiss, Dieter Sommer, Mario Verdicchio: Security and Trust through Electronic Social Network-Based Interactions. CSE (4) 2009: 1002-1007

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)

Paola Spoletini, Mario Verdicchio: An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. COIN@AAMAS&AAAI 2008: 172-187

Paola Spoletini, Mario Verdicchio: Commitment Monitoring in a Multiagent System. CEEMAS 2007: 83-92

Mario Verdicchio, Marco Colombetti: From Message Exchanges to Communicative Acts to Commitments. Electr. Notes Theor. Comput. Sci. 157(4): 75-94 (2006)

Mario Verdicchio, Marco Colombetti: A Commitment-Based Communicative Act Library. AC 2006: 61-75

Mario Verdicchio, Marco Colombetti: A commitment-based communicative act library. AAMAS 2005: 755-761

Mario Verdicchio, Marco Colombetti: A commitment-based communicative act library. EUMAS 2005: 511-512

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

Mario Verdicchio, Marco Colombetti: A Logical Model for Agent Communication Languages. Electr. Notes Theor. Comput. Sci. 85(2): 192-207 (2004)

Mario Verdicchio, Marco Colombetti: Dealing with Time in Content Language Expressions. AC 2004: 91-105

Mario Verdicchio, Pierluigi San Pietro: Model checking-aided design of secure distributed systems. IASTED Conf. on Software Engineering 2004: 212-217

Mario Verdicchio, Marco Colombetti: A Logical Model of Social Commitment for Agent Communication. Workshop on Agent Communication Languages 2003: 128-145

Mario Verdicchio, Marco Colombetti: A logical model of social commitment for agent communication. AAMAS 2003: 528-535

Marco Colombetti, Nicoletta Fornara, Mario Verdicchio: A Social Approach to Communication in Multiagent Systems. DALT 2003: 191-220

Mario Verdicchio, Marco Colombetti: Commitments for agent-based supply chain management. SIGecom Exchanges 3(1): 13-23 (2002)

Marco Colombetti, Mario Verdicchio: An analysis of agent speech acts as institutional actions. AAMAS 2002: 1157-1164