Enrico Denti » Publications » Conference Papers By Year

Conference & Workshop Papers by (1992—2021)

Below, the conference & workshop papers published by between 1992 and 2021, ordered by year of publication.


2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992

2021

[top]

2020

Angelo Croatti, Alessandro Ricci
The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Time-Fluid Field-Based Coordination
Coordination Models and Languages, 2020

Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
An Abstract Framework for Agent-Based Explanations in AI
19th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '20, May 2020

Angelo Croatti, Manuel Bottazzi, Alessandro Ricci
Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

[top]

2019

Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Self-organising Coordination Regions: a Pattern for Edge Computing
Coordination Models and Languages, Proceedings, Lecture Notes in Computer Science 11533, 2019

Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe Vizzari
ViTALiSE: Virtual to Augmented Loop in Smart Environments
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, 2019

Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Aggregate Processes in Field Calculus
Coordination Models and Languages, Lecture Notes in Computer Science 11533, 2019

Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, 2019

Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Big Data from the Cloud to the Edge: The Aggregate Computing Solution
Proceedings of the 13th European Conference on Software Architecture - Volume 2, ECSA '19, 2019

Michele Braccini, Sara Montagna, Andrea Roli
Self-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models
Artificial Life and Evolutionary Computation, 2019

Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Roberto Casadei, Mirko Viroli
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach
2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), June 2019

Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
TuSoW: Tuple Spaces for Edge Computing
The 28th International Conference on Computer Communications and Networks (ICCCN 2019), 29 July–1 August 2019

Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
The share Operator for Field-Based Coordination
Coordination Models and Languages, Proceedings, Lecture Notes in Computer Science 11533, 2019

Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca
Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration
CBMS 2019, 2019

Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello
Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management
2019 IEEE 32nd International Symposium on Computer-Based Medical Systems (CBMS), June 2019

Giorgio and Viroli Audrito
On a Higher-Order Calculus of Computational Fields
Formal Techniques for Distributed Objects, Components, and Systems, Lecture Notes in Computer Science 11535, 2019

Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Engineering Resilient Collaborative Edge-Enabled IoT
2019 IEEE International Conference on Services Computing (SCC), July 2019

Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach
{IEEE} International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019, 2019

[top]

2018

Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Space-Time Universality of Field Calculus
Coordination Models and Languages, Lecture Notes in Computer Science 10852, 2018

Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives
WOA 2018 – 19th Workshop "From Objects to Agents”, CEUR Workshop Proceedings 2215, June 2018

Angelo Croatti, Alessandro Ricci
A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
WOA 2018 – 19th Workshop "From Objects to Agents”, CEUR Workshop Proceedings 2215, June 2018

Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
GOODTECHS'18 – Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, November 2018

Roberto Casadei, Alessandro Aldini, Mirko Viroli
Combining Trust and Aggregate Computing
Software Engineering and Formal Methods, Lecture Notes in Computer Science 10729, 2018

Roberto Casadei, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018

Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI), December 2018

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From Field-Based Coordination to Aggregate Computing
Coordination Models and Languages, Lecture Notes in Computer Science 10852, 2018

Giancarlo and Russo Fortino
Opportunistic cyberphysical services: {A} novel paradigm for the future Internet of Things
4th {IEEE} World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018

Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Distributed Speaking Objects: a Case for Massive Multiagent Systems
International Workshop on Massively Multi-Agent Systems, 2018

Angelo Croatti, Alessandro Ricci
Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
Coordination Models and Languages, Lecture Notes in Computer Science 10852, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate Graph Statistics
Electronic Proceedings in Theoretical Computer Science, EPTCS 264, 2018

Sara Montagna, Michele Braccini, Andrea Roli
The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis
Artificial Life and Evolutionary Computation, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
2018 IEEE Real-Time Systems Symposium (RTSS), Dec 2018

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
2018 IEEE International Conference on Cloud Engineering (IC2E 208), 17-20 April 2018

[top]

2017

Angelo Croatti, Alessandro Ricci
Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea
Proceedings of the Eighth International Workshop on the Web of Things, WoT 2017, 2017

Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Spiking Neural Networks as Timed Automata
Proceedings of the Thematic Research School on Advances in Systems and Synthetic Biology (ASSB), 2017

Giorgio Audrito, Roberto Casadei Casadei, Ferruccio Damiani, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients
11th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, {SASO} 2017, 2017

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Coordination Models and Languages, Lecture Notes in Computer Science 10319, 2017

Danilo Pianini, Jacob Beal, Mirko Viroli
Practical Aggregate Programming with Protelis
2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service (LPaaS): Intelligence for the IoT
2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC 2017), May 2017

Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Coordinating Distributed Speaking Objects
2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), June 2017

Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Intelligent Distributed Computing X. Proceedings of the 10th International Symposium on Intelligent Distributed Computing – IDC 2016, Paris, France, October 10-12 2016, Studies in Computational Intelligence 678, 2017

Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
WOA 2017 – “18th Workshop "From Objects to Agents”, CEUR Workshop Proceedings 1867, June 2017

Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Programming the Interaction Space Effectively with ReSpecTX
Intelligent Distributed Computing XI, Studies in Computational Intelligence 737, 2017

Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Modeling Opportunistic IoT Services in Open IoT Ecosystems
WOA 2017 – “18th Workshop "From Objects to Agents”, CEUR Workshop Proceedings 1867, June 2017

Angelo Croatti, Alessando Ricci
Towards the Web of Augmented Things
2017 IEEE International Conference on Software Architecture Workshops (ICSAW), April 2017

Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
Towards a Foundational API for Resilient Distributed Systems Design
2nd {IEEE} International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017

[top]

2016

Mirko Viroli, Roberto Casadei, Danilo Pianini
Simulating Large-scale Aggregate MASs with Alchemist and Scala
Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016., 11-14 September 2016

Roberto Casadei, Mirko Viroli
Towards Aggregate Programming in Scala
1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16), 17 July 2016

Mirko Viroli, Roberto Casadei, Danilo Pianini
On Execution Platforms for Large-scale Aggregate Computing
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct, UbiComp '16, 2016

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Labelled Variables in Logic Programming: Foundations
CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic, CEUR Workshop Proceedings 1645, 20-22 June 2016

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Run-Time Management of Computation Domains in Field Calculus
2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Towards Logic Programming as a Service: Experiments in tuProlog
WOA 2016 – 17th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 1664, July 2016

Sara Montagna, Andrea Omicini, Francesco Degli Angeli, Michele Donati
Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases
WOA 2016 – 17th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 1664, 29-30 July 2016

Stefano Mariani, Andrea Omicini
Game Engines to Model MAS: A Research Roadmap
WOA 2016 – 17th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 1664, 29-30 July 2016

Angelo Croatti, Alessandro Ricci
An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development
Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2016, 2016

Andrea Omicini, Franco Zambonelli
Challenges of Decentralized Coordination in Large-scale Ubicomp Systems
Ubicomp/ISWC’16 Adjunct, 12-16 September 2016

Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces
Proc. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, June 2016

Stefano Mariani, Andrea Omicini
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies
WOA 2016 – 17th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 1664, 29-30 July 2016

Roberta Calegari, Enrico Denti
The Butlers Framework for Socio-Technical Smart Spaces
Internet Science. 3rd International Conference on Internet Science (INSCI 2016): Openness, Collaboration and Collective Action, Lecture Notes in Computer Science 9934, 12-14 September 2016

[top]

2015

Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Computational Fields Meet Augmented Reality: Perspectives and Challenges
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), 2015 IEEE International Conference on, Sept 2015

Stefano Mariani, Andrea Omicini
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK
AI*IA 2015, Advances in Artificial Intelligence, Lecture Notes in Computer Science 9336, 23-25 September 2015

Mirko Viroli, Alessandro Ricci
Towards agent aggregates: perspectives and challenges
Engineering Multi-Agent Systems (EMAS 2015), 2015

Andrea Omicini, Giancarlo Fortino, Stefano Mariani
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions
Coordination Models and Languages, Lecture Notes in Computer Science 9037, 2-4 June 2015

Stefano Mariani, Andrea Omicini, Luca Sangiorgi
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks
Intelligent Distributed Computing VIII, Studies in Computational Intelligence 570, 2015

Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
2015 19th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD2015), 6-8 May 2015

Sara Montagna, Andrea Omicini, Danilo Pianini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
13th International Workshop on Multi-Agent-Based Simulation (MABS 2015), May 2015

Andrea Omicini, Franco Zambonelli
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions
WOA 2015 – From Objects to Agents, CEUR Workshop Proceedings 1382, 17-19 June 2015

Sara Montagna, Andrea Omicini, Danilo Pianini
A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation
14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 4-8 May 2015

Roberta Calegari, Enrico Denti, Andrea Omicini
Labelled Variables in Logic Programming: A First Prototype in tuProlog
Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC), CEUR Workshop Proceedings 1485, 23-24 September 2015

[top]

2014

Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations
Proceedings of the 6th International Conference on Knowledge Discovery and Information Retrieval, 2014

Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
Coordination-aware Elasticity
7th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2014), 8-11 December 2014

Stefano Mariani, Andrea Omicini
TuCSoN Coordination for MAS Situatedness: Towards a Methodology
WOA 2014 – XV Workshop Nazionale “Dagli Oggetti agli Agenti”, CEUR Workshop Proceedings 1260, September 2014

Mirko Viroli
Towards a Unified Model of Spatial Computing
7th International Spatial Computing Workshop (SCW 2014), 6 May 2014

Stefano Mariani, Andrea Omicini
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN
Internet and Distributed Computing Systems, Lecture Notes in Computer Science 8729, 22-24 September 2014

Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Cross-domain Text Classification through Iterative Refining of Target Categories Representations
Proceedings of the 6th International Conference on Knowledge Discovery and Information Retrieval, 2014

Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
HPC from a self-organisation perspective: The case of crowd steering at the urban scale
High Performance Computing Simulation (HPCS), 2014 International Conference on, July 2014

Danilo Pianini, Stefano Sebastio, Andrea Vandin
Distributed statistical analysis of complex systems modeled through a chemical metaphor
High Performance Computing Simulation (HPCS), 2014 International Conference on, 2014

Giovanni Sartor, Andrea Omicini
The Autonomy of Automated Systems
Autonomous Weapons Systems – Law, Ethics, Policy, April 2014

Enrico Denti, Roberta Calegari, Marco Prandini
Extending a Smart Home Multi-Agent System with Role-Based Access Control
5th International Conference on Internet Technologies & Society 2014 (ITS 2014), 10-12 December 2014

[top]

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

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

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

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

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

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

Stefano Mariani, Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
Multiagent System Technologies, Lecture Notes in Computer Science 8076, 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

Andrea Omicini
Nature-inspired Coordination for Complex Distributed Systems
Intelligent Distributed Computing VI, Studies in Computational Intelligence 446, 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

[top]

2012

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

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

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

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

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

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

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

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

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

[top]

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

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

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

Clare Dixon, Alan Winfield, Micheal Fisher
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
Lecture Notes in Computer Science 6856, 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

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

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

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

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

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

Antonio Natali
Model-driven communications and collaborative software development
Proceedings of the 6th Workshop of the Italian Eclipse Community, 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

Elena Nardini, Andrea Omicini, Mirko Viroli
Description Spaces with Fuzziness
26th Annual ACM Symposium on Applied Computing (SAC 2011), 21-25 March 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

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

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

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

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

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

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

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

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

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

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

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, 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

[top]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mirko Viroli, Matteo Casadei
Biochemical Tuple Spaces for Self-Organising Coordination
Coordination Languages and Models, Lecture Notes in Computer Science 5521, June 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

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, 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

Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Methodologies for Designing Agent Societies
2nd Workshop on Engineering Complex Distributed Systems (ECDS 2008), 4-7 March 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

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

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

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

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

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

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

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

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

Lorenzo Dematté, Corrado Priami, Alessandro Romanel
The BlenXLanguage: A Tutorial
Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, 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

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

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

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

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

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

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

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

Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
Fast self-healing gradients.
SAC, 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

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

Luca Cardelli
Invited Talk: A Process Algebra Master Equation
4th International Conference on the Quantitative Evaluation of Systems (QEST 2007), September 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

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

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

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

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

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

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

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

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

Anna Riccioni, Enrico Denti
vLab: an Eclipse-based Virtual Laboratory
First International Conference on Eclipse Technologies (ECLIPSE - IT '07), October 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

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

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

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

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

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

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

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

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

Ronaldo Menezes, Alan Wood
The Fading Concept in Tuple-Space Systems
Proceedings of the 2006 ACM symposium on Applied Computing (SAC 2006), 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

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

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

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

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

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

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

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

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
Cybernetics and Systems 2006, 18-21 April 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

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

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

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

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

M. Martin, P. Nurmi
A Generic Large Scale Simulator for Ubiquitous Computing
Mobile and Ubiquitous Systems, Annual International Conference on 0, jul 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

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

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

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
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006), 8 May 2006

[top]

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

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

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

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

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Time-Aware Coordination in ReSpecT
Coordination Models and Languages, Lecture Notes in Computer Science 3454, April 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

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

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

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

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

[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

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

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

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

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

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

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

Berardina De Carolis, Giovanni Cozzolongo
C@sa: Intelligent Home Control and Simulation
International Conference on Computational Intelligence, 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

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

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

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

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

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

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

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

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative Relations and Approximate Process Equivalences
CONCUR 2003, Lecture Notes in Computer Science 2761, 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

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

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

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

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

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

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

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

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

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

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

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

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

[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

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

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

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

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

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

[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

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

Mirko Viroli, Antonio Natali
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature
ACM SIGPLAN Notices 35(10), 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
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

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

Marco Cremonini, Andrea Omicini, Franco Zambonelli
Ruling Agent Motion in Structured Environments
High Performance Computing and Networking, Lecture Notes in Computer Science 1823, 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

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

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
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

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

Andrea Omicini
On the Semantics of Tuple-based Coordination Models
1999 ACM Symposium on Applied Computing (SAC'99), 28 February - 2 March 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

[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

Umberto Straccia
A Fuzzy Description Logic
15th National Conference on Artificial Intelligence (AAAI-98), 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

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

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

[top]

1997

Leon J. Osterweil
Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9
19th International Conference on Software Engineering (ICSE '97), 1997

Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Learning with an Object-Oriented Data Model
Joint Meeting of the AI*IA Workgroups on Machine Learning and Natural Language (AALN'97), 9-10 December 1997

Enrico Denti, Antonio Natali, Andrea Omicini
Programmable Coordination Media
Coordination Languages and Models, Lecture Notes in Computer Science 1282, 1997

Enrico Denti, Antonio Natali, Andrea Omicini
Merging Logic Programming into Web-based Technology: A Coordination-based Approach
ICLP'97 Post-Conference 2nd International Workshop on Logic Programming Tools for Internet Applications, 11 July 1997

Enrico Denti, Andrea Omicini
Designing Multi-Agent Systems around a Programmable Communication Abstraction
Proceedings of the 4th Workshop on Formal Models of Agents ModelAge '97 - Certosa di Pontignano, Italy, January 15-17, 1997, January 1997

[top]

1996

Umberto Fonda, Antonio Natali, Andrea Omicini
An Object-Oriented Approach to Planning
FAPR'96 Workshop "Reasoning about Actions and Planning in Complex Environments", 4 June 1996

Antonio Natali, Andrea Omicini
Integrating Knowledge Acquisition in Plan Selection
AI*IA'96 Workshop "Pianificazione di azioni robotiche in ambienti complessi", 26-28 September 1996

Anand S. Rao
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language
Agents Breaking Away, Lecture Notes in Computer Science 1038, 22-25 January 1996

Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
An Extensible Framework for the Development of Coordinated Applications
Coordination Languages and Models, Lecture Notes in Computer Science 1061, September 1996

Stan Franklin, Art Graesser
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
Intelligent Agents III. Agent Theories, Architectures, and Languages, Lecture Notes in Computer Science 1193, 1996

Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Logic Tuple Spaces for the Coordination of Heterogeneous Agents
Frontiers of Combining Systems, Applied Logic Series 3, 1996

[top]

1995

Andrea Omicini, Enrico Denti, Antonio Natali
Agent Coordination and Control through Logic Theories
Topics in Artificial Intelligence, Lecture Notes in Artificial Intelligence 992, 1995

Richard Goldgar, Ramon D. Acosta
Integration of object-oriented analysis and performance simulation for engineering computer-based systems
Proceedings of the 1995 International Symposium and Workshop on Systems Engineering of Computer Based Systems, 1995

Anand S. Rao, Michael P. Georgeff
BDI Agents: From Theory to Practice
1st International Conference on Multi Agent Systems (ICMAS 1995), 12-14 June 1995

[top]

1994

Andrea Omicini, Antonio Natali
Object-Oriented Computations in Logic Programming
Object-Oriented Programming, Lecture Notes in Computer Science 821, 1994

Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
A Structured Logic Programming Approach to Robot Programming
2nd International Conference on the Practical Applications of Prolog (PAP'94), 26-29 April 1994

Enrico Denti, Andrea Omicini
Open Logic Theory Composition in a Software Engineering Perspective
ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering, 18 June 1994

Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini
A Multi-Agent Framework and Programming Environment for Autonomous Robotics
1994 IEEE International Conference on Robotics and Automation (ICRA'94), 8-13 May 1994

[top]

1993

Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Techniques for Implementing Contexts in Logic Programming
Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 660, 1993

Enrico Denti, Antonio Natali, Andrea Omicini
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming, 25 June 1993

Antonio Natali, Andrea Omicini, Francesco Zanichelli
Exploiting Logic Programming in Robot Applications
8th Italian Conference on Logic Programming (GULP'93), 15-18 June 1993

Antonio Natali, Andrea Omicini
Objects with State in CSM
2nd Compulog Network Area Meeting on Programming Languages joint with Workshop on Logic Languages, 6-7 May 1993

Antonio Natali, Andrea Omicini
Objects with State in Contextual Logic Programming
Programming Language Implementation and Logic Programming, Lecture Notes in Computer Science 714, 1993

[top]

1992

Enrico Denti, Antonio Natali, Andrea Omicini
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
7th Italian Conference on Logic Programming (GULP'92), 17-19 June 1992

Antonio Natali, Andrea Omicini
Objects as Evolving Contexts
1st COMPULOG NET Workshop on Programming Languages in Computational Logic, 6-7 April 1992

Anand S. Rao, Michael P. Georgeff
An Abstract Architecture for Rational Agents
3rd International Conference on Principles of Knowledge Representation and Reasoning (KR '92), 25-29 October 1992

Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Implementing Contexts in Logic Programming
3rd International Workshop on Extensions of Logic Programming (ELP'92), 26-28 February 1992

[top]