Per Year
@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
} @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} @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}}
@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{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{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} @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} @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{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{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}} @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} @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{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} @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}
} @inproceedings{DGRV-ICSOFT2009,
editor = {Shishkov, Boris and Cordeiro, Jos{\'e} and Ranchordas, Alpesh},
booktitle = {ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009},
publisher = {INSTICC Press},
year = {2009},
isbn = {978-989-674-009-2},
author = {Damiani, Ferruccio and Giannini, Paola and Ricci, Alessandro and Viroli, Mirko},
title = {FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts},
pages = {218-225}} @inproceedings{bioframework-cec09,
booktitle = {2009 IEEE Congress on Evolutionary Computation (CEC 2009)},
publisher = {IEEE Computer Society Press},
author = {Montagna, Sara and Viroli, Mirko},
title = {A computational framework for modelling multicellular biochemistry},
isbn = {978-1-4244-2959-2},
year = 2009,
status = {Published},
pages = {2233--2240},
venue = {--},
address = {Trondheim, Norway },
month = {18-21 May}} @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}
}
publications
without
DOI
/
2009
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Angelo Croatti
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini