Andrea Roli » Publications » Papers per Year

Publications by (1998—2013)

Below, publications by between 1998 and 2013, ordered by year of publication.


2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998

2013

Alessandro Ricci, Andrea Santi
From Actors and Concurrent Objects to Agent-Oriented Programming in {simpal}
Concurrent Objects and Beyond -- Festschrift in Honor of Akinori Yonezawa, 2013

Maria Cristina Matteucci, Elena Nardini, Andrea Omicini
Collaborative Learning and ICT: A Prototypal Learning Environment
Information and Communications Technology: New Research, Media and Communications - Technologies, Policies and Challenges. Electronics and Telecommunications Research, April 2013

Stefano Mariani, Andrea Omicini
Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages
28th ACM Symposium on Applied Computing (SAC 2013), 18-22 March 2013

Enrico Denti, Andrea Omicini, Roberta Calegari
tuProlog: Making Prolog Ubiquitous
ALP Newsletter, October 2013

Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
1st International Workshop "Engineering Multi-Agent Systems" (EMAS 2013), 6-7 May 2013

Andrea Omicini
Nature-inspired Coordination Models: Current Status, Future Trends
ISRN Software Engineering, 2013

Danilo Pianini, Sara Montagna, Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST
Journal of Simulation, 2013

Andrea Omicini, Stefano Mariani
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems
Intelligenza Artificiale 7(2), November 2013

Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems
Mobile Networks and Applications 18(3), 2013

Stefano Mariani, Andrea Omicini
Tuple-based Coordination of Stochastic Systems with Uniform Primitives
WOA 2013 – From Objects to Agents. Proceedings of the 14th Workshop “From Objects to Agents”, co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), CEUR Workshop Proceedings 1099, 2-3 December 2013

Sara Montagna, Mirko Viroli
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
6th International Spatial Computing Workshop (SCW 2013), 6 May 2013

Andrea Omicini, Stefano Mariani
Coordination for Situated MAS: Towards an Event-driven Architecture
International Workshop on Petri Nets and Software Engineering (PNSE'13), CEUR Workshop Proceedings 989, 24-25 June 2013

Mirko Viroli, Jacob Beal, Kyle Usbeck
Operational Semantics of Proto
Science of Computer Programming 78(6), June 2013

Stefano Mariani, Andrea Omicini
Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine
6th International Spatial Computing Workshop (SCW 2013), 6 May 2013

Mirko Viroli
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
6th International Spatial Computing Workshop (SCW 2013), 6 May 2013

Stefano Mariani, Andrea Omicini
Probabilistic Modular Embedding for Stochastic Coordinated Systems
Coordination Models and Languages, Lecture Notes in Computer Science 7890, June 2013

Andrea Omicini, Pierluigi Contucci
Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes
Computational Collective Intelligence. Technologies and Applications, Lecture Notes in Computer Science 8083, 2013

Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha
Predicting Social Density in Mass Events to Prevent Crowd Disasters.
SocInfo, Lecture Notes in Computer Science 8238, 2013

Mirko Viroli, Ferruccio Damiani, Jacob Beal
A calculus of computation fields
Advances in Service-Oriented and Cloud Computing, Communications in Computer and Information Science 393, 2013

Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), apr 2013

Stefano Mariani, Andrea Omicini
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes
Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH), 3-5 March 2013

Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Domain Independent Text Categorization

Elena Nardini, Andrea Omicini, Mirko Viroli
Semantic Tuple Centres
Science of Computer Programming 78(5), May 2013

Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), apr 2013

Stefano Mariani, Andrea Omicini
TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination
Algorithms and Architectures for Parallel Processing, Lecture Notes in Computer Science 8286, December 2013

Stefano Mariani, Andrea Omicini
Space-aware Coordination in ReSpecT
WOA 2013 – From Objects to Agents. Proceedings of the 14th Workshop “From Objects to Agents”, co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), CEUR Workshop Proceedings 1099, 2-3 December 2013

Christoph Dorn, Richard N Taylor
Coupling software architecture and human architecture for collaboration-aware system adaptation
Proceedings of the 2013 International Conference on Software Engineering, 2013

Stefano Mariani, Andrea Omicini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments
Intelligent Distributed Computing VI, Studies in Computational Intelligence 446, 2013

Houguang Yue
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus
International Journal of Foundations of Computer Science 24(03), 2013

Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Description and composition of bio-inspired design patterns: a complete overview
Natural Computing 12(1), 2013

Stefano Mariani, Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
Multiagent System Technologies, Lecture Notes in Computer Science 8076, 2013

Mirko Viroli
On competitive self-composition in pervasive services
Science of Computer Programming 78(5), May 2013

Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Self-Organising Semantic Resource Discovery for Pervasive Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), apr 2013

Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways
Journal of Simulation 7(3), August 2013

Pedro Pablo González-Pérez, Maura Cárdenas-García, Sara Montagna
Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction
Journal of Computations & Modelling 3(2), 2013

Maria Ganzha, Marcin Paprzycki, Andrea Omicini
Software Agents: Twenty Years and Counting
Computing Now 6(11), November 2013

Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
Engineering Multi-Agent Systems, Lecture Notes in Computer Science 8245, December 2013

Andrea Omicini
Nature-inspired Coordination for Complex Distributed Systems
Intelligent Distributed Computing VI, Studies in Computational Intelligence 446, 2013

Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation
Computational and Mathematical Organization Theory, aug 2013

Stefano Mariani
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK
From Objects to Agents, CEUR Workshop Proceedings 1099, 2-3 December 2013

Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
Proceedings of the 28th ACM Symposium On Applied Computing (SAC 2013), March 2013

Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Organizing the Aggregate: Languages for Spatial Computing
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2013

Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion
Complex Adaptive Systems Modeling 1(1), 2013

Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Science of Computer Programming 78(6), June 2013

Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Multi-agent Oriented Programming with JaCaMo
Science of Computer Programming 78(6), June 2013

[top]

2012

Andrea Santi, Alessandro Ricci
Programming Distributed Multi-Agent Systems in simpAL
Proceedings of 13° Workshop nazionale "Dagli Oggetti agli Agenti" (WOA 2012), 2012

Francesca Toni, Paolo Torroni
Bottom-Up Argumentation
Theorie and Applications of Formal Argumentation, Lecture Notes in Computer Science 7132, 2012

George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair
Distributed Systems. Concepts and Design

Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks
11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012), Electronic Proceedings in Theoretical Computer Science 91, 2012

Giuliano Vitali, E. Magnanini, Nico Mennucci, Enrico Denti
VPN - Client-server object-oriented virtual plant modeling tool
Plant Growth Modeling, Simulation, Visualization and Applications - (Proc. of the 2012 IEEE Fourth International Symposium on, PMA 12), 2012

Maura Cárdenas-García, Pedro Pablo González-Pérez, Sara Montagna
Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure
EMBnet.journal 18(B), 2012

Franco Zambonelli
Toward Sociotechnical Urban Superorganisms
Computer 45(8), 2012

Alessandro Ricci, Andrea Santi
Typing Multi-Agent Programs in simpAL
Proceedings of the Int. Workshop on Programming Multi-Agent Systems (ProMAS'12), 2012

Mirko Viroli, Graeme Stevenson
On the Space-time Situation of Pervasive Service Ecosystems
Workshop on Spatial Computing, jun 2012

Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012), 10 September 2012

Pierluigi Contucci, Cristian Giardinà
Perspectives on Spin Glasses

Alessandro Ricci, Andrea Santi
Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development
International Journal on Advances in Software 5(1-2), 2012

Schahram Dustdar, Hong-Linh Truong
Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective
International Journal of Next-Generation Computing 3(2), 2012

Christoph Dorn, Richard N Taylor
Architecture-driven modeling of adaptive collaboration structures in large-scale social web applications
Web Information Systems Engineering-WISE 2012, 2012

Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
Proceedings of the 13th Workshop on Objects and Agents, 12 September 2012

Mirko Viroli, Danilo Pianini, Jacob Beal
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
Coordination Models and Languages, LNCS 7274, jun 2012

