Per Year

 @incollection{LoriniPiunti09:Relevance,
	series = {Lecture Notes in Artificial Intelligence},
	booktitle = {Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09) - Revised and Extended version },
	publisher = {Springer},
	author = {Lorini, Emiliano and Piunti, Michele},
	title = {Introducing Relevance Awareness in BDI Agents},
	isbn = {978-3-642-14842-2},
	year = 2009,
	keywords = {Relevance, BDI, Agents, Perception},
	status = {Published},
	pages = {219--236},
	venue = {LNAI},
	editor = {Braubach, Lars and Brito, Jean-Pierre and Thangarajah, John},
	volume = 5919,
	doi = {10.1007/978-3-642-14843-9}} 

 @inproceedings{semanticweb-daaam2009,
    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},
    location = {Vienna, Austria},
    month = {25--28}}},
    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 = {000282335600864},
    year = 2009
} 

 @incollection{soda-esawIX,
    acm = {10.1007/978-3-642-02562-4_4},
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {Engineering Societies in the Agents World IX},
    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},
    month = jun,
    note = {9th International Workshop (ESAW'08), 24--26~} # sep # {~2008, Saint-\'{E}tienne, France. Revised Selected Papers},
    pages = {69--84},
    publisher = {Springer},
    scopus = {2-s2.0-70349335669},
    series = {LNCS},
    title = {{RBAC-MAS} \& {{\sf SODA}}: Experimenting {RBAC} in {AOSE}},
    url = {http://link.springer.com/10.1007/978-3-642-02562-4_4},
    volume = 5485,
    wos = {000268328400004},
    year = 2009
} 

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

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

 @inproceedings{eclipse2p-ceur436,
	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 = {http://ceur-ws.org/Vol-436/paper2.pdf},
	Volume = 436,
	Year = 2009}
 

 @techreport{blanzieri-tr09-021,
	Address = {Universit{\`a} di Trento, Italy},
	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{RPV-LADS09,
    author = {Ricci, Alessandro and Piunti, Michele and Viroli, Mirko},
    booktitle = {Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009)},
    editor = {Dastani, Mehdi and Seghrouchni, Amal El Fallah and Leite, João and Torroni, Paolo},
    keywords = {Agents, Artifacts, Cognitive, Capabilities, Modularisation, Externalisation},
    month = {September},
    status = {Published},
    title = {Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming},
    venue = {--},
    year = 2009
} 

 @book{mezard2009,
	Address = {Oxford, UK},
	Author = {M{\'e}zard, Marc and Montanari, Andrea},
	Booktitle = {Information, Physics, and Computation},
	Isbn = {978-0-19-857083-7},
	Isbn-10 = {019857083X},
	Month = jan,
	Publisher = {Oxford University Press},
	Title = {Information, Physics, and Computation},
	Url = {http://ukcatalogue.oup.com/product/9780198570837.do},
	Year = 2009} 

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

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

 

 @phdthesis{casadei-phdthesis09,
	Address = {Bologna, Italy},
	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{,
	booktitle = {Proceedings of Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2009)},
	author = {Piunti, Michele and Ricci, Alessandro and Boissier, Olivier and Hubner, Jomi F. },
	title = {Manipulation implicite d?une organisation multiagent  via l?environnement},
	year = 2009,
	abstract = {Le modèle Agents et Artefacts enrichi avec les 
organisations propose un environnement de travail basé sur les artefacts pour mettre en oeuvre 
la coordination entre agents. La mise en place d?organisation dans un tel contexte nécessite cependant que les agents soient capables de raisonner et de manipuler explicitement des primitives organisationnelles (e.g. rôles, groupes, 
missions). Afin de diminuer cette contrainte, nous proposons de tisser des liens entre artefacts organisationnels et artefacts fonctionnels 
de l?environnement. De cette manière, les agents 
peuvent interagir implicitement avec l?organisation par le biais des artefacts fonctionnels. 
Dans ce papier, nous donnons une description formelle de cette proposition avec différents 
exemples illustrant l?intérêt de l?approche proposée. },
	keywords = {Multi Agent Systems, Organizations, Agents and Artifacts},
	status = {Camera-ready sent},
	venue = {--}} 

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

 

 @inproceedings{soase-icebe2009,
	acm = {1677297},
	Address = {Washington, DC, USA},
	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 = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5342081},
	Year = 2009} 

 @article{envmas-mags5,
    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,
	Author = {O'Keefe, Richard},
	Isbn = {978-0262512275},
	Isbn-10 = 0262512270,
	Month = dec,
	Publisher = {The MIT Press},
	Title = {The Craft of Prolog},
	Year = 2009} 

 @inproceedings{WilliamsonIJSSST2010,
    author = {Williamson, Graham and Cellai, Davide and Dobson, Simon and Nixon, Paddy},
    doi = {10.1109/EMS.2009.31},
    booktitle = {Computer Modeling and Simulation, 2009. EMS '09. Third UKSim European Symposium on},
    keywords = {data dissemination, wireless sensor networks},
    month = {27}}},
    url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5358712},
    year = 2009} 

 @inproceedings{LP10PROMAS,
	howpublished = {Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09)},
	journal = {Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09)},
	author = {Lorini, Emiliano and Piunti, Michele},
	title = {Introducing Relevance Awareness in BDI Agents},
	year = 2009,
	abstract = {Artificial agents engaged in real world applications require accurate allocation strategies in order to better balance the use of their bounded resources. In particular, they should be capable to filter out all irrelevant information and just to consider what is relevant for the current task that they are trying to solve. The aim of this work is to propose a mechanism of relevance-based belief update to be implemented in a BDI cognitive agent. This in order to improve the performance of agents in information-rich environments. In the first part of the paper we present the formal and abstract model of the mechanism. In the second part we present its implementation in the Jason platform and we discuss its performance in simulation trials.},
	keywords = {BDI, Relevance, Cognitive, Goal},
	status = {Published},
	venue = {AAMAS}} 

 @article{Montali2009:Choreographies,
	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{aose-icaart2009,
    author = {Molesini, Ambra and Denti, Enrico and Omicini, Andrea},
    booktitle = {International Conference on Agents and Artificial Intelligence (ICAART 2009)},
    editor = {Filipe, Joaquim and Fred, Ana and Sharp, Bernadette},
    iris = {11585/70534},
    isbn = {978-989-8111-66-1},
    location = {Porto, Portugal},
    month = {19--21}}},
    scopus = {2-s2.0-70349464966},
    title = {An Agent-based Application for Home Intelligence},
    wos = {000267058000059},
    year = 2009
} 

 @incollection{biosimulation-massimulationbook09,
    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},
    isbn-10 = {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 = {http://crcpress.com/product/isbn/9781420070231},
    year = 2009
} 

 @inproceedings{somasmodelling-esawX,
	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 = {http://www.springerlink.com/content/x013gv7870072582/},
	Volume = 5881,
	Year = 2009} 

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

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

 @incollection{artifacts-kramasI,
	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.},
	Isbn = {978-3-642-05300-9},
	Issn = {0302-9743},
	eissn = {1611-3349},
	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 = {LNAI},
	Title = {Cognitive Use of Artifacts: Exploiting Relevant Information Residing in {MAS} Environments},
	Url = {http://www.springerlink.com/content/v30500337j710254/},
	Volume = 5605,
	Year = 2009} 

 @inproceedings{simpa-webist09,
	Address = {Lisboa, Portugal},
	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}}},
	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},
	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,
	Pages = {96, 95},
	Publisher = {IEEE Computer Society},
	Title = {{S}oftware {E}ngineering: An Idea Whose Time Has Come and Gone?},
	Volume = 26,
	Year = 2009} 

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

 @inproceedings{gaia-qsic2009,
	Addres = {Jeju, Korea},
	Author = {Rodriguez, Lorena and Hume, Alethia and Cernuzzi, Luca and Insfr{\'a}n, Emilio},
	Booktitle = {Proceedings of the Ninth 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}}},
	Title = {Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into {G}aia},
	Url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5381442},
	Year = 2009} 

 @article{actinpolymerisation-entcs229,
	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 = {http://www.sciencedirect.com/science/article/pii/S1571066109000140},
	Volume = 229,
	Year = 2009} 

 @article{OSullivanQueue2009,
    address = {New York, NY, USA},
    author = {O'Sullivan, Bryan},
    citeulike-article-id = {5836277},
    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 = {http://portal.acm.org/citation.cfm?id=1562164.1562183},
    volume = 52,
    year = 2009
} 

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

 @inproceedings{PSR-AWESOME09,
	booktitle = {In Proceedings of Agents, Web Services and Ontologies, Integrated Methodologies Important Dates and Instructions (AWESOME-09)},
	author = {Piunti, Michele and Santi, Andrea and Ricci, Alessandro},
	title = {Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments},
	year = 2009,
	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.},
	keywords = {Agents, Artifacts, Cognitive, Services, Web, SOA},
	status = {Published},
	venue = {--}} 

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

 @incollection{spem-aoseIX,
	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 = {http://link.springer.com/10.1007/978-3-642-01338-6_4},
	Volume = 5386,
	Year = 2009} 

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

 @proceedings{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 = {http://link.springer.com/10.1007/978-3-642-10203-5},
    volume = 5881,
    year = 2009
} 

 @inproceedings{aose-sac09,
    acm = {1529429},
    author = {Molesini, Ambra and Nardini, Elena and Denti, Enrico and Omicini, Andrea},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    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},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12}}},
    scopus = {2-s2.0-72949123438},
    title = {Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures},
    url = {http://dl.acm.org/citation.cfm?id=1529429},
    volume = {II},
    year = 2009
} 

 @inproceedings{ecosystem-sac09,
	Address = {Honolulu, Hawai'i, USA},
	Author = {Viroli, Mirko and Zambonelli, Franco and Casadei, Matteo and Montagna, Sara},
	Booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
	Doi = {10.1145/1529282.1529556},
	Editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
	Isbn = {978-1-60558-166-8},
	Month = {8--12}}},
	Title = {A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems},
	Url = {http://dl.acm.org/citation.cfm?id=1529556},
	Volume = {II},
	Year = 2009}
 

 @inproceedings{eoa-mates2009,
	series = {LNCS},
	booktitle = {Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009)},
	publisher = {Springer},
	author = {Piunti, Michele and Ricci, Alessandro and Boissier, Olivier and Hubner, Jomi F. },
	title = {Embodied Organisations in MAS Environments},
	isbn = {978-3-642-04142-6},
	year = 2009,
	keywords = {Multi Agent Systems, Organizations, Agents and Artifacts},
	pages = {115--127},
	editor = {Braubach, Lars and van der Hoek, Wiebe and Petta, Paolo and Pokahr, Alexander},
	volume = 5774} 

 @incollection{weblp-ceur487,
    author = {Piancastelli, Giulio and Omicini, Andrea and Denti, Enrico},
    booktitle = {Il Milione (i.e. $2\hat{}}},
    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,
	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 = {http://link.springer.com/10.1007/978-3-642-01338-6_7},
	Volume = 5386,
	Year = 2009} 

 @incollection{timedlinda-lncs5474,
	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 = {http://www.springerlink.com/content/a2354m4703784v0m/},
	Volume = 5474,
	Year = 2009} 

 @inproceedings{soamethods-ecis2009,
	Address = {Verona, Italy},
	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}}},
	Url = {http://www.ecis2009.it/papers/ecis2009-0393.pdf},
	Year = 2009} 

 @inproceedings{genesimageprocessing-embc09,
	address = {Minneapolis, MN, USA},
	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}}},
	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 = {http://www.embc09.org/},
	year = 2009} 

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

 @inproceedings{selforgcoord-sac09,
    acm = {1529585},
    author = {Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
    booktitle = {24th Annual ACM Symposium on Applied Computing (SAC 2009)},
    doi = {10.1145/1529282.1529585},
    editor = {Shin, Sung Y. and Ossowski, Sascha and Menezes, Ronaldo and Viroli, Mirko},
    iris = {11585/71835},
    isbn = {978-1-60558-166-8},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12}}},
    scopus = {2-s2.0-68749114381},
    title = {A Framework for Modelling and Implementing Self-Organising Coordination},
    url = {http://dl.acm.org/citation.cfm?id=1529585},
    volume = {III},
    year = 2009
} 

 @article{tota-tosem18,
	acm = {1538945},
	Address = {New York, NY, USA},
	Author = {Mamei, Marco and Zambonelli, Franco},
	Doi = {10.1145/1538942.1538945},
	Issn = {1049-331X},
	Journal = {ACM Transactions on  Software Engineering Methodologies},
	Month = jul,
	Number = 4,
	Pages = {15:1--15:56},
	Publisher = {ACM},
	Title = {Programming Pervasive and Mobile Computing Applications: The {TOTA} Approach},
	Url = {http://dl.acm.org/citation.cfm?doid=1538942.1538945},
	Volume = 18,
	Year = 2009}
 

 @inproceedings{acc-iat2009,
    acm = {1632219},
    author = {Nardini, Elena and Omicini, Andrea and Viroli, Mirko},
    booktitle = {The WI-IAT 2009 Workshops Proceedings},
    doi = {10.1109/WI-IAT.2009.335},
    eisbn = {978-1-4244-5331-3},
    ieee = {5285035},
    iris = {11585/82473},
    isbn = {978-0-7695-3801-3},
    keywords = {Agent Coordination Context; MAS Infrastructure; Coordination; TuCSoN; ReSpecT},
    location = {Milano, Italy},
    month = {15--18}}},
    publisher = {IEEE Computer Society},
    scholar = {4632009932343186181},
    scopus = {2-s2.0-84856824070},
    title = {General-Purpose Coordination Abstractions for Managing Interaction in {MAS}},
    url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5285035},
    wos = {000279801400123},
    year = 2009
} 

 @inproceedings{aomsintro-sac09,
    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},
    location = {Honolulu, Hawai'i, USA},
    month = {8--12}}},
    publisher = {ACM},
    scopus = {2-s2.0-72949123438},
    title = {Special Track on: Agent-Oriented Software Engineering Methodologies and Systems},
    volume = {II},
    year = 2009
} 

 @phdthesis{birukou-phdthesis09,
	Author = {Birukou, Aliaksandr},
	Keywords = {culture, communities, behavior transfer, agents, recommendation systems},
	Month = mar,
	Organisation = {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} 

 @inproceedings{oversensing-mates2009,
	series = {Lecture Notes in Computer Science},
	booktitle = {Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009)},
	publisher = {Springer},
	author = {Ricci, Alessandro and Piunti, Michele},
	title = {Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based  Environments },
	isbn = {978-3-642-04142-6},
	year = 2009,
	keywords = {Multi Agent Systems, Agents and Artifacts, CArtAgO, Perception},
	pages = {232--237},
	editor = {Braubach, Lars and van der Hoek, Wiebe and Petta, Paolo and Pokahr, Alexander},
	volume = 5774} 

 @proceedings{montagnaroli-AIxIA09,
	series = {Lecture Notes in Computer Science},
	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},
	publisher = {Springer Berlin / Heidelberg},
	author = {Montagna, Sara and Roli, Andrea},
	title = {Parameter tuning of a stochastic biological simulator by metaheuristics},
	isbn = {978-3-642-10290-5},
	year = 2009,
	status = {Published},
	pages = {466--475},
	venue = {--},
	editor = {Serra, Roberto and Cucchiara, Rita},
	volume = 5883,
	doi = {10.1007/978-3-642-10291-2}} 

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

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

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

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

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

 @book{wooldridge-masintro-2nd,
    address = {Chichester, UK},
    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
} 

 @phdthesis{nguyen-phdthesis09,
	Author = {Nguyen, Cu Duy},
	Keywords = {software agent testing, goal-oriented testing methodology, multiagent systems, agent-oriented software engineering},
	Month = jan,
	Organisation = {DISI, Universit{\`a} di Trento},
	School = {International Doctorate School in Information and Communication Technologies},
	Title = {Testing Techniques for Software Agents},
	Year = 2009} 

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


 

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