Ambra Molesini » Publications » Papers per Year

Publications by (2005—2021)

Below, publications by between 2005 and 2021, ordered by year of publication.


2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005

2021

Ambra Molesini, Enrico Denti, Andrea Omicini
MDE & MDA in a Multi-Paradigm Modeling Perspective
Advancements in Model-Driven Architecture in Software Engineering, 2021

[top]

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

Sara Montagna, Andrea Omicini
Agent-based Modelling in Multicellular Systems Biology
Data Analytics in Medicine: Concepts, Methodologies, Tools, and Applications, 2020

Angelo Croatti, Matteo Gabellini, Montagna Sara, Alessandro Ricci
On the Integration of Agents and Digital Twins in Healthcare
Journal of Medical Systems 44(161), August 2020

Antonio Bucchiarone, Mirko D'Angelo, Danilo Pianini, Giacomo Cabri, Martina De Sanctis, Mirko Viroli, Roberto Casadei, Simon Dobson
On the Social Implications of Collective Adaptive Systems
IEEE Technology and Society Magazine 39(3), September 2020

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
Information 11(3), March 2020

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

Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Twenty years of coordination technologies: COORDINATION contribution to the state of art
Journal of Logical and Algebraic Methods in Programming 113, June 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

Stefano Mariani, Andrea Omicini
Special Issue “Multi-Agent Systems”: Editorial
Applied Sciences 10(15), August 2020

Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation
Complexity, July 2020

Angelo Croatti, Alessandro Ricci
Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices
Autonomous Agents and Multi-Agent Systems 34, July 2020

Sara Montagna, Stefano Mariani, Emiliano Gamberini, Alessandro Ricci, Franco Zambonelli
Complementing agents with cognitive services: a case study in healthcare
Journal of Medical Systems, 2020

Sara Montagna, Michele Braccini, Andrea Roli
The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 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

Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models
Complexity, July 2020

Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
Real-time tracking and documentation in trauma management
Health Informatics Journal 26(1), 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

Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
Information 11(1), January 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

Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti
BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting
Artificial Intelligence in Medicine 96, May 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

Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
Evaluating Origin–Destination Matrices Obtained from CDR Data
Sensors 19(20), October 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, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
Deliver intelligence to integrate care: the Connecare way
International Journal of Integrated Care 19(4), 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

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

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

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

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
International Journal of Grid and Utility Computing 10(4), 2019

Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN
The 2019 Conference on Artificial Life, 2019

Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-Order Calculus of Computational Fields
ACM Transactions on Computational Logic 20(1), jan 2019

Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
Client-side Computational Optimization
ACM Transactions on Mathematical Software 45(2), 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

Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
Future Generation Computer Systems 91, 2019

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From distributed coordination to field calculus and aggregate computing
Journal of Logical and Algebraic Methods in Programming 109, 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

Danilo Pianini, Roberto Casadei, Mirko Viroli
Security in Collective Adaptive Systems: A Roadmap
{IEEE} 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019, 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

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

Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On Context-Orientation in Aggregate Programming
{IEEE} 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, Umea, Sweden, June 16-20, 2019, 2019

Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
A development approach for collective opportunistic Edge-of-Things services
Information Sciences 498, 2019

Stefano Mariani, Andrea Omicini
Special Issue “Multi-Agent Systems”: Editorial
Applied Sciences 9(5), March 2019

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

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

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Big Data and Cognitive Computing 2(3), 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, Aldini Alessandro, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms
Science of Computer Programming 167, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms
Science of Computer Programming 166, 2018

Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions
Internet Technology Letters, 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

Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples
Expert Systems 35(5), October 2018

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service
Theory and Practice of Logic Programming 18(5-6), September 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
ReSpecTX: Programming Interaction Made Easy
Computer Science and Information Systems 15(3), October 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, Enrico Denti, Agostino Dovier, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics
Fundamenta Informaticae 161(1-2), July 2018

Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
ACM Transactions on Modeling and Computer Simulation 28(2), March 2018

Stefano Mariani
Coordination of Complex Socio-technical Systems: Challenges and Opportunities
Lecture Notes in Computer Science, Lecture Notes in Computer Science 11176, 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

Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari
Intelligent Agents and Environment
Reference Module in Life Sciences, March 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

Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
Towards Argumentation-based Recommendations for Personalised Patient Empowerment
Proceedings of the 2nd International Workshop on Health Recommender Systems co-located with the 11th International Conference on Recommender Systems (RecSys 2017), August 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

Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-Adaptation to Device Distribution in the Internet of Things
ACM Transaction on Autonomous and Adaptive Systems 12(3), September 2017

Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
An Argumentation-based Perspective over the Social IoT
Journal of Internet of Things, 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, 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

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