Sara Montagna, Danilo Pianini, Mirko Viroli
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012) , 26-30 March 2012

Andrea Santi, Alessandro Ricci
An Eclipse-based IDE for Agent-Oriented Programming in simpAL
Proc. of The Seventh Workshop of the Italian Eclipse Community, 2012

Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012) , 26-30 March 2012

Marco Alberti, Andrea Omicini
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012), 10 September 2012

Andrea Omicini
Agents Writing on Walls: Cognitive Stigmergy and Beyond
The Goals of Cognition. Festschrift for Cristiano Castelfranchi, Tributes 20, December 2012

Stefano Mariani, Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach
1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012), 10 September 2012

José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
ASENSIS 2012 - First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), 2012

Alessandro Ricci, Andrea Santi
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! '12, 2012

Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM 55(9), sep 2012

Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
Implicit: A Multi-agent Recommendation System for Web Search
Autonomous Agents and Multi-Agent Systems 24(1), 2012

Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
Proceedings of the 13th Workshop on Objects and Agents, 12 September 2012

Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
Self-organising Semantic Resource Discovery for Pervasive Systems
1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012), 10 September 2012

Juan Ye, Simon Dobson, Susan McKeever
Situation Identification Techniques in Pervasive Computing: A Review
Pervasive and Mobile Computing 8(1), February 2012

Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
BIO-CORE: Bio-inspired Self-organising Mechanisms Core
Bio-Inspired Models of Networks, Information, and Computing Systems, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 103, 2012

Stefano Mariani, Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), 2012

Stefano Mariani, Andrea Omicini
Molecules of Knowledge: A Novel Perspective over Knowledge Management
Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, CEUR Workshop Proceedings 926, 15 June 2012

Marco Alberti, Andrea Omicini
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), 2012

Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
Programming Directives for Elastic Computing
IEEE Internet Computing 16(6), 2012

Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems
ACM Transactions on Autonomous and Adaptive Systems 7(12), September 2012

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science 22(2), 2012

Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
27th ACM Symposium on Applied Computing (SAC 2012), 26-30 March 2012

Sara Montagna, Danilo Pianini, Mirko Viroli
Gradient-based Self-organisation Patterns of Anticipative Adaptation
Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), May 2012

Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution, 2012

Sara Montagna, Mirko Viroli
A Computational Framework for Multilevel Morphologies
Morphogenetic Engineering, Understanding Complex Systems, 2012

Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Interdependent Artificial Institutions in Agent Environments
Applied Artificial Intelligence: An International Journal 26(4), May 2012

[top]

2011

Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
Sustainable biomass power plant location in the Italian Emilia-Romagna region
ACM Transactions on Intelligent Systems and Technology 2(4), July 2011

Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
Description and Composition of Bio-Inspired Design Patterns: the Gossip Case
8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2011), 27-29 April 2011

Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Coordinating Spatially-Situated Pervasive Service Ecosystems
WOA 2011 - XII Workshop Nazionale "Dagli Oggetti agli Agenti", CEUR Workshop Proceedings 741, 4-6 July 2011

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
An interaction-oriented agent framework for open environments
AI* IA 2011: Artificial Intelligence Around Man and Beyond, 2011

Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
Proceedings of the 3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems, 14 June 2011

Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
A Tour of reaction Systems.
Int. J. Found. Comput. Sci. 22(7), 2011

Kirk L. Kroeker
Improving brain-computer interfaces
Commun. ACM 54(10), 2011

Luca Cernuzzi, Franco Zambonelli
Adaptive organizational changes in agent-oriented methodologies
The Knowledge Engineering Review 26(2), May 2011

Marco Raberto, Andrea Teglio, Silvano Cincotti
Debt Deleveraging and Business Cycles. An Agent-Based Perspective
Economics: The Open-Access, Open-Assessment E-Journal Economics Discussion Papers(2011-31), 2011

Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
Preface
Declarative Agent Languages and Technologies VIII, Lecture Notes in Artificial Intelligence 6619, 2011

Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
From Manifesta to Krypta: The Relevance of Categories for Trusting Others
Transactions on Intelligent Systems and Technology , 2011

Giuseppe Cardone, Antonio Corradi, Luca Foschini
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks
The Computer Journal, 2011

Jaron Lanier
The most ancient marketing
Communications of the ACM 54(12), December 2011

Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
ACM Computing Surveys 43(2), jan 2011

Alessandro Ricci, Michele Piunti, Mirko Viroli
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
Autonomous Agents and Multi-Agent Systems 23(2), September 2011

Andrea Santi, Alessandro Ricci
JaCa-Android: an agent-based platform for building smart mobile applications
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, 2011

Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
Processes Engineering and AOSE
Agent-Oriented Software Engineering X, Lecture Notes in Computer Science 6038, 2011

Andrea Omicini, Mirko Viroli
Coordination Models and Languages: From Parallel Computing To Self-Organisation
The Knowledge Engineering Review 26(1), March 2011

Clare Dixon, Alan Winfield, Micheal Fisher
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
Lecture Notes in Computer Science 6856, 2011

Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
Middleware Infrastructures for Self-organising Pervasive Computing Systems
Self-organising Software, Natural Computing Series, 2011

Danilo Pianini, Mirko Viroli, Sara Montagna
A Simulation Framework for Pervasive Services Ecosystems
WOA 2011 - XII Workshop Nazionale “Dagli Oggetti agli Agenti”, CEUR Workshop Proceedings 741, 4-6 July 2011

Danilo Pianini, Sara Montagna, Mirko Viroli
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011), 18-21 September 2011

Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah
Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions
23rd International Conference on Advanced Information Systems Engineering (CAiSE'11), 2011

Elena Nardini, Andrea Omicini, Mirko Viroli, Michael Ignaz Schumacher
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
Applied Computing Review 11(2), Spring 2011

Ajay D. Kshemkalyani, Mukesh Singhal
Distributed Computing. Principles, Algorithms, and Systems

Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
Proceedings of the 3rd International Workshop on Software Engineering for Resilient Systems, Lecture Notes in Computer Science 6968, 29-30 September 2011

Stefan J. Witwicki, Edmund H. Durfee
Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs
10th International Joint Conference "Autonomous Agents & Multi-Agent Systems" (AAMAS 2011) , 2-6 May 2011

Jose Miguel Such Aparicio
Enhancing Privacy in Multi-Agent Systems

Mirko Viroli, Jacob Beal, Matteo Casadei
Core Operational Semantics of Proto
26th Annual ACM Symposium on Applied Computing (SAC 2011), {21--25~}#mar 2011

Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
Deep diving into BitTorrent locality
INFOCOM, 2011

Peter McBurney, Simon Parsons, Mirko Viroli
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
The Knowledge Engineering Review 26(1), March 2011

Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
Science of Computer Programming 76(1), January 2011

Alessandro Ricci, Andrea Santi
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project
Proc. of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, VMIL'11, SPLASH '11 Workshops, 2011

Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Facing Openness with Socio Cognitive Trust and Categories
Twenty Second International Joint Conference on Artificial Intelligence (IJCAI 2011), 2011

Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
Exploiting the JaCaMo framework for realising an adaptive room governance application
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, VMIL'11, 2011

Tom Geller
Seeing is not enough
Commun. ACM 54(10), 2011

Daniele Archibugi, Mathias Koenig-Archibugi, Raffaele Marchetti
Global Democracy: Normative and Empirical Perspectives

Andrea Omicini
Self-organising Knowledge-intensive Workspaces
Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda, May 2011

Vitaly Shmatikov
Anonymity is not privacy: technical perspective
Commun. ACM 54(12), 2011

YoungMin Kwon, Gul Agha
Verifying the Evolution of Probability Distributions Governed by a DTMC
IEEE Transactions on Software Engineering 37(1), January 2011

Michael Davis
Will software engineering ever be engineering?
Communications of the ACM 54, November 2011

Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a logic framework for Web programming
Intelligenza Artificiale 5(1), 2011

Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents
10th International Joint Conference "Autonomous Agents & Multi-Agent Systems" (AAMAS 2011) , 2-6 May 2011

Kirk L. Kroeker
The Rise of Molecular Machines
Communications of the ACM 54(12), 2011

Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 76(1), May 2011

Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems
Engineering Applications of Artificial Intelligence 24(7), October 2011

Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems 6(2), June 2011

Franco Zambonelli, Mirko Viroli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems
International Journal of Pervasive Computing and Communications 7(3), 2011

Li Gong
Java Security Architecture Revisited
ACM Queue 9(9), 2011

Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Reasoning with Categories for Trusting Strangers: a Cognitive Architecture
Workshop TRUST in AGENTS SOCIETIES, 2011

Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
Self-aware Pervasive Service Ecosystems
Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11), Procedia Computer Science 7, 4-6 May 2011

