Tags
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 programming1 agent-oriented software engineering5 AgentLink III2 aggregate computing5 aggregate planning1 Alchemist11 AOSE methodologies1 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 coordination20 coordination artefacts3 coordination as a service3 coordination expressiveness2 coordination languages1 coordination middleware3 coordination models2 copy-collect1 cyber-physical systems1 data aggregation1 description logics2 design patterns1 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 NokiaMobileCoord8 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 nets1 physics1 plain diffusion1 planning1 PRISM3 probabilistic model checking4 process algebras6 Prolog2 Protelis1 Proto1 pulverizable architectures1 RBAC4 RBAC-MAS6 reification1 Reo2 ReSpecT11 ReSpecT nets1 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 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 verification2 web services1 wildcards1 WordNet1 π-calculus1
[ 716 / 215 tags ]