Per anno

70 pubblicazioni / 2009

2009

Engineering Societies in the Agents World IX (ESAW 2008) — Alexander Artikis, Gauthier Picard, Laurent Vercouter
SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (WOA 2009) — Michele Piunti, Alessandro Ricci, Andrea Santi
Multiagent System Technologies (MATES 2009) — Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr
A Semantic eScience Portal for International Scientific and Academic Cooperation (DAAAM 2009) — Bernhard Angerer, Branko Katalinic, Andrea Omicini
General-Purpose Coordination Abstractions for Managing Interaction in MAS (IAT 2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
Declarative Agent Languages and Technologies VI (DALT 2008 @ AAMAS 2008) — Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
Programming Multi-Agent Systems (PROMAS 2008 @ AAMAS 2008) — Koen V. Hindriks, Alexander Pokahr, Sebastian Sardiña
Special Track on: Agent-Oriented Software Engineering Methodologies and Systems (SAC 2009) — Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria Seidita
Designing a Development Environment for Logic and Multi-Paradigm Programming (articolo in atti) — Giulio Piancastelli, Enrico Denti
A Formal Definition of Colture (rapporto tecnico) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (articolo in atti) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Information, Physics, and Computation (libro) — Marc Mézard, Andrea Montanari
Argumentation and Artifact for Dialogue Support (ArgMAS 2008 @ AAMAS 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Self-Organising Coordination Systems (tesi di dottorato) — Matteo Casadei
Manipulation implicite d'une organisation multiagent via l'environnement (articolo in atti) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (SAC 2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
Mathematics for Economics: A Statistical Mechanics Perspective (ERCIM News) — Pierluigi Contucci, Francesca Romiti
Gaia4E: A Tool Supporting the Design of MAS using Gaia (articolo in atti) — Luca Cernuzzi, Franco Zambonelli
A SOA Based Software Engineering Design Approach in Service Engineering (articolo in atti) — Weider D. Yu, Chia H. Ong
Special Issue “Engineering Environments in Multi-Agent Systems” (Multiagent and Grid Systems) — Danny Weyns, Andrea Omicini
The Craft of Prolog (libro) — Richard O'Keefe
Modelling Periodic Data Dissemination in Wireless Sensor Networks (articolo in atti) — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
Embodying Organisations in Multi-Agent Work Environments (IAT 2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Declarative Specification and Verification of Service Choreographies (ACM Transactions on the Web) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
Using Jason, MOISE, and CArtAgO to develop a team of cowboys (articolo in atti) — Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
Agent-based Modelling of Stem Cells (capitolo di libro) — Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders
A Goal-Oriented Approach for Modelling Self-organising MAS (ESAW 2009) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
Interactive Graphical Maps for Infocenter via Model to Model Transformation (articolo in atti) — Enrico Oliva
The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (libro) — George Boole
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments (articolo in atti) — Michele Piunti, Alessandro Ricci
An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications (articolo in atti) — Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
Software Engineering: An Idea Whose Time Has Come and Gone? (IEEE Software) — Tom De Marco
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (articolo in atti) — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
A Process Model of Actin Polymerisation (articolo in atti) — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (SAC 2009) — Matteo Casadei, Mirko Viroli
Making Sense of Revision-control Systems (Communications of the ACM) — Bryan O'Sullivan
Combining Simulation and Formal Tools for Developing Self-Organizing MAS (capitolo di libro) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (articolo in atti) — Michele Piunti, Andrea Santi, Alessandro Ricci
An Agent-based Application for Home Intelligence (ICAART 2009) — Ambra Molesini, Enrico Denti, Andrea Omicini
Knowledge-based coordination with a reliable semantic subscription mechanism (SAC 2009) — Martin Murth, Eva Kuhn
Environment Programming in CArtAgO (capitolo di libro) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (AOSE 2008 @ AAMAS 2008) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
Engineering Societies in the Agents World X (ESAW 2009) — Huib Aldewereld, Virginia Dignum, Gauthier Picard
Embodied Organisations in MAS Environments (MATES 2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Towards a Logic Language and Framework for Web Programming (Il Milione 2008) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
A MAS Metamodel-Driven Approach to Process Fragments Selection (AOSE 2008 @ AAMAS 2008) — Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces (articolo in atti) — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Empirical comparison of methods for information systems development according to SOA (articolo in atti) — Philipp Offermann, Udo Bub
Agent-Oriented Software Engineering IX (AOSE 2008 @ AAMAS 2008) — Michael Luck, Jorge J. Gómez-Sanz
An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis (articolo in atti) — Carlos Castro Gonzalez, Miguel Angel Luengo-Oroz, Sophie Desnoulez, Louise Duloquin, Laura Fernández-de-Manuel, Sara Montagna, Maria J. Ledesma-Carbayo, Paul Bourgine, Nadine Peyrieras, Andres Santos
Agents, Intelligence, and Tools (capitolo di libro) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
Programming Pervasive and Mobile Computing Applications: The TOTA Approach (ACM Transactions on Software Engineering and Methodology) — Marco Mamei, Franco Zambonelli
Implicit Culture Framework for behavior transfer. Definition, implementation and applications (tesi di dottorato) — Aliaksandr Birukou
Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments (MATES 2009) — Alessandro Ricci, Michele Piunti
Parameter tuning of a stochastic biological simulator by metaheuristics (articolo in atti) — Sara Montagna, Andrea Roli
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (articolo in atti) — Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming) — Matteo Casadei, Mirko Viroli, Luca Gardelli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (articolo in atti) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems) — Ambra Molesini, Andrea Omicini, Mirko Viroli
A computational framework for modelling multicellular biochemistry (articolo in atti) — Sara Montagna, Mirko Viroli
An Introduction to MultiAgent Systems (libro) — Michael J. Wooldridge
8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009) — Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman
Testing Techniques for Software Agents (tesi di dottorato) — Cu Duy Nguyen
Costruire sistemi software: dai modelli al codice (libro) — Antonio Natali, Ambra Molesini
Situated Tuple Centres in ReSpecT (SAC 2009) — Matteo Casadei, Andrea Omicini
Biochemical Tuple Spaces for Self-Organising Coordination (articolo in atti) — Mirko Viroli, Matteo Casadei
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009 @ SAC 2009) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination (SAC 2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini

70 pubblicazioni / 2009 • in cima • indice • in fondo

pubblicazioni / 2009 / personali

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Enrico Denti • Matteo Magnini • Mattia Matteini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Federico Sabbatini