Ambra Molesini, Enrico Denti, Andrea Omicini
BaSi: Multi-Agent Based Simulation for Medieval Battles
WOA 2011 — XII Workshop Nazionale Dagli Oggetti agli Agenti", CEUR Workshop Proceedings 741, 4-6 July 2011

Franco Zambonelli
Towards Social-ICT Organisms
Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda, May 2011

Aniruddha Dasgupta, Aditya K. Ghose
BDI Agents with Objectives and Preferences
Declarative Agent Languages and Technologies VIII, Lecture Notes in Computer Science 6619, 2011

Poul-Henning Kamp
The software industry is the problem
Commun. ACM 54(11), 2011

Schahram Dustdar, Kamal Bhattacharya
The Social Compute Unit
IEEE Internet Computing 15(3), 2011

Paul Hyman
Dennis Ritchie, 1941-2011
Commun. ACM 54(12), 2011

Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci
Exploiting the Eclipse Ecosystem for Agent-Oriented Programming
Proceedings of the 6th Workshop of the Italian Eclipse Community, 2011

Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
Principles of Elastic Processes
IEEE Internet Computing 15(5), 2011

Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
From Space to Stage: How Interactive Screens Will Change Urban Life
Computer 44(6), June 2011

Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
A Coordination Approach to Adaptive Pervasive Service Ecosystems
2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011), 7 October 2011

H. Van Dyke Parunak, Sven A. Brueckner
Software Engineering for Self-Organizing Systems
12th International Workshop on Agent-Oriented Software Engineering (AOSE 2011), 2 May 2011

Michael A. Cusumano
The legacy of Steve Jobs
Commun. ACM 54(12), 2011

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Calculus of Agents and Artifacts
Communications in Computer and Information Science 50, 2011

Antonio Natali
Model-driven communications and collaborative software development
Proceedings of the 6th Workshop of the Italian Eclipse Community, 2011

Samuel Greengard
Living in a digital world
Commun. ACM 54(10), 2011

Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
The 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011), 3-8 October 2011

Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology
International Journal of Software Engineering and Knowledge Engineering 21(4), June 2011

Elena Nardini, Andrea Omicini, Mirko Viroli
Description Spaces with Fuzziness
26th Annual ACM Symposium on Applied Computing (SAC 2011), 21-25 March 2011

Rishiyur S. Nikhil
Abstraction in hardware system design
Commun. ACM 54(10), 2011

Sarah Cohen, James T. Hamilton, Fred Turner
Computational journalism
Communications of the ACM 54(10), October 2011

[top]

2010

Jacob Beal
A Basis Set of Operators for Space-Time Computations
Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW 2010), 2010

Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
MetaSelf: An Architecture and a Development Method for Dependable Self-* systems
2010 ACM Symposium on Applied Computing (SAC 2010), 2010

Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
A Glimpse of the ASPECS Process documented with the FIPA DPDF Template
MALLOW-2010 -- The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, CEUR Workshop Proceedings 627, 2010

Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
The Description Logic Handbook: Theory, Implementation, and Applications

Ambra Molesini, Andrea Omicini
Documenting SODA: An Evaluation of the Process Documentation Template
WOA 2010 — Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-*, CEUR Workshop Proceedings 621, 5-7 September 2010

Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
Risk Analysis and Deployment Security Issues in a Multi-Agent System
2nd International Conference on Agents and Artificial Intelligence (ICAART 2010), 22-24 January 2010

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
In Proceedings of 11° Workshop nazionale "Dagli Oggetti agli Agenti" (WOA 2010), 2010

Ambra Molesini, Alessandro Garcia, Christina von Flach G. Chavez, Thaís Vasconcelos Batista
Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study
Journal of Systems and Software 83(5), May 2010

Clemens Holzmann, Alois Ferscha
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems
Pervasive and Mobile Computing 6(3), 2010

Silvano Cincotti, Marco Raberto, Andrea Teglio
Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace
Economics: The Open-Access, Open-Assessment E-Journal 4(2010-26), 2010

Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
Applying Process Document Standarization to INGENIAS
MALLOW-2010 -- The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, CEUR Workshop Proceedings 627, 2010

Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini
Process Documentation Standardization: An Initial Evaluation
MALLOW-2010 — The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, CEUR Workshop Proceedings 627, 30 August — 2 September 2010

Sara Montagna, Nicola Donati, Andrea Omicini
An Agent-based Model for the Pattern Formation in Drosophila Melanogaster
Artificial Life XII, 19-23 August 2010

Antonio Natali, Ambra Molesini
Towards Model-driven Communications
World Academy of Science, Engineering and Technology 64, April 2010

Sara Casare, Zahia Guessoum, Anarosa Sichman Brandao
Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition
MALLOW-2010 -- The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, CEUR Workshop Proceedings 627, 2010

Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Self Organization in Coordination Systems using a WordNet-based Ontology
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 27 September - 1 October 2010

Francesco Calzolai, Michele Loreti
Simulation and Analysis of Distributed Systems in Klaim
Coordination Models and Languages, LNCS 6116, 2010

Mirko Viroli, Franco Zambonelli
A Biochemical Approach to Adaptive Service Ecosystems
Information Sciences 180(10), 2010

Mattia Minotti, Andrea Santi, Alessandro Ricci
Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications
In Proceedings of LAnguages, methodologies and Development tools for multi-agent systemS (LADS-2010), 2010

Ambra Molesini, Enrico Denti, Andrea Omicini
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence
Agents and Artificial Intelligence, Communications in Computer and Information Science 67, 2010

Sara Montagna, Andrea Omicini, Alessandro Ricci
A Multiscale Agent-based Model of Morphogenesis in Biological Systems
WOA 2010 — Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* , CEUR Workshop Proceedings 621, 5-7 September 2010

Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
Engineering Self-Coordinating Software Intensive Systems
FSE/SDP Workshop on Future of Software Engineering Research (FoSER '10), 2010

Andrea Santi
From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development
Proceedings of The 12th European Agent Systems Summer School (EASSS 2010), 2010

Antonio Natali, Ambra Molesini
Using Domain Specific Languages for platform-based software development: The case of Android
The 5th Workshop of the Italian Eclipse Community (Eclipse-IT 2010), 30 September - 1 October 2010

Stuart J. Russell, Peter Norvig
Artificial Intelligence: A Modern Approach

Andrea Santi, Guidi Marco, Alessandro Ricci
JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications
In Proceedings of LAnguages, methodologies and Development tools for multi-agent systemS (LADS-2010), 2010

Juan C. Garcia-Ojeda, Scott DeLoach
The O-MaSE Process: a Standard View
MALLOW-2010 -- The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, CEUR Workshop Proceedings 627, 2010

Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces
International Journal of Ambient Computing and Intelligence 2(1), January-March 2010

Andrea Santi, Guidi Marco, Alessandro Ricci
Exploiting Agent-Oriented Programming for Developing Android Applications
Proceedings of 11° Workshop nazionale "Dagli Oggetti agli Agenti" (WOA 2010), 2010

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Logic-based decision support for strategic environmental assessment
Theory and Practice of Logic Programming 10(4-6), July 2010

Alessandro Ricci, Enrico Denti, Michele Piunti
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems
Multiagent and Grid Systems 6(2), June 2010

Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo
Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy
Applications of Mathematics in Models, Artificial Neural Networks and Arts, 2010

Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments
MALLOW-2010 – The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, 30 August – 2 September 2010

Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
Interacting with Virtual Plants: a Client-Server Approach
Proceedings of the 6th International Workshop on Functional-Structural Plant Models, September 2010

Savas Konur, Clare Dixon, Michael Fisher
Formal Verification of Probabilistic Swarm Behaviours
Swarm Intelligence, LNCS 6234, 2010

Elena Nardini, Mirko Viroli, Emanuele Panzavolta
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
25th Annual ACM Symposium on Applied Computing (SAC 2010), 22-26 March 2010

Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
Building an Agent Methodology from Fragments: the MEnSA experience
25th Annual ACM Symposium on Applied Computing (SAC 2010), March 2010

Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
Exploring the Boundaries: When Method Fragmentation is not Convenient
MALLOW-2010 – The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, CEUR Workshop Proceedings 627, 2010

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
In Proceedings of 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN 2010), 2010

