Mirko Viroli » Publications » Series Papers per Year

Series Articles by (2000—2021)

Below, the papers published on series by between 2000 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

2020

Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
Blockchain and Applications, Advances in Intelligent Systems and Computing 1010, 2020

Roberta Calegari, Giovanni Sartor
Burden of Persuasion in Argumentation
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP 2020, EPTCS, Sep 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

Neil Vaughan, Eloisa Vargiu, Stefano Mariani, Sara Montagna, Michael Schumacher
Guest Editorial: Healthcare Intelligent Multi Agent Systems
Journal of Medical Systems 44(138), 2020

Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
Agent-Based Explanations in AI: Towards an Abstract Framework
Explainable, Transparent Autonomous Agents and Multi-Agent Systems, Lecture Notes in Computer Science 12175, 2020

[top]

2019

Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
Defeasible Systems in Legal Reasoning: A Comparative Assessment
Legal Knowledge and Information Systems. JURIX 2019: The Thirty-second Annual Conference, Frontiers in Artificial Intelligence and Applications 322, 11-13 December 2019

Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Towards XMAS: eXplainability through Multi-Agent Systems
AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, CEUR Workshop Proceedings 2502, November 2019

Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
WOA 2019 – 20th Workshop “From Objects to Agents”, CEUR Workshop Proceedings 2404, July 2019

Andrea Omicini, Roberta Calegari
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
Massively Multi-Agent Systems II, Lecture Notes in Computer Science 11422, May 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
Coordination in Socio-technical Systems: Where are we now? Where do we go next?
Science of Computer Programming, 2019

Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino
Preface – AI&IoT 2019
AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, CEUR Workshop Proceedings 2502, November 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

Danilo Pianini, Andrea Omicini
Democratic Process and Digital Platforms: An Engineering Perspective
The Future of Digital Democracy: An Interdisciplinary Approach, Lecture Notes in Computer Science 11300, January 2019

Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina SÎrbu
Preface
The Future of Digital Democracy: An Interdisciplinary Approach, Lecture Notes in Computer Science 11300, January 2019

Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Case studies for a new IoT programming paradigm: Fluidware

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

Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Comparative Analysis of Blockchain Technologies under a Coordination Perspective
Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection, Communications in Computer and Information Science 1047, June 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

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

Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli
Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept

Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Towards Agent-oriented Blockchains: Autonomous Smart Contracts
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection, Lecture Notes in Computer Science 11523, June 2019

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
Internet and Distributed Computing Systems, Lecture Notes in Computer Science 11874, 10–12 October 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

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

Roberto Casadei, Alessandro Aldini, Mirko Viroli
Combining Trust and Aggregate Computing
Software Engineering and Formal Methods, Lecture Notes in Computer Science 10729, 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

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

Stefano Mariani
Coordination of Complex Socio-technical Systems: Challenges and Opportunities
Lecture Notes in Computer Science, Lecture Notes in Computer Science 11176, 2018

Roberto Casadei, Mirko Viroli
Programming Actor-Based Collective Adaptive Systems
Programming with Actors: State-of-the-Art and Research Perspectives, Lecture Notes in Computer Science 10789, 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

Sara Montagna, Andrea Omicini
Agent-based Modelling in Multicellular Systems Biology
Multi-Agent Based Simulations Applied to Biological and Environmental Systems, Advances in Computational Intelligence and Robotics (ACIR), February 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

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

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

Sara Montagna, Pedro H. Abreu, Sylvain Giroux, Michael I. Schumacher
Preface
Agents and Multi-Agent Systems for Health Care, Lecture Notes in Computer Science 10685, 2017

Roberta Calegari, Enrico Denti
Context Reasoning and Prediction in Smart Environments: the Home Manager case
Intelligent Interactive Multimedia Systems and Services 2017, Smart Innovation, Systems and Technologies 76, 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

Angelo Croatti, Sara Montagna, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
Autonomous Agents and Multiagent Systems, Lecture Notes in Computer Science 10643, 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, Sara Montagna, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
Agents and Multi-Agent Systems for Health Care, Lecture Notes in Computer Science 10685, 2017

[top]

2016

Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU
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

