Andrea Roli » Publications » Papers per Year

Publications by (2001)

Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: tendenze evolutive dei sistemi software" (WOA 2001), 4-5 September 2001

Andrea Omicini, Enrico Denti
Formal ReSpecT
Electronic Notes in Theoretical Computer Science 48, June 2001

Mirko Viroli, Gianluca Moro, Andrea Omicini
On Observation as a Coordination Pattern: An Ontology and a Formal Framework
16th ACM Symposium on Applied Computing (SAC 2001), 11-14 March 2001

Fernanda Barbosa, José C. Cunha
A Coordination Language for Collective Agent-based Systems: GroupLog
Applied Artificial Intelligence: An International Journal 15(1), January 2001

Alessandro Ricci, Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: tendenze evolutive dei sistemi software" (WOA 2001), 4-5 September 2001

Thomas Moran, Paul Dourish
Introduction to This Special Issue on Context-Aware Computing
Human-Computer Interaction 20(2-4), February 2001

Andrea Omicini, Enrico Denti
From Tuple Spaces to Tuple Centres
Science of Computer Programming 41(3), November 2001

Agostino Dovier, Maria Chiara Meo, Andrea Omicini
Preface
Electronic Notes in Theoretical Computer Science 48, 4-6 June 2001

Davide Rossi, Giacomo Cabri, Enrico Denti
Tuple-based Technologies for Coordination
Coordination of Internet Agents: Models, Technologies, and Applications, January 2001

Andrea Omicini, George A. Papadopoulos
Editorial: Why Coordination Models and Languages in AI?
Applied Artificial Intelligence: An International Journal 15(1), January 2001

Eric Monfroy
Control-driven Constraint Propagation
Applied Artificial Intelligence: An International Journal 15(1), January 2001

Enrico Denti, Andrea Omicini
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents
Autonomous Agents and Multi-Agent Systems 1-2(4), March-June 2001

Andrea Omicini
On the Notion of Agent Coordination Context: Preliminary Notes
AI*IA Notizie XIV(4), December 2001

Alessandro Ricci, Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN
AI*IA Notizie XIV(4), December 2001

Donald Firesmith, Brian Henderson-Sellers
The OPEN Process Framework: An Introduction

Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
Agent-Oriented Software Engineering for Internet Applications
Coordination of Internet Agents: Models, Technologies, and Applications, March 2001

Andrea Omicini, Paolo Petta, Robert Tolksdorf
Preface
Engineering Societies in the Agents World II, Lecture Notes in Computer Science 2203, December 2001

Jolita Ralyté, Colette Rolland
An Assembly Process Model for Method Engineering
Advanced Information Systems Engineering, Lecture Notes in Computer Science 2068, 2001

Jolita Ralyté, Colette Rolland
An Approach for Method Reengineering
Conceptual Modeling ? ER 2001 , Lecture Notes in Computer Science 2224, 2001

Enrico Denti, Andrea Omicini, Alessandro Ricci
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures
Practical Aspects of Declarative Languages, Lecture Notes in Computer Science 1990, 2001

Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
Safe Tuplespace-based Coordination in Multiagent Systems
Applied Artificial Intelligence: An International Journal 15(1), January 2001

Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems
AI*IA Notizie XIV(4), December 2001

Jonsson Bengt, Kim G. Larsen, Wang Yi
Probabilistic Extensions of Process Algebras
Handbook of Process Algebra, 2001

Alessandro Ricci, Enrico Denti, Andrea Omicini
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management
Cooperative Information Agents V, Lecture Notes in Computer Science 2182, 2001

Andrea Omicini
Coordination Models, Languages and Applications. Track Chair Messages
Proceedings 2001 ACM Symposium on Applied Computing (SAC 2001), 19-21 March 2001

Nicholas R. Jennings
An Agent-based Approach for Building Complex Software Systems
Communications of the ACM 44(4), April 2001

Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
XML Dataspaces for the Coordination of Internet Agents
Applied Artificial Intelligence: An International Journal 15(1), January 2001

Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
Gamma and the Chemical Reaction Model: Fifteen Years After
Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View, Lecture Notes in Computer Science 2235, 2001

Nando Prati, Enrico Denti
An Algorithm for Winning Coalitions in Indirect Control of Corporations
Decisions in Economis and Finance 24(2), March 2001

Ian Foster
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
Euro-Par 2001 Parallel Processing, 2001

Andrea Omicini
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems
Agent-Oriented Software Engineering, Lecture Notes in Computer Science 1957, 2001

Andrea Omicini, George A. Papadopoulos
Coordination as a Paradigm for Systems Integration
Journal of Systems Integration 10(2), April 2001

Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems
International Journal of Software Engineering and Knowledge Engineering 11(3), 2001

Scott E. Page
Self Organization and Coordination
Computational Economics 18(1), August 2001

Simon Miles, Mike Joy, Michael Luck
Designing Agent-Oriented Systems by Analysing Agent Interactions
Agent-Oriented Software Engineering, Lecture Notes in Computer Science 1957, 2001

Ian Foster, Carl Kesselman, Steven Tuecke
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications 15(3), August 2001

Alessandro Ricci, Andrea Omicini, Enrico Denti
The TuCSoN Coordination Infrastructure for Virtual Enterprises
IEEE 10th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET~ICE 2001), 20-22 June 2001

Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
Simulation-verification: biting at the state explosion problem
IEEE Transactions on Software Engineering 27(7), july 2001

[top]