Per Year

83 publications with Scopus ID  /  2000–2024  /  Mirko Viroli
2018  •  2017  •  2016  •  2015  •  2013  •  2012  •  2011  •  2010  •  2009  •  2008  •  2007  •  2006  •  2005  •  2004  •  2003  •  2002  •  2001
 @inproceedings{blockchain-goodtechs2018,
    acm = {10.1145/3284869.3284870},
    address = {New Work, NY, USA},
    author = {Pianini, Danilo and Ciatto, Giovanni and Casadei, Roberto and Mariani, Stefano and Viroli, Mirko and Omicini, Andrea},
    booktitle = {GOODTECHS'18 -- Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good},
    dblp = {conf/goodtechs/PianiniCC0VO18},
    doi = {10.1145/3284869.3284870},
    iris = {11585/655097},
    keywords = {Aggregate Programming, blockchain, security, Byzantine fault tolerance},
    location = {Bologna, Italy},
    month = nov,
    pages = {271--276},
    publisher = {ACM},
    scholar = {3798219571928546753},
    scopus = {2-s2.0-85061088949},
    title = {Transparent Protection of Aggregate Computations from {B}yzantine Behaviours via Blockchain},
    url = {http://dl.acm.org/citation.cfm?doid=3284870},
    wos = {000470918900046},
    year = 2018
} 
 @inproceedings{ADV-ALP4IOT2018,
  author    = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko},
  title     = {Aggregate Graph Statistics},
  booktitle = {Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT at iFM 2017, Turin, Italy, September 18, 2017.},
  pages     = {18--22},
  year      = {2017},
  url       = {https://doi.org/10.4204/EPTCS.264.2},
  doi       = {10.4204/EPTCS.264.2},
  editor    = {Pianini, Danilo and Salvaneschi, Guido},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {264},
  year      = {2018}
} 
 @article{spatialtuples-exsys35,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
    dblp = {journals/es/RicciVOMCP18},
    doi = {10.1111/exsy.12273},
    editor = {Camacho, David and Novais, Paulo},
    iris = {11585/646034},
    issn = {0266-4720},
    journal = {Expert Systems},
    keywords = {Artificial intelligence, coordination, pervasive computing, spatial computing, software engineering},
    month = oct,
    note = {{S}pecial Issue: New trends and innovations in intelligent distributed computing},
    number = 5,
    publisher = {Wiley},
    scholar = {15432439871249761138},
    scopus = {2-s2.0-85045836760},
    title = {Spatial Tuples: Augmenting Reality with Tuples},
    url = {http://onlinelibrary.wiley.com/doi/10.1111/exsy.12273},
    volume = 35,
    wos = {000446560700003},
    year = 2018
} 
 @InProceedings{CAV-FOCLASA2017-LNCS10729,
author={Casadei, Roberto and Aldini, Alessandro and Viroli, Mirko},
editor={Cerone, Antonio and Roveri, Marco},
title={Combining Trust and Aggregate Computing},
booktitle={Software Engineering and Formal Methods},
year={2018},
publisher={Springer International Publishing},
  series    = {Lecture Notes in Computer Science},
  volume    = {10729},
pages={507--522},
abstract={Recent trends such as the Internet of Things and pervasive computing demand for novel engineering approaches able to support the specification and scalable runtime execution of adaptive behaviour of large collections of interacting devices. Aggregate computing is one such approach, formally founded in the field calculus, which enables programming of device aggregates by a global stance, through a functional composition of self-organisation patterns that is turned automatically into repetitive local computations and gossip-like interactions. However, the logically decentralised and open nature of such algorithms and systems presumes a fundamental cooperation of the devices involved: an error in a device or a focused attack may significantly compromise the computation outcome and hence the algorithms built on top of it. We propose trust as a framework to detect, ponder or isolate voluntary/involuntary misbehaviours, with the goal of mitigating the influence on the overall computation. To better understand the fragility of aggregate systems in face of attacks and investigate possible countermeasures, in this paper we consider the paradigmatic case of the gradient algorithm, analysing the impact of offences and the mitigation afforded by the adoption of trust mechanisms.},
isbn={978-3-319-74781-1}
} 
4 publications in 2018 with Scopus ID • topindexbottom
 @article{safe-ijdst17,
    acm = {10.4018/IJDST.2017010104},
    author = {Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko},
    dblp = {journals/ijdst/CroattiRV17},
    doi = {10.4018/IJDST.2017010104},
    iris = {11585/582002},
    journal = {International Journal of Distributed Systems and Technologies (IJDST)},
    number = 1,
    pages = {46--58},
    publisher = {IGI Global},
    scopus = {2-s2.0-84998910333},
    title = {Towards a Mobile Augmented Reality System for Emergency Management: The Case of {SAFE}},
    url = {http://www.igi-global.com/article/towards-a-mobile-augmented-reality-system-for-emergency-management/171982},
    volume = 8,
    wos = {000390173100004},
    year = 2017
} 
 @inproceedings{spatialtuples-idc2016,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea and Mariani, Stefano and Croatti, Angelo and Pianini, Danilo},
    booktitle = {Intelligent Distributed Computing X. Proceedings of the 10th International Symposium on Intelligent Distributed Computing -- IDC 2016, Paris, France, October 10-12 2016},
    chapter = 12,
    dblp = {conf/idc/RicciVOMCP16},
    doi = {10.1007/978-3-319-48829-5_12},
    editor = {Badica, Costin and El Fallah Seghrouchni, Amal and Beynier, Aur{\'e}lie and Camacho, David and Herpson, C{\'e}dric and Hindriks, Koen and Novais, Paulo},
    eisbn = {978-3-319-48829-5},
    iris = {11585/586449},
    isbn = {978-3-319-48828-8},
    issn = {1860-949X},
    keywords = {Multi-Agent Systems, Space-based Coordination, Spatial Computing, Augmented/Mixed Reality},
    location = {Paris, France},
    pages = {121--130},
    publisher = {Springer},
    scopus = {2-s2.0-84992336025},
    series = {Studies in Computational Intelligence},
    title = {{S}patial {T}uples: Augmenting Physical Reality with Tuple Spaces},
    url = {http://link.springer.com/10.1007/978-3-319-48829-5_12},
    volume = 678,
    wos = {000398722900012},
    year = 2017
} 
2 publications in 2017 with Scopus ID • topindexbottom
 @INPROCEEDINGS{AFVC-ECAS2016,
  author    = {Audrito, Giorgio and Damiani, Ferruccio and Viroli, Mirko and Casadei, Roberto},
  title     = {Run-Time Management of Computation Domains in Field Calculus},
  booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
               of Self* Systems (FAS*W), Augsburg, Germany, September 12--16, 2016},
  pages     = {192--197},
  year      = 2016,
  url       = {https://doi.org/10.1109/FAS-W.2016.50},
  doi       = {10.1109/FAS-W.2016.50},
  editor    = {Elnikety, Sameh and Lewis, Peter R.  and M{\"{u}}ller{-}Schloer, Christian},
  isbn      = {978-1-5090-3651-6}
}
 
 @inproceedings{AggregateComputingSFM2016,
  author    = {Jacob Beal and
               Mirko Viroli},
  title     = {Aggregate Programming: From Foundations to Applications},
  booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
               Systems - 16th International School on Formal Methods for the Design
               of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
               Italy, June 20-24, 2016, Advanced Lectures},
  pages     = {233--260},
  year      = {2016},
  url       = {http://dx.doi.org/10.1007/978-3-319-34096-8_8},
  doi       = {10.1007/978-3-319-34096-8\_8},
  editor    = {Marco Bernardo and
               Rocco De Nicola and
               Jane Hillston},
  series    = {Lecture Notes in Computer Science},
  volume    = {9700},
  publisher = {Springer},
  year      = {2016},
  isbn      = {978-3-319-34095-1}
}
 
 @INPROCEEDINGS{VBPB-ECAS2016,
  author    = {Viroli, Mirko and
               Bucchiarone, Antonio and
               Pianini, Danilo and
               Beal, Jacob},
  title     = {Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE},
  booktitle = {2016 {IEEE} 1st International Workshops on Foundations and Applications
               of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016},
  pages     = {186--191},
  year      = {2016},
  url       = {https://doi.org/10.1109/FAS-W.2016.49},
  doi       = {10.1109/FAS-W.2016.49},
  editor    = {Elnikety, Sameh and
               Lewis, Peter R. and
               M{\"{u}}ller{-}Schloer}, Christian}
  publisher = {{IEEE}},
  isbn      = {978-1-5090-3651-6}
  } 
 @article{sapere-ker31,
    author = {Dobson, Simon and Viroli, Mirko and Fernandez-Marquez, Jose Luis and Zambonelli, Franco and Stevenson, Graeme and Di Marzo Serugendo, Giovanna and Montagna, Sara and Pianini, Danilo and Ye, Juan and Castelli, Gabriella and Rosi, Alberto},
    doi = {10.1017/S0269888916000199},
    iris = {11585/587618},
    journal = {The Knowledge Engineering Review},
    month = sep,
    number = 4,
    numpages = 24,
    pages = {343-366},
    scopus = {2-s2.0-85002973358},
    title = {Spatial awareness in pervasive ecosystems},
    url = {http://journals.cambridge.org/abstract_ S0269888916000199},
    volume = 31,
    year = 2016
} 
4 publications in 2016 with Scopus ID • topindexbottom
 @article{VPMSZ-SCP2015,
title = "A coordination model of pervasive service ecosystems",
journal = "Science of Computer Programming",
volume = "110",
number = "",
pages = "3 - 22",
year = "2015",
issn = "0167-6423",
doi = "http://dx.doi.org/10.1016/j.scico.2015.06.003",
url = "http://www.sciencedirect.com/science/article/pii/S0167642315001264",
author = "Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme and Zambonelli, Franco",
keywords = "Coordination models and languages",
keywords = "Pervasive computing",
keywords = "Service ecosystems",
keywords = "Process algebras",
keywords = "Self-organisation "
}
 
 @article{sapere-pmc10years,
    author = {Zambonelli, Franco and Omicini, Andrea and Anzengruber, Bernhard and Castelli, Gabriella and DeAngelis, Francesco L. and Di Marzo Serugendo, Giovanna and Dobson, Simon and Fernandez-Marquez, José Luis and Ferscha, Alois and Mamei, Marco and Mariani, Stefano and Molesini, Ambra and Montagna, Sara and Nieminen, Jussi and Pianini, Danilo and Risoldi, Matteo and Rosi, Alberto and Stevenson, Graeme and Viroli, Mirko and Ye, Juan},
    dblp = {journals/percom/ZambonelliOACAS15},
    doi = {10.1016/j.pmcj.2014.12.002},
    editor = {Kumar, Mohan and Becker, Christian},
    iris = {11585/480586},
    issn = {1574-1192},
    journal = {Pervasive and Mobile Computing},
    keywords = {Pervasive computing; Multi-agent systems; Coordination models; Self-organization},
    month = feb,
    note = {Special Issue ``10 years of Pervasive Computing'' In Honor of Chatschik Bisdikian},
    pages = {236–252},
    part = {B},
    scholar = {15583593111038826907},
    scopus = {2-s2.0-84924155453},
    semanticscholar = {16555450},
    title = {Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination},
    url = {http://www.sciencedirect.com/science/article/pii/S1574119214001904},
    volume = 17,
    wos = {000350826800007},
    year = 2015
} 
 @incollection{VPRBC-PRIMA2015,
    author = {Viroli, Mirko and Pianini, Danilo and Ricci, Alessandro and Brunetti, Pietro and Croatti, Angelo},
    booktitle = {PRIMA 2015: Principles and Practice of Multi-Agent Systems},
    dblp = {conf/prima/ViroliPRBC15},
    doi = {10.1007/978-3-319-25524-8_4},
    editor = {Chen, Qingliang and Torroni, Paolo and Villata, Serena and Hsu, Jane and Omicini, Andrea},
    iris = {11585/521212},
    isbn = {978-3-319-25523-1},
    keywords = {Spatial Computing; Aggregate Programming; Computational Fields},
    language = {English},
    pages = {49--64},
    publisher = {Springer International Publishing},
    scopus = {2-s2.0-84950323451},
    series = {Lecture Notes in Computer Science},
    title = {Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan},
    url = {http://dx.doi.org/10.1007/978-3-319-25524-8_4},
    volume = 9387,
    wos = {000367782600004},
    year = 2015
} 
 @inproceedings{7306561,
  author={Pianini, Danilo and Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko},
  booktitle={2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops}, 
  title={Computational Fields Meet Augmented Reality: Perspectives and Challenges}, 
  year=2015,
  pages={80--85},
  doi={10.1109/SASOW.2015.18},
  month=sep} 
 @inproceedings{mirrorworlds-emas2015,
    acm = {10.1007/978-3-319-26184-3_11},
    author = {Ricci, Alessandro and Croatti, Angelo and Brunetti, Pietro and Viroli, Mirko},
    booktitle = {Engineering Multi-Agent Systems (EMAS 2015)},
    dblp = {conf/atal/RicciCBV15},
    doi = {10.1007/978-3-319-26184-3_11},
    iris = {11585/520878},
    location = {Istanbul, Turkey},
    numpages = 21,
    scopus = {2-s2.0-84951273866},
    title = {Programming Mirror-Worlds: An Agent-Oriented Programming Perspective},
    wos = {000367684000011},
    year = 2015
} 
 @inproceedings{augmentedfields-icth2015,
    author = {Brunetti, Pietro and Croatti, Angelo and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Procedia Computer Science},
    dblp = {conf/euspn/BrunettiCRV15},
    doi = {10.1016/j.procs.2015.08.358},
    iris = {11585/538763},
    issn = {1877-0509},
    keywords = {Healthcare},
    location = {Berlin, Germany},
    month = sep,
    note = {The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015) / Affiliated Workshops},
    numpages = 8,
    pages = {392--399},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-84954144309},
    series = {Procedia Computer Science},
    title = {Smart Augmented Fields for Emergency Operations},
    url = {http://www.sciencedirect.com/science/article/pii/S187705091502493X},
    urlpdf = {http://ac.els-cdn.com/S187705091502493X/1-s2.0-S187705091502493X-main.pdf?_tid=684d780e-20f7-11e6-ba1e-00000aacb361&acdnat=1464015946_6d656e32785b1aabe27fa5997b5dbbcb},
    volume = 63,
    wos = {000373842900051},
    year = 2015
} 
6 publications in 2015 with Scopus ID • topindexbottom
 @article{aosesimulation-scp78,
    acm = {10.1016/j.scico.2011.09.007},
    author = {Molesini, Ambra and Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
    doi = {10.1016/j.scico.2011.09.007},
    editor = {Cabri, Giacomo and Ganzha, Maria},
    issn = {0167-6423},
    journal = {Science of Computer Programming},
    keywords = {Agent-Oriented Software Engineering, Methodologies, Simulation, MAS Environment, SODA},
    month = jun,
    note = {Special Section on Agent-oriented Design methods and Programming Techniques for Distributed Computing in Dynamic and Complex Environments},
    number = 6,
    pages = {705–-714},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-84875701894},
    title = {Simulation in {A}gent-{O}riented {S}oftware {E}ngineering: The {{\sf SODA}} Case Study},
    url = {http://www.sciencedirect.com/science/article/pii/S0167642311001778},
    volume = 78,
    wos = {000318134400008},
    year = 2013
} 
 @article{semcoord-scp78,
    acm = {10.1016/j.scico.2012.10.004},
    author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
    doi = {10.1016/j.scico.2012.10.004},
    editor = {Casadei, Matteo and Mamei, Marco and Menezes, Ronaldo},
    iris = {11585/134307},
    issn = {0167-6423},
    journal = {Science of Computer Programming},
    keywords = {Coordination models, Tuple spaces, Description logics, OWL, Semantic tuple centres, TuCSoN, Pellet},
    month = may,
    note = {Special section: Self-Organizing Coordination},
    number = 5,
    pages = {569--582},
    scopus = {2-s2.0-84875230312},
    title = {Semantic Tuple Centres},
    url = {http://www.sciencedirect.com/science/article/pii/S0167642312001876},
    volume = 78,
    wos = {000317544500011},
    year = 2013
} 
 @incollection{sapereaose-emasI,
    acm = {10.5555/3100666.3100677},
    author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko and Zambonelli, Franco},
    booktitle = {Engineering Multi-Agent Systems},
    chapter = 11,
    doi = {10.1007/978-3-642-45343-4_11},
    editor = {Cossentino, Massimo and El Fallah Seghrouchni, Amal and Winikoff, Michael},
    eisbn = {978-3-642-45343-4},
    iris = {11585/256515},
    isbn = {978-3-642-45342-7},
    issn = {0302-9743},
    month = dec,
    note = {1st International Workshop (EMAS 2013), Saint Paul, Minnesota, USA, 6--7~} # may # {~2013, Revised Selected Papers},
    pages = {196--214},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-84893042546},
    series = {Lecture Notes in Computer Science},
    title = {Engineering Pervasive Multiagent Systems in {SAPERE}},
    url = {http://link.springer.com/10.1007/978-3-642-45343-4_11},
    volume = 8245,
    year = 2013
} 
3 publications in 2013 with Scopus ID • topindexbottom
 @inproceedings{logop-sac2012,
    acm = {2232025},
    address = {Riva del Garda, TN, Italy},
    author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {27th ACM Symposium on Applied Computing (SAC 2012)},
    doi = {10.1145/2245276.2232025},
    editor = {Ossowski, Sascha and Lecca, Paola and Hung, Chih-Cheng and Hong, Jiman},
    iris = {11585/115125},
    isbn = {978-1-4503-0857-1},
    keywords = {Coordination models, Pervasive systems, LogOp, Linear logic},
    month = {26--30}}},
    scopus = {2-s2.0-84863558967},
    title = {Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of {{\it\sffamily LogOp}}{}},
    url = {http://dl.acm.org/citation.cfm?id=2232025},
    volume = 2,
    year = 2012
} 
1 publication in 2012 with Scopus ID • topindexbottom
 @inproceedings{sapere-procedia7,
    address = {Budapest, Hungary},
    author = {Zambonelli, Franco and Castelli, Gabriella and Ferrari, Laura and Mamei, Marco and Rosi, Alberto and Di Marzo Serugendo, Giovanna and Risoldi, Matteo and Tchao, Akla-Esso and Dobson, Simon and Stevenson, Graeme and Ye, Yuan and Nardini, Elena and Omicini, Andrea and Montagna, Sara and Viroli, Mirko and Ferscha, Alois and Maschek, Sascha and Wally, Bernhard},
    booktitle = {Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11)},
    doi = {10.1016/j.procs.2011.09.006},
    editor = {Giacobino, Elisabeth and Pfeifer, Rolf},
    iris = {11585/114963},
    issn = {1877-0509},
    keywords = {Self-awareness in Autonomic Systems; Pervasive Computing Service; Nature-inspired Computing},
    month = {4--6}}},
    scopus = {2-s2.0-84856490082},
    series = {Procedia Computer Science},
    title = {Self-aware Pervasive Service Ecosystems},
    url = {http://www.sciencedirect.com/science/article/pii/S1877050911005667},
    volume = 7,
    wos = {000299100900065},
    year = 2011
} 
 @article{selforgcoord-ker25years,
    acm = {10.1017/S026988891000041X},
    author = {Omicini, Andrea and Viroli, Mirko},
    doi = {10.1017/S026988891000041X},
    editor = {McBurney, Peter and Parsons, Simon and Viroli, Mirko},
    iris = {11585/97437},
    issn = {0269-8889},
    journal = {The Knowledge Engineering Review},
    month = mar,
    note = {Special Issue 01 (25th Anniversary Issue)},
    number = 1,
    pages = {53--59},
    publisher = {Cambridge University Press},
    scopus = {2-s2.0-79953142564},
    title = {Coordination Models and Languages: From Parallel Computing To Self-Organisation},
    url = {http://journals.cambridge.org/abstract_S026988891000041X},
    urlpdf = {http://journals.cambridge.org/repo_A80tRwy1},
    volume = 26,
    wos = {000288060200009},
    year = 2011
} 
 @inproceedings{fuzzycoord-sac11,
    acm = {10.1145/1982185.1982375},
    address = {Tunghai University, TaiChung, Taiwan},
    author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
    booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
    doi = {10.1145/1982185.1982375},
    editor = {Palakal, Mathew J. and Hung, Chih-Cheng and Chu, William and Wong, W. Eric},
    iris = {11585/102110},
    isbn = {978-1-4503-0113-8},
    month = {21--25}}},
    scopus = {2-s2.0-79959300590},
    title = {Description Spaces with Fuzziness},
    url = {http://dl.acm.org/citation.cfm?id=1982375},
    urlpdf = {http://delivery.acm.org/10.1145/1990000/1982375/p869-nardini.pdf},
    volume = {II: Artificial Intelligence \& Agents, Information Systems, and Software Development},
    year = 2011
} 
3 publications in 2011 with Scopus ID • topindexbottom
 @article{argumentation-ijaiS10,
    author = {Oliva, Enrico and McBurney, Peter and Omicini, Andrea and Viroli, Mirko},
    editor = {Lopes, Fernando and Coelho, Helder},
    iris = {11585/90748},
    issn = {0974-0635},
    journal = {International Journal of Artificial Intelligence},
    keywords = {Agents, Argumentation, Artifacts, Dialogues, Multiagent systems, Negotiation, Logic Programming.},
    month = {Spring},
    note = {Special Issue on Negotiation and Argumentation in Artificial Intelligence},
    number = {S10},
    pages = {90--117},
    publisher = {CESER},
    scopus = {2-s2.0-77954767173},
    title = {Argumentation and Artifacts for Negotiation Support},
    url = {http://www.ceser.in/ceserp/index.php/ijai/article/view/2215},
    urlpdf = {http://www.ceser.in/ceserp/index.php/ijai/article/view/2215/718},
    volume = 4,
    year = 2010
} 
@inproceedings{sosc-woa2010, author = {Nardini, Elena and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea}, booktitle = {WOA 2010 -- Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*}, editor = {Omicini, Andrea and Viroli, Mirko}, iris = {11585/93511}, issn = {1613-0073}, location = {Rimini, Italy}, month = {5-7}}}, scopus = {2-s2.0-84868706553}, series = {CEUR Workshop Proceedings}, title = {A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in {{\sf TuCSoN, urlpdf = {http://CEUR-WS.org/Vol-621/paper17.pdf}, volume = 621, year = 2010 } }}}
 @inproceedings{selforgwordnet-saso2010,
    acm = {10.1109/SASO.2010.35},
    address = {Budapest, Hungary},
    author = {Pianini, Danilo and Virruso, Sascia and Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010)},
    doi = {10.1109/SASO.2010.35},
    editor = {Gupta, Indranil and Hassas, Salima and Jerome, Rolia},
    eisbn = {978-0-7695-4232-4},
    ieee = {5630506},
    iris = {11585/93506},
    isbn = {978-1-4244-8537-6},
    month = {27}}},
    publisher = {IEEE CS},
    scopus = {2-s2.0-79952067343},
    title = {Self Organization in Coordination Systems using a {WordNet}-based Ontology},
    url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5630506},
    urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5630506},
    year = 2010
} 
 @incollection{chemcoord-soarbook,
    author = {Viroli, Mirko and Casadei, Matteo and Nardini, Elena and Omicini, Andrea},
    booktitle = {Self-Organizing Architectures},
    chapter = 8,
    doi = {10.1007/978-3-642-14412-7_8},
    editor = {Weyns, Danny and Malek, Sam and de Lemos, Rogério and Andersson, Jesper},
    eissn = {1611-3349},
    iris = {11585/90749},
    isbn = {978-3-642-14411-0},
    issn = {0302-9743},
    month = jul,
    note = {1st International Workshop on Self-Organizing Architectures (SOAR 2009), Cambridge, UK, 14-17~} # sep # {~2009, Revised Selected and Invited Papers},
    pages = {152--176},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-77955454179},
    series = {Lecture Notes in Computer Science},
    title = {Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services},
    url = {http://link.springer.com/chapter/10.1007/978-3-642-14412-7_8},
    volume = 6090,
    wos = {000281987900008},
    year = 2010
} 
4 publications in 2010 with Scopus ID • topindexbottom
 @incollection{artifacts-argmasV,
    acm = {10.1007/978-3-642-00207-6_7},
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea and McBurney, Peter},
    booktitle = {Argumentation in Multi-Agent Systems},
    chapter = 7,
    doi = {10.1007/978-3-642-00207-6_7},
    editor = {Rahwan, Iyad and Moraitis, Pavlos},
    eissn = {1611-3349},
    iris = {11585/82472},
    isbn = {978-3-642-00206-9},
    issn = {0302-9743},
    keywords = {Argumentation; Artifact; Dialogue; Multi-Agent Systems},
    month = feb,
    note = {4th International Workshop (ArgMAS 2008), Estoril, Portugal, 12~} # may # {~2008. Revised Selected and Invited Papers},
    pages = {107--121},
    part = {II},
    publisher = {Springer},
    scopus = {2-s2.0-61649095715},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers},
    title = {Argumentation and Artifact for Dialog Support},
    url = {http://link.springer.com/10.1007/978-3-642-00207-6_7},
    volume = 5384,
    wos = {000266106900007},
    year = 2009
} 
 @incollection{simulation-massimulationbook09,
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Multi-Agent Systems: Simulation and Applications},
    chapter = 5,
    doi = {10.1201/9781420070248-15},
    editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
    eisbn = {978-1-3152-1878-6},
    iris = {11585/82469},
    isbn = {978-1-4200-7023-1},
    isbn10 = {1-4200-7023-1},
    isbn13 = {978-1-4200-7023-1},
    month = jun,
    pages = {133--165},
    publisher = {CRC Press},
    scopus = {2-s2.0-85068357847},
    series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
    title = {Combining Simulation and Formal Tools for Developing Self-Organizing {MAS}},
    url = {http://crcpress.com/product/isbn/9781420070231},
    year = 2009
} 
 @inproceedings{ecosystem-sac09,
	Address = {Honolulu, Hawai'i, USA},
	Author = {Viroli, Mirko and Zambonelli, Franco and Casadei, Matteo and Montagna, Sara},
	Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
	Doi = {10.1145/1529282.1529556},
	Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
	Isbn = {978-1-60558-166-8},
	Month = {8--12}}},
	Title = {A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems},
	Url = {http://dl.acm.org/citation.cfm?id=1529556},
	Volume = {II},
	Year = 2009}
 
 @incollection{ai-ifipbook2009,
    acm = {10.5555/1793943.1793952},
    author = {Omicini, Andrea and Piunti, Michele and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Artificial Intelligence: An International Perspective},
    chapter = 9,
    doi = {10.1007/978-3-642-03226-4_9},
    editor = {Bramer, Max},
    eissn = {1611-3349},
    iris = {11585/82470},
    isbn10 = {3-642-03225-7},
    isbn13 = {978-3-642-03225-7},
    issn = {0302-9743},
    pages = {157--173},
    publisher = {Springer},
    scopus = {2-s2.0-70350627497},
    series = {Lecture Notes in Computer Science},
    subseries = {LNAI: State-of-the-Art Survey},
    title = {Agents, Intelligence, and Tools},
    url = {http://link.springer.com/10.1007/978-3-642-03226-4_9},
    volume = 5640,
    wos = {000268976000009},
    year = 2009
} 
 @inproceedings{selforgcoord-sac09,
    acm = {1529585},
    author = {Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    doi = {10.1145/1529282.1529585},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
    iris = {11585/71835},
    isbn = {978-1-60558-166-8},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12}}},
    scopus = {2-s2.0-68749114381},
    title = {A Framework for Modelling and Implementing Self-Organising Coordination},
    url = {http://dl.acm.org/citation.cfm?id=1529585},
    volume = {III},
    year = 2009
} 
 @inproceedings{acc-iat2009,
    acm = {1632219},
    author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
    booktitle = {The WI-IAT 2009 Workshops Proceedings},
    doi = {10.1109/WI-IAT.2009.335},
    eisbn = {978-1-4244-5331-3},
    ieee = {5285035},
    iris = {11585/82473},
    isbn = {978-0-7695-3801-3},
    keywords = {Agent Coordination Context; MAS Infrastructure; Coordination; TuCSoN; ReSpecT},
    location = {Milano, Italy},
    month = {15--18}}},
    publisher = {IEEE Computer Society},
    scholar = {4632009932343186181},
    scopus = {2-s2.0-84856824070},
    title = {General-Purpose Coordination Abstractions for Managing Interaction in {MAS}},
    url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5285035},
    wos = {000279801400123},
    year = 2009
} 
 @article{aose-mags5,
    acm = {10.5555/1544150.1544153},
    author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko},
    doi = {10.3233/MGS-2009-0118},
    editor = {Weyns, Danny and Omicini, Andrea},
    eissn = {1875-9076},
    iris = {11585/82467},
    issn = {1574-1702},
    journal = {Multiagent and Grid Systems},
    note = {Special Issue ``Engineering Environments in Multi-Agent Systems''},
    number = 1,
    pages = {37--57},
    publisher = {IOS Press},
    scopus = {2-s2.0-85006305758},
    title = {Environment in {A}gent-{O}riented {S}oftware {E}ngineering Methodologies},
    url = {http://content.iospress.com/articles/multiagent-and-grid-systems/mgs00118},
    volume = 5,
    wos = {WOS:000212584100003},
    year = 2009
} 
7 publications in 2009 with Scopus ID • topindexbottom
 @article{selforg-ijaose2,
    acm = {10.1504/IJAOSE.2008.017314},
    author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
    doi = {10.1504/IJAOSE.2008.017314},
    editor = {Cossentino, Massimo and Fortino, Giancarlo and Russo, Wilma},
    eissn = {1746-1383},
    iris = {11585/62551},
    issn = {1746-1375},
    journal = {International Journal of Agent-Oriented Software Engineering},
    keywords = {collective sorting; self-organisation; emergence; simulation; tuning; patterns; multi-agent systems; MAS design; artefacts; agent-based systems; metamodelling; environmental agents; tuple spaces; social insects},
    note = {Special Issue on Multi-Agent Systems and Simulation},
    number = 2,
    pages = {171--195},
    publisher = {Inderscience Publishers},
    scopus = {2-s2.0-77954568138},
    title = {Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach},
    url = {http://www.inderscience.com/info/inarticle.php?artid=17314},
    urlpdf = {http://inderscience.metapress.com/content/t062gp2g6j688pvl/fulltext.pdf},
    volume = 2,
    year = 2008
} 
 @incollection{aea-promasV,
    acm = {1793542},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Programming Multi-Agent Systems},
    doi = {10.1007/978-3-540-79043-3_6},
    editor = {Dastani, Mehdi and El Fallah Seghrouchni, Amal and Ricci, Alessandro and Winikoff, Michael},
    eissn = {1611-3349},
    iris = {11585/62539},
    isbn = {978-3-540-79042-6},
    issn = {0302-9743},
    month = apr,
    note = {5th International Workshop (ProMAS 2007), Honolulu, HI, USA, 15~} # may # {~2007. Revised and Invited Papers},
    numpages = 4908,
    pages = {89--106},
    publisher = {Springer},
    scopus = {2-s2.0-43949095159},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {The {A\&A} Programming Model and Technology for Developing Agent Environments in {MAS}},
    url = {http://link.springer.com/10.1007/978-3-540-79043-3_6},
    volume = 4908,
    wos = {000255942800006},
    year = 2008
} 
 @article{artifacts-jaamas17,
    acm = {10.1007/s10458-008-9053-x},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    doi = {10.1007/s10458-008-9053-x},
    editor = {Omicini, Andrea and McBurney, Peter},
    eissn = {1573-7454},
    iris = {11585/62574},
    issn = {1387-2532},
    journal = {Autonomous Agents and Multi-Agent Systems},
    keywords = {Artifact, A&A meta-model, MAS environment, Activity theory, Distributed cognition, Coordination, Agent intelligence, Agent-oriented software engineering (AOSE), MAS infrastructure},
    month = dec,
    note = {Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent Systems},
    number = 3,
    pages = {432--456},
    publisher = {Springer},
    publonsid = {13197269},
    scopus = {2-s2.0-52949149709},
    title = {Artifacts in the {A\&A} Meta-Model for Multi-Agent Systems},
    url = {http://link.springer.com/10.1007/s10458-008-9053-x},
    volume = 17,
    wos = {000259411800004},
    year = 2008
} 
 @inproceedings{adr-woa2008,
    address = {Palermo, Italy},
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
    booktitle = {9th Workshop "From Objects to Agents" (WOA 2008) -- Evolution of Agent Development: Methodologies, Tools, Platforms and Languages},
    editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
    iris = {11585/70464},
    isbn = {978-88-6122-122-2},
    month = nov,
    pages = {46--53},
    publisher = {Seneca Edizioni},
    scopus = {2-s2.0-84868689882},
    title = {Arguments and Artifacts for Dispute Resolution},
    url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
    year = 2008
} 
 @article{respect-entcs194,
    acm = {10.1016/j.entcs.2008.03.101},
    author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007)},
    doi = {10.1016/j.entcs.2008.03.101},
    editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
    iris = {11585/62571},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    keyword = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
    keywords = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
    month = apr,
    note = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8~} # sep # {~2007. Proceedings},
    number = 4,
    pages = {93--109},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-41949136030},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066108002065},
    volume = 194,
    wos = {WOS:000214264700007},
    year = 2008
} 
5 publications in 2008 with Scopus ID • topindexbottom
 @article{timed-wias5,
    acm = {1377768},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    editor = {Menezes, Ronaldo and Ossowski, Sascha},
    iris = {11585/46111},
    issn = {1570-1263},
    journal = {Web Intelligence and Agent Systems},
    keywords = {Coordination artifacts, tuple cntres, TuCSoN, ReSpecT, timed coordination},
    month = aug,
    number = 2,
    pages = {161--175},
    publisher = {IOS Press},
    scopus = {2-s2.0-34547812085},
    title = {Timed Environment for {W}eb Agents},
    url = {http://content.iospress.com/articles/web-intelligence-and-agent-systems-an-international-journal/wia00111},
    volume = 5,
    year = 2007
} 
 @incollection{cartago-e4masIII,
    acm = {1759348},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Environments for MultiAgent Systems III},
    chapter = 4,
    doi = {10.1007/978-3-540-71103-2_4},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eisbn = {978-3-540-71103-2},
    isbn = {978-3-540-71102-5},
    issn = {0302-9743},
    keywords = {cartago, A&A, artifacts, multi-agent systems, agent-oriented computing},
    month = may,
    note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
    pages = {67--86},
    part = {Models, Architecture, and Design},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-38049162300},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {{{\sf CArtAgO}}: A Framework for Prototyping Artifact-Based Environments in {MAS}},
    url = {http://link.springer.com/10.1007/978-3-540-71103-2_4},
    volume = 4389,
    wos = {000245775800004},
    year = 2007
} }}})))
((({{{ @incollection{selforg-ceemas07,
    acm = {10.1007/978-3-540-75254-7_13},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Multi-Agent Systems and Applications {V}},
    doi = {10.1007/978-3-540-75254-7_13},
    editor = {Burkhard, Hans-Dieter and Verbrugge, Rineke and Varga, László Zsolt},
    eisbn = {978-3-540-75254-7},
    isbn = {978-3-540-75253-0},
    issn = {0302-9743},
    month = sep,
    note = {5th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS'07), Leipzig, Germany, 25--27~} # sep # {~2007, Proceedings},
    pages = {123--132},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-38049127353},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Design Patterns for Self-Organising Systems},
    url = {http://link.springer.com/10.1007/978-3-540-75254-7_13},
    volume = 4696,
    wos = {000250900900013},
    year = 2007
} }}})))
((({{{ @article{orchestration-scp66,
        Author = {Viroli, Mirko and Denti, Enrico and Ricci, Alessandro},
        Doi = {doi:10.1016/j.scico.2007.01.008},
        Editor = {Canal, Carlos and Viroli, Mirko},
        Issn = {0167-6423},
        Journal = {Science of Computer Programming},
        Keywords = {Multiagent systems; Orchestration languages; Coordination models; Languages process algebra},
        Month = may,
        Note = {Special Issue on Foundations of Coordination Languages and Software Architectures 2005},
        Number = 3,
        Pages = {226--245},
        Publisher = {Elsevier Science B.V.},
        Title = {Engineering a {BPEL} Orchestration Engine as a Multi-agent System},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000378},
        Volume = 66,
        Year = 2007}
 }}})))