Sara Montagna, Andrea Omicini, Danilo Pianini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
Multi-Agent Based Simulation XVI. International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers, Lecture Notes in Computer Science 9568, 15 March 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

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

Mirko Viroli, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, Electronic Proceedings in Theoretical Computer Science 217, 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

Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
Coordination Models and Languages, Lecture Notes in Computer Science 9686, 2016

Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf
Data Management Technologies and Applications: 4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers, Communications in Computer and Information Science 584, 2016

Jacob Beal, Mirko Viroli
Aggregate Programming: From Foundations to Applications
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, Lecture Notes in Computer Science 9700, 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

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, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
PRIMA 2015: Principles and Practice of Multi-Agent Systems, Lecture Notes in Computer Science 9387, 2015

Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Preface
PRIMA 2015: Principles and Practice of Multi-Agent Systems, Lecture Notes in Computer Science 9387, Ottobre 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

Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification
Knowledge Discovery, Knowledge Engineering and Knowledge Management, Communications in Computer and Information Science 553, 2015

Andrea Omicini, Stefano Mariani
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions
Agent Environments for Multi-Agent Systems IV, Lecture Notes in Computer Science 9068, November 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

Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
Formal Techniques for Distributed Objects, Components, and Systems, Lecture Notes in Computer Science 9039, 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

Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities
Knowledge Discovery, Knowledge Engineering and Knowledge Management, Communications in Computer and Information Science 553, 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

Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
Preface
Complex Networks V. Proceedings of the 5th Workshop on Complex Networks (CompleNet 2014), Studies in Computational Intelligence 549, 12-14 March 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

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

Mirko Viroli, Ferruccio Damiani
A Calculus of Self-stabilising Computational Fields
Coordination Models and Languages, Lecture Notes in Computer Science 8459, 2014

Bernd Rosslenbroich
On the Origin of Autonomy. A New Look at the Major Transitions in Evolution
On the Origin of Autonomy. A New Look at the Major Transitions in Evolution, History, Philosophy and Theory of the Life Sciences, 2014

Stefano Mariani
On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates
Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, September 2014

[top]

2013

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

Stefano Mariani, Andrea Omicini
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

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
Probabilistic Modular Embedding for Stochastic Coordinated Systems
Coordination Models and Languages, Lecture Notes in Computer Science 7890, June 2013

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

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

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

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

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

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

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

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

[top]

2012

Francesca Toni, Paolo Torroni
Bottom-Up Argumentation
Theorie and Applications of Formal Argumentation, Lecture Notes in Computer Science 7132, 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

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

Andrea Omicini
Agents Writing on Walls: Cognitive Stigmergy and Beyond
The Goals of Cognition. Festschrift for Cristiano Castelfranchi, Tributes 20, December 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

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

Stefano Mariani, Andrea Omicini
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

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

[top]

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

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

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

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

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

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

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

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

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

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

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

[top]

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

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

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

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

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

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

Savas Konur, Clare Dixon, Michael Fisher
Formal Verification of Probabilistic Swarm Behaviours
Swarm Intelligence, LNCS 6234, 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

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

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

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

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

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

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

[top]

2009

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[top]

2008

Franco Zambonelli, Mirko Viroli
Architecture and Metaphors for Eternally Adaptive Service Ecosystems
Intelligent Distributed Computing, Systems and Applications, Studies in Computational Intelligence 162/2008, September 2008

Ambra Molesini, Enrico Denti, Andrea Omicini
From AO Methodologies to MAS Infrastructures: The SODA Case Study
Engineering Societies in the Agents World VIII, Lecture Notes in Computer Science 4995, September 2008

Lin Padgham, John Thangarajah, Michael Winikoff
The Prometheus Design Tool ? A Conference Management System Case Study
Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Canal Carlos, Pascal Poizat, Mirko Viroli
Preface
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007), Electronic Notes in Theoretical Computer Science 194, 2008

Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
Hierarchical Modeling for Computational Biology
Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, 2008

Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study
Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
Tool-Supported Development with Tropos: The Conference Management System Case Study
Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

Lorenzo Dematté, Corrado Priami, Alessandro Romanel
The BlenXLanguage: A Tutorial
Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, 2008

