Publications by (2008)

Sara Montagna, Alessandro Ricci, Andrea Omicini

A&A for Modelling and Engineering Simulations in Systems Biology

International Journal of Agent-Oriented Software Engineering 2(2), 2008

Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista

On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition

Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), 18-21 February 2008

Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti

SPEM on Test: the SODA Case Study

23th ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008

Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani

Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms

7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-08), 12-16 May 2008

Elena Nardini, Andrea Omicini, Maria Cristina Matteucci

Toward a Framework for Collaborative Learning based on Agent-based Technologies

International Education, Technology and Development Conference (INTED 2008), 3-5 March 2008

Giulio Piancastelli, Andrea Omicini

A Logic Programming Model for Web Resources

4th International Conference on Web Information Systems and Technologies (WEBIST 2008), 4-7 May 2008

Alessandro Ricci, Mirko Viroli, Andrea Omicini

The A&A Programming Model and Technology for Developing Agent Environments in MAS

Programming Multi-Agent Systems, Lecture Notes in Computer Science 4908, April 2008

Matteo Casadei, Mirko Viroli, Marco Santarelli

Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks

17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008

Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci

The Architecture and Design of a Malleable Object-Oriented Prolog Engine

23rd ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008

Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini

Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach

International Journal of Agent-Oriented Software Engineering 2(2), 2008

Enrico Oliva

Argumentation and Artifacts for Intelligent Multi-agent Systems

Conor Muldoon

An Agent Framework for Ubiquitous Services

Ambra Molesini

Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems

Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi

Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT

Proceedings of the third international symposium on i*, CEUR Workshop Proceedings, 11-13 feb 2008

Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone

Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach

Proceedings of the Third International Workshop ``Dependability Aspects on Data WArehousing and Mining applications'' (DAWAM-08), 4-7 march 2008

Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante

Increasing interactivity in Agent-based Advanced Pocket-Device Service Application

Developing ambient intelligence, February 2008

Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini

Agent-oriented AmI Engineering

Developing ambient intelligence, February 2008

Giacomo Cabri

Introducing Join-Computing

Advances on Software Engineering, Parallel and Distributed Systems, Electrical and Computer Engineering, 20-22 feb 2008

Ambra Molesini, Enrico Denti, Andrea Omicini

RBAC-MAS & SODA: Experimenting RBAC in AOSE

9th International Workshop “Engineering Societies in the Agents World” (ESAW'08), 24-26 September 2008

Maurizio Cimadamore, Mirko Viroli

Integrating Java and Prolog through Generic Methods and Type Inference

23th ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008

Matteo Casadei, Andrea Omicini

Situating A&A ReSpecT for Pervasive Environment Applications

17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008

Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini

Experimenting with Stochastic Prolog as a Simulation Language

23º Convegno Italiano di Logica Computazionale (CILC'08), 10-12 July 2008

Luca Cardelli, Philippa Gardner, Ozan Kahramanoğullari

A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis

Electronic Notes in Theoretical Computer Science 194(3), 2008

Ambra Molesini, Enrico Denti, Andrea Omicini

From AO Methodologies to MAS Infrastructures: The SODA Case Study

Engineering Societies in the Agents World VIII, Lecture Notes in Computer Science 4995, September 2008

Andrea Omicini, Alessandro Ricci, Mirko Viroli

Artifacts in the A&A Meta-Model for Multi-Agent Systems

Autonomous Agents and Multi-Agent Systems 17(3), December 2008

Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari

Smart Environments as Agent Workspaces

Ubiquitous Computing and Communication Journal Special Issue - CPE, June 2008

Chieri Saito, Atsushi Igarashi, Mirko Viroli

Lightweight Family Polymorphism

Journal of Functional Programming 18(3), May 2008

Matteo Casadei, Andrea Omicini, Mirko Viroli

Prototyping A&A ReSpecT in Maude

Electronic Notes in Theoretical Computer Science 194(4), April 2008

Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore

Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus

Electronic Notes in Theoretical Computer Science 194(4), April 2008

Enrico Oliva, Peter McBurney, Andrea Omicini

Co-Argumentation Artifact for Agent Societies

Argumentation in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 4946, April 2008

Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri

A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies

The 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008), 24-26 September 2008

Lin Padgham, Michael Luck

Introduction to AOSE Tools for the Conference Management System

Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi

Tool-Supported Development with Tropos: The Conference Management System Case Study

Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Lin Padgham, John Thangarajah, Michael Winikoff

The Prometheus Design Tool ? A Conference Management System Case Study

Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos

Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study

Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Peter McBurney, Andrea Omicini

Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems

Autonomous Agents and Multi-Agent Systems 17(3), December 2008

Matteo Casadei, Mirko Viroli

Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks

2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08), 20-24 October 2008

Elena Nardini, Andrea Omicini

Agent-Based Collaboration Systems: A Case Study

Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education, CEUR Workshop Proceedings 398, 1-2 September 2008

Giulio Piancastelli, Andrea Omicini, Enrico Denti

