Andrea Roli » Publications » Papers per Year

Publications by (2004)

Marcello Donatelli, Andrea Omicini, Gianni Fila, Cesare Monti
Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems
VIII Congress of the European Society of Agronomy (ESA 2004), 11-15 July 2004

Marco Mamei, Franco Zambonelli
Programming Pervasive and Mobile Computing Applications with the TOTA Middleware
Pervasive Computing and Communications, 2004

Andrea Omicini, Alessandro Ricci, Dina Goldin
Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004)
13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004), 14-16 June 2004

Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), 30 August 2004

Andrea Omicini, Franco Zambonelli
MAS as Complex Systems: A View on the Role of Declarative Approaches
Declarative Agent Languages and Technologies, Lecture Notes in Computer Science 2990, May 2004

Marco Dorigo, Thomas Stützle
Ant Colony Optimization

Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
System Support for Pervasive Applications
ACM Transactions on Computer Systems 22(4), November 2004

Andrea Omicini, Sascha Ossowski
Coordination and Collaboration Activities in Cooperative Information Systems
International Journal of Cooperative Information Systems 13(1), March 2004

Ronaldo Menezes, Andrea Omicini, Mirko Viroli
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
Electronic Notes in Theoretical Computer Science 97, 22 July 2004

Davide Ancona, Mirko Viroli
Guest Editorial
jot 3(11), 2004

Zahia Guessoum
Adaptive Agents and Multiagent Systems
IEEE Distributed Systems Online 5(7), July 2004

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifiable Multi-agent Programs
Lecture Notes in Computer Science 3067, 2004

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Role-Based Access Control in MAS using Agent Coordination Contexts
1st International Workshop "Agent Organizations: Theory and Practice" (AOTP'04), 25 July 2004

Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
A Conceptual Framework for Self-Organising MAS
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: sistemi complessi e agenti razionali" (WOA 2004), 30 November - 1 December 2004

Andrea Omicini, Alessandro Ricci
MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN
Engineering Societies in the Agents World IV, Lecture Notes in Computer Science 3071, June 2004

Enrico Denti, Nando Prati
Relevance of Winning Coalitions in Indirect Control of Corporations
Theory and Decision 56(2), 2 2004

Marc-Philippe Huget, Michael J. Wooldridge
Model Checking for ACL Compliance Verification
Advances in Agent Communication, 2004

Robert Tolksdorf, Ronaldo Menezes
Using Swarm Intelligence in Linda Systems
Engineering Societies in the Agents World IV, Lecture Notes in Computer Science 3071, June 2004

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Context: From Theory to Practice
Cybernetics and Systems 2004, 13-16 April 2004

Dieter Fensel
Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information
Intelligence in Communication Systems, LNCS 3283, 2004

Farhad Arbab
Reo: A Channel-based Coordination Model for Component Composition
Mathematical Structures in Computer Science 14, 2004

Ivana Gungui, Viviana Mascardi
Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems
Proceedings of the Italian Conference on Computational Logic (CILC-2004), Quaderno del Dipartimento di Matematica 390, June 2004

Luca Cernuzzi, Franco Zambonelli
Experiencing AUML in the GAIA Methodology
ICEIS 2004, April 2004

Mirko Viroli, Alessandro Ricci, Andrea Omicini
A Semantics for the Interaction of Agents with Coordination Artifacts
Cybernetics and Systems 2004, 13-16 April 2004

Deepali Khushraj, Ora Lassila, Tim Finin
sTuples: Semantic Tuple Spaces
1st Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous?04), 22 August 2004

Deepali Khushraj, Ora Lassila, Timothy W. Finin
sTuples: Semantic Tuple Spaces
1st Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous'04), 22-26 August 2004

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic KLAIM
Coordination Models and Languages, LNCS 2949, 2004

Andrea Omicini, Paolo Petta, Jeremy Pitt
Preface
Engineering Societies in the Agents World IV, Lecture Notes in Computer Science 3071, June 2004

Erek Göktürk, M. Naci Akkøk
Paradigm and Software Engineering
Impact of Software Process on Quality Workshop (IMPROQ 2004), 20-21 May 2004

Laura Giordano, Alberto Martelli, Camilla Schwind
Verifying Communicating Agents by Model Checking in a Temporal Action Logic
Logics in Artificial Intelligence, LNCS 3229, 2004

Andrea Omicini, Roger L. Wainwright
Message from the Program Chairs
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004), 14-17 March 2004

Nigel Shadbolt
From the Editor in Chief: Nature-Inspired Computing
IEEE Intelligent Systems 19(1), January-February 2004

Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
Integrating Objective & Subjective Coordination in Multi-Agent Systems
19th ACM Symposium on Applied Computing (SAC 2004), 14-17 March 2004

Andrea Omicini, Sascha Ossowski, Alessandro Ricci
Coordination Infrastructures in the Engineering of Multiagent Systems
Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, Multiagent Systems, Artificial Societies, and Simulated Organizations 11, June 2004

Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli
The Gaia Methodology
Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, Multiagent Systems, Artificial Societies, and Simulated Organization 11, June 2004

Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
A Programming Language for Cognitive Agents: Goal Directed 3APL
Programming Multi-Agent Systems, Lecture Notes in Computer Science 3067, 2004

Franco Zambonelli, Andrea Omicini
Open Directions in Agent-Oriented Software Engineering
UPGRADE 04(IV), August 2004

Berardina De Carolis, Giovanni Cozzolongo
C@sa: Intelligent Home Control and Simulation
International Conference on Computational Intelligence, 2004

Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
Composing Adaptive Software
IEEE Computer 37(7), 2004

Martin Fredriksson, Rune Gustavsson
Online Engineering and Open Computational Systems
Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, Multiagent Systems, Artificial Societies, and Simulated Organization 11, 2004

Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita
From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs
IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), 2004

Alessandro Ricci, Mirko Viroli, Andrea Omicini
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure
1st International Workshop "Safety and Security in MultiAgent Systems" (SASEMAS 2004), 20 July 2004

Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 July 2004

Enrico Denti, Alessandro Ricci, Rossella Rubino
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure
Engineering Societies in the Agents World IV, Lecture Notes in Artificial Intelligence 3071, July 2004

Andrea Omicini, Giovanni Rimassa
Towards Seamless Agent Middleware
13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004), 14-16 June 2004

Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
An Agent-oriented Conceptual Framework for Biological Systems Simulation
Models and Methaphors from Biology to Bioinformatics Tools, 5-7 September 2004

Andrei Borshchev, Alexei Filippov
From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools
The 22nd International Conference of the System Dynamics Society, 25-29 July 2004

Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
International Workshop on Coordination in Emergent Agent Societies (CEAS'04), 23-24 August 2004

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
Coordination Models and Languages, LNCS, 2004

Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Multi-agent Infrastructures for Objective and Subjective Coordination
Applied Artificial Intelligence: An International Journal 18(9-10), October-December 2004

João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Preface
Declarative Agent Languages and Technologies, Lecture Notes in Computer Science 2990, May 2004

Franco Zambonelli, Andrea Omicini
Challenges and Research Directions in Agent-Oriented Software Engineering
Autonomous Agents and Multi-Agent Systems 9(3), November 2004

Alessandro Ricci, Andrea Omicini
Engineering Trust in Complex System through Mediating Infrastructures
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: sistemi complessi e agenti razionali" (WOA 2004), 30 November - 1 December 2004

[top]