Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
Mirko Viroli
Publications
Clouds
tag : multi-agent systems
tag : multi-agent systems
30 publications / Mirko Viroli
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
(PRIMA 2015) —
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Argumentation and Artifacts for Negotiation Support
(, 2014) —
Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Engineering Pervasive Multiagent Systems in SAPERE
(EMAS 2013@AAMAS 2013) —
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
(EMAS 2013@AAMAS 2013) —
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
(Autonomous Agents and Multi-Agent Systems, 2011) —
Alessandro Ricci, Michele Piunti, Mirko Viroli
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
() —
Alessandro Ricci, Mirko Viroli, Michele Piunti
Argumentation and Artifact for Dialogue Support
(2009) —
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Environment in Agent-Oriented Software Engineering Methodologies
(Multiagent and Grid Systems, 2009) —
Ambra Molesini, Andrea Omicini, Mirko Viroli
Artifacts in the A&A Meta-Model for Multi-Agent Systems
(Autonomous Agents and Multi-Agent Systems, 2008) —
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
(International Journal of Agent-Oriented Software Engineering, 2008) —
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Argumentation and Artifact for Dialogue Support
(2008) —
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
(E4MAS 2006@AAMAS 2006) —
Alessandro Ricci, Mirko Viroli, Andrea Omicini
A General Purpose Programming Model & Technology for Developing Working Environments in MAS
(2007) —
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
(E4MAS 2006@AAMAS 2006) —
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
(EMCSR 2006) —
Luca Gardelli, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
(E4MAS 2006@AAMAS 2006) —
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
(EMCSR 2006) —
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
(E4MAS 2006@AAMAS 2006) —
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
(Science of Computer Programming, 2006) —
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Process-Algebraic Approaches for Multi-Agent Systems: An Overview
(Applicable Algebra in Engineering, Communication and Computing, 2005) —
Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
(2005) —
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Environments in Multiagent Systems
(The Knowledge Engineering Review, 2005) —
Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
(EUMAS 2005) —
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Special Issue “Process Algebras and Multi-Agent Systems”
(Applicable Algebra in Engineering, Communication and Computing, 2005) —
Mirko Viroli, Andrea Omicini
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
(AAMAS 2004) —
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
A Specification Language for Agents Observable Behaviour
(2002) —
Mirko Viroli, Andrea Omicini
Modelling Agents as Observable Sources
(Journal of Universal Computer Science, 2002) —
Mirko Viroli, Andrea Omicini
WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software
(WOA 2001) —
Andrea Omicini, Mirko Viroli
Multi-Agent Systems as Composition of Observable Systems
(AI*IA Notizie, 2001) —
Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems
(WOA 2001) —
Mirko Viroli, Andrea Omicini
[
tag cloud
/ Mirko Viroli / publications ]
0000-0003-2702-5702