General Actions:
Log-in
Home
Courses
Events
Journals
People
Products
Projects
Publications
Talks
Theses
en
Page Actions:
Export
▼
:
Export as PDF
More actions
▼
:
Print preview
View Source
Mirko Viroli
»
Publications
»
Tags
Publications by Mirko Viroli / Tag Cloud
3APL
A&A
activity theory
adaptive systems
adaptive tuple clustering
adaptive tuple clustering
agens faber
agent cognition
agent communication
agent communication languages
agent coordination contexts
agent model
agent-oriented computing
agent-oriented programming
Alchemist
AOSE
AOSE methodologies
argumentation
artefacts
artificial intelligence
augmented reality
behavioural implicit communication
bio-inspired computing
biochemical coordination
BPEL
CArtAgO
chemical coordination
chemical tuple spaces
cognitive agents
cognitive stigmergy
collective sorting
component-based systems
computational fields
coordination
coordination artefacts
coordination as a service
coordination expressiveness
coordination middleware
coordination models
description logics
design patterns
developmental biology
dialogue
distributed systems
Drosophila Melanogaster
e-Health
eco-laws
ecosystems
environment-based coordination
eternal systems
event-driven coordination
FIPA ACL
FIPA agents
follow-me
formal models
fuzzy description logic
GALILEO
Gamma
generics
grey-box semantics
IEEE-FIPA documentation template
implicit communication
interaction semantics
intrusion detection
JADE
Java
knowledge-intensive environment
Linda
linear logic
live semantic annotations
logic programming
LogOp
MAS engineering
MAS environment
MAS middleware
MAS organisation
MAS security
Maude
meta-heuristics
meta-model
method engineering
middleware
minority game
mirror worlds
model checking
models
morphogenesis
MS-BioNET
multi-agent based simulation
multi-agent systems
multicellular systems biology
multiple coordination flows
nature-inspired computing
negotiation
objective vs. subjective coordination
observation
observation-based coordination
operating instructions
operational semantics
OWL
P@J
Pellet
pervasive computing
pervasive ecosystems
pervasive service ecosystems
pervasive systems
Petri nets
plain diffusion
PRISM
probabilistic model checking
process algebras
Prolog
Proto
RBAC
RBAC-MAS
reification
ReSpecT
ReSpecT nets
roles
SAPERE
SAPERE-core
SAPERE-in
SAPERE-pre
SAPERE-rel
SAPERE-WP2
self-*
self-organising coordination
self-organising systems
semantic chemistry
semantic coordination
semantic tuple centres
semantic web
SemHealthCoord-in
SemHealthCoord-pre
service-oriented architecture
SHOIN(D)
simpA
simpA-WS
simulation
SODA
spatial computing
spatial coordination
Spatial Tuples
stochastic Prolog
stochastic simulation
stochastic simulation algorithm
stochastic π-calculus
timed coordination
Timed ReSpecT
tools
TuCSoN
tuple centres
tuple-based coordination
tuProlog
tuProlog-related
UNIBO
verification
web services
wildcards
WordNet
Mirko Viroli
Home
Courses
Publications
Talks
Projects
Research
Events
Theses
Sorted
Publications per Year
Publications per Status
Journal Articles
Series Articles
Conference Papers
Book Chapters
Edited Volumes
Services
IRIS
Indexes
Co-authors
Co-editors
Journals & Series
Tags
Personal Links
— Projects
SAPERE
— Courses
FINF-A
LMC