Alessandro Ricci » Publications » Papers per Year

Publications by (2007)

Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods
CAiSE'07 Forum, Proceedings of the CAiSE'07 Forum at the 19th International Conference on Advanced Information Systems Engineering., CEUR Workshop Proceedings, 11-15 June 2007

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

Luca Cardelli
Invited Talk: A Process Algebra Master Equation
4th International Conference on the Quantitative Evaluation of Systems (QEST 2007), September 2007

Tristan M. Behrens, Jurgen Dix
Model Checking Multi-agent systems with Logic Based Petri Nets
Annals of Mathemathics and Artificial Intelligence 51(2-4), 2007

Olaf Zimmermann, Jana Koehler, Leymann Frank
Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design
Workshop on Software Engineering Methods for Service-oriented Architecture 2007 (SEMSOA 2007), May 2007

Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
On the Problem of Over-clustering in Tuple-based Coordination Systems
1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 9-11 July 2007

Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case
Environments for MultiAgent Systems III, Lecture Notes in Computer Science 4389, May 2007

Andrea Omicini
Formal ReSpecT in the A&A Perspective
Electronic Notes in Theoretical Computer Science 175(2), June 2007

Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge
Programming Multi-Agent Systems in AgentSpeak using Jason

Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), 8 September 2007

Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
Evaluating Procedural Alternatives. A Case Study in E-Voting
Proceedings of the 1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07), 27-28 Sep 2007

Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
On the Interplay of Crosscutting and MAS-Specific Styles
Software Architecture, Lecture Notes in Computer Science 4758, September 2007

Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities
Autonomous Agents and Multi-Agent Systems 14(1), February 2007

Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Electronic Notes in Theoretical Computer Science 180(2), June 2007

Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
Situated Cellular Agents Approach to Crowd Modeling and Simulation
Cybernetics and Systems 38(7), 2007

Davide Ancona, Mirko Viroli
Guest Editorial
Journal of Object Technology 6(2), 2007

Danny Weyns, Andrea Omicini, James J. Odell
Environment as a First Class Abstraction in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 14(1), February 2007

Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
Geo-Linda: a Geometry Aware Distributed Tuple Space
21st International Conference on Advanced Networking and Applications (AINA '07), 21-23 May 2007

Mirko Viroli, Andrea Omicini, Alessandro Ricci
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
Applied Artificial Intelligence: An International Journal 21(4-5), April 2007

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Journal of Artificial Intelligence Research 29, 2007

Luca Gardelli, Mirko Viroli, Andrea Omicini
Design Patterns for Self-Organising Systems
Multi-Agent Systems and Applications V, Lecture Notes in Computer Science 4696, September 2007

Andrew S. Tanenbaum, Marteen van Steen
Sistemi Distribuiti
Sistemi Distribuiti, September 2007

Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Discrete Event Modeling and Simulation in Systems Biology
Journal of Simulation 1(2), May 2007

Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
Design Patterns for Multiagent Systems to Elevate Pocket Device Applications
8th International Workshop "Engineering Societies in the Agents World" (ESAW'07), 22-24 October 2007

Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
Practical Extensions in Agent Programming Languages
6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07)., 14-18 May 2007

Tom Holvoet, Paul Valckenaers
Exploiting the Environment for Coordinating Agent Intentions
Environments for Multi-Agent Systems III, 2007

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Timed Environment for Web Agents
Web Intelligence and Agent Systems 5(2), August 2007

Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), 11-12 Sep 2007

Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
Method fragments for agent design methodologies: from standardisation to research
International Journal of Agent-Oriented Software Engineering 1(1), 2007

Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Agent-based modeling of multicell morphogenic processes during development
Birth Defects Research (Part C) 81, 2007

Mirko Viroli, Matteo Casadei, Luca Gardelli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing, 2007

Jasmin Fisher, Thomas A. Henzinger
Executable cell biology
Nature Biotechnology 25, Nov. 2007

Volha Bryl, Paolo Giorgini, John Mylopoulos
Supporting Requirements Analysis in Tropos: a Planning-Based Approach
Proceedings of the 10th Pacific Rim International Workshop on Multi-Agents (PRIMA?07), 21-23 November 2007

Antonio Natali, Antonio Del Cinque, Enrico Oliva
Using Eclipse in Building Model-driven e-Learning Supports
Eclipse: a Great Opportunity for Industry and Universities in Italy, October 2007

Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
A Survey of Service Oriented Development Methodologies
2nd European Young Researchers Workshop on Service Oriented Computing, 2007

Alessandro Ricci, Claudio Buda, Nicola Zaghini
An Agent-Oriented Programming Model for SOA & Web Services
5th IEEE International Conference on Industrial Informatics (INDIN'07), 23-27 June 2007

Atsushi Igarashi, Mirko Viroli
Variant path types for scalable extensibility
ACM SIGPLAN Notices 42(10), 2007

Enrico Oliva, Peter McBurney, Andrea Omicini
Co-Argumentation Artifact for Agent Societies
4th International Workshop “Argumentation in Multi-Agent Systems” (ArgMAS 2007), 15 May 2007

Giulio Piancastelli, Andrea Omicini
tuProlog 2.0: One Step Beyond
ALP Newsletter 20(1), February-March 2007

Michael Schumacher, Laurent Grangier, Radu Jurca
Governing Environments for Agent-Based Traffic Simulations
Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V, CEEMAS '07, 2007

Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS
6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), 14-18 May 2007

