Per Year

@inproceedings{montagna-sac12,
    abstract = {The development of multicellular organisms, from the early forms of zygote, involves a range of phenomena that control cell growth and differentiation, making the overall process of morphogenesis highly complex. A well studied example of such a huge phenomenon is given by Drosophila Melanogaster morphogenesis that has been object of several models, whose main goal was to investigate the mechanisms involved in the spatial and temporal evolution of the patterning process. They have been identified in gene regulatory network, morphogen diffusion, synthesis and degradation. In this paper we present a model of Drosophila development that considers also nuclear division and movements as basic morphogenetic mechanisms. The model is run on top of a prototype simulator which is based on a variation of an existing SSA (Stochastic Simulation Algorithm), tailored to the specific features of embryo development, including dynamicity of compartment network topology.},
    address = {Riva del Garda (Trento), Italy},
    apice = {BioSac2012},
    author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
    booktitle = {Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012)},
    editor = {Dongwan Shin and Chih-Cheng Hung and Jiman Hong},
    isbn = {978-1-4503-0857-1},
    month = {26-30 March},
    numpages = 7,
    pages = {1406--1412},
    publisher = {ACM},
    title = {A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation},
    venue = {SAC},
    year = 2012
}

@inproceedings{predict-asensis2012,
    address = {SASO 2012, Lyon France},
    apice = {PredictAsensis2012},
    author = {Alberti, Marco and Omicini, Andrea},
    booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
    editor = {Fernandez-Marquez, José Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
    keywords = {pervasive ecosystems, SAPERE coordination model, model checking, data mining, behaviour prediction},
    month = {10~} # sep,
    note = {Pre-proceedings},
    pages = {5--10},
    title = {Towards the Analysis \& Prediction of Complex System Behaviour in {SAPERE}},
    year = 2012
}

@incollection{mixedchoice-lncs7213,
    apice = {MixedchoiceLncs2012},
    author = {Peters, Kirstin and Nestmann, Uwe},
    booktitle = {Foundations of Software Science and Computational Structures},
    doi = {10.1007/978-3-642-28729-9_14},
    editor = {Birkedal, Lars},
    isbn = {978-3-642-28728-2},
    pages = {210--224},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes in Computer Science},
    title = {Is It a ``Good'' Encoding of Mixed Choice?},
    url = {http://link.springer.com/chapter/10.1007/978-3-642-28729-9_14},
    volume = 7213,
    year = 2012
}

@inproceedings{anticipativegradient-saso12,
    apice = {AnticipativegradientSaso2012},
    author = {Montagna, Sara and Pianini, Danilo and Viroli, Mirko},
    booktitle = {Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)},
    doi = {10.1109/SASO.2012.25},
    isbn = {978-1-4673-3126-5},
    isbn13 = {978-0-7695-4851-7},
    keywords = {Anticipative adaptation, Pervasive service ecosystem, Gradient pattern},
    location = {Lyon, France},
    month = sep,
    pages = {169--174},
    publisher = {IEEE Computer Society},
    title = {Gradient-based Self-organisation Patterns of Anticipative Adaptation},
    venue = {SASO},
    year = 2012
}

