Publications  /  2009

Articles in Journal
Pierluigi Contucci, Francesca Romiti
Mathematics for Economics: A Statistical Mechanics Perspective
ERCIM News 78, July 2009
Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
Declarative Specification and Verification of Service Choreographies
ACM Transactions on the Web, 2009
Matteo Casadei, Mirko Viroli, Luca Gardelli
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009
Marco Mamei, Franco Zambonelli
Programming Pervasive and Mobile Computing Applications: The TOTA Approach
ACM Transactions on  Software Engineering Methodologies 18(4), July 2009
Bryan O'Sullivan
Making Sense of Revision-control Systems
Communications of the ACM 52(9), September 2009
Tom De Marco
Software Engineering: An Idea Whose Time Has Come and Gone?
IEEE Software 26(4), July/August 2009
Ambra Molesini, Andrea Omicini, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies
Multiagent and Grid Systems 5(1), 2009
(7 articles in journal in 2009)  [top]  [bottom]
Papers in Proceedings
Michele Piunti, Alessandro Ricci, Andrea Santi
SOA/WS Applications using Cognitive Agents working in CArtAgO Environments
Proceedings of 10th Joint Conference AI*IA TABOO From Objects to Agents (WOA 2009), 2009
Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Elena Nardini, Andrea Omicini, Mirko Viroli
General-Purpose Coordination Abstractions for Managing Interaction in MAS
The WI-IAT 2009 Workshops Proceedings, 15-18 September 2009
Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Proceedings of the Second Workshop From Biology to Concurrency and Back (FBTC 2008). Electronic Notes in Theoretical Computer Science 229, 2009
Matteo Casadei, Andrea Omicini
Situated Tuple Centres in ReSpecT
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009
Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
Modelling Periodic Data Dissemination in Wireless Sensor Networks
Computer Modeling and Simulation, 2009. EMS '09. Third UKSim European Symposium on, November 2009
Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
Using Jason, MOISE, and CArtAgO to develop a team of cowboys
Proceedings of 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2009), Agent Contest., 2009
Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5386, 2009
Alessandro Ricci, Michele Piunti
Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments
Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009). Lecture Notes in Computer Science 5774, 2009
Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
A MAS Metamodel-Driven Approach to Process Fragments Selection
Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5386, 2009
Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Embodied Organisations in MAS Environments
Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009). Lecture Notes in Computer Science 5774, 2009
Mirko Viroli, Matteo Casadei, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009
Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications
5th International Conference on Web Information Systems and Technologies (WEBIST 2009), 23-26 March 2009
Mirko Viroli, Matteo Casadei
Biochemical Tuple Spaces for Self-Organising Coordination
Coordination Languages and Models. Lecture Notes in Computer Science 5521, June 2009
Weider D. Yu, Chia H. Ong
A SOA Based Software Engineering Design Approach in Service Engineering
2009 IEEE International Conference on e-Business Engineering (ICEBE '09), 2009
Luca Cernuzzi, Franco Zambonelli
Gaia4E: A Tool Supporting the Design of MAS using Gaia
ICEIS 2009 - Proceedings of the 11th International Conference   on Enterprise Information Systems, Volume SAIC, Milan, Italy,               May 6-10, 2009, 2009
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialog Support
Argumentation in Multi-Agent Systems. Lecture Notes in Artificial Intelligence 5384, February 2009
Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09), 2009
Giulio Piancastelli, Enrico Denti
Designing a Development Environment for Logic and Multi-Paradigm Programming
Eclipse-IT 2008 – 3rd Italian Workshop on Eclipse Technologies. CEUR Workshop Proceedings 436, August 2009
Michele Piunti, Andrea Santi, Alessandro Ricci
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments
In Proceedings of Agents, Web Services and Ontologies, Integrated Methodologies (AWESOME-09), 2009
Matteo Casadei, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009
Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Manipulation implicite d'une organisation multiagent  via l'environnement
Proceedings of Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2009), 2009
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
An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis
31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2009), 2-6 September 2009
Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009
Ambra Molesini, Enrico Denti, Andrea Omicini
An Agent-based Application for Home Intelligence
International Conference on Agents and Artificial Intelligence (ICAART 2009), 19-21 January 2009
Ambra Molesini, Enrico Denti, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE
Engineering Societies in the Agents World IX. Lecture Notes in Computer Science 5485, June 2009
Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: a Formal Model
Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers. Lecture Notes Computer Science 5919, 2009
Bernhard Angerer, Branko Katalinic, Andrea Omicini
A Semantic eScience Portal for International Scientific and Academic Cooperation
Annals of DAAAM for 2009 & Proceedings of the 20th International DAAAM Symposium "Intelligent Manufacturing & Automation: Focus on Theory, Practice and Education". Annals of DAAAM and Proceedings of DAAAM International Symposium, 25-28 November 2009
Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a Logic Language and Framework for Web Programming
Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy. CEUR Workshop Proceedings 487, August 2009
Enrico Oliva
Interactive Graphical Maps for Infocenter via Model to Model Transformation
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies, September 2009
Philipp Offermann, Udo Bub
Empirical comparison of methods for information systems development according to SOA
17th European Conference on Information Systems (ECIS 2009), 8-10 June 2009
Alessandro Ricci, Michele Piunti, Mirko Viroli
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009), September 2009
Martin Murth, Eva Kuhn
Knowledge-based coordination with a reliable semantic subscription mechanism
SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing, 2009
Michele Piunti, Alessandro Ricci
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments
Knowledge Representation for Agents and Multi-Agent Systems. Lecture Notes in Artificial Intelligence 5605, 2009
Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia
Proceedings of the Ninth International Conference on Quality Software (QSIC 2009), 24-25 August 2009
Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
A Goal-Oriented Approach for Modelling Self-organising MAS
Engineering Societies in the Agents World X, 2009
Sara Montagna, Andrea Roli
Parameter tuning of a stochastic biological simulator by metaheuristics
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. Lecture Notes in Computer Science 5883, 2009
Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Seventh international Workshop on Programming Multi-Agent Systems (PROMAS 09) - Revised and Extended version . Lecture Notes in Artificial Intelligence 5919, 2009
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing. Lecture Notes in Computer Science 5474, 2009
Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
ICSOFT 2009 - Proceedings of the 4th International Conference  on Software and Data Technologies, Volume 1, Sofia, Bulgaria,  July 26-29, 2009, July 2009
Sara Montagna, Mirko Viroli
A computational framework for modelling multicellular biochemistry
2009 IEEE Congress on Evolutionary Computation (CEC 2009), 18-21 May 2009
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
A Process Model of Actin Polymerisation 
Proceedings of the Second Workshop From Biology to Concurrency and Back (FBTC 2008). Electronic Notes in Theoretical Computer Science 229, 2009
(43 papers in proceedings in 2009)  [top]  [bottom]
Book Chapters
Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders
Agent-based Modelling of Stem Cells
Multi-Agent Systems: Simulation and Applications. Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009
Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
Agents, Intelligence, and Tools
Artificial Intelligence: An International Perspective. Lecture Notes in Computer Science 5640, 2009
Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Environment Programming in CArtAgO
Multi-Agent Programming II: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, June 2009
Luca Gardelli, Mirko Viroli, Andrea Omicini
Combining Simulation and Formal Tools for Developing Self-Organizing MAS
Multi-Agent Systems: Simulation and Applications. Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009
(4 book chapters in 2009)  [top]  [bottom]
Books
Richard O'Keefe
The Craft of Prolog
Marc Mézard, Andrea Montanari
Information, Physics, and Computation
Antonio Natali, Ambra Molesini
Costruire sistemi software: dai modelli al codice
Progetto Leonardo, November 2009
(3 books in 2009)  [top]  [bottom]
Special Issues
Danny Weyns, Andrea Omicini (eds.)
Special Issue "Engineering Environments in Multi-Agent Systems"
Multiagent and Grid Systems 5(1), 2009
(1 special issue in 2009)  [top]  [bottom]
Editorials / Introductions / Prefaces
Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria Seidita
Special Track on: Agent-Oriented Software Engineering Methodologies and Systems
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009
(1 editorial / introduction / preface in 2009)  [top]  [bottom]
Technical Reports
Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia
A Formal Definition of Colture
(1 technical report in 2009)  [top]  [bottom]
PhD Theses
Aliaksandr Birukou
Implicit Culture Framework for behavior transfer. Definition, implementation and applications
Matteo Casadei
Self-Organising Coordination Systems
Cu Duy Nguyen
Testing Techniques for Software Agents
(3 phd theses in 2009)  [top]  [bottom]
(63 publications in 2009)

Tags:
    
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY