Mirko Viroli » Publications » Tag Index

Tag Index for Mirko Viroli's Publications

This page indexes publications by Mirko Viroli in the APICe space by tag. Currently, the APICe space contains 147 tagged publications by Mirko Viroli, labelled with 134 different tags.


0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

A [top]
A&A|Artifacts|CArtAgO Aea Promas V
A&A|Artifacts|CArtAgO|ACC Artifacts Promas III
A&A|Artifacts|CArtAgO|MAS environment Artifacts Aamas07
A&A|Artifacts|MAS|Meta-model Artifacts Jaamas17
ACC|MAS Acc Scp63
ACC|MAS environment|Organisation|Security|TuCSoN Acc Atai04
ACC|MAS infrastructure|TuCSoN Acc Aai20
ACC|Organisation|Security|Coordination|Process algebra Acc Entcs85
ACC|Process algebra|Roles|RBAC-MAS|Organisation Acc Aiia2005
ACC|RBAC|TuCSoN|Organisation|Security|Roles|MAS infrastructure|SemHealthCoord-pre Rbac Entcs128
ACC|Tucson Fipa Woa2003
ACC|TuCSoN|ReSpecT|Tuple centre Acc Iat09
ACL|Grey-box semantics|Agent model|Operationa semantics|MAS environment Obs Aiia2002
adaptation|components Adaptation Jucs14
Agens faber|A&A|Artifacts Agensfaber Entcs150
Agent|communication|ACL|FIPA|Semantics|Observation Observation Aai16
Alchemist Alchemist Jos2013 | Anticipative Gradient SASO2012 | Self Comp WOA2012 | Spatial Coordination2012
Alternative dispute resolution|Argumentation|TuCSoN|Co-argumentation artifact|Dialogue artifact|Meta-programming|Prolog Argumentation Sac09
AOSE|Environment|SODA|Artifacts Aose Mags5
AOSE|SAPERE|Coordination|models|Pervasive|computing Sapereaose Emas2013
AOSE|SAPERE|Coordination|models|Pervasive|computing|Methodologies Sapereaose Emas I
AOSE|Simulation|Environment|SODA Aosesimulation2009
AOSE|Simulation|Methodologies|SODA|Method engineering|IEEE FIPA Aosesimulation Scico2011 | Aosesimulation Scico78 | Aosesimulation Scp78
Argumentation|A&A|Dialogue|MAS|Artifacts Artifacts Argmas08
Artifacts|Activity theory|MAS engineering|MAS environment|Operating instructions|Agent cognition Artifacts E4mas2005
Artifacts|MAS programming|TuCSoN|3APL Artifacts Promas2005
Artifacts|Operating instructions Artifacts Ker21
B [top]
Behavioural implicit communication|Environment-mediated coordination|Observation-based coordination|Self-organisation Bic Woa2004
Behavioural implicit communication|Observation-based coordination Bic E4mas I
Behavioural implicit communication|Observation-based coordination|Environment-mediated coordination|Coordination artifacts Bic Ceas2004
Biochemical coordination|Self-organisation|Biochemical tuple space|Ecosystems Biochemicaltuplespace Coord09
biochemical tuple space|spatial computation Spatial Taas10 | Spatial Taas11
BPEL|UNIBO Orchestration Scp66
C [top]
CArtAgO|Artifacts|Middleware Cartago At2ai06
CArtAgO|artifacts|multi-agent|systems|agent-oriented|computing Cartago E4mas06
CArtAgO|MAS|Environment|A&A|Artifacts Cartago Jaamas | Cartago Jaamas23
CArtAgO|MAS|Infrastructure|A&A|Artifacts Cartago E4mas III
CArtAgO|MAS Environment|A&A|Artifacts Cartago Promasbook II
centres|TuCSoN|SAPERE-pre|SemHealthCoord-pre Sem Coord Sac2010
Cognitive agents|Tools|Artifacts|Activity Theory Ai Ifipbook2009
Cognitive stigmergy|Environment-based coordination|MAS|Artifacts|TuCSoN Cogstig Eumas2005
Cognitive stigmergy|Environment-based coordination|Self-organisation|MAS|Artifacts|A&A|TuCSoN Cognitivestigmergy E4mas III | Cogstig E4mas2006
collective Sort Collectivesort Coma08
Collective sorting|Adaptive systems|Self-organisation|A&A|Environment-based coordination|Maude Collectivesort Eumas06
Collective sort|Stochastic simulation|Self-organisation|Tuple spaces Collectivesort Scp74
Computational fields|stochastic model checking|pervasive systems Modelchecking Taas10
Coordination|ACC Coord Entcs68
Coordination artifacts|Environment-based coordination|Implicit communication|Follow-me Coord Aamas2004
Coordination artifacts|MAS engineering Artifacts Selmas IV
Coordination expressiveness|Event-driven coordination|Formal models Coord Pdpta02
Coordination models|Gamma|Linda|Tuple-based models|Self-organisation|Pervasive computing|Knowledge-intensive systems|SAPERE-in Selforgcoord Ker25years
Coordination models|LogOp|Linear logic|Pervasive systems Logop Sac2012
D [top]
Dialogue|Argumentation|A&A|Artifacts Argumentation Ijai S10 | Artifacts Argmas V
Drosophila Bio Sac2012
E [top]
e-Health|Coordination|Middleware|TuCSoN|Semantic tuple centres Ehealth Acr11
environment-based coordination|coordination artifacts Coord E4mas I
Eternal ecosystems|Pervasice services|Self-*|Nature-inspired computing|Eco-laws Ecosystems Woa2008
F [top]
FIPA|ACL|Formal models|Observation Acl Atai02
Fuzzy description logics|Semantic coordination|TuCSoN|Tuple centres|SAPERE-in Fuzzycoord Sac11
G [top]
GALILEO|SAPERE-pre|msbionet Bionet Cs2bio10 | Morpho Eng Book13
Generic types|Wildcards|Java|Reification Generics Scp73
J [top]
Java|Component-based systems Framework Foclasa06
L [top]
logic|semantic Sem Coord Sac2010
Logic programming|Prolog|tuProlog-core|Java|Multi-paradigm programming 2p Multiparadigm2010
LogOp|Coordination|Linear logic Logop Coordination2012
LogOp|Coordination|Linear logic|Semantics|Formal models Logop Idc2012
LogOp|Coordination as a service|Linda|Distributed systems|Coordination Logop Entcs97
LogOp|ReSpecT|Coordination infrastructure Logop Woa2002
M [top]
MAS|Argumentation|Dialogue|Negotiation|Artefacts|A&A Argumentation Argbook2011 | Argumentation Argbook2014
MAS|Environment|Infrastructure Environment Ker20
MAS|Observation Obs Aiia2001 | Obs Woa2001
MAS|Observation|Agent communication|Formal models Obs Icai02
Melanogaster|Morphogenesis|Simulation|SSA|Alchemist Bio Sac2012
Minority game|Simulation|TuCSoN|A&A Mgsim Isc06
Minority game|TuCSoN|Logic programming Minority Game Woa06
Model checking|Self-organisation|Simulation|PRISM Modelchecking Sac09
O [top]
Objective vs. subjective coordination|FIPA|TuCSoN|ACC Fipa Sac2004
Objective vs. subjective coordination|MAS infrastructure|JADE|TuCSoN Coord Aai18
Observation|Coordination|Formal|models|Coordination|expressiveness Obs Sac2001
Operating instructions|Coordination artifacts|ACL|Semantics Acl Atai04
Operating instructions|Process algebra|Coordination artifacts Operating Instructions Ac III
P [top]
P@J|Java|Generics|Prolog|tuProlog Patj Pppj07 | Patj Sac08
Pervasive computing|Self-organising coordination|TuCSoN|Adaptive tuple clustering|Chemical coordination|SemHealthCoord-pre Selforgcoord Sac09
Pervasive ecosystems|Semantic chemistry|Self-organisation|SAPERE-in|Alchemist Sapere Eco Laws Sac2012
Probalistic model checking|Self-organisation|Collective sort Probmodelchecking Cec09
Process algebra|MAS|Formal models Overview Aaecc16
R [top]
RBAC-MAS|ACC|Infrastructure|Organisation Acc Aamas05
RBAC-MAS|ACC|MAS infrastructure Rbacmas Aai21
RBAC-MAS|ACC|Process algebra|Roles|MAS organisation Rbacmas Aaecc16
RBAC|Organisation|MAS infrastructure|RBAC-MAS|ACC Rbac Sasemas2004
RBAC|Organisation|RBAC-MAS|ACC Rbac Aotp2004
ReSpecT Respect Entcs180
ReSpecT|A&A|Maude Respect Entcs194 | Respect Foclasa07
ReSpecT|Multiple coordination flows Respect Pdpta02
ReSpecT nets|Petri nets|ReSpecT|Coordination|Verification Respect Foclasa04
S [top]
SAPERE Semantic Sapere IGI2012
SAPERE-core|Chemical coordination|Tuple-based coordination|Eco-laws Sapere Woa2011
SAPERE-core|Coordination|Chemical tuple spaces|Eco-laws Sapere Aware Saso11
SAPERE-core|Coordination|Chemical tuple space|Eco-law Sapere Saso11
SAPERE-core|LSA|Eco-laws|Pervasive computing|Chemical coordination|Stochastic simulation|Alchemist Pianini Woa2011
SAPERE-in|Pervasive|ecosystems|Nature-inspired computing Ecosystems Jpcc7
SAPERE-in|Pervasive systems|Model checking|PRISM|Stochastic model checking|Verification|Computational fields Modelchecking Asensis2012
SAPERE-rel|Spatial computing|Proto Spatialcomputing Sac11
SAPERE|Alchemist Montagna-Serene2011 | Pianini MASS11
Sapere|Coordination|Chemical|tuple|space|eco|law foclasasaso11
SAPERE|SAPERE-WP2 Pattern Naco2012
Self-organisation|Biochemical metaphor|Nature-inspired systems|Eternal systems Ecosystem Sac09
Self-organisation|Design patterns Selforg Ceemas07
Self-organisation|Intrusion detection|TuCSoN|ReSpecT|A&A|Stochastic π-calculus|MAS engineering Selforg Esoa III
Self-organisation|MAS|Environment Selforg Ijaose2
Self-organisation|MAS environment|Collective sorting Selforg E4mas III
Self-organisation|Plain diffusion|Simulation|MAS engineering Simulationformal Massimulationbook09
Self-organisation|Software infrastructure|Chemical coordination|TuCSoN|Tuple centres|SAPERE-pre Chemcoord Soarbook
Self-organisation|Tuple organization|Stochastic simulation Collectivesort Saso08
Self-organising coordination|Chemical coordination|TuCSoN|Pervasive computing|SAPERE-in Selforgcoord Sosengineering2011
Self-organising coordination|Self-organisation|Coordination|ReSpecT|TuCSoN Selforgcoord Foclasa08
Self-organising systems|Ecoservices|Bio-inspired models|Adaptive systems|Infrastructure Ecoservices Idc08
semantic Sem Coord Sac2010
Semantic coordination|Semantic tuple centres|OWL|SHOIN(D)|Pellet|tuProlog-rel|SAPERE-in|SemHealthCoord-in|ReSpecT|TuCSoN Semcoord Scp78
Semantic web|Description logics|Semantic tuple centres|TuCSoN|Self-organisation|Chemical laws|SAPERE-pre Sosc Woa2010
simpA SCPSimp A | Simpa Scp76
simpA|A&A Simpa Entcs194 | Simpa Lads07
simpA|Web services|SOA|AOC|Java|simpA-WS Simpaws Woa06
Simulation|MAS engineering|TuCSoN|Self-organisation Selforg Woa2005
Simulation|MAS engineering|TuCSoN|Self-organisation|Stochastic π-calculus Selforg Esoa2005
Stochastic|Prolog|PRISM|collective|sorting Stochasticprolog Cilc08
Stochastic Model Checking|Simulation|Self-organisation|Verification Sochasticmodelcheck Techrep08 | Stochasticmodelcheck Techrep08
T [top]
Timed ReSpecT|Tuple centres|Timed coordination|TuCSoN Timed Wias5
Timed ReSpecT|Tuple centres|Timed coordination|TuCSoN|ReSpecT Timed Coord05
TuCSoN|Minority game|Simulation|MABS Mgdemo Woa2006
tuple Sem Coord Sac2010
Tuples|Observation|Coordination Obs Coord02
W [top]
web|description Sem Coord Sac2010
WordNet|TuCSoN|Self-organisation|SAPERE-pre Selforgwordnet Saso2010