Alessandro Ricci » Publications » Papers per Year

Publications by (2006)

Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Linkable Coordination Artifacts for Inter-Organisational Workflow
1st International Workshop “Coordination of Inter-Organizational Workflow: Agent and Semantic Web based Models” (CIOW 2006), 8 May 2006

Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Service-Oriented Design and Development Methodology
International Journal of Web Engineering and Technology 2(4), July 2006

Mirko Viroli, Andrea Omicini
Coordination as a Service
Fundamenta Informaticae 73(4), 2006

Christine Julien, Gruia-Catalin Roman
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering 32(5), May 2006

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications, Lecture Notes in Computer Science 3914, April 2006

Enrico Oliva, Mirko Viroli, Andrea Omicini
Simulating Minority Game with TuCSoN
Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems 12(2), 2006

Leandro Nunes De Castro
Fundamentals of natural computing: basic concepts, algorithms, and applications
Fundamentals of natural computing: basic concepts, algorithms, and applications, Computer and Information Science Series, 2006

Ronaldo Menezes, Alan Wood
The Fading Concept in Tuple-Space Systems
Proceedings of the 2006 ACM symposium on Applied Computing (SAC 2006), 2006

Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
Verification of Multi-agent Systems Via Bounded Model Checking
Lecture Notes in Computer Science 4304, 2006

Andrea Omicini
Formal ReSpecT in the A&A Perspective
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), 31 August 2006

Atsushi Igarashi, Mirko Viroli
Variant Parametric Types: A Flexible Subtyping Scheme for Generics
ACM Transactions on Programming Languages and Systems 28(5), September 2006

Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
Computational Models of Argument, Frontiers in Artificial Intelligence and Applications 144, aug 2006

Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Case Studies for Self-organization in Computer Science
Journal of Systems Architecture 52(8-9), August-September 2006

Luca Gardelli, Mirko Viroli, Andrea Omicini
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
Cybernetics and Systems 2006, 18-21 April 2006

Andrea Omicini, Agostino Poggi
Multiagent Systems
Intelligenza Artificiale III(1-2), March-June 2006

Rafael H. Bordini, Jomi F. Hübner
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper)
Computational Logic in Multi-Agent Systems, Lecture Notes in Computer Science 3900, April 2006

Evi Syukur, Seng Wai Loke
The MHS Methodology: Analysis and Design for Context-Aware Systems
4th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the 2nd International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06), 2006

Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Lime: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology 15(3), July 2006

Rossella Rubino, Ambra Molesini, Enrico Denti
OWL-S for Describing Artifacts
4th European Workshop on Multi-Agent Systems (EUMAS 2006), CEUR Workshop Proceedings, 14-15 December 2006

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Science of Computer Programming 63(1), November 2006

Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006), May 8 2006

Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Atti Congresso Annuale AICA 2006, 21-22 September 2006

Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
From Objects to Agents, CEUR Workshop Proceedings 204, October 2006

H. Van Dyke Parunak
A Survey of Environments and Mechanisms for Human-Human Stigmergy
Environments for Multi-Agent Systems II, Lecture Notes in Computer Science 3830, 2006

Sebastian Sardina, Lavindra de Silva, Lin Padgham
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach
5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '06), 8-12 May 2006

Luca Cernuzzi, Franco Zambonelli
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology
Agent-Oriented Software Engineering VI, Lecture Notes in Computer Science 3950, 2006

Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
An agent oriented tool for method engineering
4th European Workshop on Multi-Agent Systems (EUMAS 2006), CEUR Workshop Proceedings, 14-15 dec 2006

R Alves, F Antunes, A Salvador
Tools for kinetic modeling of biochemical networks.
Nature Biotechnology 24(6), 2006

Maarten Sierhuis
The World According To Brahms: Modeling and Simulating Work Practice
Daghstuhl Seminar 06261 “Foundations and Practice of Programming Multi-Agent Systems”, 26-30 August 2006

Brian Henderson-Sellers
SPI - A Role for Method Engineering
EUROMICRO-SEAA, 2006

Jiming Liu, Kwok Ching Tsui
Toward Nature-Inspired Computing
Communications of the ACM 49(10), October 2006

Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
StoKlaim: A Stochastic Extension of Klaim

Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN
Engineering Self-Organising Systems, Lecture Notes in Computer Science 3910, 2006

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
Cybernetics and Systems 2006, 18-21 April 2006

Marc W. Kirschner, John C. Gerhart
The Plausibility of Life: Resolving Darwin's Dilemma