Rino Falcone, Cristiano Castelfranchi
Transitivity in Trust. A Discussed Property
WOA, 2010

Charles M. Macal, Michael J. North
Tutorial on Agent-based Modelling and Simulation
Journal of Simulation 4(3), September 2010

Giuliano Vitali, Eugenio Magnanini, Enrico Denti
Simulate plants: a client-server graphic approach
Proceedings of AGRO 2010 - the XI ESA Congress, Montpellier, France, September 2010

Ambra Molesini, Enrico Denti, Andrea Omicini
Agent-based Conference Management: A Case Study in SODA
International Journal of Agent-Oriented Software Engineering 4(1), 2010

Sara Montagna, Mirko Viroli
A Framework for Modelling and Simulating Networks of Cells
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10) Volume 268, 21 December 2010

Sergio Esparcia, Estefania Argente, Vicent Botti
Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template
MALLOW-2010 -- The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, CEUR Workshop Proceedings 627, 2010

Mirko Viroli, Matteo Casadei
Chemical-Inspired Self-Composition of Competing Services
25th Annual ACM Symposium on Applied Computing (SAC 2010), 22-26 March 2010

Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How?
A 25-Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP, LNAI: State-of-the-Art Survey 6125, August 2010

Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient
Journal of Integrative Bioinformatics 7(1), 2010

Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling
International Journal of Agent-Oriented Software Engineering 4(2), 2010

Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Programming Open Systems with Agents, Environments and Organizations
11th Workshop Dagli Oggetti agli Agenti (WOA 2010), 2010

Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Argumentation and Artifacts for Negotiation Support
International Journal of Artificial Intelligence 4(S10), Spring 2010

Mattia Minotti, Andrea Santi, Alessandro Ricci
Developing Web Client Applications with JaCa-Web
In Proceedings of 11° Workshop nazionale "Dagli Oggetti agli Agenti" (WOA 2010), 2010

Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments
Programming Multi-Agent Systems, LNAI 5919, 2010

Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
Self-Organizing Architectures, Lecture Notes in Computer Science 6090, July 2010

Bo Sun Conghua Zhou, Liu Zhifeng
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
Lecture Notes in Computer Science 6319, 2010

Alessandro Ricci, Andrea Santi, Michele Piunti
Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments
Proceedings of the Int. Workshop on Programming Multi-Agent Systems (ProMAS'10), 2010

Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
WOA 2010 — Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* , CEUR Workshop Proceedings 621, 5-7 September 2010

[top]

2009

Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Electronic Notes in Theoretical Computer Science 229(1), 2009

Philipp Offermann, Udo Bub
Empirical comparison of methods for information systems development according to SOA
17th European Conference on Information Systems (ECIS 2009), 8-10 June 2009

Marco Mamei, Franco Zambonelli
Programming Pervasive and Mobile Computing Applications: The TOTA Approach
ACM Transactions on Software Engineering Methodologies 18(4), July 2009

Ambra Molesini, Andrea Omicini, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies
Multiagent and Grid Systems 5(1), 2009

Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
Modelling Periodic Data Dissemination in Wireless Sensor Networks
Computer Modeling and Simulation, 2009. EMS '09. Third UKSim European Symposium on, nov 2009

Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009

Bryan O'Sullivan
Making Sense of Revision-control Systems
Communications of the ACM 52(9), September 2009

Enrico Oliva
Interactive Graphical Maps for Infocenter via Model to Model Transformation
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies, September 2009

Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia
A Formal Definition of Colture

Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
Using Jason, MOISE, and CArtAgO to develop a team of cowboys
Proceedings of 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2009), Agent Contest., 2009

Alessandro Ricci, Michele Piunti
Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments
Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009), Lecture Notes in Computer Science 5774, 2009

Tom De Marco
Software Engineering: An Idea Whose Time Has Come and Gone?
IEEE Software 26(4), July/August 2009

Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09) - Revised and Extended version , Lecture Notes in Artificial Intelligence 5919, 2009

Weider D. Yu, Chia H. Ong
A SOA Based Software Engineering Design Approach in Service Engineering
2009 IEEE International Conference on e-Business Engineering (ICEBE '09), 2009

Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
A MAS Metamodel-Driven Approach to Process Fragments Selection
Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers, Lecture Notes in Computer Science 5386, 2009

Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09), 2009

Antonio Natali, Ambra Molesini
Costruire sistemi software: dai modelli al codice

Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a Logic Language and Framework for Web Programming
Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, CEUR Workshop Proceedings 487, August 2009

Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria Seidita
Special Track on: Agent-Oriented Software Engineering Methodologies and Systems
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009

Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders
Agent-based Modelling of Stem Cells
Multi-Agent Systems: Simulation and Applications, Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009

Michele Piunti, Andrea Santi, Alessandro Ricci
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments
In Proceedings of Agents, Web Services and Ontologies, Integrated Methodologies (AWESOME-09), 2009

Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: a Formal Model
Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers, Lecture Notes Computer Science 5919, 2009

Sara Montagna, Mirko Viroli
A computational framework for modelling multicellular biochemistry
2009 IEEE Congress on Evolutionary Computation (CEC 2009), 18-21 May 2009

Carlos Castro Gonzalez, Miguel Angel Luengo-Oroz, Sophie Desnoulez, Louise Duloquin, Laura Fernández-de-Manuel, Sara Montagna, Maria J. Ledesma-Carbayo, Paul Bourgine, Nadine Peyrieras, Andres Santos
An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis
31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2009), 2-6 September 2009

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009, 2009

Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009

Luca Cernuzzi, Franco Zambonelli
Gaia4E: A Tool Supporting the Design of MAS using Gaia
ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume SAIC, Milan, Italy, May 6-10, 2009, 2009

Martin Murth, Eva Kuhn
Knowledge-based coordination with a reliable semantic subscription mechanism
SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing, 2009

Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
A Goal-Oriented Approach for Modelling Self-organising MAS
Engineering Societies in the Agents World X, 2009

Michele Piunti, Alessandro Ricci, Andrea Santi
SOA/WS Applications using Cognitive Agents working in CArtAgO Environments
Proceedings of 10th Joint Conference AI*IA TABOO From Objects to Agents (WOA 2009), 2009

Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
Agents, Intelligence, and Tools
Artificial Intelligence: An International Perspective, Lecture Notes in Computer Science 5640, 2009

Ambra Molesini, Enrico Denti, Andrea Omicini
An Agent-based Application for Home Intelligence
International Conference on Agents and Artificial Intelligence (ICAART 2009), 19-21 January 2009

Sara Montagna, Andrea Roli
Parameter tuning of a stochastic biological simulator by metaheuristics
AI*IA 2009: Emergent Perspectives in Artificial Intelligence -- XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings, Lecture Notes in Computer Science 5883, 2009

Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers, Lecture Notes in Computer Science 5386, 2009

Elena Nardini, Andrea Omicini, Mirko Viroli
General-Purpose Coordination Abstractions for Managing Interaction in MAS
The WI-IAT 2009 Workshops Proceedings, 15-18 September 2009

Matteo Casadei, Mirko Viroli, Luca Gardelli
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009