@inproceedings{sapereecolaws-sac2012,
    address = {Riva del Garda, TN, Italy},
    apice = {SapereEcoLawsSac2012},
    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{spatial-coordination2012,
    apice = {SpatialCoordination2012},
    author = {Viroli, Mirko and Pianini, Danilo and Beal, Jacob},
    booktitle = {Coordination Languages and Models},
    editor = {Sirjani, Marjan},
    issn = {0302-9743},
    month = jun,
    note = {Proceedings of the 14th Conference of Coordination Models and Languages (Coordination 2012),Stockholm (Sweden), 14-15 June},
    pages = {212--229},
    publisher = {Springer-Verlag},
    series = {LNCS},
    title = {Linda in space-time: an adaptive coordination model for mobile ad-hoc environments},
    volume = 7274,
    year = 2012
}

@proceedings{ap2pcvii,
    apice = {Ap2pcVII},
    booktitle = {Agents and Peer-to-Peer Computing: 7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009, Revised Selected Papers},
    doi = {10.1007/978-3-642-31809-2},
    editor = {Domenico Beneventano and Zoran Despotovic and Francesco Guerra and Sam Joseph and Moro, Gianluca and Adrián Perreau de Pinninck},
    eisbn = {978-3-642-31809-2},
    eissn = {1611-3349},
    isbn = {978-3-642-31808-5},
    issn = {0302-9743},
    keywords = {artificial society, intelligent agents, recommender systems, semantic overlay networks, trust},
    location = {Estoril, Portugal; Budapest, Hungary},
    publisher = {Springer Berlin, Heidelberg},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {7th International Workshop, AP2PC 2008, Estoril, Portugal, May 13, 2008 and 8th International Workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009, Revised Selected Papers},
    title = {Agents and Peer-to-Peer Computing},
    url = {https://link.springer.com/10.1007/978-3-642-31809-2},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-31809-2.pdf},
    volume = 6573,
    year = 2012
}

@inproceedings{modelchecking-woa2012,
    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 analyzing 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 modeled 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. By a number of pervasive computing examples, we show that the proposed approach can be effectively used for quantitative analysis of systems running on networks composed of hundreds of nodes.},
    apice = {ModelcheckingWoa2012},
    author = {Casadei, Matteo and Viroli, Mirko},
    booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
    editor = {Flavio De Paoli and Giuseppe Vizzari},
    issn = {1613-0073},
    keywords = {Pervasive Computing, Formal Methods, Simulation, Service Ecosystems},
    location = {Milano, Italy},
    month = sep,
    numpages = 10,
    publisher = {CEUR-WS},
    title = {A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems},
    urlpdf = {http://ceur-ws.org/Vol-892/paper2.pdf},
    venue = {WOA},
    year = 2012
}

@incollection{torroni-lnai7132,
    apice = {TorroniLnai7132},
    author = {Toni, Francesca and Torroni, Paolo},
    booktitle = {Theorie and Applications of Formal Argumentation},
    doi = {10.1007/978-3-642-29184-5_16},
    editor = {Modgil, Sanjay and Oren, Nir and Toni, Francesca},
    pages = {249--262},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Bottom-Up Argumentation},
    url = {https://link.springer.com/10.1007/978-3-642-29184-5_16},
    volume = 7132,
    year = 2012
}

@inproceedings{semmatch-asensis2012,
    address = {SASO 2012, Lyon, France},
    apice = {SemmatchAsensis2012},
    author = {Stevenson, Graeme and Viroli, Mirko and Ye, Juan and Montagna, Sara and Dobson, Simon},
    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
}

@inproceedings{simpal-woa2012,
    abstract = {Distribution is one of the essential features characterizing multi-agent systems (MASs), giving developers the opportunity to seamlessly conceive and then engineer a physically distributed application as a MAS spread among different network nodes. Nevertheless, the current support given by state-of-the-art Agent Programming Languages (APLs) and related platforms for programming distributed multi-agent systems as well as for handling distribution when deploying, running, debugging the distributed MAS is still quite primitive. In this paper we tackle this problem by introducing simpAL, a new agent-oriented programming language and platform which has been conceived from the beginning to provide a more comprehensive support for programming, deploying and executing physically distributed MASs.},
    apice = {SimpalWoa2012},
    author = {Santi, Andrea and Ricci, Alessandro},
    booktitle = {Proceedings of 13° Workshop nazionale "Dagli Oggetti agli Agenti" (WOA 2012)},
    keywords = {simpAL, Distributed MAS, Distributed Programming},
    title = {Programming Distributed Multi-Agent Systems in simpAL},
    url = {https://ceur-ws.org/Vol-892/paper5.pdf},
    year = 2012
}

@book{castelfranchifestschrift2012,
    address = {London},
    apice = {CastelfranchiFestschrift2012},
    booktitle = {The Goals of Cognition. Essays in Honor of {C}ristiano {C}astelfranchi},
    editor = {Paglieri, Fabio and Tummolini, Luca and Falcone, Rino and Miceli, Maria},
    isbn = {978-1-84890-094-3},
    keywords = {cognition; goals; tribute to Cristiano Castelfranchi},
    month = dec,
    publisher = {College Publications},
    series = {Tributes},
    title = {The Goals of Cognition. Essays in Honor of {C}ristiano {C}astelfranchi},
    url = {http://www.collegepublications.co.uk/tributes/?00020},
    volume = 20,
    year = 2012
}

@inproceedings{pma12,
    abstract = {Functional Structural Plant Modeling (FSPM) studies the interaction between plant and environment including architectural and morphological features. VPN (Virtual Plant on the Net) has been developed to analyze the benefits of having a plant simulation model (Virtual Plant Engine,VPE) apart from a graphic client (Virtual Plant Interface,VPI). VPI use Java3D to render the plant in a virtual scene where the skeleton of simulated plants is enriched of VRML-2 features. VPI also allows the user to interact actively with the plant cutting elements and see it re-grown from VPE. Both VPI and VPE have an OO approach to represent and model a wide range of plant.},
    apice = {PMA12},
    author = {Giuliano Vitali and Eugenio Magnanini and Nico Mennucci and Denti, Enrico},
    booktitle = {2012 IEEE 4th International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications},
    doi = {10.1109/PMA.2012.6524865},
    editor = {Mengzhen Kang and Yves Dumont and Yan Guo},
    iris = {11585/154286},
    isbn = {978-1-4673-0067-4},
    isbn13 = {978-1-4673-0067-4},
    keywords = {FSPM, Object-Oriented, Virtual Plants},
    numpages = 4,
    pages = {409--412},
    publisher = {IEEE Press},
    scopus = {2-s2.0-84879674867},
    title = {VPN - Client-server object-oriented virtual plant modeling tool},
    url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6524865&refinements%3D4278825126%26sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A6524799%29},
    urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6524865},
    year = 2012
}

@proceedings{promasviii,
    apice = {PromasVIII},
    doi = {10.1007/978-3-642-28939-2},
    editor = {Collier, Rem and Dix, Jürgen and Novák, Peter},
    eisbn = {978-3-642-28939-2},
    eissn = {1611-3349},
    isbn = {978-3-642-28938-5},
    issn = {0302-9743},
    publisher = {Springer Berlin, Heidelberg},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers},
    title = {Programming Multi-Agent Systems},
    url = {https://link.springer.com/10.1007/978-3-642-28939-2},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-28939-2.pdf},
    volume = 6599,
    year = 2012
}

@inproceedings{mok-dcaiia2012,
    address = {Rome, Italy},
    apice = {MokDcaiia2012},
    author = {Mariani, Stefano and Omicini, Andrea},
    booktitle = {Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence},
    dblp = {conf/aiia/0001O12},
    editor = {Liberatore, Paolo and Lombardi, Michele and Scioscia, Floriano},
    iris = {11585/125758},
    issn = {1613-0073},
    keywords = {Self-organising coordination, Knowledge management, Biochemical tuple spaces, News management systems},
    lens = {192-865-653-344-27X},
    month = {15~} # jun,
    openalex = {W2756758587},
    organization = {AI*IA},
    pages = {23--27},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-84891823324},
    series = {CEUR Workshop Proceedings},
    title = {{M}olecules of {K}nowledge: A Novel Perspective over Knowledge Management},
    urlpdf = {http://ceur-ws.org/Vol-926/paper5.pdf},
    volume = 926,
    year = 2012
}

@incollection{semanticsapere-igi2012,
    apice = {SemanticSapereIGI2012},
    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},
    isbn10 = {9781466620896},
    isbn13 = {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
}

@article{dustdar2012-vie-com,
    apice = {Dustdar2012VieCOM},
    author = {Dustdar, Schahram and Truong, Hong-Linh},
    date-added = {2014-04-08 15:11:04 +0000},
    date-modified = {2014-04-08 15:11:32 +0000},
    journal = {International Journal of Next-Generation Computing},
    number = 2,
    title = {Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective},
    volume = 3,
    year = 2012
}

@inproceedings{asensis-sasow2012,
    apice = {AsensisSasow2012},
    author = {Fernandez-Marquez, José Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
    booktitle = {Self-Adaptive and Self-Organizing Systems Workshops (SASOW)},
    core = {226655522},
    doi = {10.1109/SASOW.2012.10},
    editor = {Pitt, Jeremy},
    eisbn = {978-07695-4895-1},
    iris = {11585/152877},
    isbn = {978-1-4673-5153-9},
    lens = {154-642-658-294-498},
    location = {Lyon, France},
    note = {2012 IEEE Sixth International Conference (SASOW 2012), Lyon, France, 10-14~} # sep # {~2012. Proceedings},
    openalex = {W3185695052},
    pages = {235--240},
    publisher = {IEEE CS},
    scopus = {2-s2.0-84877263782},
    title = {{ASENSIS} 2012 -- {F}irst {I}nternational {W}orkshop on {A}daptive {S}ervice {E}cosystems: {N}ature and {S}ocially {I}nspired {S}olutions},
    url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6498371},
    urlpdf = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6498371},
    year = 2012
}

@inproceedings{simpal-agere12,
    acm = {2414650},
    address = {New York, NY, USA},
    apice = {SimpalAgere12},
    author = {Ricci, Alessandro and Santi, Andrea},
    booktitle = {Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions},
    doi = {10.1145/2414639.2414650},
    isbn = {978-1-4503-1630-9},
    keywords = {ageactors, agent-oriented programming, autonomy, event-driven programming, reactivity},
    location = {Tucson, Arizona, USA},
    numpages = 12,
    pages = {83--94},
    publisher = {ACM},
    series = {AGERE! '12},
    title = {Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach},
    url = {http://doi.acm.org/10.1145/2414639.2414650},
    year = 2012
}

@article{dustdar2012-elasticity-directives,
    apice = {Dustdar2012ElasticityDirectives},
    author = {Dustdar, Schahram and Guo, Yike and Han, Rui and Satzger, Benjamin and Truong, Hong-Linh},
    date-added = {2014-04-08 15:04:40 +0000},
    date-modified = {2014-04-08 15:05:31 +0000},
    journal = {IEEE Internet Computing},
    number = 6,
    title = {Programming Directives for Elastic Computing},
    volume = 16,
    year = 2012
}

@inproceedings{sapere-scw2012,
    address = {Valencia, Spain},
    apice = {SapereSCW2012},
    author = {Viroli, Mirko and Stevenson, Graeme},
    booktitle = {Workshop on Spatial Computing},
    month = jun,
    note = {Informal Proceedings},
    title = {On the Space-time Situation of Pervasive Service Ecosystems},
    url = {http://www.spatial-computing.org/_media/scw12:scw12-virolistevenson.pdf},
    year = 2012
}

@article{fragmentsos-taas7,
    acm = {2348836},
    apice = {FragmentsosTaas2011},
    articleno = 33,
    author = {Puviani, Mariachiara and Di Marzo Serugendo, Giovanna and Frei, Regina and Cabri, Giacomo},
    doi = {10.1145/2348832.2348836},
    issn = {1556-4665},
    journal = {ACM Transactions on Autonomous and Adaptive Systems},
    month = sep,
    number = 12,
    numpages = 25,
    pages = {1--25},
    publisher = {ACM Press},
    title = {A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems},
    url = {http://dl.acm.org/citation.cfm?id=2348836},
    volume = 7,
    year = 2012
}

@proceedings{aamas2012,
    booktitle = {International Conference on Autonomous Agents and Multiagent Systems},
    dblp = {conf/atal/2012},
    editor = {Wiebe van der Hoek and Lin Padgham and Vincent Conitzer and Michael Winikoff},
    note = {11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), Valencia, Spain, 4-8 July 2012},
    publisher = {IFAAMAS},
    title = {International Conference on Autonomous Agents and Multiagent Systems},
    url = {https://www.ifaamas.org/Proceedings/aamas2012/},
    year = 2012
}

@book{coulouris-distributedsystems12,
    apice = {ColourisDistributedcomputing2012},
    author = {Coulouris, George and Dollimore, Jean and Kindberg, Tim and Blair, Gordon},
    booktitle = {Distributed Systems. Concepts and Design},
    edition = {5th},
    isbn = {978-0-273-76059-7},
    isbn10 = {0132143011},
    isbn13 = {978-0-132-14301-1},
    publisher = {Pearson},
    title = {Distributed Systems. Concepts and Design},
    url = {http://www.pearsonhighered.com/educator/product/Distributed-Systems-Concepts-and-Design/9780132143011.page},
    year = 2012
}

@proceedings{advancedagenttechnology-lncs7068,
    apice = {AdvancedagenttechnologyLncs7068},
    booktitle = {Advanced Agent Technology: AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers},
    doi = {10.1007/978-3-642-27216-5},
    editor = {Francien Dechesne and Hiromitsu Hattori and Adriaan ter Mors and Jose Miguel Such and Danny Weyns and Frank Dignum},
    eisbn = {978-3-642-27216-5},
    eissn = {1611-3349},
    isbn = {978-3-642-27215-8},
    issn = {0302-9743},
    keywords = {agent-oriented software engineering, decision support, micro-agents, process modeling, socially-oriented requirements},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers},
    title = {Advanced Agent Technology},
    url = {https://link.springer.com/10.1007/978-3-642-27216-5},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-27216-5.pdf},
    volume = 7068,
    year = 2012
}

@book{computationalthinking-book2012,
    abstract = {This work guides students through an exploration of the idea that thinking might be understood as a form of computation. After an introduction to the basic concepts, this book offers three chapters on Prolog, covering back-changing, programs and queries, and how to write the sorts of Prolog programs used in the book. Thinking and computation – A procedure for thinking – The Prolog language – Writing Prolog programs – Case study : satisfying constraints – Case study : interpreting visual scenes – Lists in Prolog – Case study : understanding natural language – Case study : planning courses of action – Case study : playing strategic games – Case study : other ways of thinking – Can computers really think?},
    address = {Cambridge, MA, USA},
    apice = {ComputationalthinkingBook2012},
    author = {Hector J. Levesque},
    doi = {10.7551/mitpress/9780262016995.001.0001},
    isbn13 = {9780262016995},
    numpages = 299,
    publisher = {MIT Press},
    title = {Thinking as Computation: A First Course},
    url = {https://mitpress.mit.edu/books/thinking-computation},
    year = 2012
}

@proceedings{promasix,
    apice = {PromasIX},
    doi = {10.1007/978-3-642-31915-0},
    editor = {Louise A. Dennis and Olivier Boissier and Rafael H. Bordini},
    eisbn = {978-3-642-31915-0},
    eissn = {1611-3349},
    isbn = {978-3-642-31914-3},
    issn = {0302-9743},
    publisher = {Springer Berlin, Heidelberg},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers},
    title = {Programming Multi-Agent Systems},
    url = {https://link.springer.com/10.1007/978-3-642-31915-0},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-31915-0.pdf},
    volume = 7217,
    year = 2012
}

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

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

@incollection{biocore-bionetics2011,
    affiliation = {University of Geneva, Switzerland},
    apice = {BiocoreBionetics2011},
    author = {Fernandez-Marquez, Jose Luis and Serugendo, Giovanna Di Marzo and Montagna, Sara},
    booktitle = {Bio-Inspired Models of Networks, Information, and Computing Systems},
    editor = {Hart, Emma and Timmis, Jon and Mitchell, Paul and Nakamo, Takadash and Dabiri, Foad and Akan, Ozgur and Bellavista, Paolo and Cao, Jiannong and Dressler, Falko and Ferrari, Domenico and Gerla, Mario and Kobayashi, Hisashi and Palazzo, Sergio and Sahni, Sartaj and Shen, Xuemin (Sherman) and Stan, Mircea and Xiaohua, Jia and Zomaya, Albert and Coulson, Geoffrey},
    isbn = {978-3-642-32711-7},
    keywords = {Computer Science},
    note = {10.1007/978-3-642-32711-7_5},
    pages = {59--72},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering},
    title = {BIO-CORE: Bio-inspired Self-organising Mechanisms Core},
    url = {https://doi.org/10.1007/978-3-642-32711-7_5},
    volume = 103,
    year = 2012
}

@inproceedings{logop-sac2012,
    acm = {2232025},
    address = {Riva del Garda, TN, Italy},
    apice = {LogopSac2012},
    author = {Menezes, Ronaldo and Omicini, Andrea and Viroli, Mirko},
    booktitle = {27th ACM Symposium on Applied Computing (SAC 2012)},
    core = {226602680},
    dblp = {conf/sac/MenezesOV12},
    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},
    lens = {055-199-507-473-699},
    month = {26--30~} # mar,
    note = {Poster},
    openalex = {W2048497966},
    pages = {1557--1559},
    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
}

@article{rs11fcp,
    apice = {JacaFcp11},
    author = {Ricci, Alessandro and Santi, Andrea},
    journal = {International Journal on Advances in Software},
    pdf = {http://www.iariajournals.org/software/soft_v5_n12_2012_paged.pdf} pages={36--52},
    title = {Agent-oriented computing: Agents as a paradigm for computer programming and software development},
    volume = {5} number={1-2},
    year = 2012
}

@article{bromuri-aai26,
    apice = {BromuriAai26},
    author = {Tampitsikas, Charalampos and Bromuri, Stefano and Fornara, Nicoletta and Schumacher, Michael Ignaz},
    doi = {10.1080/08839514.2012.653660},
    issn = {0883-9514},
    journal = {Applied Artificial Intelligence},
    month = may,
    note = {Special Issue: Eighth European Workshop on Multi-Agent Systems (EUMAS 2010)},
    number = 4,
    pages = {398--427},
    title = {Interdependent Artificial Institutions in Agent Environments},
    url = {http://www.tandfonline.com/doi/abs/10.1080/08839514.2012.653660},
    urlpdf = {http://www.tandfonline.com/doi/pdf/10.1080/08839514.2012.653660},
    volume = 26,
    year = 2012
}

@book{contucci2012,
    address = {Cambridge, UK},
    apice = {Contucci2012},
    author = {Contucci, Pierluigi and Giardin{\`a}, Cristian},
    booktitle = {Perspectives on Spin Glasses},
    isbn = {9780521763349},
    month = oct,
    publisher = {Cambridge University Press},
    title = {Perspectives on Spin Glasses},
    url = {http://www.cambridge.org/it/knowledge/isbn/item6878471/},
    year = 2012
}

@incollection{ch30-castelfranchifestschrift2012,
    address = {London, UK},
    apice = {EnvbasedcoordinationCastelfranchiFestschrift2012},
    author = {Omicini, Andrea},
    booktitle = {The Goals of Cognition. Essays in Honor of {C}ristiano {C}astelfranchi},
    chapter = 30,
    editor = {Paglieri, Fabio and Tummolini, Luca and Falcone, Rino and Miceli, Maria},
    iris = {11585/132993},
    isbn = {978-1-84890-094-3},
    lens = {063-501-550-467-790},
    month = dec,
    openalex = {W2804980276},
    pages = {565--578},
    publisher = {College Publications},
    series = {Tributes},
    title = {Agents Writing on Walls: Cognitive Stigmergy and Beyond},
    volume = 20,
    year = 2012
}

@proceedings{preproceedings-asensis2012,
    address = {SASO 2012, Lyon, France},
    apice = {PreproceedingsAsensis2012},
    booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
    editor = {Fernandez-Marquez, José Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
    iris = {11585/126918},
    month = {10~} # sep,
    note = {Pre-proceedings},
    title = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
    year = 2012
}

@proceedings{dcaiia2012,
    address = {Rome, Italy},
    apice = {Dcaiia2012},
    booktitle = {Proceedings of the AI*IA 2012 Doctoral Consortium},
    editor = {Liberatore, Paolo and Lombardi, Michele and Scioscia, Floriano},
    month = {15~} # jun,
    organization = {AI*IA},
    pages = {1--50},
    title = {Proceedings of the {AI*IA} 2012 {D}octoral {C}onsortium},
    url = {http://sites.google.com/site/aixiadc2012/},
    urlpdf = {http://sites.google.com/site/aixiadc2012/Proceedings of AI_IA 2012 Doctoral Consortium.pdf},
    year = 2012
}

@inproceedings{mok-asensis2012,
    address = {SASO 2012, Lyon, France},
    apice = {MokAsensis2012},
    author = {Mariani, Stefano and Omicini, Andrea},
    booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
    editor = {Fernandez-Marquez, José Luis and Montagna, Sara and Omicini, Andrea and Zambonelli, Franco},
    keywords = {self-organising coordination, knowledge management, news management systems, biochemical tuple spaces, Molecules of Knowledge},
    month = {10~} # sep,
    note = {Pre-proceedings},
    pages = {11--16},
    title = {Self-Organising News Management: The \emph{Molecules of Knowledge} Approach},
    year = 2012
}

@inproceedings{spatial-scw2012,
    apice = {SpatialSCW2012},
    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},
    pages = {53--59},
    title = {On the Space-time Situation of Pervasive Service Ecosystems},
    year = 2012
}

@inproceedings{selfcomp-woa2012,
    abstract = {Pervasive service ecosystems are emerging as a new paradigm for understanding and designing future pervasive computing systems featuring high degrees of scale, openness, adaptivity and toleration of long-term evolution. A key issue in this context is making certain patterns of behaviour emerge without any supervision or design-time intention, and a primary example is the fully-spontaneous composition of services, possibly at multiple levels. We argue that this can be successfully achieved only by a comprehensive approach exploiting together the main ingredients proposed so far in literature: (i) existence of intel- ligent components finding proper (semantic) matches of service descriptions, (ii) use of distributed evolutionary techniques to dynamically select appropriate ways of composing services, and (iii) approaches in which rating quality of composition is solely based on their successful exploitation. This proposal is presented through an example of spontaneous composition in crowd steering services.},
    apice = {SelfCompWOA2012},
    author = {Montagna, Sara and Viroli, Mirko and Pianini, Danilo and Jose Luis Fernandez-Marquez},
    booktitle = {Proceedings of the 13th Workshop on Objects and Agents},
    editor = {Flavio De Paoli and Giuseppe Vizzari},
    issn = {1613-0073},
    month = {12 September},
    publisher = {CEUR-WS},
    title = {Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems},
    urlpdf = {http://ceur-ws.org/Vol-892/paper1.pdf},
    venue = {WOA},
    year = 2012
}

@article{simpal-eclipseit12,
    abstract = {The fundamental turn of software toward concurrency, distribution, interaction is calling for introducing further abstraction layers on top of those provided by mainstream programming paradigms to tackle more effectively the complexities that such turn implies. Accordingly, most of our research efforts are directed in the engineering of a new agent-based programming language called {\simpal} for investigating agent-oriented programming as a general purpose paradigm for developing modern software systems. In this paper we present the results of our efforts in using the Eclipse ecosystem for designing and developing a modular feature-rich agent-oriented Integrated Development Environment (IDE), in order to provide developers the adequate means to code, manipulate, inspect and debug simpAL applications.},
    apice = {SimpalEclipseit12},
    author = {Santi, Andrea and Ricci, Alessandro},
    booktitle = {Proc. of The 7th Workshop of the Italian Eclipse Community},
    keywords = {Eclipse, IDE, Agent-Oriented Programming},
    title = {An Eclipse-based IDE for Agent-Oriented Programming in simpAL},
    year = 2012
}

@proceedings{mates2012,
    apice = {Mates2012},
    booktitle = {Multiagent System Technologies},
    dblp = {conf/mates/2012},
    doi = {10.1007/978-3-642-33690-4},
    editor = {Timm, Ingo J. and Guttmann, Christian},
    eisbn = {978-3-642-33690-4},
    eissn = {1611-3349},
    isbn = {978-3-642-33689-8},
    issn = {0302-9743},
    note = {10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Multiagent System Technologies},
    volume = 7598,
    year = 2012
}

@article{blanzieri-jaamas24,
    apice = {BlanzieriJaamas24},
    author = {Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo},
    doi = {10.1007/s10458-010-9148-z},
    issn = {1387-2532},
    journal = {Autonomous Agents and Multi-Agent Systems},
    number = 1,
    pages = {141--174},
    publisher = {Springer Netherlands},
    title = {{I}mplicit: A Multi-agent Recommendation System for Web Search},
    url = {https://link.springer.com/10.1007/s10458-010-9148-z},
    volume = 24,
    year = 2012
}

@article{situationreview-pmc8,
    apice = {SituationreviewPmc8},
    author = {Ye, Juan and Dobson, Simon and McKeever, Susan},
    doi = {10.1016/j.pmcj.2011.01.004},
    issn = {1574-1192},
    journal = {Pervasive and Mobile Computing},
    month = feb,
    number = 1,
    pages = {36--66},
    title = {Situation Identification Techniques in Pervasive Computing: A Review},
    url = {http://www.sciencedirect.com/science/article/pii/S1574119211000253},
    volume = 8,
    year = 2012
}

@incollection{dorn2012-human-architecture,
    apice = {Dorn2012HumanArchitecture},
    author = {Dorn, Christoph and Taylor, Richard N},
    booktitle = {Web Information Systems Engineering -- WISE 2012},
    date-added = {2014-04-08 15:13:09 +0000},
    date-modified = {2014-04-08 15:13:40 +0000},
    pages = {143--156},
    publisher = {Springer},
    title = {Architecture-driven modeling of adaptive collaboration structures in large-scale social web applications},
    year = 2012
}

@article{stochasticselfadaptation-cacm55,
    acm = {2330686},
    address = {New York, NY, USA},
    apice = {StochasticSelfAdaptationCACM55},
    author = {Calinescu, Radu and Ghezzi, Carlo and Kwiatkowska, Marta and Mirandola, Raffaela},
    doi = {10.1145/2330667.2330686},
    issn = {0001-0782},
    journal = {Communications of the ACM},
    month = sep,
    number = 9,
    numpages = 9,
    pages = {69--77},
    publisher = {ACM},
    title = {Self-adaptive software needs quantitative verification at runtime},
    url = {http://dl.acm.org/citation.cfm?doid=2330667.2330686},
    volume = 55,
    year = 2012
}

@article{humanculture-science335,
    abstract = {Acquire and Share Few would argue with the stance that human social cognition supports an unequaled capacity to acquire knowledge and to share it with others. Dean et al. (p. 1114 ; see the Perspective by Kurzban and Barrett ) compared the extent to which these social and cognitive psychological processes can be elicited in children, capuchins, and chimpanzees through the use of a three-level puzzlebox task. Incentivized by improving rewards, 3- to 4-year-old children progressed from the first to the third level by imitating observed actions, taught other members of their social group how to solve the problem, and shared the rewards obtained. By contrast, neither the capuchins nor chimpanzees, very few of which ever reached the third level, exhibited these charactertistics.},
    apice = {HumancultureScience335},
    author = {L. G. Dean and R. L. Kendal and S. J. Schapiro and B. Thierry and K. N. Laland},
    doi = {10.1126/science.1213969},
    eissn = {1095-9203},
    issn = {0036-8075},
    journal = {Science},
    number = 6072,
    pages = {1114--1118},
    publisher = {American Association for the Advancement of Science},
    title = {Identification of the Social and Cognitive Processes Underlying Human Cumulative Culture},
    url = {https://www.science.org/doi/10.1126/science.1213969},
    urlpdf = {https://www.science.org/doi/pdf/10.1126/science.1213969},
    volume = 335,
    year = 2012
}

@article{superorganisms-computer45,
    address = {Los Alamitos, CA, USA},
    apice = {SuperorganismsComputer45},
    author = {Zambonelli, Franco},
    doi = {10.1109/MC.2012.280},
    issn = {0018-9162},
    journal = {Computer},
    number = 8,
    pages = {76--78},
    publisher = {IEEE Computer Society},
    title = {Toward Sociotechnical Urban Superorganisms},
    url = {http://www.computer.org/csdl/mags/co/2012/08/mco2012080076-abs.html},
    urlpdf = {http://www.computer.org/csdl/mags/co/2012/08/mco2012080076.pdf},
    volume = 45,
    year = 2012
}

@article{nettab-embnetjournal2012,
    apice = {CardenasBTSSOCmodel},
    author = {Cárdenas-García, Maura and González-Pérez, Pedro Pablo and Montagna, Sara},
    doi = {10.14806/ej.18.B.563},
    journal = {EMBnet.journal},
    number = {B},
    title = {Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure},
    url = {http://journal.embnet.org/index.php/embnetjournal/article/view/563},
    volume = 18,
    year = 2012
}

@inproceedings{blackboard-foclasa2012,
    apice = {BlackboardFoclasa2012},
    author = {Jacquet, Jean-Marie and Linden, Isabelle and Staicu, Mihail-Octavian},
    booktitle = {11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012)},
    doi = {10.4204/EPTCS.91.5},
    editor = {Kokash, Natallia and Ravara, Ant{\'o}nio},
    note = {Satellite Workshop of CONCUR 2012. Proceedings. arXiv:1209.1421},
    pages = {63--78},
    series = {Electronic Proceedings in Theoretical Computer Science},
    title = {Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks},
    url = {http://arxiv.org/abs/1209.1421},
    volume = 91,
    year = 2012
}

@inproceedings{modelchecking-asensis2012,
    address = {SASO 2012, Lyon, France},
    apice = {ModelcheckingAsensis2012},
    author = {Casadei, Matteo and Viroli, Mirko},
    booktitle = {1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012)},
    editor = {José Luis Fernandez-Marquez and Montagna, Sara and Omicini, Andrea and Franco Zambonelli},
    month = {10 September},
    note = {Pre-proceedings},
    numpages = 6,
    pages = {59--64},
    publisher = {IEEE},
    title = {Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems},
    venue = {ASENSIS|SASOW},
    year = 2012
}

@incollection{clpfd-flops2012,
    abstract = {We present a new constraint solver over finite domains, freely available as library(clpfd) in SWI-Prolog. Our solver has several unique features, which we describe in this paper: Reasoning over arbitrarily large integers, always terminating propagation, and a domain-specific language that concisely expresses the full semantics of constraint reification. The library is entirely written in Prolog and can be easily ported to other Prolog systems that support attributed variables. The constraint solver is fast enough for teaching and research purposes and is already being used in courses at several universities in France, Germany, Italy, Austria and other countries.},
    apice = {ClpfdFlops2012},
    author = {Markus Triska},
    booktitle = {Functional and Logic Programming. FLOPS 2012},
    doi = {10.1007/978-3-642-29822-6_24},
    editor = {Tom Schrijvers and Peter Thiemann},
    isbn13 = {978-3-642-29821-9},
    location = {Berlin, Germany},
    numpages = 10,
    pages = {307--316},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {The Finite Domain Constraint Solver of SWI-Prolog},
    volume = 7294,
    year = 2012
}

@proceedings{daltIX,
    apice = {DaltIX},
    booktitle = {Declarative Agent Languages and Technologies IX},
    dblp = {conf/dalt/2011},
    doi = {10.1007/978-3-642-29113-5},
    editor = {Sakama, Chiaki and Sardina, Sebastian and Vasconcelos, Wamberto and Winikoff, Michael},
    eisbn = {978-3-642-29113-5},
    eissn = {1611-3349},
    isbn = {978-3-642-29112-8},
    issn = {0302-9743},
    note = {9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Declarative Agent Languages and Technologies IX},
    url = {https://link.springer.com/10.1007/978-3-642-29113-5},
    volume = 7169,
    year = 2012
}

@inproceedings{promas12,
    address = {Valencia, Spain},
    apice = {SimpalPromas2012},
    author = {Ricci, Alessandro and Santi, Andrea},
    booktitle = {Proceedings of the Int. Workshop on Programming Multi-Agent Systems (ProMAS'12)},
    title = {Typing Multi-Agent Programs in {simpAL}},
    year = 2012
}