William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
Cognitive Modeling of Social Behaviours
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation, March 2006

L. Robert Pokorny, C. R. Ramakrishnan
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Lecture Notes in Computer Science 3476, June 2006

Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems}
Innovations in Design & Decision Support Systems in Architecture and Urban Planning, 2006

Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Distributed Workflow upon Linkable Coordination Artifacts
Coordination Models and Languages, Lecture Notes in Computer Science 4038, June 2006

Panos E. Kourouthanassis, George M. Giaglis
A Design Theory for Pervasive Information Systems
3rd International Workshop on Ubiquitous Computing (IWUC 2006), May 2006

Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006), 8 May 2006

Michele Cabano, Cesare Monti, Giulio Piancastelli
Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source
Atti Congresso Annuale AICA 2006, 21-22 September 2006

Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Zooming Multi-Agent Systems
Agent-Oriented Software Engineering VI, Lecture Notes in Computer Science 3950, 2006

Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the Expressive Power of KLAIM-based Calculi
Theoretical Computer Science 356(3), May 2006

Enrico Oliva, Mirko Viroli, Andrea Omicini
Minority Game: A Logic-Based Approach in TuCSoN
From Objects to Agents, CEUR Workshop Proceedings 204, October 2006

Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
Web Services Implementation Methodology for SOA Application
4th IEEE International Conference on Industrial Informatics (INDIN 2006), 16-18 August 2006

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
Programming Multi-Agent Systems, Lecture Notes in Computer Science 3862, March 2006

Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
A Framework for Engineering Interactions in Java-based Component Systems
Electronic Notes in Theoretical Computer Science 154(1), 2006

Antonio Natali, Antonio Del Cinque, Matteo Casadei
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata
Atti Congresso Annuale AICA 2006, 21-22 September 2006

Matteo Casadei, Luca Gardelli, Mirko Viroli
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
4th European Workshop on Multi-Agent Systems (EUMAS 2006), CEUR Workshop Proceedings, 14-15 December 2006

Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2
Informatica 30(1), January 2006

Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), 31 August 2006

Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
Lecture Notes in Computer Science 4020, 2006

Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Logics for Artificial Intelligence
Intelligenza Artificiale III(1-2), March–June 2006

Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Electronic Notes in Theoretical Computer Science 154(1), 2006

Yannis Labrou
Standardizing Agent Communication
Multi-Agent Systems and Applications, 2006

Andrea Omicini, Alessandro Ricci, Mirko Viroli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
Interactive Computation: The New Paradigm, September 2006

M. Martin, P. Nurmi
A Generic Large Scale Simulator for Ubiquitous Computing
Mobile and Ubiquitous Systems, Annual International Conference on 0, jul 2006

Canal Carlos, Mirko Viroli
Preface
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005), Electronic Notes in Theoretical Computer Science 154, 2006

Sara Montagna, Alessandro Ricci, Andrea Omicini
Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN
Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006

Matteo Casadei, Luca Gardelli, Mirko Viroli
Collective Sorting Tuple Spacess
CEUR Workshop Proceedings, 26-27 September 2006

Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
Process Calculi Abstractions for Biology

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agens Faber: Toward a Theory of Artefacts for MAS
Electronic Notes in Theoretical Computer Science 150(3), 29 May 2006

Mirko Viroli, Alessandro Ricci, Andrea Omicini
Operating Instructions for Intelligent Agent Coordination
The Knowledge Engineering Review 21(1), March 2006

Enrico Oliva, Mirko Viroli, Andrea Omicini
Simulation of Minority Game in TuCSoN
From Objects to Agents, CEUR Workshop Proceedings 204, October 2006

Charles M. Macal, Michael J. North
Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents
WSC '06: Proceedings of the 38th conference on Winter simulation, 2006

Sascha Ossowski, Ronaldo Menezes
On Coordination and its Significance to Distributed and Multi-Agent Systems
Concurrency and Computation: Practice and Experience 18(4), April 2006

Ambra Molesini, Enrico Denti, Andrea Omicini
Metodologie per l'ingegneria del software: approccio ad agenti
Atti Congresso Annuale AICA 2006, 21-22 September 2006

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure
Applied Artificial Intelligence: An International Journal 20(2-4), February-April 2006

Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
SODA: A Roadmap to Artefacts
Engineering Societies in the Agents World VI, Lecture Notes in Computer Science 3963, June 2006

Rossella Rubino, Andrea Omicini, Enrico Denti
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, Lecture Notes in Computer Science 3913, June 2006

Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006), 8 May 2006

[top]