Danilo Pianini, Simon Dobson, Mirko Viroli
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
11th {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems, 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

Sara Montagna, Michele Braccini, Andrea Roli
The impact of self-loops in random boolean network dynamics
WIVACE 2017 -- Book of Abstracts, September 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

Angelo Croatti, Alessandro Ricci, Mirko Viroli
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
International Journal of Distributed Systems and Technologies (IJDST) 8(1), 2017

Stefano Mariani, Andrea Omicini
State-of-the-Art and Trends in Nature-inspired Coordination Models
IEEE Intelligent Informatics Bulletin 18(2), December 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

Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Formal Validation of Neural Networks as Timed Automata
Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics (CsBio17), 2017

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

Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
Augmented societies with mirror worlds
AI & Society, December 2017

Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Aggregate plans for multiagent systems
International Journal of Agent-Oriented Software Engineering 4(5), 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

Sara Montagna, Andrea Omicini
Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study
Simulation: Transactions of the Society for Modeling and Simulation International 93(9), September 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

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

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

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

Giovanni Sartor, Andrea Omicini
The Autonomy of Technological Systems and Responsibilities for their Use
Autonomous Weapon Systems. Law, Ethics, Policy, August 2016

Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields
Science of Computer Programming 117, 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

Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Cross-organism learning method to discover new gene functionalities
Comput Methods and Programs in Biomedicine 126, April 2016

Maura Cárdenas-García, Pedro Pablo González-Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero
Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework
Bioinformatics and Biology Insights 10, March 2016

Roberta Calegari, Enrico Denti
Building Smart Spaces on the Home Manager platform
ALP Newsletter, December 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

Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-adaptation to Device Distribution Changes in Situated Computing Systems
2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016, 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

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

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

Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016

Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
Spatial awareness in pervasive ecosystems
The Knowledge Engineering Review 31(4), September 2016

Darius Plikynas
Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems
Introducing the Oscillations Based Paradigm, 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

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

Andrea Omicini
Foreward by Prof. Andrea Omicini
Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems, 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

Franco Zambonelli, Andrea Omicini, Paul Scerri
Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section
IEEE Transactions on Emerging Topics in Computing 4(1), January-March 2016

[top]

2015

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015), 2015

Jacob Beal, Mirko Viroli
Formal Foundations of Sensor Network Applications
SIGSPATIAL Special 7(2), sep 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

Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, Jose Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Pervasive and Mobile Computing 17-B, February 2015

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

Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
GOTA: GO term annotation of biomedical literature
BMC Bioinformatics 16, october 2015

Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Smart Augmented Fields for Emergency Operations
Procedia Computer Science, 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

Danilo Pianini, Mirko Viroli, Jacob Beal
Protelis: Practical Aggregate Programming
Proceedings of the 30th Annual {ACM} Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, 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

Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
Engineering Multi-Agent Systems (EMAS 2015), 2015

Ferruccio Damiani, Mirko Viroli
Type-based Self-stabilisation for Computational Fields
Logical Methods in Computer Science 11(4), 2015

Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
A coordination model of pervasive service ecosystems
Science of Computer Programming 110, 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

Jacob Beal, Danilo Pianini, Mirko Viroli
Aggregate Programming for the Internet of Things
Computer 48(9), Sept 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

Sara Montagna, Mirko Viroli, Andrea Roli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
SIMULATION: Transactions of the Society for Modeling and Simulation International 91(7), June 2015

Jacob Beal, Mirko Viroli
Space-Time Programming
Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 373(2046), 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

Mehdi Dastani
Programming Multi-agent Systems
The Knowledge Engineering Review 30(Special Issue 04), September 2015

Stefano Mariani, Andrea Omicini
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS
Engineering Applications of Artificial Intelligence 41, May 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

Luca Cernuzzi, Ambra Molesini, Andrea Omicini
The Gaia Methodology Process
Handbook on Agent-Oriented Design Processes, 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

Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto Pasolini
Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification
International Conference on Knowledge Discovery and Information Retrieval (KDIR 2015), 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

