Tags
publications / Mirko Viroli
3APL1
A&A30
A&A ReSpecT1
access control2
activity theory3
adaptive systems4
adaptive tuple clustering2
agens faber1
agent architecture1
agent cognition1
agent communication1
agent communication languages4
agent coordination contexts16
agent model1
agent-oriented computing5
agent-oriented methodologies1
agent-oriented programming1
agent-oriented software engineering5
AgentLink III2
aggregate computing5
aggregate planning1
Alchemist11
argumentation4
artefacts20
artificial intelligence1
augmented reality2
automatic service composition1
behavioural implicit communication3
bio-inspired computing1
biochemical coordination2
biology1
BPEL1
CArtAgO10
chemical coordination5
chemical tuple spaces3
CINA7
cloud services1
co-argumentation artefacts1
code mobility1
cognitive agents1
cognitive stigmergy3
collective services1
collective sorting8
component-based systems2
computational fields6
coordination21
coordination artefacts3
coordination as a service3
coordination expressiveness2
coordination languages1
coordination middleware3
coordination models2
copy-collect1
cyber-physical systems1
data aggregation1
description logics2
design patterns2
developmental biology1
dialogue4
distributed data processing1
distributed systems1
domain specific languages1
Drosophila Melanogaster3
e-health1
eco-laws5
ecosystems1
edge intelligence1
environment-based coordination8
eternal systems3
event notification1
event-driven coordination1
field calculus4
FIPA ACL2
FIPA agents1
follow-me1
formal models9
fuzzy description logic1
GALILEO2
Gamma1
generics3
grey-box semantics1
IEEE-FIPA documentation template1
implicit communication1
interaction1
interaction patterns1
interaction semantics1
Internet of Things3
intrusion detection2
JADE2
Java5
JavaSpaces3
knowledge-intensive environment1
large-scale distributed systems1
large-scale simulation1
Lime2
Linda5
linear logic1
linking primitives1
live semantic annotations2
logic programming1
LogOp3
Manifold2
MAS coordination4
MAS engineering6
MAS environment12
MAS middleware11
MAS organisation8
MAS security4
Maude4
meta-heuristics1
meta-model1
method engineering1
minority game3
mirror worlds1
mobile systems1
model checking1
models2
morphogenesis1
MS-BioNET2
multi-agent based simulation1
multi-agent systems30
multi-disciplinary research1
multicellular systems biology1
multiple coordination flows1
nature-inspired computing3
negotiation1
NokiaMobileCoord7
objective vs. subjective coordination2
observable sources1
observation9
observation-based coordination5
online engineering1
operating instructions4
operational semantics2
opportunistic IoT services1
OWL1
P@J2
parametric weighted multi-path1
Pellet1
pervasive computing3
pervasive ecosystems4
pervasive service ecosystems3
pervasive systems2
Petri nets2
physics1
plain diffusion1
planning1
PRISM3
probabilistic model checking4
process algebras6
Prolog2
Protelis1
Proto1
pulverizable architectures1
RBAC4
RBAC-MAS6
reification1
Reo2
ReSpecT11
ReSpecT nets2
rewriting logic1
roles3
SANA1
SANAP1
SAPERE6
SAPERE-core4
SAPERE-in6
SAPERE-pre6
SAPERE-rel1
SAPERE-WP21
ScaFi1
self-*1
self-adaptation1
self-organisation2
self-organising coordination2
self-organising MAS1
self-organising systems25
self-stabilisation2
semantic chemistry1
semantic coordination6
semantic tuple centres4
semantic web2
SemHealthCoord3
service middleware1
service-oriented architecture1
SHOIN(D)1
simpA4
simpA-WS1
simulation11
social sciences1
SODA3
spatial computing7
spatial coordination1
Spatial Tuples2
STIL1
stochastic coordination1
stochastic Prolog1
stochastic simulation2
stochastic simulation algorithm4
stochastic π-calculus3
T Spaces2
timed coordination2
Timed ReSpecT2
tools1
TRUST 032
TuCSoN40
tuple centres6
tuple-based coordination7
tuProlog2
ubiquitous systems1
UNIBO1
verification3
web services1
wildcards1
WordNet1
π-calculus1