Mirko Viroli, Matteo Casadei, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009

Pierluigi Contucci, Francesca Romiti
Mathematics for Economics: A Statistical Mechanics Perspective
ERCIM News 78, July 2009

Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Embodied Organisations in MAS Environments
Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009), Lecture Notes in Computer Science 5774, 2009

Marc Mézard, Andrea Montanari
Information, Physics, and Computation
Information, Physics, and Computation, January 2009

Alessandro Ricci, Michele Piunti, Mirko Viroli
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009), September 2009

Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications
5th International Conference on Web Information Systems and Technologies (WEBIST 2009), 23-26 March 2009

Matteo Casadei, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009

Giulio Piancastelli, Enrico Denti
Designing a Development Environment for Logic and Multi-Paradigm Programming
Eclipse-IT 2008 – 3rd Italian Workshop on Eclipse Technologies, CEUR Workshop Proceedings 436, August 2009

Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Manipulation implicite d'une organisation multiagent via l'environnement
Proceedings of Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2009), 2009

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
A Process Model of Actin Polymerisation
Electronic Notes in Theoretical Computer Science 229(1), 2009

Bernhard Angerer, Branko Katalinic, Andrea Omicini
A Semantic eScience Portal for International Scientific and Academic Cooperation
Annals of DAAAM for 2009 & Proceedings of the 20th International DAAAM Symposium "Intelligent Manufacturing & Automation: Focus on Theory, Practice and Education", Annals of DAAAM and Proceedings of DAAAM International Symposium, 25-28 November 2009

Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialog Support
Argumentation in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 5384, February 2009

Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Environment Programming in CArtAgO
Multi-Agent Programming II: Languages, Platforms and Applications, Multiagent Systems, Artificial Societies, and Simulated Organizations, June 2009

Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing, Lecture Notes in Computer Science 5474, 2009

Mirko Viroli, Matteo Casadei
Biochemical Tuple Spaces for Self-Organising Coordination
Coordination Languages and Models, Lecture Notes in Computer Science 5521, June 2009

Richard O'Keefe
The Craft of Prolog

Michele Piunti, Alessandro Ricci
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments
Knowledge Representation for Agents and Multi-Agent Systems, Lecture Notes in Artificial Intelligence 5605, 2009

Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
Declarative Specification and Verification of Service Choreographies
ACM Transactions on the Web, 2009

Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009

Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia
Proceedings of the Ninth International Conference on Quality Software (QSIC 2009), 24-25 August 2009

Ambra Molesini, Enrico Denti, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE
Engineering Societies in the Agents World IX, Lecture Notes in Computer Science 5485, June 2009

Luca Gardelli, Mirko Viroli, Andrea Omicini
Combining Simulation and Formal Tools for Developing Self-Organizing MAS
Multi-Agent Systems: Simulation and Applications, Computational Analysis, Synthesis, and Design of Dynamic Systems, June 2009

Matteo Casadei, Andrea Omicini
Situated Tuple Centres in ReSpecT
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009

[top]

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]

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]

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]

2005

Mirko Viroli, Andrea Omicini
Process-Algebraic Approaches for Multi-Agent Systems: An Overview
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005

Simon Dobson, Paddy Nixon
More Principled Design of Pervasive Computing Systems
Engineering Human Computer Interaction and Interactive Systems, LNCS 3425, 2005

Mirko Viroli, Alessandro Ricci
Agent Interaction Semantics by Timed Operating Instructions
Agent Communication, Lecture Notes in Artificial Intelligence 3396, January 2005

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
3rd International Workshop “Programming Multi-Agent Systems” (PROMAS 2005), 26 July 2005

Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN
3rd International Workshop "Engineering Self-Organising Applications" (ESOA 2005), 26 July 2005

Mirko Viroli, Alessandro Ricci, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
4th International Joint Conference "Autonomous Agents & Multi-Agent Systems" (AAMAS 2005), 25-29 July 2005

Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi" (WOA 2005), 14-16 November 2005

Luciano Serafini, Andrei Tamilin
Distributed Instance Retrieval in Heterogeneous Ontologies
SWAP 2005, CEUR Workshop 166, 2005

Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
An Agent-Oriented Conceptual Framework for Systems Biology
Transactions on Computational Systems Biology III, Lecture Notes in Computer Science 3737, December 2005

Andrea Omicini, Peter McBurney
The AgentLink III Technical Forums: Introduction to the Special Issue
The Knowledge Engineering Review 20(2), June 2005

Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
Preface
Transactions on Computational Systems Biology III, Lecture Notes in Computer Science 3737, December 2005

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Quantitative Information in the Tuple Space Coordination Model
Theoretical Computer Science 346(1), 23 November 2005

Brian Henderson-Sellers
Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies
Multi-Agent Systems and Applications IV, Lecture Notes in Computer Science 3690, 15-17 september 2005

Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
Programming Multi-Agent Systems in 3APL
Multi-Agent Programming, Multiagent Systems, Artificial Societies, and Simulated Organizations 15, 2005

Ambra Molesini, Enrico Denti, Andrea Omicini
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
Multi-Agent Systems and Applications IV, Lecture Notes in Computer Science 3690, 2005

Francisco Martín-Recuerda
Towards CSpaces: A New Perspective for the Semantic Web
Industrial Applications of Semantic Web, 2005

Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
AI*IA 2005: Advances in Artificial Intelligence, Lecture Notes in Computer Science 3673, 21-23 September 2005

Danny Weyns, Michael Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Environments in Multiagent Systems
The Knowledge Engineering Review 20(2), June 2005

Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum
AgentLink Newsletter 17, April 2005

Luca Cernuzzi, Franco Zambonelli
Developing MAS Solutions with Gaia and AUML
XXXI Conferencia Latinoamericana en Informática (CLEI 2005), 10-14 October 2005

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

Enrico Denti, Andrea Omicini, Alessandro Ricci
Multi-paradigm Java-Prolog Integration in tuProlog
Science of Computer Programming 57(2), August 2005

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Time-Aware Coordination in ReSpecT
Coordination Models and Languages, Lecture Notes in Computer Science 3454, April 2005

Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
Preface
Engineering Societies in the Agents World V, Lecture Notes in Computer Science 3451, June 2005

Mirko Viroli, Giovanni Rimassa
On Access Restriction with Java Wildcards
Journal of Object Technology 4(10), 2005

João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
Preface
Declarative Agent Languages and Technologies II, Lecture Notes in Computer Science 3476, June 2005

Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
Crowd Modeling and Simulation: Towards 3D Visualization
Recent Advances in Design and Decision Support Systems in Architecture and Urban Planning, 2005

M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Verifying Multi-agent Systems via Unbounded Model Checking
Lecture Notes in Computer Science 3228, 2005

Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
A Trust Analysis Methodology for Pervasive Computing Systems
Trusting Agents for Trusting Electronic Societies, LNCS 3577, 2005

Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
3rd European Workshop on Multi-Agent Systems (EUMAS 2005), 7-8 December 2005

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
Electronic Notes in Theoretical Computer Science 128(5), 2005

Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
Environments for Multi-Agent Systems, Lecture Notes in Artificial Intelligence 3374, February 2005

Andrea Omicini, Alessandro Ricci, Mirko Viroli
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Electronic Notes in Theoretical Computer Science 128(5), 3 May 2005

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Linda-based Coordination Languages
3rd International Conference on Formal Methods for Components and Objects (FMCO'04), LNCS 3657, 2005

Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright
Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts
2nd Workshop on Challenges in the Coordination of Large-Scale Multi-Agent Systems (LSMAS'05), 25 July 2005

Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005

Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research
Informatica 29(4), November 2005

Rossella Rubino, Andrea Omicini, Enrico Denti
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
1st International Workshop "Agents, Norms and Institutions for Regulated Multi-Agent Systems" (ANI@REM 2005), 25 July 2005

Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Self-Organization in Multi-Agent Systems
The Knowledge Engineering Review 20(2), June 2005

Marco Mamei, Franco Zambonelli
Programming Stigmergic Coordination with the TOTA Middleware
4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Zooming Multi-Agent Systems
6th International Workshop "Agent-Oriented Software Engineering" (AOSE 2005), 25-26 July 2005

Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
SODA: A Roadmap to Artefacts
6th International Workshop “Engineering Societies in the Agents World” (ESAW'05), 26-28 October 2005

Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal
Multi-Agent Systems and Applications IV, Lecture Notes in Computer Science 3690, 2005

Massimo Cossentino, Valeria Seidita
Composition of a New Process to Meet Agile Needs Using Method Engineering
Software Engineering for Multi-Agent Systems III, Research, Lecture Notes in Computer Science 3390, 2005

John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware
2nd IEEE Symposium on Multi-Agent Security and Survivability (MASS 2005), 30-31 August 2005

Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering MAS Environment with Artifacts
2nd International Workshop "Environments for Multi-Agent Systems" (E4MAS 2005), 26 July 2005

Alexander B. Wood, Thomas E. Horton, Robert St. Amant
Effective Tool Use in a Habile Agent
2005 IEEE Systems and Information Engineering Design Symposium (SEADS 2005), 29 April 2005

Mehdi Dastani, Farhad Arbab, Frank S. de Boer
Coordination and Composition in Multi-agent Systems
4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 25-29 July 2005

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Environment-Based Coordination Through Coordination Artifacts
Environments for Multi-Agent Systems, Lecture Notes in Artificial Intelligence 3374, February 2005

Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Process Models for Agent-based Development
Engineering Applications of Artificial Intelligence 18(2), march 2005

[top]

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]

2003

Peter Wegner, Dina Goldin
Computation Beyond Turing Machines
Communications of the ACM 46(4), April 2003

Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engeneering Methodologies 12(3), July 2003

Martin Fredriksson, Rune Gustavsson, Andrea Omicini, Alessandro Ricci
First International Workshop on Theory and Practice of Open Computational Systems
IEEE 12th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2003), 9-11 June 2003

Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
From SHIQ and RDF to OWL: The Making of a Web Ontology Language
Web Semantics: Science, Services and Agents on the World Wide Web 1(1), December 2003

Stuart A. Kauffman
Investigations

Marco Mamei, Franco Zambonelli, Letizia Leonardi
Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems
Engineering Societies in the Agents World III, Lecture Notes in Computer Science 2577, 2003

Andrea Omicini, Alessandro Ricci, Sascha Ossowski
Rethinking MAS Infrastructure based on Activity Theory
1st European Workshop on Multi-Agent Systems (EUMAS 2003), 18-19 December 2003

Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso
Learning the Sequential Coordinated Behavior of Teams from Observations
RoboCup 2002: Robot Soccer World Cup VI, LNCS 2752, 2003

Brian Henderson-Sellers
Method engineering for OO systems development
Communication of the ACM 46(10), October 2003

Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
How has the 9/11 terrorist attack influenced decision making?
Applied Cognitive Psychology 17(9), 2003

Mary Poppendieck, Tom Poppendieck
Lean Software Development: An Agile Toolkit

Lei Li, Ian Horrocks
A software framework for matchmaking based on semantic web technology
WWW '03: Proceedings of the 12th international conference on World Wide Web, 2003

Alessandro Ricci, Andrea Omicini, Enrico Denti
Activity Theory as a Framework for MAS Coordination
Engineering Societies in the Agents World III, Lecture Notes in Computer Science 2577, April 2003

Simon Miles, Mike Joy, Michael Luck
Towards a Methodology for Coordination Mechanism Selection in Open Systems
Engineering Societies in the Agents World IIII, Lecture Notes in Computer Science 2577, 2003

Andrea Omicini, Alessandro Ricci
Reasoning about Organisation: Shaping the Infrastructure
AI*IA Notizie XVI(2), June 2003

Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva'' (WOA 2003), 10-11 September 2003

Mirko Viroli, Andrea Omicini
Coordination as a Service: Ontological and Formal Foundation
Electronic Notes in Theoretical Computer Science 68(3), March 2003

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Electronic Notes in Theoretical Computer Science 85(3), August 2003

Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
Model Checking AgentSpeak
2nd International Joint Conference on Autonomous Agents and Multi-Agents Systems (AAMAS 2003), 11-14 July 2003

Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. Castro
Preface
Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications, Lecture Notes in Computer Science 2603, 2003

Andrea Omicini, Sascha Ossowski
Objective versus Subjective Coordination in the Engineering of Agent Systems
Intelligent Information Agents: An AgentLink Perspective, Lecture Notes in Computer Science 2586, 2003

Enrico Denti, Andrea Omicini, Alessandro Ricci
Task-Oriented Engineering of Coordinated Software Systems
Concurrent Engineering — The Vision for the Future Generation in Research and Applications, 2003

Ronaldo Menezes, Robert Tolksdorf
Adaptiveness in Linda-Based Coordination Models
Engineering Self-Organising Systems. Nature-Inspired Approaches to Software Engineering, 2003

Andrea Omicini, Sascha Ossowski
Editorial Message: Special Track on Coordination models, Languages and Applications
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC 2003), 9-12 March 2003

Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
Preface
Cooperative Information Agents VII. 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003. Proceedings, Lecture Notes in Computer Science 2782, August 2003

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative Relations and Approximate Process Equivalences
CONCUR 2003, Lecture Notes in Computer Science 2761, 2003

James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
Modeling Agents and their Environment
Agent-Oriented Software Engineering III, LNCS 2585, 2003

Jean-Philippe Bouchaud, Marc Potters
Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management
Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management, December 2003

Päivi Ovaska, Matti Rossi, Pentti Marttiin
Architecture as a Coordination Tool in Multi-site Software Development
Software Process: Improvement and Practice 8(4), October/December 2003

Jeffrey O. Kephart, David M. Chess
The Vision of Autonomic Computing
IEEE Computer 36(1), January 2003

Franco Zambonelli, H. Van Dyke Parunak
Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis
The Knowledge Engineering Review 18(4), December 2003

Alessandro Ricci, Andrea Omicini
Supporting Coordination in Open Computational Systems with TuCSoN
IEEE 12th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2003), 9-11 June 2003

Franco Zambonelli, H. Van Dyke Parunak
Signs of a Revolution in Computer Science and Software Engineering
Engineering Societies in the Agents World III, Lecture Notes in Computer Science 2577, April 2003

Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja
MavHome: An Agent-based Smart Home
1st IEEE International Conference on Pervasive Computing and Communications (PerCom '03), March 2003

[top]

2002

Mirko Viroli, Andrea Omicini
Specifying Agent Observable Behaviour
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), 15-19 July 2002

Mirko Viroli, Alessandro Ricci
Tuple-based Coordination Models in Event-based Scenarios
22nd International Conference on Distributed Computing Systems, 2002

Marcello Donatelli, Marco Acutis, Francesco Danuso, Fabrizio Mazzetto, Piero Nasuelli, Andrea Omicini, Marisanna Speroni, Marco Trevisan, Vitaliano Tugnoli
Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project
VII Congress of the European Society of Agronomy (ESA 2002), 15-18 July 2002

Alessandro Ricci, Andrea Omicini, Enrico Denti
Engineering Agent Societies: A Case Study in Smart Environments
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), 15-19 July 2002

Alessandro Ricci, Andrea Omicini, Enrico Denti
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study
Coordination Models and Languages, Lecture Notes in Computer Science 2315, 2002

Sascha Ossowski, Andrea Omicini
Coordination Knowledge Engineering
The Knowledge Engineering Review 17(4), December 2002

Eric Bonabeau
Agent-Based Modeling: Methods and Techniques for Simulating Human Systems
Proceedings of the National Academy of Sciences of the United States of America, May 2002

Andrea Omicini
Towards a Notion of Agent Coordination Context
Process Coordination and Ubiquitous Computing, October 2002

Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
A Survey of Coordination Middleware for XML-centric Applications
The Knowledge Engineering Review 17(4), December 2002

Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
A Framework for Systemic Coordination in Open Computational Systems
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: dall'informazione alla conoscenza" (WOA 2002), 18-19 November 2002