Enrico Denti
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto
World Journal of Computer Application and Technology 2(1), January 2014

Mirko Viroli, Ferruccio Damiani
A Calculus of Self-stabilising Computational Fields
Coordination Models and Languages, Lecture Notes in Computer Science 8459, 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

Massimo Cossentino, Ambra Molesini, Vincent Hilaire, Valeria Seidita
Introduction
Handbook on Agent-Oriented Design Processes, 2014

Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Argumentation and Artifacts for Negotiation Support
Negotiation and Argumentation in Multi-Agent Systems. Fundamentals, Theories, Systems and Applications, 2014

Enrico Denti
Novel pervasive scenarios for home management: the Butlers architecture
SpringerPlus 3(52), January 2014

Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
The IEEE-FIPA Standard on the Design Process Documentation Template
Handbook on Agent-Oriented Design Processes, 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

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

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

Ambra Molesini, Andrea Omicini
The SODA Methodology: Meta-Model and Process Documentation
Handbook on Agent-Oriented Design Processes, 2014

Jacob Beal, Mirko Viroli
Building Blocks for Aggregate Programming of Self-Organising Applications
Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
Best ACM SAC Articles on Coordination and Self-Adaptation
ACM Trans. Auton. Adapt. Syst. 9(2), jul 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[top]

2012

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

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

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

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

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

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

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

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

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

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

Pierluigi Contucci, Cristian Giardinà
Perspectives on Spin Glasses

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[top]

2011

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Jose Miguel Such Aparicio
Enhancing Privacy in Multi-Agent Systems

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[top]

2010

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[top]

2009

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Richard O'Keefe
The Craft of Prolog

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

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

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

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

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

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

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

[top]

2008

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

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

Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008

Peter McBurney, Andrea Omicini
Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008

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

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Artifacts in the A&A Meta-Model for Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008

Chieri Saito, Atsushi Igarashi, Mirko Viroli
Lightweight Family Polymorphism
Journal of Functional Programming 18(3), May 2008

Michele Piunti, Alessandro Ricci
Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments
Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), 16 September 2008

Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Workshop on Spatial Computing, oct 2008

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

Daniel Yamins, Radhika Nagpal
Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems
7th International Joint Conference on Agents and Multi-Agent Systems (AAMAS-08), 12-16 May 2008

Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation

Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
The Architecture and Design of a Malleable Object-Oriented Prolog Engine
23rd ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008

Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments
IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 08), December 2008

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

Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Electronic Notes in Theoretical Computer Science 194(4), April 2008

Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
PASSIM: a simulation-based process for the development of multi-agent systems
International Journal of Agent-Oriented Software Engineering 2(2), 2008

H. Eugene Stanley
Econophysics and the Current Economic Turmoil
American Physical Society News 17(11), December 2008

Matteo Casadei, Mirko Viroli
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08), 20-24 October 2008

Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
Electronic Notes in Theoretical Computer Science 194(4), April 2008

Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita
Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008

Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
The Knowledge Engineering Review 23(2), June 2008

Giulio Piancastelli, Andrea Omicini
A Logic Programming Model for Web Resources
4th International Conference on Web Information Systems and Technologies (WEBIST 2008), 4-7 May 2008

Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX
Cybernetics and Systems 2008, 25-28 March 2008

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

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

Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
Agent-oriented AmI Engineering
Developing ambient intelligence, February 2008

Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets
2008 8th International Conference on Intelligent Systems Design and Applications (ISDA 2008), 2008

Nadia Busi, Gianluigi Zavattaro
A Process Algebraic View of Shared Dataspace Coordination
Journal of Logic and Algebraic Programming 75(1), February-March 2008

Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialogue Support
5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), 12 May 2008

Luca Cardelli, Philippa Gardner, Ozan Kahramanoğullari
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
Electronic Notes in Theoretical Computer Science 194(3), 2008

Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani
Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms
7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-08), 12-16 May 2008

Michele Piunti, Alessandro Ricci
From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008

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

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

Pierluigi Contucci, Cristian Giardina
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
ERCIM News 73, April 2008

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
Lecture Notes in Computer Science 4908, 2008

Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach
Proceedings of the Third International Workshop ``Dependability Aspects on Data WArehousing and Mining applications'' (DAWAM-08), 4-7 march 2008

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

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

Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
Increasing interactivity in Agent-based Advanced Pocket-Device Service Application
Developing ambient intelligence, February 2008