((({{{ @incollection{selforg-e4masIII,
    acm = {1759362},
    author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
    booktitle = {Environments for MultiAgent Systems III},
    chapter = 15,
    doi = {10.1007/978-3-540-71103-2_15},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eisbn = {978-3-540-71103-2},
    isbn = {978-3-540-71102-5},
    issn = {0302-9743},
    month = may,
    note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
    numpages = 18,
    pages = {254--271},
    part = {Applications},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-38049129687},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Designing Self-organising {MAS} Environments: The Collective Sort Case},
    url = {http://link.springer.com/10.1007/978-3-540-71103-2_15},
    volume = 4389,
    wos = {000245775800015},
    year = 2007
} }}})))
((({{{ @inproceedings{artifacts-aamas07,
    acm = {1329308},
    address = {Honolulu, Hawai'i, USA},
    articleno = 150,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {6th International Joint Conference ``Autonomous Agents \& Multi-Agent Systems'' (AAMAS 2007)},
    doi = {10.1145/1329125.1329308},
    editor = {Durfee, Edmund and Yokoo, Makoto and Huhns, Michael and Shehory, Onn},
    iris = {11585/45688},
    isbn = {978-81-904262-7-5},
    keywords = {A&A, artifacts, cartago, multi-agent systems, agent-oriented computing},
    month = {14--18}}},
    scopus = {2-s2.0-60349099652},
    title = {``{G}ive Agents their Artifacts'': The {A\&A} Approach for Engineering Working Environments in {MAS}},
    url = {http://dl.acm.org/citation.cfm?id=1329308},
    year = 2007
} }}})))
((({{{ @article{rbacmas-aai21,
    acm = {10.1080/08839510701253674},
    author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
    doi = {10.1080/08839510701253674},
    editor = {Bandini, Stefania and Manzoni, Sara},
    eissn = {1087-6545},
    iris = {11585/45413},
    issn = {0883-9514},
    journal = {Applied Artificial Intelligence},
    month = apr,
    note = {Special Issue: State of Applications in AI Research from AI*IA 2005},
    number = 4--5,
    pages = {443--467},
    publisher = {Taylor \& Francis},
    scopus = {2-s2.0-34248579034},
    title = {Infrastructure for {RBAC-MAS}: An Approach Based on {A}gent {C}oordination {C}ontexts},
    url = {http://www.tandfonline.com/doi/10.1080/08839510701253674},
    volume = 21,
    wos = {000246536600011},
    year = 2007
} }}})))
((({{{ @incollection{cogstig-e4masIII,
    acm = {1759352},
    author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
    booktitle = {Environments for MultiAgent Systems III},
    chapter = 7,
    doi = {10.1007/978-3-540-71103-2_7},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eisbn = {978-3-540-71103-2},
    iris = {11585/45690},
    isbn = {978-3-540-71102-5},
    issn = {0302-9743},
    month = may,
    note = {3rd International Workshop (E4MAS 2006), Hakodate, Japan, 8~} # may # {~2006. Selected Revised and Invited Papers},
    numpages = 4389,
    pages = {124--140},
    part = {Mediated Interaction and Stigmery},
    publisher = {Springer Berlin Heidelberg},
    publonsid = {13197240},
    scholar = {8497596473192410111},
    scopus = {2-s2.0-38049179113},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts},
    url = {http://link.springer.com/10.1007/978-3-540-71103-2_7},
    volume = 4389,
    wos = {000245775800007},
    year = 2007
} }}})))
((({{{ @article{respect-entcs180,
    acm = {10.1016/j.entcs.2006.10.049},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004)},
    doi = {10.1016/j.entcs.2006.10.049},
    editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    keyword = {Tuple spaces, {\sf {ReSpecT}}, Tuple centres, {P}etri nets, Formal analysis},
    keywords = {Tuple spaces, ReSpecT, Tuple centres, Petri nets, Formal analysis},
    month = jun,
    note = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), CONCUR'04, London, UK, 30~} # aug # {~2004. Post-proceedings},
    number = 2,
    numpages = 180,
    pages = {123--144},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-34250167192},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {{{\sf ReSpecT}} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066107003258},
    volume = 180,
    wos = {WOS:000214244100009},
    year = 2007
} }}})))
</div>
<div  class="mainselectbottom">
9 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2007 {{stringEngIta eng='with' ita='con'/}} Scopus ID &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2006" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2006&service=scopus&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2006
</a>
</div>
<div>
((({{{ @article{coord-fundinfo73,
    acm = {1231195},
    author = {Viroli, Mirko and Omicini, Andrea},
    dblp = {journals/fuin/ViroliO06},
    editor = {Brogi, Antonio and Jacquet, Jean-Marie and Kok, Joost},
    eissn = {1875-8681},
    iris = {11585/28226},
    issn = {0169-2968},
    journal = {Fundamenta Informaticae},
    note = {Special Issue: Best papers of FOCLASA 2002},
    number = 4,
    pages = {507--534},
    publisher = {IOS Press},
    scopus = {2-s2.0-33746222313},
    title = {Coordination as a Service},
    url = {http://content.iospress.com/articles/fundamenta-informaticae/fi73-4-04},
    volume = 73,
    wos = {000242909600004},
    year = 2006
} }}})))
((({{{ @inproceedings{simpademo-woa2006,
    author = {Ricci, Alessandro and Buda, Claudio and Zaghini, Nicola and Natali, Antonio and Viroli, Mirko and Omicini, Andrea},
    booktitle = {From Objects to Agents},
    editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
    iris = {11585/30151},
    issn = {1613-0073},
    keywords = {simpa, web services, SOA, A&A, SOA/WS, agent-oriented computing},
    month = oct,
    note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
    numpages = 3,
    pages = {1--3},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-84868642666},
    series = {CEUR Workshop Proceedings},
    title = {{simpA-WS}: An Agent-Oriented Computing Technology for {WS}-based {SOA} Applications},
    url = {http://ceur-ws.org/Vol-204/D01.pdf},
    volume = 204,
    year = 2006
} }}})))
((({{{ @incollection{artifacts-selmasIV,
    acm = {2168364},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications},
    doi = {10.1007/11738817_5},
    editor = {Garcia, Alessandro F. and Choren, Ricardo and Lucena, Carlos and Giorgini, Paolo and Holvoet, Tom and Romanovsky, Alexander},
    eisbn = {978-3-540-33583-2},
    isbn = {978-3-540-33580-1},
    isbn10 = {3-540-33580-3},
    issn = {0302-9743},
    month = apr,
    note = {Invited Paper},
    pages = {71--90},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-34250005140},
    series = {Lecture Notes in Computer Science},
    title = {Coordination Artifacts as First-class Abstractions for {MAS} Engineering: State of the Research},
    url = {http://link.springer.com/10.1007/11738817_5},
    volume = 3914,
    wos = {000238283600005},
    year = 2006
} }}})))
((({{{ @article{acc-scp63,
    acm = {10.1016/j.scico.2005.07.014},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    doi = {10.1016/j.scico.2005.07.014},
    editor = {Zavattaro, Gianluigi and Focardi, Riccardo},
    iris = {11585/29647},
    issn = {0167-6423},
    journal = {Science of Computer Programming},
    keywords = {Coordination; Security; Agent Coordination Context; Formal Specification},
    month = nov,
    note = {Special Issue on Security Issues in Coordination Models, Languages, and Systems},
    number = 1,
    pages = {88--107},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-33748754195},
    title = {{A}gent {C}oordination {C}ontexts for the Formal Specification and Enactment of Coordination and Security Policies},
    url = {http://www.sciencedirect.com/science/article/pii/S016764230600102X},
    volume = 63,
    wos = {000241356300006},
    year = 2006
} }}})))
((({{{ @article{artifacts-ker21,
    acm = {10.1017/S0269888906000774},
    author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
    doi = {10.1017/S0269888906000774},
    eissn = {1469-8005},
    iris = {11585/28316},
    issn = {0269-8889},
    journal = {The Knowledge Engineering Review},
    month = mar,
    number = 1,
    pages = {49--69},
    publisher = {Cambridge University Press},
    scopus = {2-s2.0-33745864838},
    title = {Operating Instructions for Intelligent Agent Coordination},
    url = {http://journals.cambridge.org/action/displayAbstract?aid=451122},
    volume = 21,
    wos = {000239352500003},
    year = 2006
} }}})))
((({{{ @article{Cabano2006139,
title = "Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "154",
number = "1",
pages = "139 - 158",
year = "2006",
issn = "1571-0661",
doi = "10.1016/j.entcs.2005.12.037",
url = "http://www.sciencedirect.com/science/article/pii/S1571066106001836",
author = "Michele Cabano and Enrico Denti and Alessandro Ricci and Mirko Viroli",
} }}})))
((({{{ @incollection{selforg-esoaIII,
    acm = {10.1007/11734697_12},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Engineering Self-Organising Systems},
    chapter = 12,
    doi = {10.1007/11734697_12},
    editor = {Brueckner, Sven A. and Di Marzo Serugendo, Giovanna and Hales, David and Zambonelli, Franco},
    eisbn = {978-3-540-33352-4},
    iris = {11585/27763},
    isbn = {978-3-540-33342-5},
    isbn-10 = {3-540-33342-8},
    isbn10 = {3-540-33342-8},
    issn = {0302-9743},
    note = {3rd International Workshop (ESOA 2005), Utrecht, The Netherlands, 26~} # jul # {~2005. Revised Selected Papers},
    pages = {153--168},
    part = {II},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-33745800439},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {On the Role of Simulations in Engineering Self-Organising {MAS}: The Case of an Intrusion Detection System in \textsf{TuCSoN}},
    url = {http://link.springer.com/10.1007/11734697_12},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/11734697_12.pdf},
    volume = 3910,
    wos = {000238109300012},
    year = 2006
} }}})))
((({{{ @inproceedings{mgdemo-woa2006,
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
    booktitle = {From Objects to Agents},
    editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
    iris = {11585/30148},
    issn = {1613-0073},
    month = oct,
    note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
    pages = {6--9},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-79956063434},
    series = {CEUR Workshop Proceedings},
    title = {Simulation of {M}inority {G}ame in \textsf{TuCSoN}},
    url = {http://ceur-ws.org/Vol-204/D03.pdf},
    volume = 204,
    year = 2006
} }}})))
((({{{ @incollection{interaction-interbook,
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Interactive Computation: The New Paradigm},
    chapter = 15,
    doi = {10.1007/3-540-34874-3_15},
    editor = {Goldin, Dina Q. and Smolka, Scott A. and Wegner, Peter},
    eisbn = {978-3-540-34874-0},
    iris = {11585/31257},
    isbn = {978-3-540-34666-1},
    isbn10 = {3-540-34666-X},
    month = sep,
    pages = {395--414},
    part = {IV},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-34249978147},
    title = {The Multidisciplinary Patterns of Interaction from Sciences to {C}omputer {S}cience},
    url = {http://link.springer.com/10.1007/3-540-34874-3_15},
    year = 2006
} }}})))
((({{{ @inproceedings{mgsim-isc06,
    address = {Palermo, Italy},
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Industrial Simulation Conference 2006 (ISC 2006)},
    editor = {Genco, Alessandro and Gentile, Antonio and Sorce, Salvatore},
    iris = {11585/27873},
    isbn = {90-77381-26-0},
    month = {5--7}}},
    scopus = {2-s2.0-84898422825},
    title = {Simulating {M}inority {G}ame with {\textsf{TuCSoN}} },
    wos = {000245531000005},
    year = 2006
} }}})))
((({{{ @article{acc-aai20,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    doi = {10.1080/08839510500484207},
    editor = {Petta, Paolo and Müller, Jörg P.},
    eissn = {1087-6545},
    iris = {11585/27302},
    issn = {0883-9514},
    journal = {Applied Artificial Intelligence},
    month = feb # {--} # apr,
    note = {Special Issue: Best of ``From Agent Theory to Agent Implementation (AT2AI) -- 4''},
    number = 2--4,
    pages = {179--202},
    publisher = {Taylor \& Francis},
    scopus = {2-s2.0-33645779466},
    title = {Agent Coordination Contexts in a {MAS} Coordination Infrastructure},
    url = {http://www.tandfonline.com/doi/full/10.1080/08839510500484207},
    volume = 20,
    wos = {000236388900005},
    year = 2006
} }}})))
((({{{ @article{agensfaber-entcs150,
    acm = {10.1016/j.entcs.2006.03.003},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005)},
    doi = {10.1016/j.entcs.2006.03.003},
    editor = {Boella, Guido and van der Torre, Leendert},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    month = {29~} # may,
    note = {1st International Workshop ``Coordination and Organization'' (CoOrg 2005), COORDINATION 2005, Namur, Belgium, 22~} # apr # {~2005. Proceedings},
    number = 3,
    pages = {21--36},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-33646702626},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {{\sl {A}gens {F}aber}: Toward a Theory of Artefacts for {MAS}},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066106003276},
    volume = 150,
    year = 2006
} }}})))
((({{{ @inproceedings{mg-woa2006,
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
    booktitle = {From Objects to Agents},
    editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
    iris = {11585/30143},
    issn = {1613-0073},
    month = oct,
    note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
    pages = {181--186},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-78650290825},
    series = {CEUR Workshop Proceedings},
    title = {{M}inority {G}ame: A Logic-Based Approach in {{\sf TuCSoN}} },
    url = {http://ceur-ws.org/Vol-204/P02.pdf},
    volume = 204,
    year = 2006
} }}})))
((({{{ @incollection{artifacts-promasIII,
    acm = {2180118},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Programming Multi-Agent Systems},
    doi = {10.1007/11678823_13},
    editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jürgen and El Fallah Seghrouchni, Amal},
    eisbn = {978-3-540-32617-5},
    isbn = {978-3-540-32616-8},
    isbn10 = {3-540-66281-2},
    issn = {0302-9743},
    keywords = {A&A, artifacts, cartago, multi-agent systems, agent-oriented computing, programming MAS},
    month = mar,
    note = {3rd International Workshop (PROMAS 2005), AAMAS 2005, Utrecht, The Netherlands, 26~} # jul # {~2005. Revised and Invited Papers},
    numpages = 16,
    pages = {206--221},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-33745661012},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Programming {MAS} with Artifacts},
    url = {http://link.springer.com/10.1007/11678823_13},
    volume = 3862,
    wos = {000236893200013},
    year = 2006
} }}})))
</div>
<div  class="mainselectbottom">
14 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2006 {{stringEngIta eng='with' ita='con'/}} Scopus ID &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2005" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2005&service=scopus&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2005
</a>
</div>
<div>
((({{{ @incollection{coord-e4masI,
    acm = {10.1007/978-3-540-32259-7_10},
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Environments for Multi-Agent Systems},
    doi = {10.1007/b106134},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eissn = {1611-3349},
    isbn = {978-3-540-24575-9},
    isbn10 = {3-540-24575-8},
    issn = {0302-9743},
    month = feb,
    note = {1st International Workshop (E4MAS 2004), New York, NY, USA, 19~July~2004. Revised Selected Papers},
    pages = {190--214},
    publisher = {Springer},
    scopus = {2-s2.0-24144449939},
    series = {LNAI},
    title = {Environment-Based Coordination Through Coordination Artifacts},
    url = {http://link.springer.com/10.1007/978-3-540-32259-7_10},
    volume = 3374,
    wos = {000228360200010},
    year = 2005
} }}})))
((({{{ @article{rbac-entcs128,
    acm = {10.1016/j.entcs.2004.11.045},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)},
    doi = {10.1016/j.entcs.2004.11.045},
    editor = {Focardi, Riccardo and Zavattaro, Gianluigi},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    keywords = {Role-based access control, multi-agent systems, coordination infrastructure},
    month = {3~} # may,
    note = {2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo'04), 30~} # aug # {~2004. Proceedings},
    number = 5,
    pages = {65--85},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-18444388612},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {{RBAC} for Organisation and Security in an Agent Coordination Infrastructure},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066105001994},
    volume = 128,
    wos = {WOS:000214054000007},
    year = 2005
} }}})))
((({{{ @inproceedings{acc-aamas05,
    acm = {1082687},
    address = {Utrecht, The Netherlands},
    author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
    booktitle = {4th International Joint Conference ``Autonomous Agents \& Multi-Agent Systems'' (AAMAS 2005)},
    doi = {10.1145/1082473.1082687},
    editor = {Dignum, Frank and Dignum, Virginia and Koenig, Sven and Kraus, Sarit and Singh, Munindar P. and Wooldridge, Michael},
    iris = {11585/4698},
    isbn = {1-59593-094-9},
    month = {25--29}}},
    publisher = {ACM},
    scopus = {2-s2.0-33644791018},
    title = {An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts},
    url = {http://dl.acm.org/citation.cfm?doid=1082687},
    volume = 3,
    year = 2005
} }}})))
((({{{ @article{overview-aaecc16,
    acm = {10.1007/s00200-005-0170-3},
    author = {Viroli, Mirko and Omicini, Andrea},
    doi = {10.1007/s00200-005-0170-3},
    editor = {Viroli, Mirko and Omicini, Andrea},
    eissn = {1432-0622},
    iris = {11585/4116},
    issn = {0938-1279},
    journal = {Applicable Algebra in Engineering, Communication and Computing},
    month = aug,
    note = {Special Issue: Process Algebras and Multi-Agent Systems. Editorial},
    number = {2-3},
    pages = {69--75},
    publisher = {Springer},
    scopus = {2-s2.0-23844538485},
    title = {Process-Algebraic Approaches for Multi-Agent Systems: An Overview},
    url = {http://link.springer.com/10.1007/s00200-005-0170-3},
    volume = 16,
    wos = {000231164800001},
    year = 2005
} }}})))
((({{{ @incollection{timed-coord05,
    acm = {10.1007/11417019_18},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Coordination Models and Languages},
    doi = {10.1007/11417019_18},
    editor = {Jacquet, Jean-Marie and Picco, Gian Pietro},
    eisbn = {978-3-540-32006-7},
    isbn = {978-3-540-25630-4},
    isbn10 = {3-540-25630-X},
    issn = {0302-9743},
    month = apr,
    note = {7th International Conference (COORDINATION 2005), Namur, Belgium, 20--23~} # apr # {~2005. Proceedings},
    pages = {268--282},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-24644471622},
    series = {LNCS},
    title = {Time-Aware Coordination in {{\sf ReSpecT}}},
    url = {http://link.springer.com/10.1007/11417019_18},
    volume = 3454,
    wos = {000229104200018},
    year = 2005
} }}})))
((({{{ @incollection{bic-e4masI,
    acm = {10.1007/978-3-540-32259-7_11},
    author = {Tummolini, Luca and Castelfranchi, Cristiano and Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Environments for Multi-Agent Systems},
    doi = {10.1007/978-3-540-32259-7_11},
    editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
    eissn = {1611-3349},
    isbn = {978-3-540-24575-9},
    isbn10 = {3-540-24575-8},
    issn = {0302-9743},
    month = feb,
    note = {1st International Workshop (E4MAS 2004), New York, NY, USA, 19~July~2004. Revised Selected Papers},
    pages = {215--231},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-24144485892},
    series = {LNAI},
    title = {``{E}xhibitionists'' and ``Voyeurs'' do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages},
    url = {http://link.springer.com/10.1007/978-3-540-32259-7_11},
    volume = 3374,
    wos = {000228360200011},
    year = 2005
} }}})))
((({{{ @inproceedings{acc-aiia05,
    acm = {10.1007/11558590_21},
    author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
    booktitle = {AI*IA 2005: Advances in Artificial Intelligence},
    doi = {10.1007/11558590_21},
    editor = {Bandini, Stefania and Manzoni, Sara},
    eisbn = {978-3-540-31733-3},
    iris = {11585/4114},
    isbn = {978-3-540-29041-4},
    isbn-10 = {3-540-29041-9},
    isbn10 = {3-540-29041-9},
    issn = {0302-9743},
    month = {21-23~} # sep,
    note = {9th Congress of the Italian Association for Artificial Intelligence (AI*IA 2005), Milano, Italy, 21--23~} # sep # {~2005. Proceedings},
    pages = {198--211},
    publisher = {Springer},
    scopus = {2-s2.0-33646123774},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts},
    url = {http://link.springer.com/10.1007/11558590_21},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/11558590_21.pdf},
    volume = 3673,
    wos = {WOS:000233291300021},
    year = 2005
} }}})))
((({{{ @article{rbacmas-aaecc16,
    acm = {10.1007/s00200-005-0174-z},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    doi = {10.1007/s00200-005-0174-z},
    editor = {Viroli, Mirko and Omicini, Andrea},
    eissn = {1432-0622},
    iris = {11585/4115},
    issn = {0938-1279},
    journal = {Applicable Algebra in Engineering, Communication and Computing},
    month = aug,
    note = {Special Issue: Process Algebras and Multi-Agent Systems},
    number = {2-3},
    pages = {151--178},
    publisher = {Springer},
    scopus = {2-s2.0-23844445300},
    title = {An Algebraic Approach for Modelling Organisation, Roles and Contexts in {MAS}},
    url = {http://link.springer.com/10.1007/s00200-005-0174-z},
    volume = 16,
    wos = {000231164800004},
    year = 2005
} }}})))
((({{{ @inproceedings{selforg-woa2005,
    address = {Camerino, MC, Italy},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi'' (WOA 2005)},
    editor = {Corradini, Flavio and De Paoli, Flavio and Merelli, Emanuela and Omicini, Andrea},
    iris = {11585/22713},
    isbn = {88-371-1590-3},
    month = {14--16}}},
    scopus = {2-s2.0-70349450492},
    title = {On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in {MAS}},
    year = 2005
} }}})))
</div>
<div  class="mainselectbottom">
9 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2005 {{stringEngIta eng='with' ita='con'/}} Scopus ID &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2004" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2004&service=scopus&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2004
</a>
</div>
<div>
((({{{ @inproceedings{coord-aamas04,
    acm = {1018752},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Castelfranchi, Cristiano and Tummolini, Luca},
    booktitle = {3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004)},
    doi = {10.1109/AAMAS.2004.10070},
    editor = {Jennings, Nicholas R. and Sierra, Carles and Sonenberg, Liz and Tambe, Milind},
    iris = {11585/3962},
    isbn = {1-58113-864-4},
    location = {New York, NY, USA},
    month = {19--23}}},
    scopus = {2-s2.0-4544292991},
    title = {Coordination Artifacts: Environment-based Coordination for Intelligent Agents},
    url = {http://dl.acm.org/citation.cfm?id=1018752},
    volume = 1,
    year = 2004
} }}})))
((({{{ @article{logop-entcs97,
    author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003},
    doi = {10.1016/j.entcs.2004.04.033},
    editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
    iris = {11585/1799},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    month = {22~} # jul,
    note = {2nd International Workshop ``Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2003), Marseille, France, 2~} # sep # {~2003. Proceedings},
    pages = {97--124},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-18944385606},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {On the Semantics of Coordination Models for Distributed Systems: The {{\sc LogOp}} Case Study},
    url = {http://www.sciencedirect.com/science/article/pii/S157106610405042X},
    volume = 97,
    year = 2004
} }}})))
((({{{ @inproceedings{rbac-aotp2004,
    author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
    booktitle = {1st International Workshop ``{A}gent {O}rganizations: {T}heory and {P}ractice'' (AOTP'04)},
    editor = {Dignum, Virginia and Corkill, Daniel and Jonker, Catholijn and Dignum, Frank},
    iris = {11585/6335},
    isbn = {1-57735-203-3},
    location = {AAAI-04, San Jos\'{e}, CA, USA},
    month = {25}}},
    publisher = {AAAI Press},
    scopus = {2-s2.0-32144460865},
    techrep = {WS-04-02},
    title = {{R}ole-{B}ased {A}ccess {C}ontrol in {MAS} using {A}gent {C}oordination {C}ontexts},
    year = 2004
} }}})))
((({{{ @article{coord-aai18,
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Cioffi, Marco and Rimassa, Giovanni},
    doi = {10.1080/08839510490509036},
    editor = {D'Inverno, Mark and Sierra, Carles and Zambonelli, Franco and Luck, Michael and Willmott, Steven},
    eissn = {1087-6545},
    iris = {11585/1797},
    issn = {0883-9514},
    journal = {Applied Artificial Intelligence},
    month = oct # {--} # dec,
    note = {Special Issue: Best papers from EUMAS 2003: The 1st European Workshop on Multi-agent Systems},
    number = {9--10},
    pages = {815--831},
    publisher = {Taylor \& Francis},
    scopus = {2-s2.0-9244231130},
    title = {Multi-agent Infrastructures for Objective and Subjective Coordination},
    url = {http://www.tandfonline.com/doi/10.1080/08839510490509036},
    volume = 18,
    wos = {000224818800004},
    year = 2004
} }}})))
((({{{ @inproceedings{fipa-sac2004,
    acm = {967995},
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Rimassa, Giovanni},
    booktitle = {19th ACM Symposium on Applied Computing (SAC 2004)},
    doi = {10.1145/967900.967995},
    iris = {11585/6327},
    isbn = {1-58113-812-1},
    location = {Nicosia, Cyprus},
    month = {14--17}}},
    publisher = {ACM},
    scopus = {2-s2.0-2442453665},
    title = {Integrating Objective \& Subjective Coordination in Multi-Agent Systems},
    url = {http://portal.acm.org/citation.cfm?doid=967900.967995},
    year = 2004
} }}})))
</div>
<div  class="mainselectbottom">
5 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2004 {{stringEngIta eng='with' ita='con'/}} Scopus ID &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2003" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2003&service=scopus&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2003
</a>
</div>
<div>
((({{{ @article{acc-entcs85,
    author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003)},
    doi = {10.1016/S1571-0661(04)80682-0},
    editor = {Focardi, Riccardo and Zavattaro, Gianluigi},
    isbn = {0-444-50916-X},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    month = aug,
    note = {1st International Workshop ``Security Issues in Coordination Models, Languages and Systems'' (SecCo 2003), Eindhoven, The Netherlands, 28--29~} # jun # {~2003. Proceedings},
    number = 3,
    pages = {17--36},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-2442460553},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {Formal Specification and Enactment of Security Policies through {A}gent {C}oordination {C}ontexts},
    volume = 85,
    year = 2003
} }}})))
((({{{ @article{coord-entcs68,
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002)},
    doi = {10.1016/S1571-0661(05)80383-4},
    editor = {Brogi, Antonio and Jacquet, Jean-Marie},
    isbn = {0-444-51416-3},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    month = mar,
    note = {1st International Workshop ``Foundations of Coordination Languages and Software Architecture'' (FOCLASA 2002), Brno, Czech Republic, 24~} # aug # {~2002. Proceedings},
    number = 3,
    pages = {457--482},
    publisher = {Elsevier Science B.V.},
    scopus = {2-s2.0-2442495814},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {Coordination as a Service: Ontological and Formal Foundation},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066105803834},
    volume = 68,
    year = 2003
} }}})))
</div>
<div  class="mainselectbottom">
2 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2003 {{stringEngIta eng='with' ita='con'/}} Scopus ID &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2002" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2002&service=scopus&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2002
</a>
</div>
<div>
((({{{ @inproceedings{obs-aamas02,
    acm = {544913},
    address = {Bologna, Italy},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)},
    doi = {10.1145/544862.544913},
    editor = {Castelfranchi, Cristiano and Johnson, W. Lewis},
    isbn = {1-58113-480},
    month = {15--19}}},
    scopus = {2-s2.0-0036355135},
    title = {Specifying Agent Observable Behaviour},
    url = {http://dl.acm.org/citation.cfm?id=544913},
    volume = 2,
    year = 2002
} }}})))
((({{{ @incollection{obs-coord02,
    acm = {713583},
    author = {Viroli, Mirko and Omicini, Andrea},
    booktitle = {Coordination Models and Languages},
    doi = {10.1007/3-540-46000-4_33},
    editor = {Arbab, Farhad and Talcott, Carolyn},
    eisbn = {978-3-540-46000-8},
    eissn = {1611-3349},
    iris = {11585/951000},
    isbn = {978-3-540-43410-8},
    isbn10 = {3-540-43410-0},
    issn = {0302-9743},
    note = {5th International Conference (COORDINATION 2002), York, UK, 8--11~} # apr # {~2002. Proceedings},
    pages = {364--379},
    publisher = {Springer Berlin Heidelberg},
    scopus = {2-s2.0-23044534697},
    series = {Lecture Notes in Computer Science},
    title = {Tuple-based Models in the Observation Framework},
    url = {http://link.springer.com/10.1007/3-540-46000-4_33},
    volume = 2315,
    wos = {000181348700033},
    year = 2002
} }}})))
((({{{ @article{observation-jucs8,
    author = {Viroli, Mirko and Omicini, Andrea},
    doi = {10.3217/jucs-008-04-0423},
    eissn = {0948-6968},
    iris = {11585/950202},
    issn = {0948-695x},
    journal = {Journal of Universal Computer Science},
    keywords = {coordination patterns, formal models, multi-agent systems},
    month = apr,
    number = 4,
    pages = {423--451},
    publisher = {J.UCS consortium},
    scopus = {2-s2.0-0010220748},
    title = {Modelling Agents as Observable Sources},
    url = {http://www.jucs.org/jucs_8_4/modelling_agents_as_observable},
    urlpdf = {http://www.jucs.org/jucs_8_4/modelling_agents_as_observable/Viroli_M.pdf},
    volume = 8,
    wos = {000177112700003},
    year = 2002
} }}})))
((({{{ @article{observation-aai16,
    author = {Viroli, Mirko and Omicini, Andrea},
    doi = {10.1080/08839510290030480},
    eissn = {1087-6545},
    issn = {0883-9514},
    journal = {Applied Artificial Intelligence},
    keywords = {Multiagent Systems, Observation, Operational Semantics},
    month = oct # {--} # dec,
    note = {Special Issue: Engineering Agent Systems -- Best of ``From Agent Theory to Agent Implementation (AT2AI-3)''},
    number = 9-10,
    pages = {775--793},
    publisher = {Taylor \& Francis},
    scholar = {11585/950374},
    scopus = {2-s2.0-0036819454},
    title = {An Observation Approach to Semantics of Agents Communication Languages},
    url = {http://www.tandfonline.com/doi/abs/10.1080/08839510290030480},
    urlopenaccess = {https://www.tandfonline.com/doi/epdf/10.1080/08839510290030480},
    urlpdf = {http://www.tandfonline.com/doi/pdf/10.1080/08839510290030480},
    volume = 16,
    wos = {000179222400006},
    year = 2002
} }}})))
</div>
<div  class="mainselectbottom">
4 {{stringEngIta eng='publications in' ita='pubblicazioni nel'/}} 2002 {{stringEngIta eng='with' ita='con'/}} Scopus ID &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>
<div class="mainselectseparator">
<a class="mainselectseparatorlink" id="2001" href=/xwiki/bin/view/MirkoViroli/Publications/Services/PerYear?year=2001&service=scopus&id=true&bibtex=true&inline=true&user=XWiki.MirkoViroli>
2001
</a>
</div>
<div>
((({{{ @inproceedings{obs-sac2001,
    acm = {372306},
    address = {New York, NY, USA},
    author = {Viroli, Mirko and Moro, Gianluca and Omicini, Andrea},
    booktitle = {16th ACM Symposium on Applied Computing (SAC 2001)},
    doi = {10.1145/372202.372306},
    isbn = {1-58113-287-5},
    location = {Las Vegas, NV, USA},
    month = {11--14 } # mar,
    note = {Special Track on Coordination Models, Languages and Applications},
    pages = {166--175},
    publisher = {ACM},
    scopus = {2-s2.0-0002164742},
    title = {On Observation as a Coordination Pattern: An Ontology and a Formal Framework},
    url = {http://dl.acm.org/citation.cfm?id=372306},
    year = 2001
} }}})))
</div>
<div id="bottom" class="mainselectbottom">
1 {{stringEngIta eng='publication in' ita='pubblicazione nel'/}} 2001 {{stringEngIta eng='with' ita='con'/}} Scopus ID &bull; [[top>>||anchor="top"]] &bull; [[index>>||anchor="index"]] &bull; [[bottom>>||anchor="bottom"]]</div>