Andrea Roli » Publications » Papers per Year

Publications by (2008)

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, 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

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

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

Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Methodologies for Designing Agent Societies
2nd Workshop on Engineering Complex Distributed Systems (ECDS 2008), 4-7 March 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

Chieri Saito, Atsushi Igarashi, Mirko Viroli
Lightweight Family Polymorphism
Journal of Functional Programming 18(3), May 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

Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Workshop on Spatial Computing, oct 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

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

Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation

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

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

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

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

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

H. Eugene Stanley
Econophysics and the Current Economic Turmoil
American Physical Society News 17(11), 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

Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
Electronic Notes in Theoretical Computer Science 194(4), April 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

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

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

Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX
Cybernetics and Systems 2008, 25-28 March 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

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

Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
Agent-oriented AmI Engineering
Developing ambient intelligence, February 2008

Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets
2008 8th International Conference on Intelligent Systems Design and Applications (ISDA 2008), 2008

Nadia Busi, Gianluigi Zavattaro
A Process Algebraic View of Shared Dataspace Coordination
Journal of Logic and Algebraic Programming 75(1), February-March 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

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

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

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

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

Lorenzo Dematté, Corrado Priami, Alessandro Romanel
The BlenXLanguage: A Tutorial
Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, 2008

Pierluigi Contucci, Cristian Giardina
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
ERCIM News 73, April 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

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

Enrico Oliva, Peter McBurney, Andrea Omicini
Co-Argumentation Artifact for Agent Societies
Argumentation in Multi-Agent Systems, Lecture Notes in Computer Science 4946, April 2008

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

Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
Increasing interactivity in Agent-based Advanced Pocket-Device Service Application
Developing ambient intelligence, February 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

Giacomo Cabri
Introducing Join-Computing
Advances on Software Engineering, Parallel and Distributed Systems, Electrical and Computer Engineering, 20-22 feb 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

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

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

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

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

Daniel T. Gillespie
Simulation Methods in Systems Biology
Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, 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

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

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

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

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

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

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

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

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

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

Giulio Piancastelli, Andrea Omicini
A Multi-Theory Logic Language for the World Wide Web
Logic Programming, Lecture Notes in Computer Science 5366, December 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

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

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

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

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

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

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

Maurizio Cimadamore, Mirko Viroli
On the reification of Java wildcards
Science of Computer Programming 73(2-3), October 2008

Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Smart Environments as Agent Workspaces
Ubiquitous Computing and Communication Journal CPE - Special Issue, 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

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

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

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

Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
Fast self-healing gradients.
SAC, 2008

Lapo Mori
Writing a thesis with LaTeX
The PracTeX Journal, 2008

Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Agent Roles: from Methodologies to Infrastructures
Proceedings of the 2008 workshop on Role-Based Collaboration, at the 2008 International Symposium on Collaborative Technologies and Systems (CTS'08), 19-23 May 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

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

[top]