Sara Montagna, Andrea Omicini, Marco Alberti
Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model
Intelligenza Artificiale e Scienze della Vita, September 2008

Giacomo Cabri
Introducing Join-Computing
Advances on Software Engineering, Parallel and Distributed Systems, Electrical and Computer Engineering, 20-22 feb 2008

Matteo Casadei, Andrea Omicini
Situating A&A ReSpecT for Pervasive Environment Applications
17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008

Antonio Natali, Enrico Oliva, Cristina Bonanni
Model-driven Generation of Graphical Maps for e-Contents
Eclipse-IT 2008. 3rd Italian Workshop op on Eclipse Technologies. , nov 2008

Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Languages, Methodologies and Development Tools for Multi-Agent Systems, Lecture Notes in Computer Science 5118, July 2008

Michele Piunti, Alessandro Ricci
From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS
6h European Workshop on Multi-Agent Systems (EUMAS 2008), 18-19 December 2008

Sara Montagna, Alessandro Ricci, Andrea Omicini
A&A for Modelling and Engineering Simulations in Systems Biology
International Journal of Agent-Oriented Software Engineering 2(2), 2008

Daniel T. Gillespie
Simulation Methods in Systems Biology
Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science 5016, 2008

Enrico Oliva, Mirko Viroli, Andrea Omicini
Arguments and Artifacts for Dispute Resolution
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008

Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
Toward a Framework for Collaborative Learning based on Agent-based Technologies
International Education, Technology and Development Conference (INTED 2008), 3-5 March 2008

Mario Bravetti
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Electronic Notes in Theoretical Computer Science 194(2), 16 January 2008

Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
An Adaptation Logic Framework for Java-based Component Systems
Journal of Universal Computer Science 14(13), 2008

Anna Riccioni, Enrico Denti, Roberto Laschi
An experimental environment for teaching Java Security
6th ACM International Symposium on Principles and Practice of Programming in Java (PPPJ 2008) - Modena, Italy, 9-11 September 2008, ACM International Conference Proceeding 347, October 2008

Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
International Journal of Agent-Oriented Software Engineering 2(2), 2008

Matteo Casadei, Mirko Viroli, Marco Santarelli
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008

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

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

Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008

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

Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
The Journal of Chemical Physics 128(20), 2008

Ambra Molesini, Enrico Denti, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE
9th International Workshop “Engineering Societies in the Agents World” (ESAW'08), 24-26 September 2008

Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies
The 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008), 24-26 September 2008

Giulio Piancastelli, Enrico Denti
Designing a Development Environment for Logic and Multi-Paradigm Programming
Eclipse-IT 2008. 3rd Italian Workshop on Eclipse Technologies. Proceedings, November 2008

Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Automating Workflow using Dialectical Argumentation
IADIS International Journal on Computer Science and Information Systems 3(2), Autumn 2008

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

Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
Towards a Tuplespace-based Middleware for the Semantic Web
Web Intelligence and Agent Systems 6(3), 2008

Maurizio Cimadamore, Mirko Viroli
On the reification of Java wildcards
Science of Computer Programming 73(2-3), October 2008

Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Smart Environments as Agent Workspaces
Ubiquitous Computing and Communication Journal CPE - Special Issue, June 2008

Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
Experimenting with Stochastic Prolog as a Simulation Language
23º Convegno Italiano di Logica Computazionale (CILC'08), 10-12 July 2008

Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
SPEM on Test: the SODA Case Study
23th ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008

Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition
Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), 18-21 February 2008

Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a Logic Language and Framework for Web Programming
Il Milione. Viaggio nella logica computazionale in Italia, 3 June 2008

Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
Fast self-healing gradients.
SAC, 2008

Lapo Mori
Writing a thesis with LaTeX
The PracTeX Journal, 2008

Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Agent Roles: from Methodologies to Infrastructures
Proceedings of the 2008 workshop on Role-Based Collaboration, at the 2008 International Symposium on Collaborative Technologies and Systems (CTS'08), 19-23 May 2008

Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
Phase Transitions in Social Sciences: Two-populations Mean Field Theory
International Journal of Modern Physics B 22(14), 10 June 2008

Maurizio Cimadamore, Mirko Viroli
Integrating Java and Prolog through Generic Methods and Type Inference
23th ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008

[top]

2007

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Leonard Richardson, Sam Ruby
RESTful Web Services

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[top]

2006

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[top]

2005

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[top]