Ajay Kulkarni
Design Principles of a Reactive Behavioral System for the Intelligent Room
Bitstream: The MIT Journal of EECS Student Research, 2002

Mirko Viroli, Andrea Omicini
Towards an Alternative Semantics for FIPA ACL
Cybernetics and Systems 2002, 2-5 April 2002

Anna Perini, Angelo Susi, Fausto Giunchiglia
Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology
Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE '02), 2002

Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework
Coordination Models and Languages, Lecture Notes in Computer Science 2315, 2002

Paolo Bresciani, Paolo Giorgini
The TROPOS Analysis Process as Graph Transformation System
Proceedings of the OOPSLA 2002 Workshop on Agent-Oriented Methodologies (AOM 2002), 4 March 2002

Roy Thomas Fielding, Richard N. Taylor
Principled Design of the Modern Web Architecture
ACM Transactions on Internet Technology 2(2), May-June 2002

Alessandro Ricci, Andrea Omicini, Mirko Viroli
Extending ReSpecT for Multiple Coordination Flows
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), 24-27 July 2002

Mirko Viroli, Andrea Omicini
On the Grey-Box Modelling Approach for Autonomous Agents
8th AIxIA Convention (AIxIA 2002), Workshop "Agenti per la rappresentazione della conoscenza e il ragionamento", 11 September 2002

Mirko Viroli, Andrea Omicini
An Observation Approach to Semantics of Agents Communication Languages
Applied Artificial Intelligence: An International Journal 16(9-10), October-December 2002

José Desharnais, Abbas Edalat, Prakash Panangaden
Bisimulation for Labelled Markov Processes
Information and Computation 179(2), 2002

Karl Raimund Popper
The Logic of Scientific Discovery
The Logic of Scientific Discovery, 2002

Enrico Denti, Andrea Omicini, Alessandro Ricci
Coordination Tools for MAS Development and Deployment
Applied Artificial Intelligence: An International Journal 16(9-10), October-December 2002

Andrea Omicini, Sascha Ossowski
Editorial Message: Special Track on Coordination Models, Languages and Applications
Proceedings 2002 ACM Symposium on Applied Computing (SAC 2002), 11-14 March 2002

Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Linear Embedding for a Quantitative Comparison of Language Expressiveness
Electronic Notes in Theoretical Computer Science 59(3), 2002

Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
Computational challenges in cell simulation: a software engineering approach
IEEE Intelligent Systems 17(5), 2002

Mirko Viroli, Andrea Omicini, Alessandro Ricci
Modelling Agents as Observable Sources
Journal of Universal Computer Science 8(4), April 2002

Holger Knublauch, Holger Koeth, Thomas Rose
Agile development of a clinical multi-agent system: An Extreme Programming case study
3rd International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP2002), May 2002

Edsger Wybe Dijkstra
Co-operating Sequential Processes
The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls, 2002

Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Have ReSpecT for LogOp
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: dall'informazione alla conoscenza" (WOA 2002), 18-19 November 2002

Brian Henderson-Sellers
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF)
Annals of Software Engineering 14(1-4), 2002

Mirko Viroli, Andrea Omicini, Alessandro Ricci
On the Expressiveness of Event-Based Coordination Media
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), 24-27 July 2002

Hidde De Jong
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
Journal of Computational Biology 9(1), 2002

Alessandro Ricci, Andrea Omicini
Agent Coordination Contexts: Experiments in TuCSoN
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: dall'informazione alla conoscenza'' (WOA 2002), 18-19 November 2002

Alex Borgida, Luciano Serafini
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
On The Move to Meaningful Internet Systems 2002: CoopIS, Doa, and ODBase, LNCS 2519, 2002

J.A. Scott Kelso
The Complementary Nature of Coordination Dynamics: Self-organization and Agency
Nonlinear Phenomena in Complex Systems 5(4), 2002

Holger Knublauch
Extreme Programming of Multi-Agent Systems
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '02), 2002

Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
Software Engineering for Large-scale Multi-Agent Systems: SELMAS'2002
24th International Conference on Software Engineering (ICSE'02), 19-25 May 2002

James J. Odell
Objects and Agents Compared
Journal of Object Technology 1(1), May-June 2002

Enrico Denti, Andrea Omicini, Alessandro Ricci
Coordination Tools for the Development of Agent-based Systems
Cybernetics and Systems 2002, 2-5 April 2002

Mirko Viroli, Andrea Omicini
A Specification Language for Agents Observable Behaviour
International Conference on Artificial Intelligence (IC-AI'02), 24-27 July 2002

H. van Dyke Parunak, Sven Brueckner, John Sauter
Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles
1st International Joint Conference on Autonomous Agents and Multiagent systems, 15-19 July 2002

Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
Model Checking Multi-Agent Systems with MABLE
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), 15-19 July 2002

Alessandro Ricci, Andrea Omicini, Enrico Denti
Virtual Enterprises and Workflow Management as Agent Coordination Issues
International Journal of Cooperative Information Systems 11(3/4), September-December 2002

Michael J. Wooldridge
An Introduction to MultiAgent Systems
An Introduction to MultiAgent Systems, March 2002

[top]

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]

2000

Andrea Omicini
From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: tendenze evolutive dei sistemi software" (WOA 2000), 29-30 May 2000

Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Jr. Knight, Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Amorphous Computing
Communications of the ACM 43(5), may 2000

Michael A. Gibson, Jehoushua Bruck
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels
The Journal of Physical Chemistry A 104(9), March 2000

Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Multiagent System Engineering: The Coordination Viewpoint
Intelligent Agents VI. Agent Theories, Architectures, and Languages, Lecture Notes in Artificial Intelligence 1757, 2000

Kjeld Schmidt, Carla Simone
Mind the Gap! Towards a unified view of CSCW
Designing Cooperative Systems: The Use of Theories and Models, Frontiers in Artificial Intelligence and Applications 58, 23-26 May 2000

Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
EasyLiving: Technologies for Intelligent Environments
Handheld and Ubiquitous Computing, Lecture Notes in Computer Science 1927, 2000

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
On the Expressiveness of Linda Coordination Primitives
Information and Computation 156(1-2), January 2000

Mirko Viroli, Antonio Natali
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature
ACM SIGPLAN Notices 35(10), 2000

Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
MARS: A Programmable Coordination Architecture for Mobile Agents
IEEE Internet Computing 4(4), July/August 2000

Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
Preface
Engineering Societies in the Agents World, Lecture Notes in Computer Science 1972, December 2000

Nicholas R. Jennings
On Agent-Based Software Engineering
Artificial Intelligence 117(2), March 2000

Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
Coordination Languages and Models, Lecture Notes in Computer Science 1906, 2000

Dina Q. Goldin
Persistent Turing Machines as a Model of Interactive Computation
1st International Symposium on Foundations of Information and Knowledge Systems (FoIKS '00), 2000

Enrico Denti, Andrea Omicini
A Coordination Infrastructure for Agent-based Internet Applications
IEEE 9th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET~ICE 2000), 14-16 June 2000

Andrea Omicini, Enrico Denti
Formal ReSpecT
Proceedings of the GULP-PRODE Joint Conference on Declarative Programming AGP'00 - La Habana, Cuba, December 4-7, 2000, 2000

Andrea Omicini
Hybrid Coordination Models for Handling Information Exchange among Internet Agents
Workshop “Agenti intelligenti e Internet: teorie, strumenti e applicazioni”, 13 September 2000

Andrea Omicini, George A. Papadopoulos
Special Track on Coordination Models, Languages and Applications
Proceedings 2000 ACM Symposium on Applied Computing (SAC 2000), 19-21 March 2000

Enrico Denti, Andrea Omicini, Vladimiro Toschi
The LuCe Coordination Technology for MAS Design and Development on the Internet
Coordination Languages and Models, Lecture Notes in Computer Science 1906, 2000

Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Process Migration
ACM Computing Surveys 32(3), September 2000

Alistair Cockburn
Selecting a Project's Methodology
IEEE Software 17(4), 2000

