Per anno

@inproceedings{montagna-sac12,
booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012) },
publisher = {ACM},
author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
title = {A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation},
isbn = {978-1-4503-0857-1},
year = 2012,
status = {Published},
pages = {1406--1412},
venue = {SAC},
editor = {Shin, Dongwan  and Hung, Chih-Cheng and Hong, Jiman},
address = {Riva del Garda (Trento), Italy},
month = {26-30 March}}

@inproceedings{sapereecolaws-sac2012,
Address = {Riva del Garda, TN, Italy},
Author = {Viroli, Mirko and Pianini, Danilo and Montagna, Sara and Stevenson, Graeme},
Booktitle = {27th Annual ACM Symposium on Applied Computing (SAC 2012)},
Doi = {10.1145/2245276.2245336},
Editor = {Ossowski, Sascha and Lecca, Paola and Hung, Chih-Cheng and Hong, Jiman},
Isbn = {978-1-4503-0857-1},
Month = {26--30~} # mar,
Publisher = {ACM},
Title = {Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry},
Url = {http://dl.acm.org/citation.cfm?doid=2245276.2245336},
Year = 2012}

@inCollection{SpatialCoordination2012,
author = {Viroli, Mirko and Pianini, Danilo and Beal, Jacob},
title = {Linda in space-time: an adaptive coordination model for mobile ad-hoc environments},
  booktitle = {Coordination Languages and Models},
  editor = {Sirjani, Marjan},
volume =    7274,
  series =    {LNCS},
  year =      2012,
  month =     jun,
  publisher = {Springer-Verlag},
  pages =     {212--229},
note = {Proceedings of the 14th Conference of Coordination Models and Languages (Coordination 2012),Stockholm (Sweden), 14-15 June},
  issn =      {0302-9743}
}

@inproceedings{modelchecking-woa2012,
urlpdf = {http://ceur-ws.org/Vol-892/paper2.pdf},
issn = {1613-0073},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
publisher = {CEUR-WS},
author = {Casadei, Matteo and Viroli, Mirko},
title = {A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems},
year = 2012,
status = {Published},
venue = {WOA},
editor = {De Paoli, Flavio and Vizzari, Giuseppe},
month = {12 September}}

@inproceedings{semmatch-asensis2012,
Author = {Stevenson, Graeme and Viroli, Mirko and Ye, Juan and Montagna, Sara and Dobson, Simon},
Address = {SASO 2012, Lyon, France},
Booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
Editor = {Fernandez-Marquez, Jos\'e Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
Month = {10~} # sep,
Note = {Pre-proceedings},
Pages = {47--52},
Title = {Self-organising Semantic Resource Discovery for Pervasive Systems},
Year = 2012}

@incollection{semanticsapere-igi2012,
Author = {Viroli, Mirko and Zambonelli, Franco and Stevenson, Graeme and Dobson, Simon},
Booktitle = {Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution},
Chapter = 8,
Doi = {10.4018/978-1-4666-2089-6.ch008},
Editor = {Cubo, Javier and Ortiz, Guadalupe},
Isbn = {978-1-4666-2091-9},
Isbn-10 = {9781466620896},
Isbn-13 = 1466620897,
Keywords = {Pervasive Computing, Service Oriented Architectures, RDF, Pervasive Ecosystems},
Pages = {207--237},
Pdf-Local = {chapter.pdf},
Publisher = {IGI Global},
Title = {From {SOA} to Pervasive Service Ecosystems: An Approach based on {S}emantic {W}eb technologies},
Url = {http://www.igi-global.com/chapter/soa-pervasive-service-ecosystems/69475},
Year = 2012}

@inproceedings{SapereSCW2012,
Address = {Valencia, Spain},
Author = {Viroli, Mirko and Stevenson, Graeme},
Booktitle = {Workshop on Spatial Computing},
Month = jun,
Title = {On the Space-time Situation of Pervasive Service Ecosystems},
Url = {http://www.spatial-computing.org/_media/scw12:scw12-virolistevenson.pdf},
       Note = {Informal Proceedings},
Year = 2012}

@article{DGRV-SACS2012,
 title={Standard Type Soundness for Agents and Artifacts},
 author={Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
 journal={Scientific Annals of Computer Science},
 volume={22},
 number={2},
 organization={``A.I. Cuza'' University, Iacsi, Romania},
 year={2012},
 pages={267--326},
 doi={10.7561/SACS.2012.2.267},
 publisher={``A.I. Cuza'' University Press, Iacsi}
}

@incollection{montagna-morphoeng,
     year={2012},
     isbn={978-3-642-33901-1},
     booktitle={Morphogenetic Engineering},
     series={Understanding Complex Systems},
     editor={Doursat, Ren\'e and Sayama, Hiroki and Michel, Olivier},
     doi={10.1007/978-3-642-33902-8_15},
     title={A Computational Framework for Multilevel Morphologies},
     url={http://dx.doi.org/10.1007/978-3-642-33902-8_15},
     publisher={Springer Berlin Heidelberg},
     author={Montagna, Sara and Viroli, Mirko},
     pages={383--405},
     language={English}
}

@inproceedings{anticipativegradient-SASO12,
location = {Lyon, France},
booktitle = {Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)},
author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
title = {Gradient-based Self-organisation Patterns of Anticipative Adaptation},
year = 2012,
keywords = {Anticipative adaptation, Pervasive service ecosystem, Gradient pattern},
venue = {SASO},
month = {September},
       isbn = {978-0-7695-4851-7},
       doi = {10.1109/SASO.2012.25},
       ee = {http://doi.ieeecomputersociety.org/10.1109/SASO.2012.25},
       pages = {169--174}
}

@inproceedings{spatial-scw2012,
   author = {Viroli, Mirko and Stevenson, Graeme},
   booktitle = {Workshop on Spatial Computing},
   editor = {Beal, Jacob and Dulman, Stefan and Giavitto, Jean-Louis and Spicher, Antoine},
   iris = {11585/151873},
   keywords = {Pervasive Computing, Service Ecosystems, Spatial Computing},
   location = {Valencia, Spain},
   title = {On the Space-time Situation of Pervasive Service Ecosystems},
   year = 2012
}

@inproceedings{selfcomp-woa2012,
urlpdf = {http://ceur-ws.org/Vol-892/paper1.pdf},
issn = {1613-0073},
booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
publisher = {CEUR-WS},
author = {Montagna, Sara and Viroli, Mirko and Pianini, Danilo and Fernandez-Marquez, Jose Luis},
title = {Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems},
year = 2012,
status = {Published},
venue = {WOA},
editor = {De Paoli, Flavio and Vizzari, Giuseppe},
month = {12 September}}

@inproceedings{modelchecking-asensis2012,
booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
publisher = {IEEE},
author = {Casadei, Matteo and Viroli, Mirko},
title = {Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems},
year = 2012,
note = {Pre-proceedings},
abstract = {Pervasive context-aware computing networks call for designing algorithms for information propagation and reconfiguration that promote self-adaptation, namely, which can guarantee – at least to a probabilistic extent – certain reliability and robustness properties in spite of unpredicted changes and conditions. The possibility of formally analysing their properties is obviously an essential engineering requirement, calling for general-purpose models and tools.
As proposed in recent works, several such algorithms can be modelled by the notion of computational field: a dynamically evolving spatial data structure mapping every node of the network to a data value. Based on this idea, as a contribution toward formally verifying properties of pervasive computing systems, in this article we propose a specification language to model computational fields, and a framework based on PRISM stochastic model checker explicitly targeted at supporting temporal property verification, exploited for quantitative analysis of systems running on networks composed of hundreds of nodes.},
pdf-local = {PID2504561.pdf},
status = {Published},
pages = {59-64},
venue = {ASENSIS|SASOW},
editor = {Fernandez-Marquez, José Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
address = {SASO 2012, Lyon, France},
month = {10 September},
venue_e = {Events.Asensis2012}}

@inproceedings{sapere-woa2011,
Address = {Rende, Italy},
Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
Booktitle = {WOA 2011 -- XII Workshop Nazionale "Dagli Oggetti agli Agenti"},
Editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
Issn = {1613-0073},
Month = {4-6~} # jul,
Pages = {19--27},
Publisher = {Sun SITE Central Europe, RWTH Aachen University},
Series = {CEUR Workshop Proceedings},
Title = {Coordinating Spatially-Situated Pervasive Service Ecosystems},
Url = {http://ceur-ws.org/Vol-741/ID13_ViroliNardiniCastelliMameiZambonelli.pdf},
Volume = 741,
Year = 2011}

@article{simpa-scp76,
Author = {Ricci, Alessandro and Viroli, Mirko and Piancastelli, Giulio},
Doi = {10.1016/j.scico.2010.06.012},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Month = jan,
Number = 1,
Pages = {37--62},
Publisher = {Elsevier Science B.V.},
Title = {{simpA}: An Agent-oriented Approach for Programming Concurrent Applications on top of {J}ava},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642310001346},
Volume = 76,
Year = 2011}

@article{cartago-jaamas23,
Author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko},
Doi = {10.1007/s10458-010-9140-7},
Editor = {Bordini, Rafael H. and Dastani, Mehdi and Dix, J{\"u}rgen and El Fallah Seghrouchni, Amal},
Issn = {1387-2532},
eissn = {1573-7454},
Journal = {Autonomous Agents and Multi-Agent Systems},
Month = sep,
Note = {Special Issue: Multi-Agent Programming},
Number = 2,
Pages = {158--192},
Title = {Environment Programming in Multi-Agent Systems -- An Artifact-Based Perspective},
Url = {http://www.springerlink.com/content/b323338888286147/},
Volume = 23,
Year = 2011}

@inproceedings{pianini-woa2011,
Address = {Rende, Italy},
Author = {Pianini, Danilo and Viroli, Mirko and Montagna, Sara},
Booktitle = {WOA 2011 -- XII Workshop Nazionale "Dagli Oggetti agli Agenti"},
Editor = {Fortino, Giancarlo and Garro, Alfredo and Palopoli, Luigi and Russo, Wilma and Spezzano, Giandomenico},
Issn = {1613-0073},
Month = {4-6~} # jul,
Pages = {150--157},
Publisher = {Sun SITE Central Europe, RWTH Aachen University},
Series = {CEUR Workshop Proceedings},
Title = {A Simulation Framework for Pervasive Services Ecosystems},
Url = {http://ceur-ws.org/Vol-741/ID15_PianiniViroliMontagna.pdf},
Volume = 741,
Year = 2011}

@incollection{ArtifactsCalculusSDT2011,
series = {Communications in Computer and Information Science},
location = {Sofia, Bulgaria},
booktitle = {Software and Data Technologies. 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers},
publisher = {Springer-Verlag},
journal = {Communications in Computer and Information Science},
author = {Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
title = {A Calculus of Agents and Artifacts},
isbn = {978-3-642-20115-8},
year = 2011,
abstract = {A library-based extension of Java, the simpA framework, introduced a new abstraction based on agent-oriented concepts. Agents are autonomous entities that cooperate by exploiting artifacts, representing resources that are dynamically created and shared by agents. In this paper we present a core calculus integrating techniques coming from the area of concurrency and from OO programming. The syntax of the calculus with its static and dynamic semantics are introduced through an example. The calculus aims to foster the formalization (and proof) of type soundness of simpA programs and the development of techniques for analyzing the computational behaviour of agents and artifacts.},
keywords = {Artifacts; Core Calculus; Operational Semantics; Type System},
eissn = {1865-0929},
status = {Published},
pages = {124--136},
venue_list = {--},
url = {http://link.springer.com/chapter/10.1007%2F978-3-642-20116-5_10},
editor = {Cordeiro, Jos{\'e} and Ranchordas, AlpeshKumar and Shishkov, Boris},
address = {Berlin, Germany},
volume = 50,
doi = {10.1007/978-3-642-20116-5_10}}

@incollection {springerlink:10.1007/978-3-642-17348-6_13,
  author = {Casadei, Matteo and Mamei, Marco and Villalba, Cynthia and Viroli, Mirko and Zambonelli, Franco},
  affiliation = {Università di Bologna, 47023 Cesena, Italy},
  title = {Middleware Infrastructures for Self-organising Pervasive Computing Systems},
  booktitle = {Self-organising Software},
  series = {Natural Computing Series},
  editor = {Di Marzo Serugendo, Giovanna and Gleizes, Marie-Pierre and Karageorgos, Anthony},
  publisher = {Springer Berlin Heidelberg},
  isbn = {978-3-642-17348-6},
  keyword = {Computer Science},
  pages = {313-344},
  url = {http://dx.doi.org/10.1007/978-3-642-17348-6_13},
  note = {10.1007/978-3-642-17348-6_13},
  year = {2011}
}

@inproceedings{selforg-bads11,
Address = {Karlsruhe, Germany},
Author = {Fernandez-Marquez, Jose Luis and Arcos, Josep Lluis and Di Marzo Serugendo, Giovanna and Viroli, Mirko and Montagna, Sara},
Booktitle = {3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems},
Month = {14~} # jun,
Publisher = {ACM},
Title = {Description and Composition of Bio-Inspired Design Patterns: the Gradient Case},
Year = 2011}

@inproceedings{sapere-awaresaso11,
Address = {SASO 2011, Ann Arbor, MI, USA},
Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
Booktitle = {2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011)},
Month = {7~} # oct,
Note = {1st Awareness Workshop ``Challenges in achieving self-awareness in autonomous systems'' (AWARE 2011)},
Pages = {114--119},
Publisher = {IEEE CS},
Title = {A Coordination Approach to Adaptive Pervasive Service Ecosystems},
Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6114584},
Year = 2011}

@article{ecosystems-jpcc7,
Author = {Zambonelli, Franco and Viroli, Mirko},
Doi = {10.1108/17427371111172997},
Issn = {1742-7371},
Journal = {International Journal of Pervasive Computing and Communications},
Keywords = {Context-aware computing, Ecosystems, Metaphors, Middleware, Nature-inspired approaches, Pervasive computing, Self-organization},
Number = 3,
Pages = {186--204},
Publisher = {Emerald},
Title = {A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems},
Url = {http://www.emeraldinsight.com/journals.htm?issn=1742-7371&volume=7&issue=3},
urlpdf = {http://www.emeraldinsight.com/journals.htm?issn=1742-7371&volume=7&issue=3&articleid=1949170&show=pdf},
Volume = 7,
Year = 2011}

@article{spatial-taas11,
urlpdf = {http://portal.acm.org/ft_gateway.cfm?id=1968517&ftid=991523&dwn=1&CFID=31487229&CFTOKEN=42827646},
issn = {1556-4665},
publisher = {ACM},
journal = {ACM Transactions on Autonomous and Adaptive Systems},
author = {Viroli, Mirko and Casadei, Matteo and Montagna, Sara and Zambonelli, Franco},
title = {Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces},
year = 2011,
keywords = {Chemical-inspired computation, tuple spaces},
status = {Published},
pages = {14:1--14:24},
number = 2,
venue = {TAAS},
url = {http://doi.acm.org/10.1145/1968513.1968517},
address = {New York, NY, USA},
volume = 6,
month = {June},
doi = {10.1145/1968513.1968517}}

@inproceedings{sapere-saso11,
       Address = {Ann Arbor, Michigan, USA},
Author = {Viroli, Mirko and Nardini, Elena and Castelli, Gabriella and Mamei, Marco and Zambonelli, Franco},
Booktitle = {The 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011)},
       Month = {3--8~} # oct,
       Pages = {223--224},
       Note = {Poster},
Title = {Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems},
Year = 2011}

@article{ehealth-acr11,
   acm = {10.1145/1964144.1964150},
   author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko and Schumacher, Michael I.},
   doi = {10.1145/1964144.1964150},
   eissn = {1931-0161},
   iris = {11585/101810},
   issn = {1559-6915},
   journal = {Applied Computing Review},
   keywords = {e-Health, coordination middleware, TuCSoN, semantic tuple centres},
   month = {Spring},
   number = 2,
   numpages = 10,
   organization = {ACM SIGAPP},
   pages = {43--52},
   publisher = {ACM},
   title = {Coordinating e-Health Systems with {{\sf TuCSoN}} Semantic Tuple Centres},
   url = {http://portal.acm.org/citation.cfm?id=1964150},
   urlpdf = {http://www.sigapp.org/acr/Issues/V11.2/ACR-11-2.pdf},
   volume = 11,
   wos = {WOS:000217426300004},
   year = 2011
}

@article{preface-scp76,
       Author = {Canal, Carlos and Viroli, Mirko},
       Doi = {doi:10.1016/j.scico.2010.06.002},
       Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
       Issn = {0167-6423},
       Journal = {Science of Computer Programming},
       Month = may,
       Note = {Special Issue on the 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA '07)},
       Number = 1,
       Pages = {1--2},
       Publisher = {Elsevier Science B.V.},
       Title = {Preface},
       Url = {http://www.sciencedirect.com/science/article/pii/S0167642310001000},
       Volume = 76,
       Year = 2011}

@inproceedings{spatialcomputing-sac11,
Address = {Tunghai University, TaiChung, Taiwan},
Author = {Viroli, Mirko and Beal, Jacob and Casadei, Matteo},
       Booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
       Editor = {Palakal, Mathew J. and Hung, Chih-Cheng and Chu, William and Wong, W. Eric},
       Isbn = {978-1-4503-0113-8},
       Month = {21--25~} # mar,
Pages = {1325--1332},
Publisher = {ACM},
Title = {Core Operational Semantics of {P}roto},
Volume = {II: Artificial Intelligence & Agents, Information Systems, and Software Development},
Year = 2011}

@inproceedings{pianini-mass2011,
booktitle = {Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011)},
publisher = {IEEE Computer Society Press},
author = {Pianini, Danilo and  Montagna, Sara and Viroli, Mirko },
title = {A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems},
isbn = {978-83-60810-22-4},
year = 2011,
status = {Published},
pages = {667--674},
venue = {MASS},
editor = {Ganzha, Maria and Maciaszek, Leszek and Paprzycki, Marcin},
address = {Szczecin, Poland},
month = {18-21 September}}

@incollection{montagna-serene2011,
Address = {Geneva, Switzerland},
Author = {Montagna, Sara and Viroli, Mirko and Risoldi, Matteo and Pianini, Danilo and Di Marzo Serugendo, Giovanna},
Booktitle = {3rd International Workshop on Software Engineering for Resilient Systems},
Doi = {10.1007/978-3-642-24124-6_12},
Keywords = {pervasive computing, software ecosystems, self-adaptation, self-organisation},
Month = {29--30~} # sep,
Pages = {115--129},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Self-organising Pervasive Ecosystems: A Crowd Evacuation Example},
Url = {http://www.springerlink.com/content/096hh324410xj820},
Volume = 6968,
Year = 2011}

@article{intro-ker25years,
Author = {McBurney, Peter and Parsons, Simon and Viroli, Mirko},
Doi = {10.1017/S0269888910000330},
Editor = {Viroli, Mirko and Parsons, Simon and McBurney, Peter},
Issn = {0269-8889},
Journal = {The Knowledge Engineering Review},
Month = mar,
Note = {Special Issue 01 (25th Anniversary Issue)},
Number = 1,
Pages = {1--3},
Title = {A Quarter-century of {T}he {K}nowledge {E}ngineering {R}eview: Introduction to the {S}pecial {I}ssue},
Url = {http://journals.cambridge.org/action/displayAbstract?aid=8038620},
Volume = 26,
Year = 2011}

@inproceedings{logicartifacts-sac2011,
   acm = {1982378},
   address = {Taichun, Taiwan},
   author = {Sbaraglia, Marco and Casadei, Matteo and Viroli, Mirko},
   booktitle = {26th Annual ACM Symposium on Applied Computing (SAC 2011)},
   doi = {10.1145/1982185.1982378},
   keywords = {CArtAgO, coordination artifact, declarative coordination language},
   month = {21--25~} # mar,
   note = {Poster},
   numpages = 2,
   pages = {885--886},
   title = {Programming Coordination Laws of Artifacts in CArtAgO},
   url = {http://apice.unibo.it/xwiki/bin/download/Publications/LogicArtifactSac2011},
   year = 2011
}

@article{ecoservices-ins180,
       Author = {Viroli, Mirko and Zambonelli, Franco},
Doi = {10.1016/j.ins.2009.11.021},
Issn = {0020-0255},
Journal = {Information Sciences},
Keywords = {Pervasive Computing, Self-organisation, Biochemical computing},
Number = 10,
Pages = {1876--1892},
Publisher = {Elsevier},
Title = {A Biochemical Approach to Adaptive Service Ecosystems},
Volume = 180,
Year = 2010}

@incollection{FormalAAPROMAS09,
Author = {Ricci, Alessandro and Viroli, Mirko and Piunti, Michele},
Booktitle = {Programming Multi-Agent Systems},
Doi = {10.1007/978-3-642-14843-9_9},
Editor = {Braubach, Lars and Briot, Jean-Pierre and Thangarajah, John},
Isbn = {978-3-540-79042-6},
Issn = {0302-9743},
eissn = {1611-3349},
Note = {7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers},
Pages = {133--150},
Publisher = {Springer},
Series = {LNAI},
Title = {Formalising the Environment in {MAS} Programming: A Formal Model for Artifact-Based Environments },
Url = {http://www.springerlink.com/content/112756w186286622},
Volume = 5919,
Year = 2010}

@proceedings{proceedings-woa2010,
   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/95977},
   issn = {1613-0073},
   note = {11th Workshop ``From Objects to Agents'' (WOA 2010), Rimini, Italy, 5--7~} # sep # {~2010. Proceedings},
   pages = {1--173},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   series = {CEUR Workshop Proceedings},
   title = {WOA 2010 -- Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*},
   url = {http://CEUR-WS.org/Vol-621/},
   volume = 621,
   year = 2010
}

@inproceedings{semcoord-sac10,
   address = {Sierre, Switzerland},
   author = {Nardini, Elena and Viroli, Mirko and Panzavolta, Emanuele},
   booktitle = {25th Annual ACM Symposium on Applied Computing (SAC 2010)},
   doi = {10.1145/1774088.1774515},
   editor = {Shin, Sung Y. and Ossowski, Sascha and Schumacher, Michael and Palakal, Mathew and Hung, Chih-Cheng and Shin, Dongwan},
   isbn = {978-1-60558-638-0},
   keywords = {Pervasive Computing, SemanticWeb, Description Logic, Semantic Tuple Space Computing, Semantic Tuple Centre, Co- ordination Infrastructure, TuCSoN, ReSpecT},
   month = {22--26~} # mar,
   note = {The paper was selected as a best paper},
   pages = {2037--2044},
   publisher = {ACM},
   title = {Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres},
   url = {http://portal.acm.org/citation.cfm?id=1774515},
   volume = {III},
   year = 2010
}

@article{Montagna2010115,
      Author = {Montagna, Sara and Viroli, Mirko},
      Title = {A Framework for Modelling and Simulating Networks of Cells},
      Journal = {Electronic Notes in Theoretical Computer Science},
      Volume = {268},
      Pages = {115--129},
      Month = dec,
      Note = {Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10)},
      Issn = {1571-0661},
      Doi = {10.1016/j.entcs.2010.12.009},
      Publisher = {Elsevier Science B.V.},
      Keyword = {Formal methods, Multi-level model, Developmental biology},
      Year = 2010}

@inproceedings{biochemicaltuplespace-sac10,
Address = {Sierre, Switzerland},
Author = {Viroli, Mirko and Casadei, Matteo},
Booktitle = {25th Annual ACM Symposium on Applied Computing (SAC 2010)},
Month = {22--26~} # mar,
      Pages = {2029--2036},
      Editor = {Shin, Sung Y. and Ossowski, Sascha and Schumacher, Michael and Palakal, Mathew and Hung, Chih-Cheng and Shin, Dongwan},
Publisher = {ACM},
       url = {http://apice.unibo.it/xwiki/bin/download/Publications/BiochemicaltuplespaceSac10/VCZ%2DSAC%2D2010.pdf},
Title = {Chemical-Inspired Self-Composition of Competing Services},
       Volume = {III},
       Isbn = {978-1-60558-638-0},
Year = 2010}

@article{RVP-PROMAS09,
series = {Lecture Notes Computer Science},
booktitle = {Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers},
publisher = {Springer},
author = {Ricci, Alessandro and Viroli, Mirko and Piunti, Michele},
title = {Formalising the Environment in MAS Programming: a Formal Model},
isbn = {978-3-642-14842-2},
year = 2009,
status = {Published},
pages = {133--150},
venue = {LNCS},
volume = 5919,
doi = {10.1007/978-3-642-14843-9}}

@inproceedings{RPV-LADS09,
   author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko},
   booktitle = {Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009)},
   editor = {Dastani, Mehdi and Seghrouchni, Amal El Fallah and Leite, João and Torroni, Paolo},
   keywords = {Agents, Artifacts, Cognitive, Capabilities, Modularisation, Externalisation},
   month = {September},
   status = {Published},
   title = {Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming},
   venue = {--},
   year = 2009
}

@inproceedings{modelchecking-sac09,
Address = {Honolulu, Hawai'i, USA},
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-60558-166-8},
Month = {8--12~} # mar,
Pages = {2103--2104},
Publisher = {ACM},
Title = {Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems},
Volume = {III},
Year = 2009}

@inproceedings{probmodelchecking-cec09,
booktitle = {IEEE Congress on Evolutionary Computation, 2009 (CEC 2009).},
publisher = {IEEE Computer Society Press},
author = {Casadei, Matteo and Viroli, Mirko},
title = {An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems},
isbn = { 978-1-4244-2959-2},
year = 2009,
abstract = {The attention to self-organization as a feasible metaphor for dealing with the growing complexity of today's software systems is constantly growing. In particular, by adopting self-organization, systems can adapt to highly dynamic environments by local interaction among system's components. As a consequence, the global behavior of the system can be regarded as an emergent property since it appears by a process emerging from local interactions among components. The corresponding system dynamics is usually non-linear and complex so that the adoption of simulation and verification techniques in the early design stage becomes essential to carry out an effective design. Accordingly, in this paper we discuss a hybrid approach relying on stochastic simulation and probabilistic model checking and show a possible application on a problem called collective sort taken as a case study. To this end, the PRISM probabilistic model checker is adopted as a concrete tool for analyzing emergent properties of collective sort. Finally, a discussion of the corresponding results is provided.},
status = {Published},
pages = {1538-1545},
venue = {--},
month = {May, 18-21}}

@incollection{cartago-promasbookII,
   author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko and Omicini, Andrea},
   booktitle = {Multi-Agent Programming II: Languages, Platforms and Applications},
   chapter = 8,
   doi = {10.1007/978-0-387-89299-3_8},
   editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jurgen and El Fallah Seghrouchni, Amal},
   eisbn = {978-0-387-89299-3},
   iris = {11585/82468},
   isbn = {978-0-387-89298-6},
   month = jun,
   pages = {259--288},
   part = {II},
   publisher = {Springer},
   series = {Multiagent Systems, Artificial Societies, and Simulated Organizations},
   title = {Environment Programming in {{\sf CArtAgO}}},
   url = {http://link.springer.com/chapter/10.1007/978-0-387-89299-3_8},
   year = 2009
}

@article{collectivesort-scp74,
Author = {Casadei, Matteo and Viroli, Mirko and Gardelli, Luca},
Booktitle = {Special Issue on the 5th International Workshop on Foundations of Coordination Languages and Architectures (FOCLASA '06)},
Doi = {10.1016/j.scico.2008.09.018},
Editor = {Pimentel, Ernesto and Jacquet, Jean-Marie},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Self-Organising Systems, Tuple Spaces, Stochastic Simulations, Collective Sort},
Number = 9,
Pages = {702--722},
Publisher = {Elsevier Science B. V.},
Title = {On the Collective Sort Problem for Distributed Tuple Spaces},
Url = {http://www.sciencedirect.com/science/article/pii/S0167642309000318},
Volume = 74,
Year = 2009}

@inproceedings{DGRV-ICSOFT2009,
 editor    = {Shishkov, Boris and Cordeiro, Jos{\'e} and  Ranchordas, Alpesh},
 booktitle    = {ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009},
 publisher = {INSTICC Press},
 year      = {2009},
 isbn      = {978-989-674-009-2},
 author    = {Damiani, Ferruccio  and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
 title     = {FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts},
 pages     = {218-225}}

@inproceedings{bioframework-cec09,
booktitle = {2009 IEEE Congress on Evolutionary Computation (CEC 2009)},
publisher = {IEEE Computer Society Press},
author = {Montagna, Sara and Viroli, Mirko},
title = {A computational framework for modelling multicellular biochemistry},
isbn = {978-1-4244-2959-2},
year = 2009,
status = {Published},
pages = {2233--2240},
venue = {--},
address = {Trondheim, Norway },
month = {18-21 May}}

@incollection{biochemicaltuplespaces-coordination09,
Address = {Lisbon, Portugal},
Author = {Viroli, Mirko and Casadei, Matteo},
Booktitle = {Coordination Languages and Models},
Doi = {10.1007/978-3-642-02053-7_8},
Editor = {Field, John and Vasconcelos, Vasco T.},
Isbn = {978-3-642-02052-0},
Issn = {0302-9743},
Month = jun,
Note = {11th International Conference (COORDINATION 2009), Lisbon, Portugal, } # jun # { 2009. Proceedings},
Pages = {143--162},
Publisher = {Springer},
Series = {LNCS},
Title = {Biochemical Tuple Spaces for Self-Organising Coordination},
Url = {http://www.springerlink.com/content/jx783250031742uu/},
Volume = 5521,
Year = 2009}

@incollection{EcoservicesIdc08,
Author = {Zambonelli, Franco and Viroli, Mirko},
Booktitle = {Intelligent Distributed Computing, Systems and Applications},
Doi = {10.1007/978-3-540-85257-5_3},
Isbn = {978-3-540-85256-8},
Issn = {1860-949X},
eissn = {1860-9503},
Keywords = {Self-organising systems, Ecoservices, Bio-inspired models, Adaptive systems, Infrastructures},
Month = sep,
Note = {2nd International Symposium on Intelligent Distributed Computing (IDC 2008), Catania, Italy, 18--19~} # sep # {~2008. Proceedings},
Pages = {23--32},
Publisher = {Springer},
Series = {Studies in Computational Intelligence},
Title = {Architecture and Metaphors for Eternally Adaptive Service Ecosystems},
Volume = {162/2008},
Year = 2008}

@incollection{intro-entcs194,
Author = {Carlos, Canal and Poizat, Pascal 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.095},
Editor = {Carlos, Canal and Poizat, Pascal and Viroli, Mirko},
Issn = {1571-0661},
Number = 4,
Pages = {1--3},
Publisher = {Elsevier Science B.V.},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Preface},
Volume = 194,
Year = 2008}

@article{RVC-FOCLASA2007-ENTCS2008,
Author = {Ricci, Alessandro and Viroli, Mirko and Cimadamore, Maurizio},
Doi = {10.1016/j.entcs.2008.03.102},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keyword = {multiprogramming, agents and artifacts, Multiagent systems, concurrent programming, core calculi},
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 = {111--132},
Publisher = {Elsevier Science B.V.},
Title = {Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus},
Volume = 194,
Year = 2008}

@inproceedings{stochasticprolog-cilc08,
   address = {Perugia, Italy},
   author = {Oliva, Enrico and Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
   booktitle = {23\textsuperscript{\underline{o}} Convegno Italiano di Logica Computazionale (CILC'08)},
   iris = {11585/899637},
   month = {10--12~} # jul,
   pages = {237--251},
   title = {Experimenting with Stochastic Prolog as a Simulation Language},
   year = 2008
}

@article{generics-scp73,
       Author = {Cimadamore, Maurizio and Viroli, Mirko},
       Doi = {doi:10.1016/j.scico.2008.06.005},
       Editor = {Mernik, Marjan},
       Issn = {0167-6423},
       Journal = {Science of Computer Programming},
       Keywords = {Generic types, Wildcards, Java, Reification},
       Month = oct,
       Note = {Selected Papers from the 22th ACM Symposium on Applied Computing (SAC 2007)},
       Number = {2--3},
       Pages = {59--75},
       Publisher = {Elsevier Science B.V.},
       Title = {On the reification of {J}ava wildcards},
       Url = {http://www.sciencedirect.com/science/article/pii/S016764230800066X},
       Volume = 73,
       Year = 2008}

@inproceedings{patj-sac08,
Address = {Fortaleza, Cear{\'a}, Brazil},
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Booktitle = {23th ACM Symposium on Applied Computing (SAC 2008)},
Doi = {10.1145/1363686.1363740},
Editor = {Wainwright, Roger L. and Haddad, Hisham M. and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-59593-753-7},
Keywords = {Generics, Java, Multiparadigm, Prolog, Wildcards},
Month = {16--20~} # mar,
Note = {Special Track on Programming Languages},
Pages = {198--205},
Publisher = {ACM},
Title = {Integrating {J}ava and {P}rolog through Generic Methods and Type Inference},
Volume = 1,
Year = 2008}

@inproceedings{ecosystems-woa2008,
Address = {Palermo, Italy},
Author = {Villalba, Cynthia and Rosi, Alberto and Viroli, Mirko and Zambonelli, Franco},
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},
Isbn = {978-88-6122-122-2},
Month = nov,
Pages = {61--67},
Publisher = {Seneca Edizioni},
Title = {Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems},
Url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
Year = 2008}

@article{PolymorphismJfp18,
issn = {0956-7968},
volume = 18,
title = {Lightweight Family Polymorphism},
publisher = {Cambridge University Press},
url = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1827916},
number = 3,
month = may,
doi = {10.1017/S0956796807006405},
keywords = {inheritance, family polymorphism, Featherweight Java},
note = {A preliminary summary appeared in the proceedings of the third Asian Symposium on Programming Languages and Systems (APLAS2005), volume 3780 of Lecture Notes in Computer Science, Tsukuba, Japan, November 2005, Springer-Verlag, pp. 161-177},
eissn = {1469-7653},
year = 2008,
pages = {285-331},
journal = {Journal of Functional Programming},
author = {Saito, Chieri and Igarashi, Atsushi and Viroli, Mirko}}

@incollection{simpa-lads07,
  Author = {Ricci, Alessandro and Viroli, Mirko and Piancastelli, Giulio},
issn = {0302-9743},
venue = {LNCS},
volume = {5118},
title = {{simpA}: A Simple Agent-Oriented {J}ava Extension for Developing Concurrent Applications},
booktitle = {Languages, Methodologies and Development Tools for Multi-Agent Systems},
publisher = {Springer Berlin / Heidelberg},
doi-springer = {10.1007/978-3-540-85058-8_16},
url = {http://www.springerlink.com/content/ew0v841266521414/},
series = {LNCS},
month = {July},
doi = {10.1007/978-3-540-85058-8_16},
isbn-13 = {978-3-540-85057-1},
isbn = {978-3-540-85057-1},
status = {Published},
eissn = {1611-3349},
year = 2008,
pages = {261--278},
note = {First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers}
}

@inproceedings{artifacts-argmas08,
   address = {AAMAS 2008, Estoril, Portugal},
   author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea and McBurney, Peter},
   booktitle = {5th International Workshop ``Argumentation in Multi-Agent Systems'' (ArgMAS 2008)},
   editor = {Rahwan, Iyad and Moraitis, Pavlos},
   iris = {11585/62593},
   month = {12~} # may,
   pages = {24--39},
   title = {Argumentation and Artifact for Dialogue Support},
   year = 2008
}

@inproceedings{ecosystems-scw2008,
Address = {Venice Italy},
Author = {Villalba, Cynthia and Rosi, Alberto and Viroli, Mirko and Zambonelli, Franco},
Booktitle = {Workshop on Spatial Computing},
Month = oct,
Title = {Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems},
Url = {http://projects.csail.mit.edu/scw08/papers/villalba.pdf},
       Note = {Informal Proceedings},
Year = 2008}

@inproceedings{collectivesort-coma08,
venue = {Rome, Italy},
title = {Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks},
booktitle = {17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008)},
      Editor = {Nixon, Lyndon J. B. and Bortenschlager, Manfred and Simperl, Elena and Tolksdorf, Robert},
Isbn={978-0-7695-3315-5},
Month = {23--25~} # jun,
       Pages = {70--75},
Publisher = {IEEE Computer Society},
year = 2008,
author = {Casadei, Matteo and Viroli, Mirko and Santarelli, Marco}}

@article{OlivaAdaptationJucs14,
journal = {Journal of Universal Computer Science},
author = {Oliva, Enrico and Natali, Antonio and Ricci, Alessandro and Viroli, Mirko},
title = {An Adaptation Logic Framework for {J}ava-based Component Systems},
year = 2008,
abstract = {This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as a first-class aspect.
On the one side, the framework makes it possible to specify the logic of interaction at the component-level, in terms of input and output interfaces, the events generated and observed by a component, and related information about the management of the control flow. On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among the components, enabling general forms of adaptation, observation and construction of the interaction space.
As a result, the framework supports the adaptation of components at different levels: from interoperability among heterogeneous and unknown components, to the support for dynamic introduction, removal and update of components, to general coordination patterns, such as workflow.
The framework uses first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the adaptation laws gluing the components and the interaction events occurring in the system are expressed as facts and rules. They compose the (evolving) logic theories describing and defining the interaction at the system level, and can be observed and controlled at runtime to allow dynamic re-configurability.},
status = {Published},
pages = {2158-2181},
number = 13,
venue = {JUCS},
url = {http://www.jucs.org/jucs_14_13/an_adaptation_logic_framework},
volume = 14}

@inproceedings{selforgcoord-saso08,
       Address = {Venice, Italy},
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08)},
Doi = {10.1109/SASO.2008.18},
       Editor = {Brueckner, Sven and Roberson, Paul and Bellur, Umesh},
       Isbn={978-0-7695-3404-6},
Month = {20--24~} # oct,
       Pages = {213--222},
       Publisher = {IEEE Computer Society},
Title = {Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks},
Url ={http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=4663425},
Year = 2008}

@incollection{swarmlinda-lncs4725,
Author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert},
Booktitle = {Self-Organizing Systems},
Doi = {10.1007/978-3-540-74917-2},
Editor = {Hutchison, Davis and Katz, Randy},
Elsevier-Ref = {LNCS4725},
Isbn = {978-3-540-74916-5},
Issn = {0302-9743},
eissn = {1611-3349},
Month = aug,
Note = {2nd International Workshop on Self-Organizing Systems (IWSOS 2007), The Lake District, UK, 11--13~} # sep # {~2007. Proceedings},
Pages = {146--160},
Publisher = {Springer},
Series = {LNCS},
Title = {A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems},
Url = {http://www.springerlink.com/content/f602r041350x5u8v/},
Volume = 4725,
Year = 2007}

@article{collectivesort-entcs175,
Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
Doi = {10.1016/j.entcs.2007.03.006},
Editor = {Canal, Carlos and Viroli, Mirko},
Elsevier-Ref = {ENTCS1735},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
Month = jun,
Note = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, Bonn, Germany, 31~} # aug # {~2006. Post-proceedings},
Number = 2,
Pages = {59--80},
Publisher = {Elsevier Science B.V.},
Title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
Volume = 175,
Year = 2007}

@inproceedings{swarmlinda-cec07,
title = {Self-Organized Over-Clustering Avoidance in Tuple-Space Systems},
booktitle = {IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). },
publisher = {IEEE Computer Society},
month = {25--28~} # sep,
doi = {10.1109/CEC.2007.4424636},
year = 2007,
pages = {1408--1415},
author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert}}

@article{envinfra-jaamas14,
       Author = {Viroli, Mirko and Holvoet, Tom and Ricci, Alessandro and Schelfthout, Kurt and Zambonelli, Franco},
       Doi = {10.1007/s10458-006-9001-6},
       Editor = {Weyns, Danny and Parunak, H. Van Dyke},
       Issn = {1387-2532},
       Journal = {Autonomous Agents and Multi-Agent Systems},
       Month = jul,
       Note = {Special Issue: Environment for Multi-Agent Systems},
       Publisher = {Springer Netherlands},
       Title = {Infrastructures for the Environment of Multiagent Systems},
       Volume = 14,
       Number = 1,
       Pages = {49--60},
       Year = 2007}

@article{OrchestrationJLAP70,
       Author = {Viroli, Mirko},
       Doi = {doi:10.1016/j.jlap.2006.05.006},
       Editor = {Bravetti, Mario and Zavattaro, Gianluigi},
       Issn = {1567-8326},
       Journal = {Journal of Logic and Algebraic Programming},
       Keywords = {Web Services, Orchestration, Process Algebra},
       Month = jan,
       Note = {Special Issue on Web Services and Formal Methods},
       Number = 1,
       Pages = {74--95},
       Publisher = {Elsevier Science B.V.},
       Title = {A core calculus for correlation in orchestration languages},
       Volume = 70,
       Year = 2007}

@inproceedings{selforg-eedas07,
   address = {ICAC 2007, Jacksonville, FL, USA},
   author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
   booktitle = {2nd International Workshop on Engineering Emergence in Decentralised Autonomic Systems (EEDAS 2007)},
   editor = {De Wolf, Tom and Saffre, Fabrice and Anthony, Richard},
   isbn = {978-1-904521-43-3},
   month = {11~} # jun,
   note = {Proceedings},
   pages = {61--70},
   publisher = {CMS Press, University of Greenwich, London, UK},
   title = {Design Patterns for Self-Organizing Multiagent Systems},
   url = {https://distrinet.cs.kuleuven.be/events/eedas/2007/papers/DesignPatterns_GardelliViroliOmicini_EEDAS2007.pdf},
   urlpdf = {https://distrinet.cs.kuleuven.be/events/eedas/2007/papers/DesignPatterns_GardelliViroliOmicini_EEDAS2007.pdf},
   year = 2007
}

@inproceedings{simpa-pppj07,
Address = {Lisboa, Portugal},
Author = {Ricci, Alessandro and Viroli, Mirko},
Booktitle = {5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007)},
Doi = {10.1145/1294325.1294350},
Editor = {Amaral, Vasco},
Isbn = {978-1-59593-672-1},
Month = {5--7~} # sep,
Pages = {185--194},
Publisher = {ACM},
Series = {ACM International Conference Proceeding},
Title = {{{\sf simpA}}: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of {J}ava},
Volume = {272},
Year = 2007}

@inproceedings{swarmlinda-lncs4676,
Author = {Casadei, Matteo and Menezes, Ronaldo and Viroli, Mirko and Tolksdorf, Robert},
Booktitle = {Cooperative Information Agents XI},
Doi = {10.1007/978-3-540-75119-9\_18},
Editor = {Klusch, Matthias and Hindriks, Koen and Papazoglou, Mike and Sterling, Mike},
Elsevier-Ref = {LNCS4676},
Isbn = {978-3-540-75118-2},
Issn = {0302-9743},
eissn = {1611-3349},
Month = sep,
Note = {11th International Workshop on Cooperative Information Agents (CIA 2007), Delf, The Netherland, 19--21~} # sep # {~2007. Proceedings},
Pages = {255--269},
Publisher = {Springer},
Series = {LNCS},
Title = {Using Ant's Brood Sorting to Increase Fault Tolerance in {L}inda's Tuple Distribution Mechanism},
Url = {http://www.springerlink.com/content/t04756206478j775/},
Volume = 4676,
Year = 2007}

@article{IntroJOT6,
issn = {1660-1769},
publisher = {ETH Swiss Federal Institute of Technology},
journal = {Journal of Object Technology},
author = {Ancona, Davide and Viroli, Mirko},
title = {Guest Editorial},
year = 2007,
note = {Special Issue: OOPS Track at SAC 2006 / France},
number = 2,
url = {http://www.jot.fm/contents/issue_2007_02/editorial.html},
editor = {Ancona, Davide and Viroli, Mirko},
volume = 6,
doi = {10.5381/jot.2007.6.2.e1}}

@inproceedings{respect-foclasa07,
   address = {CONCUR 2007, Lisbon, Portugal},
   author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
   booktitle = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07)},
   editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
   keywords = {Rewriting Logic, Maude, Coordination Language, {{\sf ReSpecT}}, Agents \& Artifacts},
   month = {8~} # sep,
   note = {Proceedings},
   pages = {133--148},
   title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
   url = {http://foclasa07.lcc.uma.es/},
   year = 2007
}

 @inproceedings{swarmlinda-saso07,
Address = {Boston, Massachusetts, USA},
Author = {Casadei, Matteo and Menezes, Ronaldo and Tolksdorf, Robert and Viroli, Mirko},
Booktitle = {1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007)},
Editor = {Babaoglu, Ozalp and Shrobe, Howard},
Month = {9--11~} # july,
Pages = {303--306},
Publisher = {IEEE Computer Society},
Title = {On the Problem of Over-clustering in Tuple-based Coordination Systems},
       Doi = {10.1109/SASO.2007.42},
Year = 2007}

@article{preface-scp66,
       Author = {Canal, Carlos and Viroli, Mirko},
       Doi = {doi:10.1016/j.scico.2007.02.001},
       Editor = {Canal, Carlos and Viroli, Mirko},
       Issn = {0167-6423},
       Journal = {Science of Computer Programming},
       Month = may,
       Note = {Special Issue on the 4th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA '05)},
       Number = 3,
       Pages = {181--183},
       Publisher = {Elsevier Science B.V.},
       Title = {Preface},
       Url = {http://www.sciencedirect.com/science/article/pii/S0167642307000342},
       Volume = 66,
       Year = 2007}

@inproceedings{patj-pppj07,
Address = {New York, NY, USA},
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Booktitle = {5th International Symposium on Principles and Practice of Programming in {J}ava (PPPJ '07)},
Doi = {10.1145/1294325.1294352},
Isbn = {978-1-59593-672-1},
Location = {Lisboa, Portugal},
Pages = {197--202},
Publisher = {ACM},
Title = {A {P}rolog-oriented extension of {J}ava programming based on generics and annotations},
Year = 2007}

@inproceedings{collectivesort-coord-sac07,
title = {A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces},
address = {New York, NY, USA},
booktitle = {SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing},
publisher = {ACM },
doi = {10.1145/1244002.1244086},
isbn = {1-59593-480-4},
editor = {Ricci, Alessandro and Schumacher, Michael and Angerer, Bernard },
year = 2007,
pages = {354--359},
author = {Viroli, Mirko and Casadei, Matteo and Gardelli, Luca}}

@inCollection{IntroENTCS175,
  author =    {Carlos, Canal and Viroli, Mirko},
  title =     {Preface},
  series =   {Electronic Notes in Theoretical Computer Science},
  editor =    {Carlos, Canal and Viroli, Mirko},
  volume =    175,
  number =    2,
  pages =     {1--2},
  year =      2007,
  publisher = {Elsevier Science B.V.},
  issn =      {1571-0661},
  booktitle =      {Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)},
  doi =       {10.1016/j.entcs.2005.12.029}
}

@article{PolymorphismOoplsa2007,
issn = {0362-1340},
volume = 42,
title = {Variant path types for scalable extensibility},
address = {New York, NY, USA},
publisher = {ACM},
number = 10,
doi = {10.1145/1297027.1297037},
keywords = {Generics, parametric polymorphism, variant types, Featherweight Java},
isbn = {978-1-59593-786-5},
note = {Proceedings of the 22nd annual ACM SIGPLAN Conference on Object Oriented Programming Systems, Languages and Applications (OOPSLA '07), Montreal, Quebec, Canada},
editor = {Gabriel, Richard P. and Bacon, David F. and Videira Lopes, Cristina and  Steele, Jr., Guy L.},
year = 2007,
pages = {113--132},
journal = {ACM SIGPLAN Notices},
author = {Igarashi, Atsushi and Viroli, Mirko}}

@inproceedings{artifacts-promas07,
   address = {AAMAS 2007, Honolulu, Hawaii, USA},
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   booktitle = {5th International Workshop ``Programming Multi-Agent Systems'' (PROMAS 2007)},
   editor = {Dastani, Mehdi and El Fallah Seghrouchni, Amal and Ricci, Alessandro and Winikoff, Michael},
   keywords = {CArtAgO, A&A, artifacts, multi-agent systems, agent-oriented computing},
   month = {15~} # may,
   pages = {54--69},
   title = {A General Purpose Programming Model \& Technology for Developing Working Environments in {MAS}},
   year = 2007
}

@inproceedings{selforg-aica06,
Address = {Cesena, Italy},
Author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo},
Booktitle = {Atti Congresso Annuale AICA 2006},
Isbn = {88-6055-075-0},
Month = {21--22~} # sep,
Organization = {Associazione Italiana per l'Informatica ed il Calcolo Automatico},
Pages = {96--101},
Publisher = {Alinea Editrice, Firenze, Italy},
Title = {On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation},
Volume = 1,
Year = 2006}

@inproceedings{collectivesort-eumas06,
Address = {Lisbon, Portugal},
Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
Booktitle = {4th European Workshop on Multi-Agent Systems (EUMAS 2006)},
Editor = {Omicini, Andrea and Dunin-Keplicz, Barbara and Padget, Julian},
Issn = {1613-0073},
Month = {14--15~} # dec,
Number = 223,
Publisher = {Sun SITE Central Europe, RWTH Aachen University},
Series = {CEUR Workshop Proceedings},
Title = {A Case of Self-Organising Environment for MAS: the Collective Sort Problem},
Url = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-223/24.pdf},
Year = 2006}

@inproceedings{collectivesort-foclasa06,
   address = {CONCUR 2006, Bonn, Germany},
   author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
   booktitle = {5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06)},
   editor = {Canal, Carlos and Viroli, Mirko},
   keywords = {Stochastic Transition System, Self-Organization, Simulation, Coordination, Collective Sort},
   month = {31~} # aug,
   note = {Proceedings},
   pages = {57--75},
   title = {Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case},
   url = {http://foclasa06.lcc.uma.es/},
   year = 2006
}

@inproceedings{selforg-atai06,
   address = {Vienna, Austria},
   author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
   booktitle = {Cybernetics and Systems 2006},
   editor = {Trappl, Robert},
   isbn = {3-85206-172-5},
   month = {18--21~} # apr,
   note = {18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium ``From Agent Theory to Theory Implementation'' (AT2AI-5). Proceedings},
   pages = {539--544},
   publisher = {Austrian Society for Cybernetic Studies},
   title = {Exploring the Dynamics of Self-Organising Systems with Stochastic $\pi$-Calculus: Detecting Abnormal Behaviour in {MAS}},
   volume = 2,
   year = 2006
}

@inproceedings{cartago-e4mas06,
   address = {AAMAS 2006, Hakodate, Japan},
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
   editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
   keywords = {CArtAgO, A&A, artifacts, multi-agent systems, agent-oriented computing},
   month = {8~} # may,
   pages = {102--119},
   title = {{{\sf CArtAgO}}: An Infrastructure for Engineering Computational Environments in {MAS}},
   url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci2.pdf},
   urlpdf = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci2.pdf},
   year = 2006
}

@inCollection{IntroENTCS154,
  author =    {Carlos, Canal AND Viroli, Mirko},
  title =     {Preface},
  series =   {Electronic Notes in Theoretical Computer Science},
  editor =    {Carlos, Canal AND Viroli, Mirko},
  volume =    154,
  number =    1,
  pages =     {1--2},
  year =      2006,
  publisher = {Elsevier Science B.V.},
  issn =      {1571-0661},
  booktitle =      {Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)},
  doi =       {10.1016/j.entcs.2005.12.029}
}

@inproceedings{cartago-at2ai06,
   address = {Vienna, Austria},
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   booktitle = {Cybernetics and Systems 2006},
   editor = {Trappl, Robert},
   isbn = {3-85206-172-5},
   keywords = {cartago, A&A, artifacts, multi-agent systems, agent-oriented computing},
   month = {18--21~} # apr,
   note = {18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), 5th International Symposium ``From Agent Theory to Theory Implementation'' (AT2AI-5). Proceedings},
   pages = {569--574},
   publisher = {Austrian Society for Cybernetic Studies},
   title = {{\it Construenda est} {{\sf CArtAgO}}: Toward an Infrastructure for Artifacts in {MAS}},
   volume = 2,
   year = 2006
}

@inproceedings{cogstig-e4mas06,
   address = {AAMAS 2006, Hakodate, Japan},
   author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
   booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
   editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
   iris = {11585/27782},
   month = {8~} # may,
   pages = {44--60},
   title = {Cognitive Stigmergy: A Framework Based on Agents and Artifacts},
   url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/ricci.pdf},
   year = 2006
}

@inproceedings{collectivesort-woa06,
Address = {Catania, Italy},
Author = {Casadei, Matteo and Gardelli, Luca and Viroli, Mirko},
Booktitle = {WOA 2006 -- Dagli oggetti agli agenti: sistemi grid, p2p e self-*},
Editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
Issn = {1613-0073},
Journal = {CEUR Workshop Proceedings},
Month = {26--27~} # sep,
Pages = {173--180},
Publisher = {Sun SITE Central Europe, RWTH Aachen University},
Series = {CEUR Workshop Proceedings},
Title = {Collective Sorting Tuple Spaces},
Url = {http://ceur-ws.org/Vol-204/D01.pdf},
Year = 2006}}

@article{framework-foclasa06,
   author = {Natali, Antonio and Oliva, Enrico and Ricci, Alessandro and Viroli, Mirko},
   booktitle = {Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)},
   doi = {10.1016/j.entcs.2005.12.032},
   journal = {Electronic Notes in Theoretical Computer Science},
   number = 1,
   pages = {43--61},
   series = {Electronic Notes in Theoretical Computer Science},
   title = {A Framework for Engineering Interactions in {J}ava-based Component Systems},
   url = {http://www.sciencedirect.com/science/article/pii/S1571066106001782},
   volume = 154,
   year = 2006
}

@inproceedings{collectivesort-e4mas06,
Address = {AAMAS 2006, Hakodate, Japan},
Author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo},
Booktitle = {3rd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2006)},
Editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
Month = {8~} # may,
Pages = {96--101},
Title = {On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation},
Url = {http://distrinet.cs.kuleuven.be/events/e4mas/2006/contents/papers/gardelli.pdf},
Year = 2006}

@article{generics-toplas28,
Address = {New York, NY, USA},
Author = {Igarashi, Atsushi and Viroli, Mirko},
Doi = {10.1145/1152649.1152650},
Issn = {0164-0925},
Journal = {ACM Transactions on Programming Languages and Systems},
Month = sep,
Number = 5,
Pages = {795--847},
Publisher = {ACM Press},
Title = {Variant Parametric Types: A Flexible Subtyping Scheme for Generics},
Volume = 28,
Year = 2006}

@inproceedings{selforg-esoa05,
   address = {AAMAS 2005, Utrecht, The Netherlands},
   author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
   booktitle = {3rd International Workshop ``Engineering Self-Organising Applications'' (ESOA 2005)},
   editor = {Brueckner, Sven and Di Marzo Serugendo, Giovanna and Hales, David and Zambonelli, Franco},
   month = {26~} # jul,
   pages = {161--175},
   title = {On the Role of Simulations in Engineering Self-Organizing {MAS}: the Case of an Intrusion Detection System in {{\sf TuCSoN}}},
   year = 2005
}

@article{artifacts-informatica29,
Author = {Ricci, Alessandro and Viroli, Mirko},
Editor = {Omicini, Andrea and Petta, Paolo and Gams, Matjaz},
Issn = {0350-5596},
eissn = {1854-3871},
Journal = {Informatica},
Keywords = {Multi-Agent System Coordination, Multi-Agent System Environment, Multi-Agent System Engineering, Coordination Artifacts},
Month = nov,
Number = 4,
Pages = {433--443},
urlpdf = {http://www.informatica.si/index.php/informatica/article/view/59/52},
Publisher = {Slovene Society Informatika},
Title = {Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in {MAS}},
Url = {http://www.informatica.si/index.php/informatica/article/view/59},
Volume = 29,
Year = 2005}

@incollection{oi-acIII,
Author = {Viroli, Mirko and Ricci, Alessandro},
Booktitle = {Agent Communication},
Doi = {10.1007/b106468},
Editor = {van Eijk, Rogier M. and Huget, Marc-Philippe and Dignum, Frank},
Isbn = {978-3-540-25015-9},
Isbn-10 = {3-540-25015-8},
Issn = {0302-9743},
eissn = {1611-3349},
Keywords = {artifacts, operating instructions, timing},
Month = jan,
Note = {AAMAS 2004 International Workshop (AC 2004), New York, NY, USA, 19~} # jul # {~2004. Revised Selected and Invited Papers},
Pages = {173--192},
Publisher = {Springer},
Series = {LNAI},
Title = {Agent Interaction Semantics by Timed Operating Instructions},
Url = {http://www.springerlink.com/content/76j4c80xvvjqpwkc/},
Volume = 3396,
Year = 2005}

@article{env-ker20,
   author = {Weyns, Danny and Schumacher, Michael I. and Ricci, Alessandro and Viroli, Mirko and Holvoet, Tom},
   doi = {10.1017/S0269888905000457},
   editor = {Omicini, Andrea and McBurney, Peter},
   eissn = {1469-8005},
   issn = {0269-8889},
   journal = {The Knowledge Engineering Review},
   month = jun,
   note = {Special Issue ``{R}evised Reports from Selected {T}echnical {F}orum {G}roups at the 1st \& 2nd {A}gent{L}ink {III} {T}echnical {F}orums''},
   number = 2,
   pages = {127--141},
   publisher = {Cambridge University Press},
   title = {Environments in Multiagent Systems},
   url = {http://journals.cambridge.org/abstract_S0269888905000457},
   volume = 20,
   year = 2005
}

@inproceedings{artifacts-e4mas05,
   address = {AAMAS 2005, Utrecht, The Netherlands},
   author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
   booktitle = {2nd International Workshop ``Environments for Multi-Agent Systems'' (E4MAS 2005)},
   editor = {Weyns, Danny and Parunak, H. Van Dyke and Michel, Fabien},
   month = {26~} # jul,
   pages = {62--77},
   title = {Engineering {MAS} Environment with Artifacts},
   year = 2005
}

@article{aaecc16,
   author = {Viroli, Mirko and Omicini, Andrea},
   editor = {Viroli, Mirko and Omicini, Andrea},
   eissn = {1432-0622},
   issn = {0302-9743},
   journal = {Applicable Algebra in Engineering, Communication and Computing},
   month = aug,
   number = 2-3,
   pages = {69--203},
   publisher = {Springer},
   title = {Special Issue ``Process Algebras and Multi-Agent Systems''},
   url = {https://link.springer.com/journal/200/volumes-and-issues/16-2},
   volume = 16,
   year = 2005
}

@inproceedings{artifacts-promas05,
   address = {AAMAS 2005, Utrecht, The Netherlands},
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   booktitle = {3rd International Workshop ``Programming Multi-Agent Systems'' (PROMAS 2005)},
   editor = {Bordini, Rafael P. and Dastani, Mehdi and Dix, Jürgen and El Fallah Seghrouchni, Amal},
   iris = {11585/4700},
   month = {26~} # jul,
   pages = {163--178},
   title = {Programming {MAS} with Artifacts},
   year = 2005
}

@inproceedings{cogstig-eumas05,
   address = {Brussels, Belgium},
   author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko and Gardelli, Luca and Oliva, Enrico},
   booktitle = {3rd European Workshop on Multi-Agent Systems (EUMAS 2005)},
   editor = {Gleizes, Marie-Pierre and Kaminka, Gal A. and Nowè, Ann and Ossowski, Sascha and Tuyls, Karl and Verbeeck, Katja},
   iris = {11585/22712},
   month = {7--8~} # dec,
   pages = {332--343},
   publisher = {Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten},
   title = {Cognitive Stigmergy: A Framework Based on Agents and Artifacts},
   year = 2005
}

@article{GenericsJOT10,
  author =      {Viroli, Mirko and Rimassa, Giovanni},
  title =       {On Access Restriction with {Java} Wildcards},
  journal =     {Journal of Object Technology},
  volume =      4,
  number =      10,
  year =        2005,
  publisher =   "ETH Swiss Federal Institute of Technology",
  editor =      {Ancona, Davide},
  issn =        {1660-1769},
  url =         {http://www.jot.fm/issues/issue_2005_12/article6},
  note =        "Special Issue: OOPS Track at ACM SAC 2005",
}

@inproceedings{bic-woa2004,
   author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko and Castelfranchi, Cristiano and Tummolini, Luca},
   booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: sistemi complessi e agenti razionali'' (WOA 2004)},
   editor = {Baldoni, Matteo and De Paoli, Flavio and Martelli, Alberto and Omicini, Andrea},
   isbn = {88-371-1533-4},
   location = {Torino, Italy},
   month = {30~} # nov # { -- 1~} # dec,
   pages = {100--109},
   publisher = {Pitagora Editrice Bologna},
   title = {A Conceptual Framework for Self-Organising {MAS}},
   year = 2004
}

@inproceedings{acc-atai04,
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   booktitle = {Cybernetics and Systems 2004},
   editor = {Trappl, Robert},
   isbn = {3-85206-169-5},
   location = {Vienna, Austria},
   month = {13--16~} # apr,
   note = {17th European Meeting on Cybernetics and Systems Research (EMCSR 2004), 4th International Symposium ``From Agent Theory to Theory Implementation (AT2AI-4)''. Proceedings},
   pages = {618--623},
   publisher = {Austrian Society for Cybernetic Studies},
   title = {Agent Coordination Context: From Theory to Practice},
   volume = 2,
   year = 2004
}

@inproceedings{bic-ceas04,
   author = {Tummolini, Luca and Castelfranchi, Cristiano and Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   booktitle = {International Workshop on Coordination in Emergent Agent Societies (CEAS'04)},
   editor = {Vouros, George A.},
   location = {ECAI 2004, Valencia, Spain},
   month = {23--24~} # aug,
   note = {Proceedings},
   pages = {19--25},
   title = {What {I} See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication},
   year = 2004
}

@inproceedings{acl-atai04,
   author = {Viroli, Mirko and Ricci, Alessandro and Omicini, Andrea},
   booktitle = {Cybernetics and Systems 2004},
   editor = {Trappl, Robert},
   isbn = {3-85206-169-5},
   location = {Vienna, Austria},
   month = {13--16~} # apr,
   note = {17th European Meeting on Cybernetics and Systems Research (EMCSR 2004), 4th International Symposium ``From Agent Theory to Theory Implementation (AT2AI-4)''. Proceedings},
   pages = {564--569},
   publisher = {Austrian Society for Cybernetic Studies},
   title = {A Semantics for the Interaction of Agents with Coordination Artifacts},
   volume = 2,
   year = 2004
}

@inproceedings{respect-foclasa04,
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04)},
   editor = {Brogi, Antonio and Jacquet, Jean-Marie and Pimentel, Ernesto},
   location = {CONCUR 2004, London, UK},
   month = {30~} # aug,
   note = {Proceedings},
   pages = {127--150},
   title = {{\sf ReSpecT} Nets: Towards an Analysis Methodology for {{\sf ReSpecT}} Specifications},
   year = 2004
}

@article{IntroJOT3,
  author =      {Ancona, Davide AND Viroli, Mirko},
  title =       {Guest Editorial},
  journal =     jot,
  volume =      3,
  number =      11,
  year =        2004,
  publisher =   "ETH Swiss Federal Institute of Technology",
  editor =      {Ancona, Davide AND Viroli, Mirko},
  issn =        {1660-1769},
  url =         {http://www.jot.fm/issues/issue_2004_12/editorial},
  note =        "Special Issue: OOPS Track at SAC 2004 Nicosia/Cyprus",
}

@inproceedings{rbac-sasemas04,
   author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
   booktitle = {1st International Workshop ``Safety and Security in MultiAgent Systems'' (SASEMAS 2004)},
   editor = {Barley, Mike and Massacci, Fabio and Mouratidis, Haris and Scerri, Paul},
   location = {AAMAS 2004, New York, USA},
   month = {20~} # jul,
   note = {Proceedings},
   pages = {110--124},
   title = {An {RBAC} Approach for Securing Access Control in a {MAS} Coordination Infrastructure},
   year = 2004
}

@article{GenericsCompJ46,
venue = {--},
volume = 46,
title = {A Type-Passing Approach for the Implementation of Parametric Methods in {Java}},
publisher = {Oxford University Press},
url = {http://comjnl.oxfordjournals.org/cgi/content/abstract/46/3/263},
number = 3,
doi = {doi:10.1093/comjnl/46.3.263},
status = {Published},
year = 2003,
pages = {263--294},
journal = {The Computer Journal},
author = {Viroli, Mirko}}

@inproceedings{fipa-woa2003,
   address = {Villasimius, CA, Italy},
   author = {Omicini, Andrea and Ricci, Alessandro and Rimassa, Giovanni and Viroli, Mirko},
   booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva'' (WOA 2003)},
   editor = {Armano, Giuliano and De Paoli, Flavio and Omicini, Andrea and Vargiu, Eloisa},
   isbn = {88-371-1413-3},
   month = {10--11~} # sep,
   publisher = {Pitagora Editrice Bologna},
   title = {Integrating Objective \& Subjective Coordination in {FIPA}: A Roadmap to {{\sf TuCSoN}}},
   url = {http://lia.deis.unibo.it/books/woa2003/pdf/07.pdf},
   urlpdf = {http://lia.deis.unibo.it/books/woa2003/pdf/07.pdf},
   year = 2003
}

@inproceedings{logop-woa2002,
   address = {Milano, Italy},
   author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
   booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: dall'informazione alla conoscenza'' (WOA 2002)},
   editor = {De Paoli, Flavio and Manzoni, Sara and Poggi, Agostino},
   isbn = {88-371-1363-3},
   month = {18--19 } # nov,
   publisher = {Pitagora Editrice Bologna},
   title = {Have {{\sf ReSpecT}} for {{\sc LogOp}}},
   urlpdf = {http://lia.deis.unibo.it/books/woa2002/pdf/18.pdf},
   year = 2002
}

@inproceedings{acl-atai02,
   address = {Vienna, Austria},
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {Cybernetics and Systems 2002},
   editor = {Trappl, Robert},
   isbn = {3-85206-160-1},
   month = {2--5~} # apr,
   note = {16th European Meeting on Cybernetics and Systems Research (EMCSR 2002), 3th International Symposium ``From Agent Theory to Theory Implementation (AT2AI-3)''. Proceedings},
   pages = {689--694},
   publisher = {Austrian Society for Cybernetic Studies},
   title = {Towards an Alternative Semantics for {FIPA ACL}},
   volume = 2,
   year = 2002
}

@inproceedings{respect-pdpta02,
   acm = {691538},
   address = {Las Vegas, NV, USA},
   author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko},
   booktitle = {International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02)},
   editor = {Arabnia, Hamid R.},
   isbn = {1-892512-89-0},
   month = {24--27~} # jul,
   pages = {1407--1413},
   publisher = {CSREA Press},
   title = {Extending {{\sf ReSpecT}} for Multiple Coordination Flows},
   url = {http://dl.acm.org/citation.cfm?id=691538},
   volume = {III},
   year = 2002
}

@inproceedings{obs-icai02,
   address = {Las Vegas, NV, USA},
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {International Conference on Artificial Intelligence (IC-AI'02)},
   editor = {Arabnia, Hamid R. and Mun, Youngsong},
   isbn = {1-892512-25-4},
   month = {24--27~} # jul,
   pages = {321--327},
   publisher = {CSREA Press},
   title = {A Specification Language for Agents Observable Behaviour},
   volume = {I},
   year = 2002
}

@inproceedings{coordevents-dcsw2002,
Author = {Viroli, Mirko and Ricci, Alessandro},
Booktitle = {22nd International Conference on Distributed Computing Systems},
Doi = {10.1109/ICDCSW.2002.1030835},
Isbn = {0-7695-1588-6},
Keywords = {JavaSpaces, multiagent systems, TSpaces, coordination infrastructures,coordination level, event notification,event-based systems, tuple-based coordination models},
Note = {Proceedings of the Workshops},
Pages = {595--601},
Publisher = {IEEE CS},
Title = {Tuple-based Coordination Models in Event-based Scenarios},
Url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1030835},
Year = 2002}

@inproceedings{coord-pdpta02,
   acm = {691680},
   address = {Las Vegas, NV, USA},
   author = {Viroli, Mirko and Omicini, Andrea and Ricci, Alessandro},
   booktitle = {International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02)},
   editor = {Arabnia, Hamid R.},
   isbn = {1-892512-89-0},
   month = {24--27~} # jul,
   pages = {1414--1420},
   publisher = {CSREA Press},
   title = {On the Expressiveness of Event-Based Coordination Media},
   url = {http://dl.acm.org/citation.cfm?id=691680},
   volume = {III},
   year = 2002
}

@inproceedings{obs-aiia2002,
   address = {Siena, Italy},
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {8th AI*IA Convention (AI*IA 2002), Workshop ``Agenti per la rappresentazione della conoscenza e il ragionamento''},
   editor = {Gori, Marco and Cadoli, Marco and Poggi, Agostino},
   month = {11~} # sep,
   pages = {348--355},
   title = {On the Grey-Box Modelling Approach for Autonomous Agents},
   year = 2002
}

@inproceedings{obs-woa2001,
   address = {Bologna, Italy},
   author = {Viroli, Mirko and Omicini, Andrea},
   booktitle = {AI*IA/TABOO Joint Workshop ``Dagli oggetti agli agenti: tendenze evolutive dei sistemi software'' (WOA 2001)},
   editor = {Omicini, Andrea and Viroli, Mirko},
   isbn = {88-371-1272-6},
   location = {Modena, Italy},
   month = {4--5~} # sep,
   publisher = {Pitagora Editrice Bologna},
   title = {Multi-Agent Systems as Composition of Observable Systems},
   url = {http://lia.deis.unibo.it/books/woa2001/pdf/22.pdf},
   year = 2001
}

@proceedings{woa2001,
   address = {Bologna, Italy},
   booktitle = {WOA 2001 -- Dagli oggetti agli agenti: tendenze evolutive dei sistemi software},
   dblp = {conf/woa/2001},
   editor = {Omicini, Andrea and Viroli, Mirko},
   isbn = {88-371-1272-6},
   location = {Modena, Italy},
   month = {4--5~} # sep,
   note = {Proceedings},
   pages = {V, 111},
   publisher = {Pitagora Editrice Bologna},
   title = {{WOA} 2001 -- {D}agli oggetti agli agenti: tendenze evolutive dei sistemi software},
   url = {http://lia.deis.unibo.it/books/woa2001/},
   year = 2001
}

@article{obs-aiia2001,
   author = {Viroli, Mirko and Omicini, Andrea},
   journal = {AI*IA Notizie},
   month = dec,
   number = 4,
   pages = {38--39},
   title = {Multi-Agent Systems as Composition of Observable Systems},
   volume = {XIV},
   year = 2001
}

@article{GenericsOopsla2000,
volume = 35,
title = {Parametric polymorphism in {Java}: an approach to translation based on reflective features},
address = {New York, NY, USA},
doi = {10.1145/354222.353182},
publisher = {ACM},
number = 10,
keywords = {Generics, parametric polymorphism, Java},
       journal = {ACM SIGPLAN Notices},
issn = {0362-1340},
status = {Published},
note = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2000), Minneapolis, MA, USA, 15-19
, Oct 2000},
year = 2000,
pages = {146--165},
author = {Viroli, Mirko and Natali, Antonio}}