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 : coordination
tag : coordination
21 publications / Mirko Viroli
Spatial Tuples: Augmenting Reality with Tuples
(Expert Systems, 2018) —
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
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
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
(2012) —
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
() —
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
(Applied Computing Review, 2011) —
Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
A Coordination Approach to Adaptive Pervasive Service Ecosystems
() —
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
(2007) —
Mirko Viroli, Andrea Omicini
Coordination as a Service
(Fundamenta Informaticae, 2006) —
Mirko Viroli, Andrea Omicini
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
(2006) —
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination
(The Knowledge Engineering Review, 2006) —
Mirko Viroli, Alessandro Ricci, Andrea Omicini
Agent Interaction Semantics by Timed Operating Instructions
() —
Mirko Viroli, Alessandro Ricci
Environment-Based Coordination Through Coordination Artifacts
(E4MAS 2004) —
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
(2005) —
Alessandro Ricci, Mirko Viroli, Andrea Omicini
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
(2004) —
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
(2004) —
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
A Semantics for the Interaction of Agents with Coordination Artifacts
(2004) —
Mirko Viroli, Alessandro Ricci, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
(2004) —
Mirko Viroli, Andrea Omicini
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
(2003) —
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Coordination as a Service: Ontological and Formal Foundation
(2003) —
Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework
(2002) —
Mirko Viroli, Andrea Omicini
[
tag cloud
/ Mirko Viroli / publications ]
0000-0003-2702-5702