Andrea Omicini
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems
1st International Workshop on Agent-Oriented Software Engineering, 10 June 2000

Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems 3(3), 2000

Marco Cremonini, Andrea Omicini, Franco Zambonelli
Ruling Agent Motion in Structured Environments
High Performance Computing and Networking, Lecture Notes in Computer Science 1823, 2000

Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Context-Dependency in Internet-Agent Coordination
Engineering Societies in the Agents World, Lecture Notes in Computer Science 1972, January 2000

Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Jr. Knight, Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Amorphous Computing
Communications of the ACM 43(5), May 2000

[top]

1999

Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Adopting an Object-Oriented Data Model in Inductive Logic Programming
12th International Florida AI Research Society Conference (FLAIRS'99), 1-5 May 1999

Andrea Omicini, Franco Zambonelli
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems 2(3), September 1999

Enrico Denti, Andrea Omicini
Designing Multi-Agent Systems around an Extensible Communication Abstraction
Formal Models of Agents, Lecture Notes in Artificial Intelligence 1760, 1999

Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
Comparing Coordination Models based on Shared Distributed Replicated Data
1999 ACM symposium on Applied Computing (SAC '99), 1999

Marco Cremonini, Andrea Omicini, Franco Zambonelli
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology
Multi-Agent Systems Engineering, Lecture Notes in Artificial Intelligence 1647, 1999

Antonio Brogi, Jean-Marie Jacquet
On the Expressiveness of Coordination Models
Coordination Languages and Models, Lecture Notes in Computer Science 1594, 1999

Andrea Omicini, Franco Zambonelli
Tuple Centres for the Coordination of Internet Agents
1999 ACM Symposium on Applied Computing (SAC'99), 28 February - 2 March 1999

Enrico Denti, Andrea Omicini, Vladimiro Toschi
Coordination Technology for the Development of Multi-Agent Systems on the Web
6th AIIA Congress of the Italian Association for Artificial Intelligence (AIIA'99), 14-17 September 1999

Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
A Methodology for Agent-Oriented Analysis and Design
3rd Annual Conference on Autonomous Agents (AGENTS'99), 1999

Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications
Coordination Languages and Models, Lecture Notes in Computer Science 1594, April 1999

Marco Cremonini, Andrea Omicini, Franco Zambonelli
Building Mobile Agent Applications in HiMAT
IEEE 1999 International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'99), 17-18 May 1999

Eric Freeman, Susanne Hupfer, Ken Arnold
Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices
Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices, The Jini Technology Series, June 1999

Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. Zhang
The UMASS Intelligent Home Project
AGENTS '99: Proceedings of the third annual conference on Autonomous Agents, 1999

Enrico Denti, Andrea Omicini
An Architecture for Tuple-based Coordination of Multi-Agent Systems
Software — Practice & Experience 29(12), October 1999

Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
Meta-Modelling Based Assembly Techniques for Situational Method Engineering
Inf. Syst. 24(3), 1999

Enrico Denti, Andrea Omicini
Engineering Multi-Agent Systems in LuCe
ICLP'99 International Workshop on Multi-Agent Systems in Logic Programming (MAS'99), 30 November 1999

Marco Cremonini, Andrea Omicini, Franco Zambonelli
The HiMAT Model for Mobile Agent Applications
18th ACM Symposium on Principles of Distributed Computing (PODC'99), 4-6 May 1999

Guy Theraulaz, Eric Bonabeau
A Brief History of Stigmergy
Artificial Life 5(2), Spring 1999

David Kirsh
Distributed Cognition, Coordination and Environment Design
3rd European Conference on Cognitive Science (ECCS'99), 1999

Marco Cremonini, Andrea Omicini, Franco Zambonelli
The Explorable Topology: Supporting Agent Autonomy on the Internet
4th Workshop “Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi'” (WSDAAL'99), 13-15 September 1999

Eric Bonabeau
Editor's Introduction: Stigmergy
Artificial Life 5(2), Spring 1999

Andrea Omicini
On the Semantics of Tuple-based Coordination Models
1999 ACM Symposium on Applied Computing (SAC'99), 28 February - 2 March 1999

Rune Gustavsson
Agents with Power
Communications of the ACM 42(3), March 1999

Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
Hierarchical simulation approach to accurate fault modeling for system dependability evaluation
IEEE Transactions on Software Engineering 25(5), sept/oct 1999

Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination Models for Multi-Agent Systems
AgentLink News, July 1999

Marco Cremonini, Andrea Omicini, Franco Zambonelli
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework
1999 ACM Symposium on Applied Computing (SAC'99), 28 February - 2 March 1999

Peter Wegner, Dina Goldin
Coinductive Models of Finite Computing Agents
Electronic Notes in Theoretical Computer Science 19(0), 1999

Eric Bonabeau, Marco Dorigo, Guy Theraulaz
Swarm Intelligence: From Natural to Artificial Systems
Swarm Intelligence: from Natural to Artificial Systems, 1999

Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Coordination Technologies for Internet Agents
Nordic Journal of Computing 6, Fall 1999

[top]

1998

Andrea Omicini, Franco Zambonelli
TuCSoN: a Coordination model for Mobile Information Agents
1st International Workshop on Innovative Internet Information Systems (IIIS'98), 8-9 June 1998

Andrea Omicini, Franco Zambonelli
Co-ordination of Mobile Information Agents in TuCSoN
Internet Research 8(5), December 1998

Umberto Straccia
A Fuzzy Description Logic
15th National Conference on Artificial Intelligence (AAAI-98), 1998

Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Understanding Code Mobility
IEEE Transactions on Software Engineering 24(5), May 1998

Anand S. Rao, Michael P. Georgeff
Decision procedures for BDI logics
Journal of Logic and Computation 8(3), June 1998

Colette Rolland
A Comprehensive View of Process Engineering
Advanced Information Systems Engineering, Lecture Notes in Computer Science 1413, 1998

Andrea Omicini, Franco Zambonelli
Coordination of Mobile Agents for Information Systems: the TuCSoN Model
6th Convention of the Italian Association for Artificial Intelligence (AI*IA'98), 23-25 September 1998

Duncan J. Watts, Steven H. Strogatz
Collective Dynamics of `Small-World' Networks
Nature 393(6684), 4 June 1998

George A. Papadopoulos, Farhad Arbab
Coordination Models and Languages
The Engineering of Large Systems, Advances in Computers 46, 1998

Jakob Bardram
Designing for the Dynamics of Cooperative Work Activities
1998 ACM Conference on Computer Supported Cooperative Work (CSCW'98), 14-18 November 1998

Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
A Formal Specification of dMARS
Intelligent Agents IV Agent Theories, Architectures, and Languages, Lecture Notes in Computer Science 1365, 1998

Gianluigi Zavattaro
Towards a Hierarchy of Negative Test Operators for Generative Communication
Electronic Notes in Theoretical Computer Science 16(2), 1998

Peter Wegner
Towards Empirical Computer Science
The Monist 82(1), 1998

Cristiano Castelfranchi
Modelling Social Action for AI Agents
Artificial Intelligence 103(1-2), August 1998

Enrico Denti, Antonio Natali, Andrea Omicini
On the Expressive Power of a Language for Programming Coordination Media
1998 ACM Symposium on Applied Computing (SAC'98), 27 February - 1 March 1998

Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
Modeling and evaluating design alternatives for an on-line instrumentation system: a case study
IEEE Transactions on Software Engineering 24(6), june 1998

Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
T Spaces
IBM Systems Journal 37(3), 1998

Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
Planning and acting in partially observable stochastic domains

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
A process algebraic view of Linda coordination primitives
Theoretical Computer Science 192(2), 1998

Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
KLAIM: A Kernel Language for Agent Interaction and Mobility
IEEE Transaction on Software Engineering 24(5), May 1998

Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira
Distributed Agents Supporting Event-Driven Design Processes
Artificial Intelligence in Design '98, 1998

Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the Expressive Power of KLAIM-based Calculi
Theoretical Computer Science 24(5), May 1998

[top]