Per anno

@proceedings{handouts-easss2009,
    address = {Turin, Italy},
    apice = {HandoutsEasss2009},
    editor = {Matteo Baldoni and Cristina Baroglio and Guido Boella and Rafael P. Bordini and Mehdi Dastani and Barbara Dunin-Kęplicz and Catholijn Jonker and Nicholas Maudet and Omicini, Andrea and Michal Pěchouček},
    month = aug,
    publisher = {European Agent Systems Summer School},
    title = {Handouts of the 11th European Agent Systems Summer School (EASSS 2009)},
    url = {https://agents009.di.unito.it/EASSS.html},
    year = 2009
}

@proceedings{esawix,
    abstract = {This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Engineering Societies in the Agents World, ESAW 2008, held in Saint-Etienne, France, in September 2008. The 13 revised full papers presented together with 1 invited long paper were carefully selected from 29 submissions during two rounds of reviewing and revision. The papers are organized in topical sections on organisations and norm-governed systems, privacy and security, agent-oriented software engineering, emergence and self-organisation, as well as simulation.},
    apice = {EsawIX},
    editor = {Alexander Artikis and Gauthier Picard and Laurent Vercouter},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers},
    title = {Engineering Societies in the Agents World IX},
    url = {https://link.springer.com/10.1007/978-3-642-02562-4},
    volume = 5485,
    year = 2009
}

@inproceedings{cartagows-woa2009,
    apice = {CartagowsWoa2009},
    author = {Piunti, Michele and Ricci, Alessandro and Santi, Andrea},
    booktitle = {Proceedings of 10th Joint Conference AI*IA TABOO From Objects to Agents (WOA 2009)},
    keywords = {Web Services, Multi Agent Systems, Agent and Artifacts, BDI},
    title = {SOA/WS Applications using Cognitive Agents working in CArtAgO Environments},
    venue = {WOA},
    year = 2009
}

@proceedings{mates2009,
    apice = {Mates2009},
    booktitle = {Multiagent System Technologies},
    dblp = {conf/mates/2009},
    doi = {10.1007/978-3-642-04143-3},
    editor = {Braubach, Lars and van der Hoek, Wiebe and Petta, Paolo and Pokahr, Alexander},
    eisbn = {978-3-642-04143-3},
    eissn = {1611-3349},
    isbn = {978-3-642-04142-6},
    isbn10 = {3-642-04142-6},
    issn = {0302-9743},
    note = {7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Multiagent System Technologies},
    url = {https://link.springer.com/10.1007/978-3-642-04143-3},
    volume = 5774,
    year = 2009
}

@inproceedings{semanticweb-daaam2009,
    apice = {SemanticwebDaaam2009},
    author = {Angerer, Bernhard and Katalinic, Branko and Omicini, Andrea},
    booktitle = {Annals of DAAAM for 2009 \& Proceedings of the 20th International DAAAM Symposium ``Intelligent Manufacturing \& Automation: Focus on Theory, Practice and Education''},
    editor = {Katalinic, Branko},
    iris = {11585/90690},
    isbn = {978-3-901509-70-4},
    issn = {1726-9679},
    lens = {160-436-005-652-198},
    location = {Vienna, Austria},
    month = {25--28~} # nov,
    openalex = {W2923712002},
    publisher = {DAAAM International},
    scopus = {2-s2.0-84904320620},
    series = {Annals of DAAAM and Proceedings of DAAAM International Symposium},
    title = {A Semantic eScience Portal for International Scientific and Academic Cooperation},
    url = {http://www.highbeam.com/doc/1G1-224713055.html},
    wos = {WOS:000282335600864},
    year = 2009
}

@inproceedings{acc-iat2009,
    acm = {1632219},
    apice = {AccIat2009},
    author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
    booktitle = {The WI-IAT 2009 Workshops Proceedings},
    core = {226524226},
    dblp = {conf/iat/NardiniOV09},
    doi = {10.1109/WI-IAT.2009.335},
    eisbn = {978-1-4244-5331-3},
    ieee = {5285035},
    iris = {11585/82473},
    isbn = {978-0-7695-3801-3},
    keywords = {Agent Coordination Context; MAS Infrastructure; Coordination; TuCSoN; ReSpecT},
    lens = {043-143-065-104-176},
    location = {Milano, Italy},
    month = {15--18~} # sep,
    note = {2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009), 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'09)},
    openalex = {W2100708557},
    pages = {501--506},
    publisher = {IEEE Computer Society},
    scholar = {4632009932343186181},
    scopus = {2-s2.0-84856824070},
    title = {General-Purpose Coordination Abstractions for Managing Interaction in {MAS}},
    url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5285035},
    wos = {WOS:000279801400123},
    year = 2009
}

@proceedings{daltVI,
    apice = {DaltVI},
    booktitle = {Declarative Agent Languages and Technologies VI},
    dblp = {conf/dalt/2008},
    doi = {10.1007/978-3-540-93920-7},
    editor = {Baldoni, Matteo and Son, Tran Cao and van Riemsdijk, M. Birna and Winikoff, Michael},
    eisbn = {978-3-540-93920-7},
    eissn = {1611-3349},
    isbn = {978-3-540-93919-1},
    isbn10 = {3-540-93919-9},
    issn = {0302-9743},
    note = {6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, 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 VI},
    url = {https://link.springer.com/10.1007/978-3-540-93920-7},
    volume = 5397,
    year = 2009
}

@incollection{soda-esawIX,
    acm = {10.1007/978-3-642-02562-4_4},
    apice = {SodaEsawIX},
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {Engineering Societies in the Agents World IX},
    core = {226524222},
    dblp = {conf/esaw/MolesiniDO08},
    doi = {10.1007/978-3-642-02562-4_4},
    editor = {Artikis, Alexander and Picard, Gauthier and Vercouter, Laurent},
    eissn = {1611-3349},
    iris = {11585/82471},
    isbn = {978-3-642-02561-7},
    issn = {0302-9743},
    keywords = {RBAC; RBAC-MAS; SODA; Agent-Oriented Software Engineering},
    lens = {111-571-128-613-652},
    month = jun,
    note = {9th International Workshop (ESAW'08), 24--26~} # sep # {~2008, Saint-\'{E}tienne, France. Revised Selected Papers},
    openalex = {W2095694412},
    pages = {69--84},
    publisher = {Springer},
    scopus = {2-s2.0-70349335669},
    series = {Lecture Notes in Computer Science},
    title = {{RBAC-MAS} \& {{\sf SODA}}: Experimenting {RBAC} in {AOSE}},
    url = {https://link.springer.com/10.1007/978-3-642-02562-4_4},
    volume = 5485,
    wos = {WOS:000268328400004},
    year = 2009
}

@proceedings{promasvi,
    apice = {PromasVI},
    doi = {10.1007/978-3-642-03278-3},
    editor = {Koen V. Hindriks and Alexander Pokahr and Sebastian Sardiña},
    eisbn = {978-3-642-03278-3},
    eissn = {1611-3349},
    isbn = {978-3-642-03277-6},
    issn = {0302-9743},
    publisher = {Springer Berlin, Heidelberg},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008, Revised Invited and Selected Papers},
    title = {Programming Multi-Agent Systems},
    url = {https://link.springer.com/10.1007/978-3-642-03278-3},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-03278-3.pdf},
    volume = 5442,
    year = 2009
}

@inproceedings{aomsintro-sac09,
    acm = {10.1145/3257372},
    apice = {AomsintroSac2009},
    author = {Cossentino, Massimo and Molesini, Ambra and Omicini, Andrea and Seidita, Valeria},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
    iris = {11585/899633},
    isbn = {978-1-60558-166-8},
    lens = {103-433-236-304-448},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12~} # mar,
    note = {Editorial message},
    openalex = {W3138730985},
    pages = {697--698},
    publisher = {ACM},
    scopus = {2-s2.0-72949123438},
    title = {Special Track on: Agent-Oriented Software Engineering Methodologies and Systems},
    url = {https://dl.acm.org/doi/10.1145/3257372},
    volume = {II},
    year = 2009
}

@inproceedings{eclipse2p-ceur436,
    apice = {Eclipse2pCeur436},
    author = {Piancastelli, Giulio and Denti, Enrico},
    booktitle = {Eclipse-IT 2008 -- 3rd Italian Workshop on Eclipse Technologies},
    editor = {Lanubile, Filippo},
    location = {Bari, Italy},
    scopus = {2-s2.0-84885705295},
    series = {CEUR Workshop Proceedings},
    title = {Designing a Development Environment for Logic and Multi-Paradigm Programming},
    url = {https://ceur-ws.org/Vol-436/paper2.pdf},
    volume = 436,
    year = 2009
}

@techreport{blanzieri-tr09-021,
    address = {Universit{\`a} di Trento, Italy},
    apice = {BlanzieriTr09021},
    author = {Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto},
    institution = {Dipartimento di Ingegneria e Scienze dell'Informazione (DISI)},
    month = jun,
    number = {DISI-09-021},
    title = {A Formal Definition of Colture},
    type = {Technical Report},
    url = {http://eprints.biblio.unitn.it/archive/00001604/01/021.pdf},
    year = 2009
}

@inproceedings{lads09-manuals,
    abstract = {Agent modularisation is a main issue in agent and multi-agent system programming. Existing solutions typically propose some kinds of constructs such as capabilities to group and encapsulate in well-defined modules inside the agent different kinds of agent features, that depend on the architecture or model adopted—examples are goals, beliefs, intentions, skills. In this paper we introduce a further perspective, which can be considered complimentary to existing approaches, which accounts for externalizing some of such functionalities into the computational environment where agents are (logically) situated. In this perspective, agent modules are realised as suitably designed artifacts that agents can dynamically exploit as external tools to enhance their action repertoire and, more generally, their capability to execute tasks. Then, to let agent (and agent programmers) exploit such capabilities abstracting from the low-level mechanics of artifact management and use, we exploit the dual notion of internalization, which consists in dynamically consulting and automatically embedding high-level usage protocols described in artifact manuals as agent plans. The idea is discussed providing some practical examples of use, based on CArtAgO as technology for programming artifacts and Jason agent platform to program the agents.},
    apice = {LADS09Manuals},
    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 = {Mehdi Dastani and Amal El Fallah Seghrouchni and João Leite and Torroni, Paolo},
    keywords = {Agents, Artifacts, Cognitive, Capabilities, Modularisation, Externalisation},
    month = {September},
    title = {Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming},
    year = 2009
}

@book{mezard2009,
    address = {Oxford, UK},
    apice = {Mezard2009},
    author = {M{\'e}zard, Marc and Montanari, Andrea},
    booktitle = {Information, Physics, and Computation},
    isbn = {978-0-19-857083-7},
    isbn10 = {019857083X},
    month = jan,
    publisher = {Oxford University Press},
    title = {Information, Physics, and Computation},
    url = {https://ukcatalogue.oup.com/product/9780198570837.do},
    year = 2009
}

@incollection{artifacts-argmasV,
    acm = {10.1007/978-3-642-00207-6_7},
    apice = {ArtifactsArgmasV},
    author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea and McBurney, Peter},
    booktitle = {Argumentation in Multi-Agent Systems},
    chapter = 7,
    core = {226524225},
    dblp = {conf/argmas/OlivaVOM08},
    doi = {10.1007/978-3-642-00207-6_7},
    editor = {Rahwan, Iyad and Moraitis, Pavlos},
    eissn = {1611-3349},
    iris = {11585/82472},
    isbn = {978-3-642-00206-9},
    issn = {0302-9743},
    keywords = {Argumentation; Artifact; Dialogue; Multi-Agent Systems},
    lens = {042-793-095-398-409},
    month = feb,
    note = {4th International Workshop (ArgMAS 2008), Estoril, Portugal, 12~} # may # {~2008. Revised Selected and Invited Papers},
    openalex = {W1567202653},
    pages = {107--121},
    part = {II},
    publisher = {Springer},
    scopus = {2-s2.0-61649095715},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {5th International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers},
    title = {Argumentation and Artifact for Dialog Support},
    url = {https://link.springer.com/10.1007/978-3-642-00207-6_7},
    volume = 5384,
    wos = {WOS:000266106900007},
    year = 2009
}

@phdthesis{casadei-phdthesis09,
    address = {Bologna, Italy},
    apice = {CasadeiPhD2009},
    author = {Casadei, Matteo},
    institution = {Alma Mater Studiorum--Universit{\`a} di Bologna},
    month = mar,
    school = {Dottorato in Ingegneria Elettronica, Informatica e delle Telecomunicazioni},
    title = {Self-Organising Coordination Systems},
    year = 2009
}

@inproceedings{jfsma09,
    apice = {JFSMA09},
    author = {Piunti, Michele and Ricci, Alessandro and Boissier, Olivier and Hubner, Jomi F.},
    booktitle = {Proceedings of Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2009)},
    keywords = {Multi Agent Systems, Organizations, Environments, Agents and Artifacts},
    title = {Manipulation implicite d'une organisation multiagent via l'environnement},
    year = 2009
}

@inproceedings{ecosystem-sac09,
    address = {Honolulu, Hawai'i, USA},
    apice = {EcosystemSac2009},
    author = {Viroli, Mirko and Zambonelli, Franco and Casadei, Matteo and Montagna, Sara},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    doi = {10.1145/1529282.1529556},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
    isbn = {978-1-60558-166-8},
    month = {8--12~} # mar,
    pages = {1221--1222},
    publisher = {ACM},
    title = {A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems},
    url = {1529556},
    volume = {II},
    year = 2009
}

@article{contucci-ercimnews78,
    apice = {ContucciErcimnews78},
    author = {Contucci, Pierluigi and Romiti, Francesca},
    issn = {0926-4981},
    journal = {ERCIM News},
    month = jul,
    note = {Special theme: Mathematics for Finance and Economy},
    pages = {36--37},
    title = {Mathematics for Economics: A Statistical Mechanics Perspective},
    url = {http://ercim-news.ercim.eu/content/view/592/825/},
    volume = 78,
    year = 2009
}

@inproceedings{gaia-iceis09,
    apice = {GaiaIceis09},
    author = {Cernuzzi, Luca and Zambonelli, Franco},
    booktitle = {ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume SAIC, Milan, Italy, May 6-10, 2009},
    editor = {Cordeiro, Jos{\'e} and Filipe, Joaquim},
    isbn = {978-989-8111-87-6},
    pages = {82--88},
    title = {Gaia4E: A Tool Supporting the Design of MAS using Gaia},
    year = 2009
}

@inproceedings{soase-icebe2009,
    acm = {1677297},
    address = {Washington, DC, USA},
    apice = {SoaseIcebe2009},
    author = {Yu, Weider D. and Ong, Chia H.},
    booktitle = {2009 IEEE International Conference on e-Business Engineering (ICEBE '09)},
    doi = {10.1109/ICEBE.2009.64},
    isbn = {978-0-7695-3842-6},
    keywords = {SOA, Service Engineering, SOMA, Software Engineering},
    pages = {409--416},
    publisher = {IEEE Computer Society},
    title = {A {SOA} Based Software Engineering Design Approach in Service Engineering},
    url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5342081},
    year = 2009
}

@article{envmas-mags5,
    apice = {EnvmasMags5},
    author = {Weyns, Danny and Omicini, Andrea},
    editor = {Weyns, Danny and Omicini, Andrea},
    eissn = {1875-9076},
    issn = {1574-1702},
    journal = {Multiagent and Grid Systems},
    number = 1,
    pages = {1--131},
    publisher = {IOS Press},
    title = {Special Issue ``{E}ngineering {E}nvironments in {M}ulti-{A}gent {S}ystems''},
    url = {http://iospress.metapress.com/content/v408644w7318/},
    volume = 5,
    year = 2009
}

@book{craftofprolog-okeefe2009,
    apice = {CraftofprologOkeefe2009},
    author = {O'Keefe, Richard},
    isbn = {978-0262512275},
    isbn10 = {0262512270},
    month = dec,
    publisher = {The MIT Press},
    title = {The Craft of Prolog},
    year = 2009
}

@inproceedings{williamson-ijssst2010,
    apice = {WilliamsonIJSSST2010},
    author = {Williamson, Graham and Cellai, Davide and Dobson, Simon and Nixon, Paddy},
    booktitle = {Computer Modeling and Simulation, 2009. EMS '09. Third UKSim European Symposium on},
    doi = {10.1109/EMS.2009.31},
    keywords = {data dissemination, wireless sensor networks},
    month = {27~} # nov,
    pages = {499--504},
    title = {Modelling Periodic Data Dissemination in Wireless Sensor Networks},
    url = {https://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5358712},
    year = 2009
}

@inproceedings{embodyingorganisations-iat2009,
    address = {Los Alamitos, CA, USA},
    apice = {EmbodyingorganisationsIat2009},
    author = {Michele Piunti and Alessandro Ricci and Olivier Boissier and Jomi F. Hübner},
    booktitle = {The 2009 IEEE / WIC / ACM International Conferences on Web Intelligence and Intelligent Agent Technology (WI-IAT'09)},
    doi = {10.1109/WI-IAT.2009.204},
    isbn = {978-0-7695-3801-3},
    pages = {511--518},
    publisher = {IEEE Computer Society},
    title = {Embodying Organisations in Multi-agent Work Environments},
    volume = 2,
    year = 2009
}

@article{montali-choreographies09,
    apice = {MontaliChoreographies09},
    author = {Montali, Marco and Pesic, Maja and van der Aalst, Wil M. P. and Chesani, Federico and Mello, Paola and Storari, Sergio},
    journal = {ACM Transactions on the Web},
    note = {Accepted with minor revisions},
    title = {Declarative Specification and Verification of Service Choreographies},
    year = 2009
}

@inproceedings{clima10-contest,
    apice = {JacamoClima2010Contest},
    author = {Jomi Fred Hübner and Rafael H. Bordini and G. Pacianotto Gouveia and Ricardo H. Pereira and Gauthier Picard and Piunti, Michele and Jaime S. Sichman},
    booktitle = {Proceedings of 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2009), Agent Contest.},
    editor = {Jurgen Dix and Michael Fisher and Peter Novak},
    journal = {Proceedings of 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2009), Agent Contest.},
    keywords = {Multi Agent Systems, Organizations, Environments, Agents and Artifacts, CArtAgO, Agent Contest},
    numpages = 5,
    pages = {203--207},
    title = {Using Jason, MOISE, and CArtAgO to develop a team of cowboys},
    urlpdf = {http://www.das.ufsc.br/~jomi/pubs/2009/ac2009.pdf},
    year = 2009
}

@incollection{biosimulation-massimulationbook09,
    apice = {BiosimulationMabsbook09},
    author = {d'Inverno, Mark and Howells, Paul and Montagna, Sara and Roeder, Ingo and Saunders, Rob},
    booktitle = {Multi-Agent Systems: Simulation and Applications},
    chapter = 13,
    editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
    isbn = {978-1-4200-7023-1},
    isbn10 = {1-4200-7023-1},
    keywords = {Multi-Agent Based Simulation, Computational Biology, Stem cells, Multi-level model},
    month = jun,
    pages = {389--418},
    publisher = {CRC Press},
    series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
    title = {Agent-based Modelling of Stem Cells},
    url = {https://crcpress.com/product/isbn/9781420070231},
    year = 2009
}

@inproceedings{somasmodelling-esawX,
    apice = {SomasmodellingEsawX},
    author = {Morandini, Mirko and Migeon, Fr{\'e}d{\'e}ric and Gleizes, Marie-Pierre and Maurel, Christine and Penserini, Loris and Perini, Anna},
    booktitle = {Engineering Societies in the Agents World X},
    doi = {10.1007/978-3-642-10203-5_4},
    editor = {Aldewereld, Huib and Dignum, Virginia and Picard, Gauthier},
    isbn = {978-3-642-10202-8},
    note = {10th International Workshop (ESAW 2009), 18-20~} # nov # {~2009, Utrecht, The Netherlands},
    pages = {33--48},
    publisher = {Springer},
    title = {A Goal-Oriented Approach for Modelling Self-organising {MAS}},
    url = {https://link.springer.com/10.1007/978-3-642-10203-5_4},
    volume = 5881,
    year = 2009
}

@proceedings{oliva-m2m-eclipse-it09,
    apice = {OlivaM2MEclipseIT09},
    author = {Oliva, Enrico},
    booktitle = {Eclipse IT 2009 - 4th Italian worshop on eclipse technologies},
    editor = {Angelo Garantiti},
    isbn = {978-88-904388-0-6},
    month = {September},
    note = {Eclipse Italian Community, Bergamo, Italy},
    numpages = 1,
    pages = {104},
    title = {Interactive Graphical Maps for Infocenter via Model to Model Transformation},
    urlpdf = {http://eit09.unibg.it/pdfs/99990104.pdf},
    year = 2009
}

@book{boole-mathlogic2009,
    abstract = {Self-taught mathematician George Boole (1815–1864) published a pamphlet in 1847 – The Mathematical Analysis of Logic – that launched him into history as one of the nineteenth century's most original thinkers. In the introduction, Boole closely adheres to two themes: the fundamental unity of all science and the close relationship between logic and mathematics. In the first chapter, he examines first principles of formal logic, and then moves on to Aristotelian syllogism, hypotheticals, and the properties of elective functions. Boole uses this pamphlet to answer a well-known logician of the day, Sir William Hamilton, who believed that only philosophers could study 'the science of real existence', while all mathematicians could do was measure things. In essence, The Mathematical Analysis of Logic humbly chides Hamilton and asks him to rethink his bias. Boole is compelling reading for anyone interested in intellectual history and the science of the mind.},
    address = {Cambridge, UK},
    apice = {BooleMathlogic2009},
    author = {George Boole},
    doi = {10.1017/CBO9780511701337},
    edition = {Reissue},
    isbn13 = {9780511701337, 9781108001014},
    publisher = {Cambridge University Press},
    series = {Cambridge Library Collection – Mathematics},
    title = {The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning},
    url = {https://www.cambridge.org/be/academic/subjects/mathematics/historical-mathematical-texts/mathematical-analysis-logic-being-essay-towards-calculus-deductive-reasoning},
    year = 2009
}

@incollection{artifacts-kramasI,
    apice = {ArtifactsKramasI},
    author = {Piunti, Michele and Ricci, Alessandro},
    booktitle = {Knowledge Representation for Agents and Multi-Agent Systems},
    doi = {10.1007/978-3-642-05301-6_8},
    editor = {Meyer, J.-J.Ch. and Broersen, J.M.},
    eissn = {1611-3349},
    isbn = {978-3-642-05300-9},
    issn = {0302-9743},
    keywords = {Cognitive Artifacts, Agents, Environments, MAS},
    note = {1st International Workshop (KRAMAS 2008), Sydney, Australia, 17~} # sep # {~2008, Revised Selected Papers},
    pages = {114--129},
    publisher = {Springer},
    series = {Lecture Notes in Artificial Intelligence},
    title = {Cognitive Use of Artifacts: Exploiting Relevant Information Residing in {MAS} Environments},
    url = {https://link.springer.com/10.1007/978-3-642-05301-6_8},
    volume = 5605,
    year = 2009
}

@inproceedings{simpa-webist09,
    address = {Lisboa, Portugal},
    apice = {SimpaWebist09},
    author = {Piancastelli, Giulio and Ricci, Alessandro and Minotti, Mattia},
    booktitle = {5th International Conference on Web Information Systems and Technologies (WEBIST 2009)},
    editor = {Filipe, Joaquim and Cordeiro, Jos{\'e}},
    isbn = {978-989-8111-81-4},
    keywords = {Concurrent Programming, Agent-Oriented Programming, Web 2.0},
    month = {23--26~} # mar,
    organization = {Institute for Systems and Technologies of Information, Control and Communication (INSTICC)},
    publisher = {INSTICC Press},
    title = {An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications},
    year = 2009
}

@article{seidea-ieeesoftware26,
    address = {Los Alamitos, CA, USA},
    apice = {SeideaIeeesoftware26},
    author = {De Marco, Tom},
    doi = {10.1109/MS.2009.101},
    issn = {0740-7459},
    journal = {IEEE Software},
    keywords = {Software Engineering, Metrics, Control, Project Management, Budget and Schedule},
    month = jul # {/} # aug,
    number = 4,
    numpages = 2,
    pages = {95--96},
    publisher = {IEEE Computer Society},
    title = {{S}oftware {E}ngineering: An Idea Whose Time Has Come and Gone?},
    volume = 26,
    year = 2009
}

@inproceedings{probmodelchecking-cec09,
    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.},
    apice = {ProbmodelcheckingCec09},
    author = {Casadei, Matteo and Viroli, Mirko},
    booktitle = {IEEE Congress on Evolutionary Computation, 2009 (CEC 2009).},
    isbn = {978-1-4244-2959-2},
    month = {May, 18-21},
    numpages = 8,
    pages = {1538--1545},
    publisher = {IEEE Computer Society Press},
    title = {An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems},
    year = 2009
}

@inproceedings{gaia-qsic2009,
    addres = {Jeju, Korea},
    apice = {GaiaQsic2009},
    author = {Rodriguez, Lorena and Hume, Alethia and Cernuzzi, Luca and Insfr{\'a}n, Emilio},
    booktitle = {Proceedings of the 9th International Conference on Quality Software (QSIC 2009)},
    doi = {10.1109/QSIC.2009.43},
    editor = {Choi, Byoungju},
    isbn = {978-0-7695-3828-0},
    month = {24--25~} # aug,
    pages = {278--283},
    publisher = {IEEE Computer Society},
    title = {Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into {G}aia},
    url = {https://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5381442},
    year = 2009
}

@article{actinpolymerisation-entcs229,
    apice = {ActinpolymerisationEntcs229},
    author = {Cardelli, Luca and Caron, Emmanuelle and Gardner, Philippa and Kahramano{\u{g}}ullar{\i}, Ozan and Phillips, Andrew},
    doi = {10.1016/j.entcs.2009.02.009},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = 1,
    pages = {127--144},
    publisher = {Elsevier},
    title = {A Process Model of Actin Polymerisation},
    url = {https://www.sciencedirect.com/science/article/pii/S1571066109000140},
    volume = 229,
    year = 2009
}

@inproceedings{modelchecking-sac09,
    address = {Honolulu, Hawai'i, USA},
    apice = {ModelcheckingSac2009},
    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
}

@article{osullivan-queue2009,
    address = {New York, NY, USA},
    apice = {OSullivanQueue2009},
    author = {O'Sullivan, Bryan},
    doi = {10.1145/1562164.1562183},
    issn = {0001-0782},
    journal = {Communications of the ACM},
    keywords = {Git, MSR, software repositories},
    month = sep,
    number = 9,
    pages = {56--62},
    publisher = {ACM},
    title = {Making Sense of Revision-control Systems},
    url = {1562183},
    volume = 52,
    year = 2009
}

@incollection{simulation-massimulationbook09,
    apice = {SimulationformalMassimulationbook09},
    author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Multi-Agent Systems: Simulation and Applications},
    chapter = 5,
    dblp = {books/tf/09/ViroliGO09},
    doi = {10.1201/9781420070248-15},
    editor = {Uhrmacher, Adelinde M. and Weyns, Danny},
    eisbn = {978-1-3152-1878-6},
    iris = {11585/82469},
    isbn = {978-1-4200-7023-1},
    isbn10 = {1-4200-7023-1},
    isbn13 = {978-1-4200-7023-1},
    lens = {168-729-089-563-773},
    month = jun,
    openalex = {W4242312276},
    pages = {133--165},
    publisher = {CRC Press},
    scopus = {2-s2.0-85068357847},
    series = {Computational Analysis, Synthesis, and Design of Dynamic Systems},
    title = {Combining Simulation and Formal Tools for Developing Self-Organizing {MAS}},
    url = {http://crcpress.com/product/isbn/9781420070231},
    year = 2009
}

@inproceedings{psrawesome09,
    abstract = {Agents and Multi-Agent Systems are recognized in the literature as a suitable paradigm for engineering SOA and Web Service systems: however few works explore how to exploit agent programming languages – in particular those based on a strong notion of agency, such as BDI ones – for concretely developing such a kind of systems. In this paper we discuss a general-purpose programming model and a related platform for developing SOA/WS applications exploiting BDI agent technologies. In particular, in order to enable agents to exploit and manage web service technologies in a suitable functional fashion, we investigate the use of Jason agents – based on AgentSpeak(L) programming language – integrated with artifact-based environments – based on CArtAgO-WS framework.},
    apice = {PSRAWESOME09},
    author = {Piunti, Michele and Santi, Andrea and Ricci, Alessandro},
    booktitle = {In Proceedings of Agents, Web Services and Ontologies, Integrated Methodologies (AWESOME-09)},
    keywords = {Agents, Artifacts, Cognitive, Services, Web, SOA},
    title = {Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments},
    year = 2009
}

@inproceedings{aose-icaart2009,
    apice = {SodaIcaart2009},
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {International Conference on Agents and Artificial Intelligence (ICAART 2009)},
    dblp = {conf/icaart/MolesiniDO09},
    editor = {Filipe, Joaquim and Fred, Ana and Sharp, Bernadette},
    iris = {11585/70534},
    isbn = {978-989-8111-66-1},
    lens = {149-061-137-456-328},
    location = {Porto, Portugal},
    month = {19--21~} # jan,
    openalex = {W71798209},
    pages = {377--384},
    publisher = {INSTIL},
    scopus = {2-s2.0-70349464966},
    title = {An Agent-based Application for Home Intelligence},
    wos = {WOS:000267058000059},
    year = 2009
}

@inproceedings{knowbasedcoord-murth2009,
    address = {New York, NY, USA},
    apice = {KnowledgebasedcoordSac2009},
    author = {Murth, Martin and K\"{u}hn, Eva},
    booktitle = {SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing},
    doi = {10.1145/1529282.1529588},
    isbn = {978-1-60558-166-8},
    location = {Honolulu, Hawaii},
    pages = {1374--1380},
    publisher = {ACM},
    title = {Knowledge-based coordination with a reliable semantic subscription mechanism},
    year = 2009
}

@incollection{cartago-promasbookII,
    apice = {CartagoPromasbookII},
    author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko and Omicini, Andrea},
    booktitle = {Multi-Agent Programming II: Languages, Platforms and Applications},
    chapter = 8,
    dblp = {books/sp/09/RicciPVO09},
    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},
    lens = {127-316-181-362-760},
    month = jun,
    openalex = {W1499824367},
    pages = {259--288},
    part = {II},
    publisher = {Springer},
    series = {Multiagent Systems, Artificial Societies, and Simulated Organizations},
    title = {Environment Programming in {{\sf CArtAgO}}},
    url = {https://link.springer.com/10.1007/978-0-387-89299-3_8},
    year = 2009
}

@incollection{spem-aoseIX,
    apice = {SpemAose08},
    author = {Seidita, Valeria and Cossentino, Massimo and Gaglio, Salvatore},
    booktitle = {Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers},
    doi = {10.1007/978-3-642-01338-6_4},
    editor = {Luck, Michael and G{\'o}mez-Sanz, Jorge J.},
    pages = {46--59},
    publisher = {Springer},
    title = {Using and Extending the {SPEM} Specifications to Represent Agent Oriented Methodologies},
    url = {https://link.springer.com/10.1007/978-3-642-01338-6_4},
    volume = 5386,
    year = 2009
}

@proceedings{esawX,
    apice = {EsawX},
    doi = {10.1007/978-3-642-10203-5},
    editor = {Aldewereld, Huib and Dignum, Virginia and Picard, Gauthier},
    isbn = {978-3-642-10202-8},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {10th International Workshop, {ESAW} 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings},
    title = {Engineering Societies in the Agents World X},
    url = {https://link.springer.com/10.1007/978-3-642-10203-5},
    volume = 5881,
    year = 2009
}

@incollection{eoa-mates2009,
    apice = {EoaMates2009},
    author = {Piunti, Michele and Ricci, Alessandro and Boissier, Olivier and Hubner, Jomi F.},
    booktitle = {Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009)},
    doi = {10.1007/978-3-642-04143-3_11},
    editor = {Braubach, Lars and van der Hoek, Wiebe and Petta, Paolo and Pokahr, Alexander},
    isbn = {978-3-642-04142-6},
    keywords = {Multi Agent Systems, Organizations, Agents and Artifacts},
    pages = {115--127},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Embodied Organisations in MAS Environments},
    url = {https://link.springer.com/10.1007/978-3-642-04143-3_11},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-04143-3_11},
    volume = 5774,
    year = 2009
}

@incollection{weblp-ceur487,
    apice = {WeblpCeur487},
    author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
    booktitle = {Il Milione (i.e. $2\hat{~}6$, June 3rd 2008), A Journey in the Computational Logic in Italy},
    dblp = {conf/birthday/PiancastelliOD08},
    editor = {Baldoni, Matteo and Baroglio, Cristina},
    iris = {11585/82474},
    issn = {1613-0073},
    keywords = {World Wide Web, REST, Contextual Logic Programming, tuProlog, Prolog},
    month = aug,
    note = {Proceedings of the Day Dedicated to Prof. Alberto Martelli. Turin, Italy, 3 June 2008},
    pages = {15--19},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-84893178974},
    series = {CEUR Workshop Proceedings},
    title = {Towards a Logic Language and Framework for {W}eb Programming},
    url = {http://CEUR-WS.org/Vol-487/paper3.pdf},
    urlpdf = {http://CEUR-WS.org/Vol-487/paper3.pdf},
    volume = 487,
    year = 2009
}

@incollection{metamodel-aoseIX,
    apice = {MetaAose08},
    author = {Cossentino, Massimo and Gaglio, Salvatore and Gaud, Nicolas and Hilaire, Vincent and Koukam, Abder and Seidita, Valeria},
    booktitle = {Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers},
    doi = {10.1007/978-3-642-01338-6_7},
    editor = {Luck, Michael and G{\'o}mez-Sanz, Jorge J.},
    pages = {86--100},
    publisher = {Springer},
    title = {A {MAS} Metamodel-Driven Approach to Process Fragments Selection},
    url = {https://link.springer.com/10.1007/978-3-642-01338-6_7},
    volume = 5386,
    year = 2009
}

@incollection{timedlinda-lncs5474,
    apice = {TimedlindaLncs5474},
    author = {Bravetti, Mario and Latella, Diego and Loreti, Michele and Massink, Mieke and Zavattaro, Gianluigi},
    booktitle = {Trustworthy Global Computing},
    doi = {10.1007/978-3-642-00945-7_4},
    editor = {Kaklamanis, Christos and Nielson, Flemming},
    isbn = {978-3-642-00944-0},
    pages = {52--68},
    publisher = {Springer-Verlag},
    series = {LNCS},
    title = {Combining Timed Coordination Primitives and Probabilistic Tuple Spaces},
    url = {https://link.springer.com/10.1007/978-3-642-00945-7_4},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-00945-7_4.pdf},
    volume = 5474,
    year = 2009
}

@inproceedings{soamethods-ecis2009,
    address = {Verona, Italy},
    apice = {SoamethodsEcis2009},
    author = {Offermann, Philipp and Bub, Udo},
    booktitle = {17th European Conference on Information Systems (ECIS 2009)},
    keywords = {Method construction, service-oriented architecture, SOA, design science, software engineering},
    month = {8--10~} # jun,
    title = {Empirical comparison of methods for information systems development according to {SOA}},
    url = {https://www.ecis2009.it/papers/ecis2009-0393.pdf},
    year = 2009
}

@proceedings{aoseix,
    apice = {AoseIX},
    booktitle = {Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers},
    doi = {10.1007/978-3-642-01338-6},
    editor = {Michael Luck and Jorge J. Gómez-Sanz},
    eisbn = {978-3-642-01338-6},
    eissn = {1611-3349},
    isbn = {978-3-642-01337-9},
    issn = {0302-9743},
    keywords = {Debugging, Method Engineering, design, modeling, software architecture, software engineering, testing},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes in Computer Science},
    subtitle = {9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers},
    title = {Agent-Oriented Software Engineering IX},
    url = {https://link.springer.com/10.1007/978-3-642-01338-6},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-01338-6.pdf},
    volume = 5386,
    year = 2009
}

@inproceedings{genesimageprocessing-embc09,
    address = {Minneapolis, MN, USA},
    apice = {GeneimagesEmbc09},
    author = {Castro Gonzalez, Carlos and Luengo-Oroz, Miguel Angel and Desnoulez, Sophie and Duloquin, Louise and Fern{\'a}ndez-de-Manuel, Laura and Montagna, Sara and Ledesma-Carbayo, Maria J. and Bourgine, Paul and Peyrieras, Nadine and Santos, Andres},
    booktitle = {31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2009)},
    isbn = {978-1-4244-3296-7},
    keywords = {3D Gene Expression Atlas, zebrafish embryogenesis, Developmental Biology},
    month = {2-6~} # sep,
    pages = {1469--1472},
    publisher = {IEEE EMBS},
    pubmed = {11585/85925},
    scopus = {2-s2.0-84903872300},
    title = {An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis},
    url = {https://ieeexplore.ieee.org/document/5332436},
    wos = {WOS:000280543601098},
    year = 2009
}

@incollection{ai-ifipbook2009,
    acm = {10.5555/1793943.1793952},
    apice = {AiIfipbook2009},
    author = {Omicini, Andrea and Piunti, Michele and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Artificial Intelligence: An International Perspective},
    chapter = 9,
    core = {226524219},
    dblp = {series/lncs/OmiciniPRV09},
    doi = {10.1007/978-3-642-03226-4_9},
    editor = {Bramer, Max},
    eissn = {1611-3349},
    iris = {11585/82470},
    isbn10 = {3-642-03225-7},
    isbn13 = {978-3-642-03225-7},
    issn = {0302-9743},
    lens = {099-263-745-243-629},
    openalex = {W1575017942},
    pages = {157--173},
    publisher = {Springer},
    scopus = {2-s2.0-70350627497},
    series = {Lecture Notes in Computer Science},
    subseries = {LNAI: State-of-the-Art Survey},
    title = {Agents, Intelligence, and Tools},
    url = {https://link.springer.com/10.1007/978-3-642-03226-4_9},
    volume = 5640,
    wos = {WOS:000268976000009},
    year = 2009
}

@article{tota-tosem18,
    acm = {1538945},
    address = {New York, NY, USA},
    apice = {TotaTosem18},
    author = {Mamei, Marco and Zambonelli, Franco},
    doi = {10.1145/1538942.1538945},
    issn = {1049-331X},
    journal = {ACM Transactions on Software Engineering and Methodology},
    month = jul,
    number = 4,
    pages = {15:1--15:56},
    publisher = {ACM},
    title = {Programming Pervasive and Mobile Computing Applications: The {TOTA} Approach},
    url = {1538945},
    volume = 18,
    year = 2009
}

@phdthesis{birukou-phdthesis09,
    apice = {BirukouPhdthesis09},
    author = {Birukou, Aliaksandr},
    keywords = {culture, communities, behavior transfer, agents, recommendation systems},
    month = mar,
    organization = {DISI, Universit{\`a} di Trento},
    school = {International Doctorate School in Information and Communication Technologies},
    title = {Implicit Culture Framework for behavior transfer. Definition, implementation and applications},
    year = 2009
}

@incollection{oversensing-mates2009,
    apice = {OversensingMates2009},
    author = {Ricci, Alessandro and Piunti, Michele},
    booktitle = {Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009)},
    editor = {Braubach, Lars and van der Hoek, Wiebe and Petta, Paolo and Pokahr, Alexander},
    isbn = {978-3-642-04142-6},
    keywords = {Multi Agent Systems, Agents and Artifacts, CArtAgO, Perception},
    pages = {232--237},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments},
    url = {https://link.springer.com/10.1007/978-3-642-04143-3_25},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-642-04143-3_23},
    volume = 5774,
    year = 2009
}

@proceedings{montagnaroli-aixia09,
    abstract = {In this paper we address the problem of tuning parameters of a biological model, in particular a simulator of stochastic processes. The task is defined as an optimisation problem over the parameter space in which the objective function to be minimised is the distance between the output of the simulator and a target one. We tackle the problem with a metaheuristic algorithm for continuous variables, Particle swarm optimisation, and show the effectiveness of the method in a prominent case-study, namely the mitogen-activated protein kinase cascade.},
    apice = {BiometaheuristicAIxIA09},
    author = {Montagna, Sara and Roli, Andrea},
    booktitle = {AI*IA 2009: Emergent Perspectives in Artificial Intelligence – XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings},
    doi = {10.1007/978-3-642-10291-2},
    editor = {Roberto Serra and Rita Cucchiara},
    isbn = {978-3-642-10290-5},
    numpages = 10,
    pages = {466--475},
    publisher = {Springer Berlin / Heidelberg},
    series = {Lecture Notes in Computer Science},
    title = {Parameter tuning of a stochastic biological simulator by metaheuristics},
    volume = 5883,
    year = 2009
}

@article{ciocchetta-fbtc2008,
    apice = {CiocchettaFBTC2008},
    author = {Federica Ciocchetta and Andrea Degasperi and Jane Hillston and Muffy Calder},
    bibsource = {DBLP, http://dblp.uni-trier.de},
    doi = {10.1016/j.entcs.2009.02.010},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = 1,
    pages = {145--163},
    title = {Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA},
    volume = 229,
    year = 2009
}

@article{collectivesort-scp74,
    apice = {CollectivesortScp74},
    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 = {https://www.sciencedirect.com/science/article/pii/S0167642309000318},
    volume = 74,
    year = 2009
}

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

@article{aose-mags5,
    acm = {10.5555/1544150.1544153},
    apice = {AoseMags5},
    author = {Molesini, Ambra and Omicini, Andrea and Viroli, Mirko},
    dblp = {journals/mags/MolesiniOV09},
    doi = {10.3233/MGS-2009-0118},
    editor = {Weyns, Danny and Omicini, Andrea},
    eissn = {1875-9076},
    iris = {11585/82467},
    issn = {1574-1702},
    journal = {Multiagent and Grid Systems},
    lens = {042-817-579-696-49X},
    note = {Special Issue ``Engineering Environments in Multi-Agent Systems''},
    number = 1,
    openalex = {W1604233295},
    pages = {37--57},
    publisher = {IOS Press},
    scopus = {2-s2.0-85006305758},
    title = {Environment in {A}gent-{O}riented {S}oftware {E}ngineering Methodologies},
    url = {https://content.iospress.com/articles/multiagent-and-grid-systems/mgs00118},
    urlpdf = {https://journals.sagepub.com/doi/pdf/10.3233/MGS-2009-0118},
    volume = 5,
    wos = {WOS:000212584100003},
    year = 2009
}

@inproceedings{bioframework-cec09,
    abstract = {A state-of-the-art problem in Computational Systems Biology is to provide suitable tools to model and predict the behaviour of multicellular systems (tissues, embryos) where biological interactions occur both inside and between cells (or compartments in general). Starting from existing computational models and languages such as stochastic pi-calculus, Petri Nets, mobile ambients, and membrane computing, we developed a new computational framework based on {{{(i)}} a compositional model for biological compartments, and (ii) an enhanced model of chemical rules addressing also biomechanical actions such as substances diffusion across membranes or compartments splitting. We tested the framework using a case study based on spatial pattern formation in embryogenesis, where the interplay between cells' internal dynamics and cell-to-cell interactions seems to have a central role.}},
    address = {Trondheim, Norway},
    apice = {BioframeworkCec09},
    author = {Montagna, Sara and Viroli, Mirko},
    booktitle = {2009 IEEE Congress on Evolutionary Computation (CEC 2009)},
    isbn = {978-1-4244-2959-2},
    month = {18-21 May},
    numpages = 8,
    pages = {2233--2240},
    publisher = {IEEE Computer Society Press},
    title = {A computational framework for modelling multicellular biochemistry},
    year = 2009
}

@book{wooldridge-masintro-2nd,
    address = {Chichester, UK},
    apice = {WooldridgeMasintro2nd},
    author = {Wooldridge, Michael J.},
    booktitle = {An Introduction to MultiAgent Systems},
    edition = {2nd},
    eisbn = {978-E-UDT-E0055-3},
    isbn = {978-0-470-51946-2},
    month = may,
    numpages = 488,
    publisher = {John Wiley \& Sons Ltd.},
    title = {An Introduction to MultiAgent Systems},
    url = {https://www.wiley.com/en-it/An+Introduction+to+MultiAgent+Systems%2C+2nd+Edition-p-978EUDTE00553},
    year = 2009
}

@proceedings{aamas2009,
    booktitle = {8th International Conference on Autonomous Agents and Multiagent Systems},
    dblp = {conf/atal/2009-1},
    editor = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Simão Sichman},
    isbn = {978-0-9817381-6-1},
    note = {8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, 10-15 May 2009. Published in two volumes: 978-0-9817381-6-1 and 978-0-9817381-7-8.},
    publisher = {IFAAMAS},
    title = {8th International Conference on Autonomous Agents and Multiagent Systems},
    url = {https://www.ifaamas.org/Proceedings/aamas2009/},
    year = 2009
}

@phdthesis{nguyen-phdthesis09,
    apice = {NguyenPhdthesis09},
    author = {Nguyen, Cu Duy},
    keywords = {software agent testing, goal-oriented testing methodology, multiagent systems, agent-oriented software engineering},
    month = jan,
    organization = {DISI, Universit{\`a} di Trento},
    school = {International Doctorate School in Information and Communication Technologies},
    title = {Testing Techniques for Software Agents},
    year = 2009
}

@book{nmis09,
    address = {Bologna, Italy},
    apice = {NMis09},
    author = {Natali, Antonio and Molesini, Ambra},
    isbn = {9788874883349},
    month = {November},
    note = {second edition},
    publisher = {Esculapio},
    series = {Progetto Leonardo},
    title = {Costruire sistemi software: dai modelli al codice},
    year = 2009
}

@inproceedings{respect-sac09,
    acm = {1529586},
    apice = {RespectSac2009},
    author = {Casadei, Matteo and Omicini, Andrea},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    core = {226493179},
    dblp = {conf/sac/CasadeiO09},
    doi = {10.1145/1529282.1529586},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
    iris = {11585/71839},
    isbn = {978-1-60558-166-8},
    keywords = {Situatedness; MAS environment; Tuple centres; ReSpecT; Artifacts; A&A},
    lens = {022-906-632-279-732},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12~} # mar,
    numpages = 8,
    openalex = {W2039847161},
    pages = {1361--1368},
    publisher = {ACM},
    scopus = {2-s2.0-72949089464},
    title = {Situated Tuple Centres in {{\sf ReSpecT}}},
    url = {1529586},
    venue = {SAC'99},
    volume = {III},
    year = 2009
}

@incollection{biochemicaltuplespaces-coordination09,
    address = {Lisbon, Portugal},
    apice = {BiochemicaltuplespaceCoord09},
    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 = {Lecture Notes in Computer Science},
    title = {Biochemical Tuple Spaces for Self-Organising Coordination},
    url = {https://link.springer.com/10.1007/978-3-642-02053-7_8},
    volume = 5521,
    year = 2009
}

@inproceedings{aose-sac09,
    acm = {1529429},
    apice = {AoseSac2009},
    author = {Molesini, Ambra and Nardini, Elena and Denti, Enrico and Omicini, Andrea},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    core = {226493152},
    dblp = {conf/sac/MolesiniDNO09},
    doi = {10.1145/1529282.1529429},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
    iris = {11585/71832},
    isbn = {978-1-60558-166-8},
    keywords = {Multi-agent systems, AOSE, software process, methodology, MAS infrastructures, SODA, TuCSoN, SPEM, situational method engineering},
    lens = {118-403-174-484-806},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12~} # mar,
    openalex = {W2052098004},
    pages = {699--706},
    publisher = {ACM},
    scopus = {2-s2.0-72949123438},
    title = {Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures},
    url = {1529429},
    volume = {II},
    year = 2009
}

@inproceedings{selforgcoord-sac09,
    acm = {1529585},
    apice = {SelforgcoordSac2009},
    author = {Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    core = {226493163},
    dblp = {conf/sac/ViroliCO09},
    doi = {10.1145/1529282.1529585},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
    iris = {11585/71835},
    isbn = {978-1-60558-166-8},
    lens = {061-153-203-307-388},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12~} # mar,
    openalex = {W2017607513},
    pages = {1353--1360},
    publisher = {ACM},
    scopus = {2-s2.0-68749114381},
    title = {A Framework for Modelling and Implementing Self-Organising Coordination},
    url = {https://dl.acm.org/doi/10.1145/1529282.1529585},
    volume = {III},
    year = 2009
}