Alessandro Ricci, Enrico Denti
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services
Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software (WOA 2007), September 2007

Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology
XXXIII Conferencia Latinoamericana en Informática (CLEI 2007), 8-12 October 2007

Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Experiences in Automated Workflows using Dialectical Argumentation
IADIS International Conference "Intelligent Systems and Agents" (ISA 2007), Computer Science and Information Systems, 3-8 July 2007

Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Measurement and Control of Self-organised Behaviour in Robot Swarms
Architecture of Computing Systems – ARCS 2007, LNCS 4415, 2007

Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 66(3), may 2007

Anna Riccioni, Enrico Denti
vLab: an Eclipse-based Virtual Laboratory
First International Conference on Eclipse Technologies (ECLIPSE - IT '07), October 2007

Mamei Marco, Franco Zambonelli
Pervasive pheromone-based interaction with RFID tags
ACM Transactions on Autonomous and Adaptive Systems 2(2), June 2007

Mirko Viroli, Enrico Denti, Alessandro Ricci
Engineering a BPEL Orchestration Engine as a Multi-agent System
Science of Computer Programming 66(3), may 2007

Maurizio Cimadamore, Mirko Viroli
A Prolog-oriented extension of Java programming based on generics and annotations
5th international symposium on Principles and practice of programming in Java (PPPJ '07), 2007

Erek Göktürk
What is “paradigm”?

Leonard Richardson, Sam Ruby
RESTful Web Services

Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
Auction Negotiation for Mobile Rideshare Service
2nd International Conference on Pervasive Computing and Applications, 2007. ICPCA 2007. , 26-27 jul 2007

Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Electronic Notes in Theoretical Computer Science 175(2), June 2007

Davide Balzarotti, Paolo Costa, Gian Pietro Picco
The LighTS Tuple Space Framework and its Customization for Context-aware Applications
Web Intelligence and Agent Systems 5(2), 2007

Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
Towards Integrating Agents with Objects Tracing Systems in AmI
Proceedings of the 5th European Workshop on Multi-Agent Systems (EUMAS'07), 13-14 December 2007

Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). , 25-28 September 2007

Michele Cabano, Cesare Monti, Giulio Piancastelli
Context-Dependent Evaluation Methodology for Open Source Software
Open Source Development, Adoption and Innovation, IFIP International Federation for Information Processing 234, August 2007

Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications
Stem Cells 25(7), July 2007

Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Building Smart Environments as Agent Workspaces
IEEE 16th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2007), 18-19 June 2007

Pierluigi Contucci, Stefano Ghirlanda
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration
Quality & Quantity 41(4), August 2007

Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
How to infer gene networks from expression profiles
Molecular Systems Biology, February 2007

Mirko Viroli
A core calculus for correlation in orchestration languages
Journal of Logic and Algebraic Programming 70(1), jan 2007

Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
A Survey on Context-Aware Systems
International Journal of Ad Hoc and Ubiquitous Computing 2(4), 2007

Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Introduction to the Special Issue: The AgentLink III Technical Forums
ACM Transactions on Autonomous and Adaptive Systems 2(4), November 2007

Tim O'Reilly
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software
Communications & Strategies 65(1st Quarter), 31 March 2007

Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Infrastructures for the Environment of Multiagent Systems
Autonomous Agents and Multi-Agent Systems 14(1), July 2007

Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web 5(2), June 2007

Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
Cooperative Information Agents XI, Lecture Notes in Computer Science 4676, September 2007

Ambra Molesini, Enrico Denti, Andrea Omicini
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
8th International Workshop "Engineering Societies in the Agents World" (ESAW'07), 22-24 October 2007

Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
Environments for MultiAgent Systems III, Lecture Notes in Computer Science 4389, May-June 2007

Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
Extrospection: Agents Reasoning About the Environment
3rd IET International Conference on Intelligent Environments (IE 07), 24-25 September 2007

Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
Environments for MultiAgent Systems III, Lecture Notes in Computer Science 4389, May 2007

Andrew S. Tanenbaum, Marteen van Steen
Distributed Systems. Principles and Paradigms
Distributed Systems, 2007

Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
Self-Organizing Systems, Lecture Notes in Computer Science 4725, August 2007

Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems
6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, Sep 2007

Alessandro Ricci, Mirko Viroli
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java
5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007), ACM International Conference Proceeding 272, 5-7 September 2007

Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood
Developing Multi-Agent Systems with JADE

Daniel Dennett
Intentional Systems Theory
Oxford Handbook of the Philosophy of Mind, 2007

Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Service-Oriented Agent Methodologies
16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), 18-20 June 2007

[top]