Enrico Oliva, Peter McBurney, Andrea Omicini
Co-Argumentation Artifact for Agent Societies
Argumentation in Multi-Agent Systems, Lecture Notes in Computer Science 4946, April 2008

Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT
Proceedings of the third international symposium on i*, CEUR Workshop Proceedings, 11-13 feb 2008

Giacomo Cabri
Introducing Join-Computing
Advances on Software Engineering, Parallel and Distributed Systems, Electrical and Computer Engineering, 20-22 feb 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

Daniel T. Gillespie
Simulation Methods in Systems Biology
Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, 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

Alessandro Ricci, Mirko Viroli, Andrea Omicini
The A&A Programming Model and Technology for Developing Agent Environments in MAS
Programming Multi-Agent Systems, Lecture Notes in Computer Science 4908, April 2008

Elena Nardini, Andrea Omicini
Agent-Based Collaboration Systems: A Case Study
Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education, CEUR Workshop Proceedings 398, 1-2 September 2008

Giulio Piancastelli, Andrea Omicini
A Multi-Theory Logic Language for the World Wide Web
Logic Programming, Lecture Notes in Computer Science 5366, December 2008

Lin Padgham, Michael Luck
Introduction to AOSE Tools for the Conference Management System
Agent Oriented Software Engineering VIII, Lecture Notes in Computer Science 4951, 2008

[top]

2007

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

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

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

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

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

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

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

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

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

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

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

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

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

[top]

2006

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

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

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

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

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

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

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

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

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

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

L. Robert Pokorny, C. R. Ramakrishnan
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Lecture Notes in Computer Science 3476, June 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

Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Zooming Multi-Agent Systems
Agent-Oriented Software Engineering VI, Lecture Notes in Computer Science 3950, 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

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
Programming Multi-Agent Systems, Lecture Notes in Computer Science 3862, March 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

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

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

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

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

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

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

[top]

2005

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[top]

2004

Andrea Omicini, Franco Zambonelli
MAS as Complex Systems: A View on the Role of Declarative Approaches
Declarative Agent Languages and Technologies, Lecture Notes in Computer Science 2990, May 2004

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifiable Multi-agent Programs
Lecture Notes in Computer Science 3067, 2004

Andrea Omicini, Alessandro Ricci
MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN
Engineering Societies in the Agents World IV, Lecture Notes in Computer Science 3071, June 2004

Robert Tolksdorf, Ronaldo Menezes
Using Swarm Intelligence in Linda Systems
Engineering Societies in the Agents World IV, Lecture Notes in Computer Science 3071, June 2004

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

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic KLAIM
Coordination Models and Languages, LNCS 2949, 2004

Andrea Omicini, Paolo Petta, Jeremy Pitt
Preface
Engineering Societies in the Agents World IV, Lecture Notes in Computer Science 3071, June 2004

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, Sascha Ossowski, Alessandro Ricci
Coordination Infrastructures in the Engineering of Multiagent Systems
Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, Multiagent Systems, Artificial Societies, and Simulated Organizations 11, June 2004

Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli
The Gaia Methodology
Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, Multiagent Systems, Artificial Societies, and Simulated Organization 11, June 2004

Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
A Programming Language for Cognitive Agents: Goal Directed 3APL
Programming Multi-Agent Systems, Lecture Notes in Computer Science 3067, 2004

Martin Fredriksson, Rune Gustavsson
Online Engineering and Open Computational Systems
Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook, Multiagent Systems, Artificial Societies, and Simulated Organization 11, 2004

Enrico Denti, Alessandro Ricci, Rossella Rubino
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure
Engineering Societies in the Agents World IV, Lecture Notes in Artificial Intelligence 3071, July 2004

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
Coordination Models and Languages, LNCS, 2004

João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Preface
Declarative Agent Languages and Technologies, Lecture Notes in Computer Science 2990, May 2004

[top]

2003

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

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

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

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

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

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

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

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

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

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

[top]

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

Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework
Coordination Models and Languages, Lecture Notes in Computer Science 2315, 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

[top]

2001

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

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

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

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

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

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

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

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

[top]

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

Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
Preface
Engineering Societies in the Agents World, Lecture Notes in Computer Science 1972, December 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

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

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

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

[top]