Home People Publications Talks Projects Products Events Courses Theses

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 141 tagged publications by Mirko Viroli, labelled with 192 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

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