Towards a Logic Language and Framework for Web Programming

Il Milione. Viaggio nella logica computazionale in Italia, 3 June 2008

Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher

Hierarchical Modeling for Computational Biology

Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, 2008

Daniel T. Gillespie

Simulation Methods in Systems Biology

Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, 2008

Lorenzo Dematté, Corrado Priami, Alessandro Romanel

The BlenXLanguage: A Tutorial

Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, 2008

Daniel Yamins, Radhika Nagpal

Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems

7th International Joint Conference on Agents and Multi-Agent Systems (AAMAS-08), 12-16 May 2008

Sara Montagna, Andrea Omicini, Marco Alberti

Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model

Intelligenza Artificiale e Scienze della Vita, September 2008

Alessandro Ricci, Mirko Viroli, Giulio Piancastelli

simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications

Languages, Methodologies and Development Tools for Multi-Agent Systems, Lecture Notes in Computer Science 5118, July 2008

Lapo Mori

Writing a thesis with LaTeX

The PracTeX Journal, 2008

Giulio Piancastelli, Andrea Omicini

A Multi-Theory Logic Programming Language for the World Wide Web

Franco Zambonelli, Mirko Viroli

Architecture and Metaphors for Eternally Adaptive Service Ecosystems

Intelligent Distributed Computing, Systems and Applications, Studies in Computational Intelligence 162/2008, September 2008

Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini

Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA

9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008

Giulio Piancastelli, Andrea Omicini

A Multi-Theory Logic Language for the World Wide Web

Logic Programming, Lecture Notes in Computer Science 5366, December 2008

Michele Piunti, Alessandro Ricci

Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments

Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), 16 September 2008

Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr

Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments

IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 08), December 2008

Giulio Piancastelli, Enrico Denti

Designing a Development Environment for Logic and Multi-Paradigm Programming

Eclipse-IT 2008. 3rd Italian Workshop on Eclipse Technologies. Proceedings, November 2008

Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita

Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model

9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008

Nadia Busi, Gianluigi Zavattaro

A Process Algebraic View of Shared Dataspace Coordination

Journal of Logic and Algebraic Programming 75(1), February-March 2008

Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli

Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems

9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008

Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli

An Adaptation Logic Framework for Java-based Component Systems

Journal of Universal Computer Science 14(13), 2008

Enrico Oliva, Mirko Viroli, Andrea Omicini

Arguments and Artifacts for Dispute Resolution

9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008

Michele Piunti, Alessandro Ricci

From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS

9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008

Antonio Natali, Enrico Oliva, Cristina Bonanni

Model-driven Generation of Graphical Maps for e-Contents

Eclipse-IT 2008. 3rd Italian Workshop op on Eclipse Technologies. , nov 2008

Antonio Natali, Ambra Molesini

La costruzione dei sistemi software: dai modelli al codice

Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli

Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems

Workshop on Spatial Computing, oct 2008

Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney

Argumentation and Artifact for Dialogue Support

5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), 12 May 2008

Anna Riccioni, Enrico Denti, Roberto Laschi

An experimental environment for teaching Java Security

6th ACM International Symposium on Principles and Practice of Programming in Java (PPPJ 2008) - Modena, Italy, 9-11 September 2008, ACM International Conference Proceeding 347, October 2008

Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini

Automating Workflow using Dialectical Argumentation

IADIS International Journal on Computer Science and Information Systems 3(2), Autumn 2008

Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis

Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation

Florian Fuchs, Michael Berger

A Decentralized and Ontology-Based Approach to Infrastructure Monitoring

Michele Piunti, Alessandro Ricci

From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS

6h European Workshop on Multi-Agent Systems (EUMAS 2008), 18-19 December 2008

Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo

PASSIM: a simulation-based process for the development of multi-agent systems

International Journal of Agent-Oriented Software Engineering 2(2), 2008

Luca Gardelli

Engineering Self-organising Systems with the Multiagent Paradigm

Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl

Towards a Tuplespace-based Middleware for the Semantic Web

Web Intelligence and Agent Systems 6(3), 2008

Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda

Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art

The Knowledge Engineering Review 23(2), June 2008

Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton

A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks

The Journal of Chemical Physics 128(20), 2008

Lucio Russo

La cultura componibile. Dalla frammentazione alla disgregazione del sapere

Canal Carlos, Pascal Poizat, Mirko Viroli

Preface

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007), Electronic Notes in Theoretical Computer Science 194, 2008

Maurizio Cimadamore, Mirko Viroli

On the reification of Java wildcards

Science of Computer Programming 73(2-3), October 2008

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg

Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking

Lecture Notes in Computer Science 4908, 2008

Mario Bravetti

Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems

Electronic Notes in Theoretical Computer Science 194(2), 16 January 2008

Pierluigi Contucci, Ignacio Gallo, Giulia Menconi

Phase Transitions in Social Sciences: Two-populations Mean Field Theory

International Journal of Modern Physics B 22(14), 10 June 2008