Per anno

860 pubblicazioni con DOI / 1927–2024

2024 • 2023 • 2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2014 • 2013 • 2012 • 2011 • 2010 • 2009 • 2008 • 2007 • 2006 • 2005 • 2004 • 2003 • 2002 • 2001 • 2000 • 1999 • 1998 • 1997 • 1996 • 1995 • 1994 • 1993 • 1992 • 1991 • 1990 • 1989 • 1986 • 1985 • 1984 • 1983 • 1980 • 1979 • 1978 • 1977 • 1974 • 1972 • 1959 • 1950 • 1939 • 1937

2024

Ensuring Fairness Stability for Disentangling Social Inequality in Access to Education: the FAiRDAS General Method (articolo in atti) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano
Generation of Clinical Skin Images with Pathology with Scarce Data (articolo in atti) — Andrea Borghesi, Roberta Calegari
Bridging machine learning and diagnostics of the ESA LISA space mission with equation discovery via explainable artificial intelligence (articolo in rivista) — Federico Sabbatini, Catia Grimani, Roberta Calegari
Untying black boxes with clustering-based symbolic knowledge extraction (articolo in rivista) — Federico Sabbatini, Roberta Calegari
LLM-based Solutions for Healthcare Chatbots: a Comparative Analysis (articolo in atti) — Sara Montagna, Gianluca Aguzzi, Stefano Ferretti, Martino Francesco Pengo, Lorenz Cuno Klopfenstein, Michelangelo Ungolo, Matteo Magnini
On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes (articolo in rivista) — Federico Sabbatini, Roberta Calegari
Explainable, Transparent Autonomous Agents and Multi-Agent Systems (curatela) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, Kary Främling
Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (articolo in rivista) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini
From Large Language Models to Small Logic Programs: Building Global Explanations from Disagreeing Local Post-hoc Explainers (articolo in rivista) — Andrea Agiollo, Luciano Cavalcante Siebert, Pradeep Kumar Murukannaiah, Andrea Omicini
Special Issue on Trustworthy AI (numero speciale) — Roberta Calegari, Fosca Giannotti, Francesca Pratesi, Michela Milano
Anonymous Federated Learning via Named-Data Networking (articolo in rivista) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Nicolò Dal Fabbro, Riccardo Lazzeretti
EneA-FL: Energy-aware Orchestration for Serverless Federated Learning (articolo in rivista) — Andrea Agiollo, Paolo Bellavista, Matteo Mendula, Andrea Omicini
On the External Concurrency of Current BDI Frameworks for MAS (articolo in atti) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini
Approximating Memorization Using Loss Surface Geometry for Dataset Pruning and Summarization (articolo in atti) — Andrea Agiollo, Young In Kim, Rajiv Khanna

14 pubblicazioni nel 2024 con DOI • in cima • indice • in fondo

2023

GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (articolo in atti) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, Andrea Omicini
Preface - Proceedings 39th International Conference on Logic Programming (editoriale/introduzione/prefazione) — Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo and Francesca Toni
Measuring Trustworthiness in Neuro-Symbolic Integration (articolo in atti) — Andrea Agiollo, Andrea Omicini
Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (articolo in rivista) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors (articolo in atti) — Federico Sabbatini, Roberta Calegari
A General-Purpose Protocol for Multi-Agent based Explanations (articolo in atti) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
Knowledge injection of Datalog rules via Neural Network Structuring with KINS (articolo in rivista) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Efficient compliance checking of RDF data (articolo in rivista) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
Delay Indices for Train Punctuality (articolo in rivista) — Enrico Denti, Luca Burroni
Achieving Complete Coverage with Hypercube-Based Symbolic Knowledge-Extraction Techniques (articolo in atti) — Federico Sabbatini, Roberta Calegari
Preface (editoriale/introduzione/prefazione) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Neural-logic multi-agent system for flood event detection (articolo in rivista) — Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking (articolo in atti) — Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub
Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (articolo in atti) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini
VEsNA, a Framework for Virtual Environments via Natural Language Agents and Its Application to Factory Automation (articolo in rivista) — Andrea Gatti, Viviana Mascardi
Integrating Ontologies and Cognitive Conversational Agents in On2Conv (articolo in atti) — Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi
The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (articolo in atti) — Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini
Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (articolo in rivista) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
ChatGPT is not all you need. A State of the Art Review of large Generative AI models (altro tipo di pubblicazione) — Roberto Gozalo-Brizuela, Eduardo C. Garrido-Merchan
Explainable Clustering with CREAM (articolo in atti) — Federico Sabbatini, Roberta Calegari
AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models (articolo in rivista) — Luciano Floridi
JaKtA: BDI Agent-Oriented Programming in Pure Kotlin (articolo in atti) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
Multi-Agent Cooperative Argumentation in Arg2P (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Special Issue “Advances in Multi-Agent Systems”: Editorial (editoriale/introduzione/prefazione) — Stefano Mariani, Andrea Omicini
Explainable and Transparent AI and Multi-Agent Systems (curatela) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
The PSyKE Technology for Trustworthy Artificial Intelligence (articolo in atti) — Roberta Calegari, Federico Sabbatini
HAMLET: a framework for Human-centered AutoML via Structured Argumentation (articolo in rivista) — Matteo Francia, Joseph Giovanelli, Giuseppe Pisano
Assessing and Enforcing Fairness in the AI Lifecycle (articolo in atti) — Roberta Calegari, Gabriel G. Castañé, Michela Milano, Barry O’Sullivan
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies (articolo in rivista) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa (articolo in atti) — Angelo Ferrando, Andrea Gatti, Viviana Mascardi
Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (articolo in atti) — Federico Sabbatini, Roberta Calegari
EPTCS 385-Proceedings 39th International Conference on Logic Programming (curatela) — Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo and Francesca Toni
Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (articolo in rivista) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini

33 pubblicazioni nel 2023 con DOI • in cima • indice • in fondo

2022

Towards socially-competent and culturally-adaptive artificial agents: Expressive order, interactional disruptions and recovery strategies (articolo in rivista) — Chiara Bassetti, Enrico Blanzieri, Stefano Borgo, Sofia Marangon
On Correctness and Completeness of an n Queens Program (articolo in rivista) — Włodzimierz Drabent
How to model contrary-to-duty with GCP-nets (articolo in rivista) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
Modular logic argumentation in Arg-tuProlog (articolo in atti) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (editoriale/introduzione/prefazione) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
Web of Digital Twins (articolo in rivista) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (articolo in rivista) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Arg2P: An argumentation framework for explainable intelligent systems (articolo in rivista) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
Burden of Persuasion in Meta-argumentation (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Arguing About the Existence of Conflicts (articolo in atti) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
Fifty Years of Prolog and Beyond (articolo in rivista) — Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
Semantic Web-based Interoperability for Intelligent Agents with PSyKE (articolo in atti) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (articolo in atti) — Federico Sabbatini, Roberta Calegari
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (articolo in rivista) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
Pervasive and Connected Digital Twins - A Vision for Digital Health (articolo in rivista) — Alessandro Ricci, Angelo Croatti, Sara Montagna
Coordination of Autonomous Vehicles: Taxonomy and Survey (articolo in rivista) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (articolo in atti) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (articolo in atti) — Federico Sabbatini, Roberta Calegari

18 pubblicazioni nel 2022 con DOI • in cima • indice • in fondo

2021

Teaching the Old Dog New Tricks: Supervised Learning with Constraints (articolo in rivista) — Fabrizio Detassis, Michele Lombardi, Michela Milano
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (articolo in atti) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (articolo in rivista) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices (articolo in rivista) — Andrea Agiollo, Andrea Omicini
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge (articolo in atti) — Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (articolo in atti) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Towards Explainable Visionary Agents: License to Dare and Imagine (articolo in atti) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (articolo in atti) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (articolo in atti) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain (articolo in rivista) — Sara Montagna, Stefano Mariani, Emiliano Gamberini
DETONAR: Detection of Routing Attacks in RPL-based IoT (articolo in rivista) — Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola
Partitioned integration and coordination via the self-organising coordination regions pattern (articolo in rivista) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
An Internet of Medical Things system to increase continuous positive airway pressure usage in patients with sleep disordered breathing (articolo in rivista) — Angelo Croatti, Sara Montagna, Carolina Lombardi, Gianfranco Parati, Martino F. Pengo, Alessandro Silvani
Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System (articolo in rivista) — Angelo Croatti, Marco Longoni, Sara Montagna
Argumentation and Defeasible Reasoning in the Law (articolo in rivista) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
MDE & MDA in a Multi-Paradigm Modeling Perspective (capitolo di libro) — Ambra Molesini, Enrico Denti, Andrea Omicini
The Burden of Persuasion in Structured Argumentation (articolo in atti) — Roberta Calegari, Regis Riveret, Giovanni Sartor
Programming Agent-Based Mobile Apps: The JaCa-Android Framework (articolo in atti) — Angelo Croatti, Alessandro Ricci
Burdens of Persuasion and Standards of Proof in Structured Argumentation (articolo in atti) — Roberta Calegari, Giovanni Sartor
Breaking down monoliths with Microservices and DevOps: an industrial experience report (articolo in atti) — Danilo Pianini, Alessandro Neri
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (articolo in rivista) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini

21 pubblicazioni nel 2021 con DOI • in cima • indice • in fondo

2020

Twenty years of coordination technologies: COORDINATION contribution to the state of art (articolo in rivista) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
From Agents to Blockchain: Stairway to Integration (articolo in rivista) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities (articolo in atti) — Angelo Croatti, Alessandro Ricci
On the Integration of Agents and Digital Twins in Healthcare (articolo in rivista) — Angelo Croatti, Matteo Gabellini, Sara Montagna, Alessandro Ricci
A Model for the Burden of Persuasion in Argumentation (articolo in atti) — Roberta Calegari, Giovanni Sartor
Special Issue “Multi-Agent Systems”: Editorial (editoriale/introduzione/prefazione) — Stefano Mariani, Andrea Omicini
The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices (articolo in atti) — Angelo Croatti, Alessandro Ricci
Time-Fluid Field-Based Coordination (articolo in atti) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Agent-based Modelling in Multicellular Systems Biology (capitolo di libro) — Sara Montagna, Andrea Omicini
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (articolo in atti) — Roberto Casadei, Mirko Viroli, Alessandro Ricci
Real-time tracking and documentation in trauma management (articolo in rivista) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
Causal Interpretability for Machine Learning – Problems, Methods and Evaluation (articolo in rivista) — Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan Liu
Smart Contracts are More than Objects: Pro-activeness on the Blockchain (articolo in atti) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (articolo in rivista) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Burden of Persuasion in Argumentation (articolo in atti) — Roberta Calegari, Giovanni Sartor
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (articolo in rivista) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Multi-Agent Systems 2019 (curatela) — Andrea Omicini, Stefano Mariani
Agent-Based Explanations in AI: Towards an Abstract Framework (articolo in atti) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation (articolo in rivista) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Recurrent Galactic Cosmic-Ray Flux Modulation in L1 and Geomagnetic Activity during the Declining Phase of the Solar Cycle 24 (articolo in rivista) — Catia Grimani, Andrea Cesarini, Michele Fabi, Federico Sabbatini, Daniele Telloni, Mattia Villani
Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models (editoriale/introduzione/prefazione) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project (articolo in atti) — Angelo Croatti, Manuel Bottazzi, Alessandro Ricci
The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling (articolo in rivista) — Sara Montagna, Michele Braccini, Andrea Roli
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (articolo in atti) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles (articolo in atti) — Stefano Mariani, Franco Zambonelli
Arg-tuProlog: a modular logic argumentation tool for PIL (articolo in atti) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
On the integration of symbolic and sub-symbolic techniques for XAI: A survey (articolo in rivista) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices (articolo in rivista) — Angelo Croatti, Alessandro Ricci
Exploiting Simulation for MAS Programming and Engineering - The JaCaMo-sim Platform (articolo in atti) — Alessandro Ricci, Angelo Croatti, Rafael H. Bordini, Jomi F. Hubner, Olivier Boissier

29 pubblicazioni nel 2020 con DOI • in cima • indice • in fondo

2019

Coordination in Socio-technical Systems: Where are we now? Where do we go next? (articolo in rivista) — Stefano Mariani
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach (articolo in atti) — Roberto Casadei, Mirko Viroli
Special Issue “Multi-Agent Systems”: Editorial (editoriale/introduzione/prefazione) — Stefano Mariani, Andrea Omicini
Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling (articolo in atti) — Umberto Michieli, Maria Camporese, Andrea Agiollo, Giampaolo Pagnutti, Pietro Zanuttigh
ViTALiSE: Virtual to Augmented Loop in Smart Environments (articolo in atti) — Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe Vizzari
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (articolo in rivista) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT (capitolo di libro) — Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
Aggregate Processes in Field Calculus (articolo in atti) — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
The Future of Digital Democracy. An Interdisciplinary Approach (curatela) — Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu
The share Operator for Field-Based Coordination (articolo in atti) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
On a Higher-Order Calculus of Computational Fields (articolo in atti) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
Multi-Agent Systems (curatela) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente Julian
TuSoW: Tuple Spaces for Edge Computing (articolo in atti) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
Explanation in artificial intelligence: Insights from the social sciences (articolo in rivista) — Tim Miller
Intelligent Agents and Environment (voce di enciclopedia) — Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari
Deliver intelligence to integrate care: the Connecare way (articolo in rivista) — Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
Evaluating Origin–Destination Matrices Obtained from CDR Data (articolo in rivista) — Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
Towards Adaptive Flow Programming for the IoT: The Fluidware Approach (articolo in atti) — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting (articolo in rivista) — Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti
Democratic Process and Digital Platforms: An Engineering Perspective (capitolo di libro) — Danilo Pianini, Andrea Omicini
Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (articolo in atti) — Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli
Towards Agent-oriented Blockchains: Autonomous Smart Contracts (articolo in atti) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management (articolo in atti) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello
Client-side Computational Optimization (articolo in rivista) — Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
A Higher-Order Calculus of Computational Fields (articolo in rivista) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
Explainable, Transparent Autonomous Agents and Multi-Agent Systems (curatela) — Davide Calvaresi, Amro Najjar, Michael Schumacher, Kary Främling
Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (articolo in atti) — Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca
Engineering Resilient Collaborative Edge-Enabled IoT (articolo in atti) — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Big Data from the Cloud to the Edge: The Aggregate Computing Solution (articolo in atti) — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Defeasible Systems in Legal Reasoning: A Comparative Assessment (articolo in atti) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
From distributed coordination to field calculus and aggregate computing (articolo in rivista) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
A development approach for collective opportunistic Edge-of-Things services (articolo in rivista) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN (articolo in atti) — Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (articolo in rivista) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (articolo in atti) — Andrea Omicini, Roberta Calegari
Self-organising Coordination Regions: a Pattern for Edge Computing (articolo in atti) — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
Comparative Analysis of Blockchain Technologies under a Coordination Perspective (articolo in atti) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (articolo in atti) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini

38 pubblicazioni nel 2019 con DOI • in cima • indice • in fondo

2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (articolo in atti) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework (articolo in atti) — Angelo Croatti, Alessandro Ricci
Aggregate Graph Statistics (articolo in atti) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things (articolo in atti) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (articolo in rivista) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions (articolo in rivista) — Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
Optimal single-path information propagation in gradient-based algorithms (articolo in rivista) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (articolo in atti) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy (articolo in rivista) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
From Field-Based Coordination to Aggregate Computing (articolo in atti) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (articolo in atti) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Spatial Tuples: Augmenting Reality with Tuples (articolo in rivista) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Logic Programming as a Service (articolo in rivista) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Space-Time Universality of Field Calculus (articolo in atti) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
A Survey of Methods for Explaining Black Box Models (articolo in rivista) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
The mythos of model interpretability (articolo in rivista) — Zachary C. Lipton
Extending Logic Programming with Labelled Variables: Model and Semantics (articolo in rivista) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Combining Trust and Aggregate Computing (articolo in atti) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms (articolo in rivista) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT (articolo in atti) — Roberto Casadei, Mirko Viroli
Distributed Speaking Objects: a Case for Massive Multiagent Systems (articolo in atti) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Characteristics and Energy Dependence of Recurrent Galactic Cosmic-Ray Flux Depressions and of a Forbush Decrease with LISA Pathfinder (articolo in rivista) — M. Armano, H. Audley, J. Baird, M. Bassan, S. Benella, P. Binetruy, M. Born, D. Bortoluzzi, A. Cavalleri, A. Cesarini, A. M. Cruise, K. Danzmann, K. de Deus Silva, I. Diepholz, G. Dixon, R. Dolesi, M. Fabi, L. Ferraioli, V. Ferroni, N. Finetti, E. D. Fitzsimons, M. Freschi, L. Gesa, F. Gibert, D. Giardini, R. Giusteri, C. Grimani, J. Grzymisch, I. Harrison, G. Heinzel, M. Hewitson, D. Hollington, D. Hoyland, M. Hueller, H. Inchauspé, O. Jennrich, P. Jetzer, N. Karnesis, B. Kaune, N. Korsakova, C. J. Killow, M. Laurenza, J. A. Lobo, I. Lloro, L. Liu, J. P. López-Zaragoza, R. Maarschalkerweerd, D. Mance, V. Martín, L. Martin-Polo, J. Martino, F. Martin-Porqueras, I. Mateos, P. W. McNamara, J. Mendes, L. Mendes, M. Nofrarias, S. Paczkowski, M. Perreur-Lloyd, A. Petiteau, P. Pivato, E. Plagnol, J. Ramos-Castro, J. Reiche, D. I. Robertson, F. Rivas, G. Russano, Federico Sabbatini, J. Slutsky, C. F. Sopuerta, T. Sumner, D. Tellon, D. Texier, J. I. Thorpe, D. Vetrugno, S. Vitale, G. Wanner, H. Ward, P. Wass, W. J. Weber, L. Wissel, A. Wittchen, A. Zambotti, C. Zanoni, P. Zweifel
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (articolo in rivista) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (articolo in atti) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Programming Actor-Based Collective Adaptive Systems (capitolo di libro) — Roberto Casadei, Mirko Viroli
The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis (articolo in atti) — Sara Montagna, Michele Braccini, Andrea Roli
A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems (articolo in atti) — Angelo Croatti, Alessandro Ricci
Distributed Real-Time Shortest-Paths Computations with the Field Calculus (articolo in atti) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Coordination of Complex Socio-technical Systems: Challenges and Opportunities (articolo in atti) — Stefano Mariani

29 pubblicazioni nel 2018 con DOI • in cima • indice • in fondo

2017

A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (articolo in atti) — Angelo Croatti, Sara Montagna, Alessandro Ricci
Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study (articolo in rivista) — Sara Montagna, Andrea Omicini
Aggregate plans for multiagent systems (articolo in rivista) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Practical Aggregate Programming with Protelis (articolo in atti) — Danilo Pianini, Jacob Beal, Mirko Viroli
Agent-based Modelling in Multicellular Systems Biology (capitolo di libro) — Sara Montagna, Andrea Omicini
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration (articolo in atti) — Danilo Pianini, Simon Dobson, Mirko Viroli
Programming the Interaction Space Effectively with ReSpecTX (articolo in atti) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (articolo in atti) — Angelo Croatti, Sara Montagna, Alessandro Ricci
Coordinating Distributed Speaking Objects (articolo in atti) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Augmented societies with mirror worlds (articolo in rivista) — Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea (articolo in atti) — Angelo Croatti, Alessandro Ricci
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (articolo in rivista) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
Towards the Web of Augmented Things (articolo in atti) — Angelo Croatti, Alessando Ricci
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
An Argumentation-based Perspective over the Social IoT (articolo in rivista) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Context Reasoning and Prediction in Smart Environments: the Home Manager case (articolo in atti) — Roberta Calegari, Enrico Denti
Agents and Multi-Agent Systems for Health Care (curatela) — Sara Montagna, Pedro Henriques Abreu, Sylvain Giroux, Michael Schumacher
Towards a Foundational API for Resilient Distributed Systems Design (articolo in atti) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
Logic Programming as a Service (LPaaS): Intelligence for the IoT (articolo in atti) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Self-Adaptation to Device Distribution in the Internet of Things (articolo in rivista) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Towards Argumentation-based Recommendations for Personalised Patient Empowerment (articolo in atti) — Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
Compositional Blocks for Optimal Self-Healing Gradients (articolo in atti) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli

22 pubblicazioni nel 2017 con DOI • in cima • indice • in fondo

2016

Simulating Large-scale Aggregate MASs with Alchemist and Scala (articolo in atti) — Mirko Viroli, Roberto Casadei, Danilo Pianini
Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems (libro) — Darius Plikynas
Run-Time Management of Computation Domains in Field Calculus (articolo in atti) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Cross-organism learning method to discover new gene functionalities (articolo in rivista) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
The Butlers Framework for Socio-Technical Smart Spaces (articolo in atti) — Roberta Calegari, Enrico Denti
Programming with event loops and control loops – From actors to agents (articolo in rivista) — Alessandro Ricci
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (articolo in atti) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development (articolo in atti) — Angelo Croatti, Alessandro Ricci
On Execution Platforms for Large-scale Aggregate Computing (articolo in atti) — Mirko Viroli, Roberto Casadei, Danilo Pianini
Resiliency with Aggregate Computing: State of the Art and Roadmap (articolo in atti) — Mirko Viroli, Jacob Beal
Mastering the game of Go with deep neural networks and tree search (articolo in rivista) — David Silver, Aja Huang, Chris J. Maddison, Arthur Guez, Laurent Sifre, George van den Driessche, Julian Schrittwieser, Ioannis Antonoglou, Veda Panneershelvam, Marc Lanctot, Sander Dieleman, Dominik Grewe, John Nham, Nal Kalchbrenner, Ilya Sutskever, Timothy Lillicrap, Madeleine Leach, Koray Kavukcuoglu, Thore Graepel, Demis Hassabis
Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework (articolo in rivista) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (articolo in atti) — Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci
Challenges of Decentralized Coordination in Large-scale Ubicomp Systems (articolo in atti) — Andrea Omicini, Franco Zambonelli
Towards Aggregate Programming in Scala (articolo in atti) — Roberto Casadei, Mirko Viroli
Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section (editoriale/introduzione/prefazione) — Franco Zambonelli, Andrea Omicini, Paul Scerri
A type-sound calculus of computational fields (articolo in rivista) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (articolo in atti) — Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (articolo in atti) — Sara Montagna, Andrea Omicini, Danilo Pianini
Spatial awareness in pervasive ecosystems (articolo in rivista) — 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
The Autonomy of Technological Systems and Responsibilities for their Use (capitolo di libro) — Giovanni Sartor, Andrea Omicini
A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf (articolo in atti) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (articolo in atti) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in MoK (libro) — Stefano Mariani

24 pubblicazioni nel 2016 con DOI • in cima • indice • in fondo

2015

A coordination model of pervasive service ecosystems (articolo in rivista) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Deep learning (articolo in rivista) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (articolo in rivista) — Stefano Mariani, Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (articolo in atti) — Andrea Omicini
Programming Multi-agent Systems (articolo in rivista) — Mehdi Dastani
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (articolo in atti) — Stefano Mariani, Andrea Omicini
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions (articolo in atti) — Andrea Omicini, Stefano Mariani
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (articolo in atti) — Stefano Mariani, Andrea Omicini, Luca Sangiorgi
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (articolo in atti) — Andrea Omicini, Giancarlo Fortino, Stefano Mariani
Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification (articolo in atti) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (articolo in rivista) — Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José 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
Agent Environments for Multi-Agent Systems IV (curatela) — Danny Weyns, Fabien Michel
Aggregate Programming for the Internet of Things (articolo in rivista) — Jacob Beal, Danilo Pianini, Mirko Viroli
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (articolo in atti) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Protelis: Practical Aggregate Programming (articolo in atti) — Danilo Pianini, Mirko Viroli, Jacob Beal
Type-based Self-stabilisation for Computational Fields (articolo in rivista) — Ferruccio Damiani, Mirko Viroli
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (articolo in atti) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Preface (editoriale/introduzione/prefazione) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Space-Time Programming (articolo in rivista) — Jacob Beal, Mirko Viroli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (articolo in rivista) — Sara Montagna, Mirko Viroli, Andrea Roli
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (articolo in atti) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Computational Fields Meet Augmented Reality: Perspectives and Challenges (articolo in atti) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
PRIMA 2015: Principles and Practice of Multi-Agent Systems (curatela) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (articolo in atti) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities (articolo in atti) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Smart Augmented Fields for Emergency Operations (articolo in atti) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Formal Foundations of Sensor Network Applications (articolo in rivista) — Jacob Beal, Mirko Viroli
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (articolo in atti) — Enrico Denti, Roberta Calegari
GOTA: GO term annotation of biomedical literature (articolo in rivista) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro

29 pubblicazioni nel 2015 con DOI • in cima • indice • in fondo

2014

Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (articolo in atti) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Complex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014 (curatela) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
Coordination-aware Elasticity (articolo in atti) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
Building Blocks for Aggregate Programming of Self-Organising Applications (articolo in atti) — Jacob Beal, Mirko Viroli
Engineering General Intelligence, Part 2 (libro) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
The IEEE-FIPA Standard on the Design Process Documentation Template (capitolo di libro) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
Negotiation and Argumentation in Multi-Agent Systems (curatela) — Fernando Lopes, Helder Coelho
Introduction (capitolo di libro) — Massimo Cossentino, Ambra Molesini, Vincent Hilaire, Valeria Seidita
A Calculus of Self-stabilising Computational Fields (articolo in atti) — Mirko Viroli, Ferruccio Damiani
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (articolo in rivista) — Enrico Denti
Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks (capitolo di libro) — Artur Arsénio, Hugo Serra, Rui Francisco, Fernando Nabais, João Andrade, Eduardo Serrano
HPC from a self-organisation perspective: The case of crowd steering at the urban scale (articolo in atti) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
Argumentation and Artifacts for Negotiation Support (capitolo di libro) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
On the Origin of Autonomy. A New Look at the Major Transitions in Evolution (libro) — Bernd Rosslenbroich
Handbook on Agent-Oriented Design Processes (curatela) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
The SODA Methodology: Meta-Model and Process Documentation (capitolo di libro) — Ambra Molesini, Andrea Omicini
Cross-domain Text Classification through Iterative Refining of Target Categories Representations (articolo in atti) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Distributed statistical analysis of complex systems modeled through a chemical metaphor (articolo in atti) — Danilo Pianini, Stefano Sebastio, Andrea Vandin
Novel pervasive scenarios for home management: the Butlers architecture (articolo in rivista) — Enrico Denti
Best ACM SAC Articles on Coordination and Self-Adaptation (editoriale/introduzione/prefazione) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (articolo in atti) — Stefano Mariani, Andrea Omicini
Preface (editoriale/introduzione/prefazione) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (articolo in atti) — Stefano Mariani
Bridging the Symbolic/Subsymbolic Gap (capitolo di libro) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
The Gaia Methodology Process (capitolo di libro) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini

25 pubblicazioni nel 2014 con DOI • in cima • indice • in fondo

2013

Probabilistic Modular Embedding for Stochastic Coordinated Systems (articolo in atti) — Stefano Mariani, Andrea Omicini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (articolo in atti) — Stefano Mariani, Andrea Omicini
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (articolo in rivista) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (articolo in rivista) — Andrea Omicini, Stefano Mariani
Self-Organising Semantic Resource Discovery for Pervasive Systems (articolo in atti) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (articolo in atti) — Alessandro Ricci, Andrea Santi
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (articolo in rivista) — Houguang Yue
Nature-inspired Coordination for Complex Distributed Systems (articolo in atti) — Andrea Omicini
Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (rapporto tecnico) — Stefano Mariani
A calculus of computation fields (articolo in atti) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
Semantic Tuple Centres (articolo in rivista) — Elena Nardini, Andrea Omicini, Mirko Viroli
Engineering Pervasive Multiagent Systems in SAPERE (articolo in atti) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems (articolo in rivista) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
On competitive self-composition in pervasive services (articolo in rivista) — Mirko Viroli
Nature-inspired Coordination Models: Current Status, Future Trends (articolo in rivista) — Andrea Omicini
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (articolo in rivista) — Danilo Pianini, Sara Montagna, Mirko Viroli
Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (articolo in rivista) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
Operational Semantics of Proto (articolo in rivista) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Organizing the Aggregate: Languages for Spatial Computing (capitolo di libro) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Multi-agent Oriented Programming with JaCaMo (articolo in rivista) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (articolo in atti) — Stefano Mariani, Andrea Omicini
Description and composition of bio-inspired design patterns: a complete overview (articolo in rivista) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (articolo in atti) — Andrea Omicini, Pierluigi Contucci
Self-Organising Semantic Resource Discovery for Pervasive Systems (articolo in atti) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (articolo in rivista) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (articolo in rivista) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (articolo in atti) — Matteo Casadei, Mirko Viroli
TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (capitolo di libro) — Stefano Mariani, Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (articolo in atti) — Stefano Mariani, Andrea Omicini

29 pubblicazioni nel 2013 con DOI • in cima • indice • in fondo

2012

Is It a “Good” Encoding of Mixed Choice? (articolo in atti) — Kirstin Peters, Uwe Nestmann
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (articolo in atti) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (articolo in atti) — Mirko Viroli, Danilo Pianini, Jacob Beal
Bottom-Up Argumentation (articolo in atti) — Francesca Toni, Paolo Torroni
VPN - Client-server object-oriented virtual plant modeling tool (articolo in atti) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (articolo in atti) — Marco Alberti, Andrea Omicini
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (capitolo di libro) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (articolo in atti) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (articolo in atti) — Alessandro Ricci, Andrea Santi
Programming Directives for Elastic Computing (articolo in rivista) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (articolo in rivista) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
Standard Type Soundness for Agents and Artifacts (articolo in rivista) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Computational Framework for Multilevel Morphologies (capitolo di libro) — Sara Montagna, Mirko Viroli
BIO-CORE: Bio-inspired Self-organising Mechanisms Core (articolo in atti) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (articolo in atti) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Interdependent Artificial Institutions in Agent Environments (articolo in rivista) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Gradient-based Self-organisation Patterns of Anticipative Adaptation (articolo in atti) — Sara Montagna, Danilo Pianini, Mirko Viroli
Implicit: A Multi-agent Recommendation System for Web Search (articolo in rivista) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
Situation Identification Techniques in Pervasive Computing: A Review (articolo in rivista) — Juan Ye, Simon Dobson, Susan McKeever
Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications (articolo in atti) — Christoph Dorn, Richard N Taylor
Self-adaptive software needs quantitative verification at runtime (articolo in rivista) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Toward Sociotechnical Urban Superorganisms (articolo in rivista) — Franco Zambonelli
Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (articolo in rivista) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks (articolo in atti) — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
Self-Organising News Management: The Molecules of Knowledge Approach (articolo in atti) — Stefano Mariani, Andrea Omicini

25 pubblicazioni nel 2012 con DOI • in cima • indice • in fondo

2011

Declarative Agent Languages and Technologies VIII (curatela) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
Living in a Digital World (articolo in rivista) — Samuel Greengard
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (articolo in rivista) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (articolo in rivista) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (articolo in rivista) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (articolo in atti) — Alessandro Ricci, Andrea Santi
A Calculus of Agents and Artifacts (articolo in rivista) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Dennis Ritchie, 1941-2011 (articolo in rivista) — Paul Hyman
Sustainable biomass power plant location in the Italian Emilia-Romagna region (articolo in rivista) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
Towards a logic framework for Web programming (articolo in rivista) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
Improving brain-computer interfaces (articolo in rivista) — Kirk L. Kroeker
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (articolo in rivista) — Franco Zambonelli, Mirko Viroli
The legacy of Steve Jobs (articolo in rivista) — Michael A. Cusumano
Verifying the Evolution of Probability Distributions Governed by a DTMC (articolo in rivista) — YoungMin Kwon, Gul Agha
Description and Composition of Bio-Inspired Design Patterns: the Gossip Case (articolo in atti) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
The most ancient marketing (articolo in rivista) — Jaron Lanier
Self-aware Pervasive Service Ecosystems (articolo in atti) — 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
Adaptive organizational changes in agent-oriented methodologies (articolo in rivista) — Luca Cernuzzi, Franco Zambonelli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (articolo in rivista) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
From Space to Stage: How Interactive Screens Will Change Urban Life (articolo in rivista) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
The Social Compute Unit (articolo in rivista) — Schahram Dustdar, Kamal Bhattacharya
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (articolo in rivista) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (articolo in atti) — Clare Dixon, Alan Winfield, Micheal Fisher
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (articolo in rivista) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
Preface (articolo in rivista) — Carlos Canal, Mirko Viroli
The Rise of Molecular Machines (articolo in rivista) — Kirk L. Kroeker
BDI Agents with Objectives and Preferences (articolo in atti) — Aniruddha Dasgupta, Aditya K. Ghose
Processes Engineering and AOSE (articolo in atti) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (articolo in atti) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (articolo in rivista) — Peter McBurney, Simon Parsons, Mirko Viroli
Anonymity is not privacy: technical perspective (articolo in rivista) — Vitaly Shmatikov
Programming Coordination Laws of Artifacts in CArtAgO (articolo in atti) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
A Tour of Reaction Systems (articolo in rivista) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
Exploiting the JaCaMo framework for realising an adaptive room governance application (articolo in atti) — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
Computational journalism (articolo in rivista) — Sarah Cohen, James T. Hamilton, Fred Turner
Coordination Models and Languages: From Parallel Computing To Self-Organisation (articolo in rivista) — Andrea Omicini, Mirko Viroli
Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems (editoriale/introduzione/prefazione) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
Description Spaces with Fuzziness (articolo in atti) — Elena Nardini, Andrea Omicini, Mirko Viroli
Will software engineering ever be engineering? (articolo in rivista) — Michael Davis

39 pubblicazioni nel 2011 con DOI • in cima • indice • in fondo

2010

Agent-based Conference Management: A Case Study in SODA (articolo in rivista) — Ambra Molesini, Enrico Denti, Andrea Omicini
Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (capitolo di libro) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (articolo in rivista) — Clemens Holzmann, Alois Ferscha
A Biochemical Approach to Adaptive Service Ecosystems (articolo in rivista) — Mirko Viroli, Franco Zambonelli
Engineering Self-Coordinating Software Intensive Systems (articolo in atti) — Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (articolo in rivista) — Sagar Indurkhya, Jacob Beal
Logic-based decision support for strategic environmental assessment (articolo in rivista) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (articolo in atti) — Alessandro Ricci, Mirko Viroli, Michele Piunti
Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (articolo in rivista) — Silvano Cincotti, Marco Raberto, Andrea Teglio
Building an Agent Methodology from Fragments: the MEnSA experience (articolo in atti) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
A Basis Set of Operators for Space-Time Computations (articolo in atti) — Jacob Beal
Tutorial on Agent-based Modelling and Simulation (articolo in rivista) — Charles M. Macal, Michael J. North
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (articolo in rivista) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
MetaSelf: An Architecture and a Development Method for Dependable Self-* systems (articolo in atti) — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (articolo in atti) — Ambra Molesini, Enrico Denti, Andrea Omicini
Self Organization in Coordination Systems using a WordNet-based Ontology (articolo in atti) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Simulation and Analysis of Distributed Systems in Klaim (articolo in atti) — Francesco Calzolai, Michele Loreti
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (articolo in atti) — Bo Sun Conghua Zhou, Liu Zhifeng
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (articolo in atti) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (articolo in rivista) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
A Framework for Modelling and Simulating Networks of Cells (articolo in atti) — Sara Montagna, Mirko Viroli
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (articolo in atti) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study (articolo in rivista) — Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
Formal Verification of Probabilistic Swarm Behaviours (articolo in atti) — Savas Konur, Clare Dixon, Michael Fisher
Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy (capitolo di libro) — Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo
Trust Theory: A Socio-Cognitive and Computational Model (libro) — Christiano Castelfranchi, Rino Falcone
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (articolo in rivista) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (articolo in rivista) — Alessandro Ricci, Enrico Denti, Michele Piunti
Implementing reactive BDI agents with user-given constraints and objectives (articolo in rivista) — Aniruddha Dasgupta, Aditya K. Ghose

29 pubblicazioni nel 2010 con DOI • in cima • indice • in fondo

2009

Introducing Relevance Awareness in BDI Agents (articolo in atti) — Emiliano Lorini, Michele Piunti
RBAC-MAS & SODA: Experimenting RBAC in AOSE (articolo in atti) — Ambra Molesini, Enrico Denti, Andrea Omicini
Embodying Organisations in Multi-Agent Work Environments (articolo in atti) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Formalising the Environment in MAS Programming: a Formal Model (articolo in atti) — Alessandro Ricci, Mirko Viroli, Michele Piunti
Argumentation and Artifact for Dialogue Support (articolo in atti) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
A SOA Based Software Engineering Design Approach in Service Engineering (articolo in atti) — Weider D. Yu, Chia H. Ong
Modelling Periodic Data Dissemination in Wireless Sensor Networks (articolo in atti) — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
A Goal-Oriented Approach for Modelling Self-organising MAS (articolo in atti) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments (articolo in atti) — Michele Piunti, Alessandro Ricci
Software Engineering: An Idea Whose Time Has Come and Gone? (articolo in rivista) — Tom De Marco
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (articolo in atti) — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
A Process Model of Actin Polymerisation (articolo in atti) — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Making Sense of Revision-control Systems (articolo in rivista) — Bryan O'Sullivan
Combining Simulation and Formal Tools for Developing Self-Organizing MAS (capitolo di libro) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Knowledge-based coordination with a reliable semantic subscription mechanism (articolo in atti) — Martin Murth, Eva Kuhn
Environment Programming in CArtAgO (capitolo di libro) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Situated Tuple Centres in ReSpecT (articolo in atti) — Matteo Casadei, Andrea Omicini
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (articolo in atti) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
Engineering Societies in the Agents World X (curatela) — Huib Aldewereld, Virginia Dignum, Gauthier Picard
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (articolo in atti) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (articolo in atti) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces (articolo in atti) — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis (articolo in atti) — 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
Agents, Intelligence, and Tools (capitolo di libro) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
A Framework for Modelling and Implementing Self-Organising Coordination (articolo in atti) — Mirko Viroli, Matteo Casadei, Andrea Omicini
Programming Pervasive and Mobile Computing Applications: The TOTA Approach (articolo in rivista) — Marco Mamei, Franco Zambonelli
General-Purpose Coordination Abstractions for Managing Interaction in MAS (articolo in atti) — Elena Nardini, Andrea Omicini, Mirko Viroli
Parameter tuning of a stochastic biological simulator by metaheuristics (articolo in atti) — Sara Montagna, Andrea Roli
On the Collective Sort Problem for Distributed Tuple Spaces (articolo in rivista) — Matteo Casadei, Mirko Viroli, Luca Gardelli
Environment in Agent-Oriented Software Engineering Methodologies (articolo in rivista) — Ambra Molesini, Andrea Omicini, Mirko Viroli
Biochemical Tuple Spaces for Self-Organising Coordination (articolo in atti) — Mirko Viroli, Matteo Casadei

31 pubblicazioni nel 2009 con DOI • in cima • indice • in fondo

2008

On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition (articolo in atti) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
Simulation Methods in Systems Biology (articolo in atti) — Daniel T. Gillespie
Architecture and Metaphors for Eternally Adaptive Service Ecosystems (articolo in atti) — Franco Zambonelli, Mirko Viroli
A&A for Modelling and Engineering Simulations in Systems Biology (articolo in rivista) — Sara Montagna, Alessandro Ricci, Andrea Omicini
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Pascal Poizat, Mirko Viroli
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (articolo in rivista) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (articolo in atti) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Phase Transitions in Social Sciences: Two-populations Mean Field Theory (articolo in rivista) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (articolo in atti) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (articolo in rivista) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
On the reification of Java wildcards (articolo in rivista) — Maurizio Cimadamore, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (articolo in rivista) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Description Logics (capitolo di libro) — Franz Baader, Ian Horrocks, Ulrike Sattler
Tool-Supported Development with Tropos: The Conference Management System Case Study (articolo in atti) — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
SPEM on Test: the SODA Case Study (articolo in atti) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
An experimental environment for teaching Java Security (articolo in atti) — Anna Riccioni, Enrico Denti, Roberto Laschi
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (articolo in atti) — Mario Bravetti
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (articolo in atti) — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
Engineering Societies in the Agents’ World VIII (curatela) — Alexander Artikis, Gregory M.P. O’Hare, Kostas Stathis, George A. Vouros
Integrating Java and Prolog through Generic Methods and Type Inference (articolo in atti) — Maurizio Cimadamore, Mirko Viroli
The BlenXLanguage: A Tutorial (articolo in atti) — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
The A&A Programming Model and Technology for Developing Agent Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (editoriale/introduzione/prefazione) — Peter McBurney, Andrea Omicini
Programming with models: modularity and abstraction provide powerful capabilities for systems biology (articolo in rivista) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
Co-Argumentation Artifact for Agent Societies (articolo in atti) — Enrico Oliva, Peter McBurney, Andrea Omicini
Towards a Tuplespace-based Middleware for the Semantic Web (articolo in rivista) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (numero speciale) — Andrea Omicini, Peter McBurney
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets (articolo in atti) — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
Lightweight Family Polymorphism (articolo in rivista) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
Artifacts in the A&A Meta-Model for Multi-Agent Systems (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Situating A&A ReSpecT for Pervasive Environment Applications (articolo in atti) — Matteo Casadei, Andrea Omicini
A Process Algebraic View of Shared Dataspace Coordination (articolo in rivista) — Nadia Busi, Gianluigi Zavattaro
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (articolo in atti) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
PASSIM: a simulation-based process for the development of multi-agent systems (articolo in rivista) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Methodologies for Designing Agent Societies (articolo in atti) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
A Multi-Theory Logic Language for the World Wide Web (articolo in atti) — Giulio Piancastelli, Andrea Omicini
Prototyping A&A ReSpecT in Maude (articolo in atti) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (articolo in atti) — Matteo Casadei, Mirko Viroli, Marco Santarelli
Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study (articolo in atti) — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
Agent Oriented Software Engineering VIII (curatela) — Michael Luck, Lin Padgham
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (articolo in atti) — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
Introduction to AOSE Tools for the Conference Management System (articolo in atti) — Lin Padgham, Michael Luck
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (articolo in atti) — Matteo Casadei, Mirko Viroli
The Architecture and Design of a Malleable Object-Oriented Prolog Engine (articolo in atti) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
From AO Methodologies to MAS Infrastructures: The SODA Case Study (articolo in atti) — Ambra Molesini, Enrico Denti, Andrea Omicini
The Prometheus Design Tool – A Conference Management System Case Study (articolo in atti) — Lin Padgham, John Thangarajah, Michael Winikoff
Hierarchical Modeling for Computational Biology (articolo in atti) — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher

47 pubblicazioni nel 2008 con DOI • in cima • indice • in fondo

2007

Building Smart Environments as Agent Workspaces (articolo in atti) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Invited Talk: A Process Algebra Master Equation (articolo in atti) — Luca Cardelli
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Situated Cellular Agents Approach to Crowd Modeling and Simulation (articolo in rivista) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
An Agent-Oriented Programming Model for SOA & Web Services (articolo in atti) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
Integrating Software Models and Platform Models for Performance Analysis (articolo in rivista) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
Auction Negotiation for Mobile Rideshare Service (articolo in atti) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
How to infer gene networks from expression proﬁles (articolo in rivista) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
Context-Dependent Evaluation Methodology for Open Source Software (articolo in atti) — Michele Cabano, Cesare Monti, Giulio Piancastelli
A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates (articolo in atti) — George Jiri Mejtsky
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (articolo in rivista) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (articolo in atti) — Matteo Casadei, Luca Gardelli, Mirko Viroli
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Measurement and Control of Self-organised Behaviour in Robot Swarms (articolo in atti) — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Formal ReSpecT in the A&A Perspective (articolo in atti) — Andrea Omicini
Executable cell biology (articolo in rivista) — Jasmin Fisher, Thomas A. Henzinger
Environments for Multi-Agent Systems III (curatela) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Design Patterns for Self-Organising Systems (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Engineering Societies in the Agents World VII (curatela) — Gregory M.P. O'Hare, Alessandro Ricci, Michael J. O'Grady, Oğuz Dikenelli
Infrastructures for the Environment of Multiagent Systems (articolo in rivista) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Engineering a BPEL Orchestration Engine as a Multi-agent System (articolo in rivista) — Mirko Viroli, Enrico Denti, Alessandro Ricci
A core calculus for correlation in orchestration languages (articolo in rivista) — Mirko Viroli
Designing Self-organising MAS Environments: The Collective Sort Case (articolo in atti) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Preface (editoriale/introduzione/prefazione) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
Practical Extensions in Agent Programming Languages (articolo in atti) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
Pervasive pheromone-based interaction with RFID tags (articolo in rivista) — Mamei Marco, Franco Zambonelli
Geo-Linda: a Geometry Aware Distributed Tuple Space (articolo in atti) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (articolo in atti) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (articolo in atti) — Alessandro Ricci, Mirko Viroli
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Guest Editorial (articolo in rivista) — Davide Ancona, Mirko Viroli
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (articolo in rivista) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Service-Oriented Agent Methodologies (articolo in atti) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (articolo in rivista) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
On the Problem of Over-clustering in Tuple-based Coordination Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
Preface (articolo in rivista) — Carlos Canal, Mirko Viroli
Environment as a First Class Abstraction in Multi-Agent Systems (articolo in rivista) — Danny Weyns, Andrea Omicini, James J. Odell
On the Interplay of Crosscutting and MAS-Specific Styles (articolo in atti) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels (articolo in rivista) — Jomi F. Hübner, Jaime S. Sichman, Olivier Boissier
Discrete Event Modeling and Simulation in Systems Biology (articolo in rivista) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Introduction to the Special Issue: The AgentLink III Technical Forums (editoriale/introduzione/prefazione) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Model Checking Multi-agent systems with Logic Based Petri Nets (articolo in rivista) — Tristan M. Behrens, Jurgen Dix
A Prolog-oriented extension of Java programming based on generics and annotations (articolo in atti) — Maurizio Cimadamore, Mirko Viroli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (articolo in atti) — Mirko Viroli, Matteo Casadei, Luca Gardelli
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Mirko Viroli
Variant path types for scalable extensibility (articolo in rivista) — Atsushi Igarashi, Mirko Viroli
Governing Environments for Agent-Based Traffic Simulations (articolo in atti) — Michael Schumacher, Laurent Grangier, Radu Jurca
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (articolo in atti) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Agent-based modeling of multicell morphogenic processes during development (articolo in rivista) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (articolo in rivista) — Pierluigi Contucci, Stefano Ghirlanda
Special Issue on the AgentLink III Technical Forums (numero speciale) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Pellet: A practical OWL-DL reasoner (articolo in rivista) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (articolo in atti) — Mirko Viroli, Andrea Omicini

55 pubblicazioni nel 2007 con DOI • in cima • indice • in fondo

2006

Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (articolo in atti) — Rossella Rubino, Andrea Omicini, Enrico Denti
On the Expressive Power of KLAIM-based Calculi (articolo in rivista) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (articolo in atti) — Luca Cernuzzi, Franco Zambonelli
Zooming Multi-Agent Systems (articolo in atti) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
On Coordination and its Significance to Distributed and Multi-Agent Systems (articolo in rivista) — Sascha Ossowski, Ronaldo Menezes
Socio-technical systems (voce di enciclopedia) — Brian Whitworth
Service-Oriented Design and Development Methodology (articolo in rivista) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (articolo in atti) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
Verifying Multi-agent Programs by Model Checking (articolo in rivista) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (curatela) — Ron Sun
Web Services Implementation Methodology for SOA Application (articolo in atti) — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (articolo in atti) — L. Robert Pokorny, C. R. Ramakrishnan
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Interactive Computation: The New Paradigm (curatela) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination (articolo in rivista) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (articolo in atti) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Mirko Viroli
Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (capitolo di libro) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (articolo in atti) — Luca Gardelli, Mirko Viroli, Andrea Omicini
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (articolo in rivista) — Christine Julien, Gruia-Catalin Roman
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (articolo in atti) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Verification of Multi-agent Systems Via Bounded Model Checking (articolo in atti) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
The MHS Methodology: Analysis and Design for Context-Aware Systems (articolo in atti) — Evi Syukur, Seng Wai Loke
SODA: A Roadmap to Artefacts (articolo in atti) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (articolo in atti) — Rafael H. Bordini, Jomi F. Hübner
A Framework for Engineering Interactions in Java-based Component Systems (articolo in atti) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Case Studies for Self-organization in Computer Science (articolo in rivista) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (capitolo di libro) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Declarative Agent Languages and Technologies III (curatela) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (libro) — Marco Mamei, Franco Zambonelli
Agent Coordination Contexts in a MAS Coordination Infrastructure (articolo in rivista) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Distributed Workflow upon Linkable Coordination Artifacts (articolo in atti) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Toward Nature-Inspired Computing (articolo in rivista) — Jiming Liu, Kwok Ching Tsui
Agens Faber: Toward a Theory of Artefacts for MAS (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A Survey of Environments and Mechanisms for Human-Human Stigmergy (articolo in atti) — H. Van Dyke Parunak
A Generic Large Scale Simulator for Ubiquitous Computing (articolo in rivista) — M. Martin, P. Nurmi
Cognitive Modeling of Social Behaviours (capitolo di libro) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
Programming MAS with Artifacts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (articolo in rivista) — Atsushi Igarashi, Mirko Viroli
Standardizing Agent Communication (capitolo di libro) — Yannis Labrou
Lime: A coordination model and middleware supporting mobility of hosts and agents (articolo in rivista) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Engineering Societies in the Agents World VI (curatela) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
The Fading Concept in Tuple-Space Systems (articolo in atti) — Ronaldo Menezes, Alan Wood

44 pubblicazioni nel 2006 con DOI • in cima • indice • in fondo

2005

Verifying Multi-agent Systems via Unbounded Model Checking (articolo in atti) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Multi-paradigm Java-Prolog Integration in tuProlog (articolo in rivista) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Agent Interaction Semantics by Timed Operating Instructions (articolo in atti) — Mirko Viroli, Alessandro Ricci
Effective Tool Use in a Habile Agent (articolo in atti) — Alexander B. Wood, Thomas E. Horton, Robert St. Amant
Environment-Based Coordination Through Coordination Artifacts (articolo in atti) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming Stigmergic Coordination with the TOTA Middleware (articolo in atti) — Marco Mamei, Franco Zambonelli
Quantitative Information in the Tuple Space Coordination Model (articolo in rivista) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Towards CSpaces: A New Perspective for the Semantic Web (articolo in atti) — Francisco Martín-Recuerda
An Agent-Oriented Conceptual Framework for Systems Biology (articolo in atti) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
Environments in Multiagent Systems (articolo in rivista) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
RBAC for Organisation and Security in an Agent Coordination Infrastructure (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (articolo in atti) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Programming Multi-Agent Systems in 3APL (capitolo di libro) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda (articolo in atti) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (articolo in atti) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
Declarative Agent Languages and Technologies II (curatela) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (curatela) — Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen
Process-Algebraic Approaches for Multi-Agent Systems: An Overview (editoriale/introduzione/prefazione) — Mirko Viroli, Andrea Omicini
Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (articolo in atti) — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
A Trust Analysis Methodology for Pervasive Computing Systems (articolo in atti) — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
More Principled Design of Pervasive Computing Systems (articolo in atti) — Simon Dobson, Paddy Nixon
Time-Aware Coordination in ReSpecT (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Probabilistic Linda-based Coordination Languages (articolo in atti) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (articolo in atti) — Ambra Molesini, Enrico Denti, Andrea Omicini
Process Models for Agent-based Development (articolo in rivista) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (curatela) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (articolo in atti) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (articolo in atti) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering Societies in the Agents World V (curatela) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
Self-Organization in Multi-Agent Systems (articolo in rivista) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Reliable Distributed Systems. Technologies, Web Services, and Applications (libro) — Kenneth P. Birman
The AgentLink III Technical Forums: Introduction to the Special Issue (editoriale/introduzione/prefazione) — Andrea Omicini, Peter McBurney
Crowd Modeling and Simulation: Towards 3D Visualization (capitolo di libro) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Environments for Multi-Agent Systems (curatela) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Coordination and Composition in Multi-agent Systems (articolo in atti) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
Transactions on Computational Systems Biology III (curatela) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini

37 pubblicazioni nel 2005 con DOI • in cima • indice • in fondo

2004

Adaptive Agents and Multiagent Systems (articolo in rivista) — Zahia Guessoum
The Gaia Methodology (capitolo di libro) — Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli
Coordination Artifacts: Environment-based Coordination for Intelligent Agents (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Coordination Infrastructures in the Engineering of Multiagent Systems (capitolo di libro) — Andrea Omicini, Sascha Ossowski, Alessandro Ricci
Challenges and Research Directions in Agent-Oriented Software Engineering (articolo in rivista) — Franco Zambonelli, Andrea Omicini
Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information (articolo in atti) — Dieter Fensel
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004) (curatela) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
Relevance of Winning Coalitions in Indirect Control of Corporations (articolo in rivista) — Enrico Denti, Nando Prati
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (articolo in atti) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
From the Editor in Chief: Nature-Inspired Computing (articolo in rivista) — Nigel Shadbolt
Composing Adaptive Software (articolo in rivista) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
Coordination and Collaboration Activities in Cooperative Information Systems (articolo in rivista) — Andrea Omicini, Sascha Ossowski
Programming Pervasive and Mobile Computing Applications with the TOTA Middleware (articolo in atti) — Marco Mamei, Franco Zambonelli
Towards Seamless Agent Middleware (articolo in atti) — Andrea Omicini, Giovanni Rimassa
A Programming Language for Cognitive Agents: Goal Directed 3APL (articolo in atti) — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
Declarative Agent Languages and Technologies (curatela) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Online Engineering and Open Computational Systems (capitolo di libro) — Martin Fredriksson, Rune Gustavsson
Verifiable Multi-agent Programs (articolo in atti) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Probabilistic KLAIM (articolo in atti) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Reo: A Channel-based Coordination Model for Component Composition (articolo in rivista) — Farhad Arbab
Engineering Societies in the Agents World IV (curatela) — Andrea Omicini, Paolo Petta, Jeremy Pitt
Verifying Communicating Agents by Model Checking in a Temporal Action Logic (articolo in atti) — Laura Giordano, Alberto Martelli, Camilla Schwind
MAS as Complex Systems: A View on the Role of Declarative Approaches (articolo in atti) — Andrea Omicini, Franco Zambonelli
Using Swarm Intelligence in Linda Systems (articolo in atti) — Robert Tolksdorf, Ronaldo Menezes
From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs (articolo in atti) — Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita
Multi-agent Infrastructures for Objective and Subjective Coordination (articolo in rivista) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004) (articolo in atti) — Andrea Omicini, Alessandro Ricci, Dina Goldin
MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN (articolo in atti) — Andrea Omicini, Alessandro Ricci
Integrating Objective & Subjective Coordination in Multi-Agent Systems (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
System Support for Pervasive Applications (articolo in rivista) — Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
sTuples: Semantic Tuple Spaces (articolo in atti) — Deepali Khushraj, Ora Lassila, Timothy W. Finin
Model Checking for ACL Compliance Verification (capitolo di libro) — Marc-Philippe Huget, Michael J. Wooldridge
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model (articolo in atti) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (articolo in atti) — Enrico Denti, Alessandro Ricci, Rossella Rubino

34 pubblicazioni nel 2004 con DOI • in cima • indice • in fondo

2003

The Vision of Autonomic Computing (articolo in rivista) — Jeffrey O. Kephart, David M. Chess
Supporting Coordination in Open Computational Systems with TuCSoN (articolo in atti) — Alessandro Ricci, Andrea Omicini
A software framework for matchmaking based on semantic web technology (articolo in atti) — Lei Li, Ian Horrocks
First International Workshop on Theory and Practice of Open Computational Systems (editoriale/introduzione/prefazione) — Martin Fredriksson, Rune Gustavsson, Andrea Omicini, Alessandro Ricci
Architecture as a Coordination Tool in Multi-site Software Development (articolo in rivista) — Päivi Ovaska, Matti Rossi, Pentti Marttiin
Modeling Agents and their Environment (articolo in atti) — James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
Computation Beyond Turing Machines (articolo in rivista) — Peter Wegner, Dina Goldin
Learning the Sequential Coordinated Behavior of Teams from Observations (articolo in atti) — Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso
Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications (curatela) — Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. Castro
Method engineering for OO systems development (articolo in rivista) — Brian Henderson-Sellers
MavHome: An Agent-based Smart Home (articolo in atti) — Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja
Engineering Societies in the Agents World III (curatela) — Paolo Petta, Robert Tolksdorf, Franco Zambonelli
Stochastic models for DNA replication (capitolo di libro) — Richard Cowan
Adaptiveness in Linda-Based Coordination Models (articolo in atti) — Ronaldo Menezes, Robert Tolksdorf
A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (articolo in rivista) — Mirko Viroli
Towards a Methodology for Coordination Mechanism Selection in Open Systems (articolo in atti) — Simon Miles, Mike Joy, Michael Luck
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (articolo in atti) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Editorial Message: Special Track on Coordination models, Languages and Applications (editoriale/introduzione/prefazione) — Andrea Omicini, Sascha Ossowski
Quantitative Relations and Approximate Process Equivalences (articolo in atti) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Activity Theory as a Framework for MAS Coordination (articolo in atti) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (articolo in rivista) — Franco Zambonelli, H. Van Dyke Parunak
Cooperative Information Agents VII (curatela) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
Coordination as a Service: Ontological and Formal Foundation (articolo in atti) — Mirko Viroli, Andrea Omicini
Model Checking AgentSpeak (articolo in atti) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
How has the 9/11 terrorist attack influenced decision making? (articolo in rivista) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
From SHIQ and RDF to OWL: The Making of a Web Ontology Language (articolo in rivista) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
Developing multiagent systems: The Gaia methodology (articolo in rivista) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Objective versus Subjective Coordination in the Engineering of Agent Systems (articolo in atti) — Andrea Omicini, Sascha Ossowski
Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems (articolo in atti) — Marco Mamei, Franco Zambonelli, Letizia Leonardi
Signs of a Revolution in Computer Science and Software Engineering (articolo in atti) — Franco Zambonelli, H. Van Dyke Parunak

30 pubblicazioni nel 2003 con DOI • in cima • indice • in fondo

2002

Towards a Notion of Agent Coordination Context (capitolo di libro) — Andrea Omicini
Coordination Knowledge Engineering (articolo in rivista) — Sascha Ossowski, Andrea Omicini
Specifying Agent Observable Behaviour (articolo in atti) — Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework (articolo in atti) — Mirko Viroli, Andrea Omicini
Principled Design of the Modern Web Architecture (articolo in rivista) — Roy Thomas Fielding, Richard N. Taylor
Linear Embedding for a Quantitative Comparison of Language Expressiveness (articolo in atti) — Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology (articolo in atti) — Anna Perini, Angelo Susi, Fausto Giunchiglia
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (articolo in rivista) — Brian Henderson-Sellers
Extreme Programming of Multi-Agent Systems (articolo in atti) — Holger Knublauch
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (articolo in atti) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Engineering Agent Societies: A Case Study in Smart Environments (articolo in atti) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Editorial Message: Special Track on Coordination Models, Languages and Applications (editoriale/introduzione/prefazione) — Andrea Omicini, Sascha Ossowski
Virtual Enterprises and Workflow Management as Agent Coordination Issues (articolo in rivista) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Modelling Agents as Observable Sources (articolo in rivista) — Mirko Viroli, Andrea Omicini
Tuple-based Coordination Models in Event-based Scenarios (articolo in atti) — Mirko Viroli, Alessandro Ricci
Software Engineering for Large-scale Multi-Agent Systems – SELMAS'2002 (articolo in atti) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
Computational challenges in cell simulation: a software engineering approach (articolo in rivista) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
Coordination Tools for MAS Development and Deployment (articolo in rivista) — Enrico Denti, Andrea Omicini, Alessandro Ricci
An Observation Approach to Semantics of Agents Communication Languages (articolo in rivista) — Mirko Viroli, Andrea Omicini
Model Checking Multi-Agent Systems with MABLE (articolo in atti) — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles (articolo in atti) — H. van Dyke Parunak, Sven Brueckner, John Sauter
A Survey of Coordination Middleware for XML-centric Applications (articolo in rivista) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (articolo in rivista) — Hidde De Jong

23 pubblicazioni nel 2002 con DOI • in cima • indice • in fondo

2001

Formal ReSpecT (articolo in atti) — Andrea Omicini, Enrico Denti
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (capitolo di libro) — Ian Foster
A Coordination Language for Collective Agent-based Systems: GroupLog (articolo in rivista) — Fernanda Barbosa, José C. Cunha
Coordination as a Paradigm for Systems Integration (editoriale/introduzione/prefazione) — Andrea Omicini, George A. Papadopoulos
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (articolo in rivista) — Enrico Denti, Andrea Omicini
Introduction to This Special Issue on Context-Aware Computing (articolo in rivista) — Thomas Moran, Paul Dourish
Multi-Agent Systems and Applications (curatela) — Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl
Editorial: Why Coordination Models and Languages in AI? (editoriale/introduzione/prefazione) — Andrea Omicini, George A. Papadopoulos
Simulation-verification: biting at the state explosion problem (articolo in rivista) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
From Tuple Spaces to Tuple Centres (articolo in rivista) — Andrea Omicini, Enrico Denti
Coordination of Internet Agents (curatela) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
Safe Tuplespace-based Coordination in Multiagent Systems (articolo in rivista) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
Coordination Models, Languages and Applications. Track Chair Messages (editoriale/introduzione/prefazione) — Andrea Omicini
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (articolo in rivista) — Ian Foster, Carl Kesselman, Steven Tuecke
Gamma and the Chemical Reaction Model: Fifteen Years After (capitolo di libro) — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
Designing Agent-Oriented Systems by Analysing Agent Interactions (articolo in atti) — Simon Miles, Mike Joy, Michael Luck
Engineering Societies in the Agents World II (curatela) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
Control-driven Constraint Propagation (articolo in rivista) — Eric Monfroy
Self Organization and Coordination (articolo in rivista) — Scott E. Page
Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (articolo in rivista) — Ganesh D. Bhatt
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (articolo in atti) — Alessandro Ricci, Enrico Denti, Andrea Omicini
An Agent-based Approach for Building Complex Software Systems (articolo in rivista) — Nicholas R. Jennings
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (articolo in atti) — Enrico Denti, Andrea Omicini, Alessandro Ricci
On the Unusual Effectiveness of Logic in Computer Science (articolo in rivista) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
Objective Coordination in Multi-Agent System Engineering (libro) — Michael Schumacher
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (articolo in rivista) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (articolo in atti) — Mirko Viroli, Gianluca Moro, Andrea Omicini
Agent-Oriented Software Engineering for Internet Applications (capitolo di libro) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
XML Dataspaces for the Coordination of Internet Agents (articolo in rivista) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Preface: Volume 48 (editoriale/introduzione/prefazione) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
The TuCSoN Coordination Infrastructure for Virtual Enterprises (articolo in atti) — Alessandro Ricci, Andrea Omicini, Enrico Denti
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (articolo in atti) — Andrea Omicini

32 pubblicazioni nel 2001 con DOI • in cima • indice • in fondo

2000

Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
On the Expressiveness of Linda Coordination Primitives (articolo in rivista) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
The LuCe Coordination Technology for MAS Design and Development on the Internet (articolo in atti) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
Selecting a Project's Methodology (articolo in rivista) — Alistair Cockburn
Multiagent System Engineering: The Coordination Viewpoint (articolo in atti) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
On Agent-Based Software Engineering (articolo in rivista) — Nicholas R. Jennings
EasyLiving: Technologies for Intelligent Environments (articolo in atti) — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
Ruling Agent Motion in Structured Environments (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Amorphous Computing (articolo in rivista) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Engineering Societies in the Agents World (curatela) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
Special Track on Coordination Models, Languages and Applications (editoriale/introduzione/prefazione) — Andrea Omicini, George A. Papadopoulos
A Coordination Infrastructure for Agent-based Internet Applications (articolo in atti) — Enrico Denti, Andrea Omicini
Process Migration (articolo in rivista) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (articolo in rivista) — Michael A. Gibson, Jehoushua Bruck
Context-Dependency in Internet-Agent Coordination (articolo in atti) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
The Gaia Methodology for Agent-Oriented Analysis and Design (articolo in rivista) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
MARS: A Programmable Coordination Architecture for Mobile Agents (articolo in rivista) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (articolo in rivista) — Mirko Viroli, Antonio Natali

18 pubblicazioni nel 2000 con DOI • in cima • indice • in fondo

1999

On the Semantics of Tuple-based Coordination Models (articolo in atti) — Andrea Omicini
Tuple Centres for the Coordination of Internet Agents (articolo in atti) — Andrea Omicini, Franco Zambonelli
On the Expressiveness of Coordination Models (articolo in atti) — Antonio Brogi, Jean-Marie Jacquet
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Meta-Modelling Based Assembly Techniques for Situational Method Engineering (articolo in rivista) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Comparing Coordination Models based on Shared Distributed Replicated Data (articolo in atti) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (articolo in rivista) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
A Methodology for Agent-Oriented Analysis and Design (articolo in atti) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Coordination for Internet Application Development (articolo in rivista) — Andrea Omicini, Franco Zambonelli
A Brief History of Stigmergy (articolo in rivista) — Guy Theraulaz, Eric Bonabeau
Building Mobile Agent Applications in HiMAT (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
The HiMAT Model for Mobile Agent Applications (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
The UMASS Intelligent Home Project (articolo in atti) — Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. Zhang
Designing Multi-Agent Systems around an Extensible Communication Abstraction (articolo in atti) — Enrico Denti, Andrea Omicini
Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (articolo in atti) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Co-ordination in Artificial Agent Societies (libro) — Sascha Ossowski
An Architecture for Tuple-based Coordination of Multi-Agent Systems (articolo in rivista) — Enrico Denti, Andrea Omicini
Agents with Power (articolo in rivista) — Rune Gustavsson
Editor's Introduction: Stigmergy (articolo in rivista) — Eric Bonabeau

20 pubblicazioni nel 1999 con DOI • in cima • indice • in fondo

1998

Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (articolo in rivista) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
T Spaces (articolo in rivista) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
KLAIM: A Kernel Language for Agent Interaction and Mobility (articolo in rivista) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
Collective dynamics of ‘small-world’ networks (articolo in rivista) — Duncan J. Watts, Steven H. Strogatz
On the Expressive Power of KLAIM-based Calculi (articolo in rivista) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Understanding Code Mobility (articolo in rivista) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Towards a Hierarchy of Negative Test Operators for Generative Communication (articolo in atti) — Gianluigi Zavattaro
Principles of Trust for MAS. Cognitive Anatomy, Social Importance, and Quantification (articolo in atti) — Cristiano Castelfranchi, Rino Falcone
Co-ordination of Mobile Information Agents in TuCSoN (articolo in rivista) — Andrea Omicini, Franco Zambonelli
Agent Communication Languages: Rethinking the Principles (articolo in rivista) — Munindar P. Singh
Decision procedures for BDI logics (articolo in rivista) — Anand S. Rao, Michael P. Georgeff
On the Expressive Power of a Language for Programming Coordination Media (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini
Distributed Agents Supporting Event-Driven Design Processes (capitolo di libro) — Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira
Modelling Social Action for AI Agents (articolo in rivista) — Cristiano Castelfranchi
A Formal Specification of dMARS (articolo in atti) — Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge

15 pubblicazioni nel 1998 con DOI • in cima • indice • in fondo

1997

Issues in Agent-Based Software Engineering (articolo in atti) — Michael J. Wooldridge
Programmable Coordination Media (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini
“Go to the Ant”: Engineering Principles from Natural Agent Systems (articolo in rivista) — H. Van Dyke Parunak
Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (articolo in atti) — Leon J. Osterweil
Why Interaction Is More Powerful Than Algorithms (articolo in rivista) — Peter Wegner

5 pubblicazioni nel 1997 con DOI • in cima • indice • in fondo

1996

Logic Tuple Spaces for the Coordination of Heterogeneous Agents (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
An Extensible Framework for the Development of Coordinated Applications (articolo in atti) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Coordination Models and Languages as Software Integrators (articolo in rivista) — Paolo Ciancarini
A Software Environment for Concurrent Coordinated Programming (articolo in atti) — Anne-Alexandra Holzbacher
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents (articolo in atti) — Stan Franklin, Art Graesser
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (articolo in atti) — Anand S. Rao

6 pubblicazioni nel 1996 con DOI • in cima • indice • in fondo

1995

Intelligent Agents: Theory and Practice (articolo in rivista) — Michael J. Wooldridge, Nicholas R. Jennings
Context and Consciousness: Activity Theory and Human-Computer Interaction (curatela) — Bonnie A. Nardi
Integration of object-oriented analysis and performance simulation for engineering computer-based systems (articolo in atti) — Richard Goldgar, Ramon D. Acosta
Law-Governed Linda as a Coordination Model (articolo in atti) — Naftaly H. Minsky, Jerrold Leichter
Computational Research on Interaction and Agency (articolo in rivista) — Philip E. Agre
Guarantees for Autonomy in Cognitive Agent Architecture (articolo in atti) — Cristiano Castelfranchi
Specification and Analysis of System Architecture Using Rapide (articolo in rivista) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Reactive, Generative, and Stratified Models of Probabilistic Processes (articolo in rivista) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
Agent Coordination and Control through Logic Theories (articolo in atti) — Andrea Omicini, Enrico Denti, Antonio Natali

9 pubblicazioni nel 1995 con DOI • in cima • indice • in fondo

1994

The Interdisciplinary Study of Coordination (articolo in rivista) — Thomas W. Malone, Kevin Crowston
A Multi-Agent Framework and Programming Environment for Autonomous Robotics (articolo in atti) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini
Moving Prolog Toward Objects (capitolo di libro) — Enrico Denti, Antonio Natali, Andrea Omicini
Object-Oriented Computations in Logic Programming (articolo in atti) — Andrea Omicini, Antonio Natali
Distributed Programming with Logic Tuple Spaces (articolo in rivista) — Paolo Ciancarini
Modularity in Logic Programming (articolo in rivista) — Michele Bugliesi, Evelina Lamma, Paola Mello
Embedding as a Tool for Language Comparison (articolo in rivista) — Frank S. de Boer, Catiuscia Palamidessi

7 pubblicazioni nel 1994 con DOI • in cima • indice • in fondo

1993

Foundations for Interaction: The Dependence Theory (articolo in atti) — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
Agent-Oriented Programming (articolo in rivista) — Yoav Shoham
Elements of Interaction: Turing Award Lecture (articolo in rivista) — Robin Milner
Techniques for Implementing Contexts in Logic Programming (articolo in atti) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Objects with State in Contextual Logic Programming (articolo in atti) — Antonio Natali, Andrea Omicini
Science for the post-normal age (articolo in rivista) — Silvio O. Funtowicz, Jerome R. Ravetz
An Overview of Manifold and its Implementation (articolo in rivista) — Farhad Arbab, Ivan Herman, Per Spilling

7 pubblicazioni nel 1993 con DOI • in cima • indice • in fondo

1992

A calculus of mobile processes, I (articolo in rivista) — Robin Milner, Joachim Parrow, David Walker
A calculus of mobile processes, II (articolo in rivista) — Robin Milner, Joachim Parrow, David Walker
Coordination Languages and Their Significance (articolo in rivista) — David Gelernter, Nicholas Carriero
Design principles for cognitive artifacts (articolo in rivista) — Donald A. Norman
Parallel Logic Programming using the Linda Model of Computation (articolo in atti) — Paolo Ciancarini
The Chemical Abstract Machine (articolo in rivista) — Gérard Berry
Co-ordinating Plans of Autonomous Agents (libro) — Frank von Martial

7 pubblicazioni nel 1992 con DOI • in cima • indice • in fondo

1991

Separating Concurrent Languages with Categories of Language Embeddings (articolo in atti) — Ehud Shapiro
Quintus Prolog 3.0 (articolo in rivista) — Ken Johnson
Intelligence without Representation (articolo in rivista) — Rodney A. Brooks
The Concurrent Language, Shared Prolog (articolo in rivista) — Antonio Brogi, Paolo Ciancarini

4 pubblicazioni nel 1991 con DOI • in cima • indice • in fondo

1990

Equivalences, congruences, and complete axiomatizations for probabilistic processes (articolo in atti) — Chi-Chang Jou, Scott A. Smolka
The GAMMA Model and its Discipline of Programming (articolo in rivista) — Jean-Pierre Banâtre, Daniel Le Métayer
IEEE Standard Glossary of Software Engineering Terminology (rapporto tecnico) — IEEE Standard Board
Testing Equivalences and Fully Abstract Models for Probabilistic Processes (articolo in atti) — Ivan Christoff
Concepts and Paradigms of Object-oriented Programming (articolo in rivista) — Peter Wegner

5 pubblicazioni nel 1990 con DOI • in cima • indice • in fondo

1989

How to Write Parallel Programs: A Guide to the Perplexed (articolo in rivista) — Nicholas Carriero, David Gelernter
Linda in Context (articolo in rivista) — Nicholas Carriero, David Gelernter

2 pubblicazioni nel 1989 con DOI • in cima • indice • in fondo

1986

Linda and Friends (articolo in rivista) — Sudhir Ahuja, Nicholas Carriero, David Gelernter

1 pubblicazione nel 1986 con DOI • in cima • indice • in fondo

1985

Generative Communication in Linda (articolo in rivista) — David Gelernter
Algebra of communicating processes with abstraction (articolo in rivista) — Jan A. Bergstra, Jan Willem Klop
Meta-level Programming and Knowledge Representation (articolo in rivista) — Kenneth A. Bowen

3 pubblicazioni nel 1985 con DOI • in cima • indice • in fondo

1984

Basic Modal Logic (capitolo di libro) — Robert Bull, Krister Segerberg

1 pubblicazione nel 1984 con DOI • in cima • indice • in fondo

1983

The consensus problem in unreliable distributed systems (a brief survey) (articolo in atti) — Michael J Fischer

1 pubblicazione nel 1983 con DOI • in cima • indice • in fondo

1980

Autopoiesis and Cognition: The Realization of the Living (libro) — Humberto R. Maturana, Francisco G. Varela
Minds, Brains, and Programs (articolo in rivista) — John R. Searle

2 pubblicazioni nel 1980 con DOI • in cima • indice • in fondo

1979

The Paradigms of Programming (articolo in rivista) — Robert W. Floyd

1 pubblicazione nel 1979 con DOI • in cima • indice • in fondo

1978

Time, Clocks, and the Ordering of Events in a Distributed System (articolo in rivista) — Leslie Lamport

1 pubblicazione nel 1978 con DOI • in cima • indice • in fondo

1977

Exact Stochastic Simulation of Coupled Chemical Reactions (articolo in rivista) — Daniel T. Gillespie
Petri Nets (articolo in rivista) — James L. Peterson

2 pubblicazioni nel 1977 con DOI • in cima • indice • in fondo

1974

Autopoiesis: The Organization of Living Systems, its Characterization and a Model (articolo in rivista) — Francisco G. Varela, Humberto R. Maturana, R. Uribe

1 pubblicazione nel 1974 con DOI • in cima • indice • in fondo

1972

On the Criteria to Be Used in Decomposing Systems into Modules (articolo in rivista) — David Lorge Parnas

1 pubblicazione nel 1972 con DOI • in cima • indice • in fondo

1959

La reconstruction du nid et les coordinations interindividuelles chez Bellicositermes natalensis et Cubitermes sp. la théorie de la stigmergie: Essai d'interprétation du comportement des termites constructeurs (articolo in rivista) — Pierre-Paul Grassé

1 pubblicazione nel 1959 con DOI • in cima • indice • in fondo

1950

I.—Computing Machinery and Intelligence (articolo in rivista) — Alan Mathison Turing

1 pubblicazione nel 1950 con DOI • in cima • indice • in fondo

1939

Systems of Logic Based on Ordinals (articolo in rivista) — Alan Mathison Turing

1 pubblicazione nel 1939 con DOI • in cima • indice • in fondo

1937

On Computable Numbers, with an Application to the Entscheidungsproblem (articolo in rivista) — Alan Mathison Turing

1 pubblicazione nel 1937 con DOI • in cima • indice • in fondo

pubblicazioni con DOI / 1927–2024 / personali

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Cristian Cosci • Angelo Croatti • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Andrea Rafanelli • Federico Sabbatini