580
publications
with
DOI
/
2005–2023
- Efficient compliance checking of RDF data
(article in journal) — Livio Robaldo, Francesco Pacenza, Jessica Zangari, Roberta Calegari, Francesco Calimeri, Giovanni Siragusa
- GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (paper in proceedings) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, Andrea Omicini
- Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (article in journal) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- A General-Purpose Protocol for Multi-Agent based Explanations (paper in proceedings) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
- Delay Indices for Train Punctuality (article in journal) — Enrico Denti, Luca Burroni
- Neural-logic multi-agent system for flood event detection (article in journal) — Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis
- Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking (paper in proceedings) — Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub
- The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (paper in proceedings) — Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini
- Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (article in journal) — 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 (other publication sort) — Roberto Gozalo-Brizuela, Eduardo C. Garrido-Merchan
- Explainable Clustering with CREAM (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- AI as Agency Without Intelligence: On ChatGPT, Large Language Models, and Other Generative Models (article in journal) — Luciano Floridi
- Multi-Agent Cooperative Argumentation in Arg2P (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
- Knowledge injection of Datalog rules via Neural Network Structuring with KINS (article in journal) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Special Issue “Advances in Multi-Agent Systems”: Editorial (editorial/introduction/preface) — Stefano Mariani, Andrea Omicini
- Explainable and Transparent AI and Multi-Agent Systems (edited volume) — 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 (paper in proceedings) — Roberta Calegari, Federico Sabbatini
- HAMLET: a framework for Human-centered AutoML via Structured Argumentation (article in journal) — Matteo Francia, Joseph Giovanelli, Giuseppe Pisano
- Assessing and Enforcing Fairness in the AI Lifecycle (paper in proceedings) — 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 (article in journal) — 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
- Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (article in journal) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini
21 publications in 2023 with DOI •
top •
index •
bottom
- On Correctness and Completeness of an n Queens Program (article in journal) — Włodzimierz Drabent
- How to model contrary-to-duty with GCP-nets (article in journal) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
- Modular logic argumentation in Arg-tuProlog (paper in proceedings) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
- Web of Digital Twins (article in journal) — Alessandro Ricci, Angelo Croatti, Stefano Mariani, Sara Montagna, Marco Picone
- Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (article in journal) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Arg2P: An argumentation framework for explainable intelligent systems (article in journal) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
- Burden of Persuasion in Meta-argumentation (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Arguing About the Existence of Conflicts (paper in proceedings) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
- Fifty Years of Prolog and Beyond (article in journal) — 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 (paper in proceedings) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (paper in proceedings) — Federico Sabbatini, Roberta Calegari
- A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (article in journal) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
- Pervasive and Connected Digital Twins - A Vision for Digital Health (article in journal) — Alessandro Ricci, Angelo Croatti, Sara Montagna
- Coordination of Autonomous Vehicles: Taxonomy and Survey (article in journal) — Stefano Mariani, Giacomo Cabri, Franco Zambonelli
- On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (paper in proceedings) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (paper in proceedings) — Federico Sabbatini, Roberta Calegari
17 publications in 2022 with DOI •
top •
index •
bottom
- Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (paper in proceedings) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
- 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Load Classification: A Case Study for Applying Neural Networks in Hyper-Constrained Embedded Devices (article in journal) — Andrea Agiollo, Andrea Omicini
- Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge (paper in proceedings) — 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 (paper in proceedings) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Towards Explainable Visionary Agents: License to Dare and Imagine (paper in proceedings) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
- GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (paper in proceedings) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (paper in proceedings) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Augmenting BDI Agency with a Cognitive Service: Architecture and Validation in Healthcare Domain (article in journal) — Sara Montagna, Stefano Mariani, Emiliano Gamberini
- DETONAR: Detection of Routing Attacks in RPL-based IoT (article in journal) — Andrea Agiollo, Mauro Conti, Pallavi Kaliyar, TsungNan Lin, Luca Pajola
- Partitioned integration and coordination via the self-organising coordination regions pattern (article in journal) — 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 (article in journal) — Angelo Croatti, Sara Montagna, Carolina Lombardi, Gianfranco Parati, Martino F. Pengo, Alessandro Silvani
- Applying Telemedicine for Stroke Remote Diagnosis: the TeleStroke System (article in journal) — Angelo Croatti, Marco Longoni, Sara Montagna
- Argumentation and Defeasible Reasoning in the Law (article in journal) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- MDE & MDA in a Multi-Paradigm Modeling Perspective (book chapter) — Ambra Molesini, Enrico Denti, Andrea Omicini
- The Burden of Persuasion in Structured Argumentation (paper in proceedings) — Roberta Calegari, Regis Riveret, Giovanni Sartor
- Programming Agent-Based Mobile Apps: The JaCa-Android Framework (paper in proceedings) — Angelo Croatti, Alessandro Ricci
- Burdens of Persuasion and Standards of Proof in Structured Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor
- Breaking down monoliths with Microservices and DevOps: an industrial experience report (paper in proceedings) — Danilo Pianini, Alessandro Neri
- Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (article in journal) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
20 publications in 2021 with DOI •
top •
index •
bottom
- Twenty years of coordination technologies: COORDINATION contribution to the state of art (article in journal) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
- From Agents to Blockchain: Stairway to Integration (article in journal) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
- From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities (paper in proceedings) — Angelo Croatti, Alessandro Ricci
- On the Integration of Agents and Digital Twins in Healthcare (article in journal) — Angelo Croatti, Matteo Gabellini, Sara Montagna, Alessandro Ricci
- A Model for the Burden of Persuasion in Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor
- Special Issue “Multi-Agent Systems”: Editorial (editorial/introduction/preface) — Stefano Mariani, Andrea Omicini
- The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices (paper in proceedings) — Angelo Croatti, Alessandro Ricci
- Time-Fluid Field-Based Coordination (paper in proceedings) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
- Agent-based Modelling in Multicellular Systems Biology (book chapter) — Sara Montagna, Andrea Omicini
- Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (paper in proceedings) — Roberto Casadei, Mirko Viroli, Alessandro Ricci
- Real-time tracking and documentation in trauma management (article in journal) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
- Causal Interpretability for Machine Learning – Problems, Methods and Evaluation (article in journal) — Raha Moraffah, Mansooreh Karami, Ruocheng Guo, Adrienne Raglin, Huan Liu
- Smart Contracts are More than Objects: Pro-activeness on the Blockchain (paper in proceedings) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
- Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (article in journal) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
- Burden of Persuasion in Argumentation (paper in proceedings) — Roberta Calegari, Giovanni Sartor
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (article in journal) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- Multi-Agent Systems 2019 (edited volume) — Andrea Omicini, Stefano Mariani
- Agent-Based Explanations in AI: Towards an Abstract Framework (paper in proceedings) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
- Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation (article in journal) — 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 (article in journal) — 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 (editorial/introduction/preface) — Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
- Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project (paper in proceedings) — Angelo Croatti, Manuel Bottazzi, Alessandro Ricci
- The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling (article in journal) — Sara Montagna, Michele Braccini, Andrea Roli
- Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (paper in proceedings) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles (paper in proceedings) — Stefano Mariani, Franco Zambonelli
- Arg-tuProlog: a modular logic argumentation tool for PIL (paper in proceedings) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey (article in journal) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices (article in journal) — Angelo Croatti, Alessandro Ricci
- Exploiting Simulation for MAS Programming and Engineering - The JaCaMo-sim Platform (paper in proceedings) — Alessandro Ricci, Angelo Croatti, Rafael H. Bordini, Jomi F. Hubner, Olivier Boissier
29 publications in 2020 with DOI •
top •
index •
bottom
- Coordination in Socio-technical Systems: Where are we now? Where do we go next? (article in journal) — Stefano Mariani
- Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach (paper in proceedings) — Roberto Casadei, Mirko Viroli
- Special Issue “Multi-Agent Systems”: Editorial (editorial/introduction/preface) — Stefano Mariani, Andrea Omicini
- Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling (paper in proceedings) — Umberto Michieli, Maria Camporese, Andrea Agiollo, Giampaolo Pagnutti, Pietro Zanuttigh
- ViTALiSE: Virtual to Augmented Loop in Smart Environments (paper in proceedings) — Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe Vizzari
- Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (article in journal) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT (book chapter) — Giancarlo Fortino, Barbara Re, Mirko Viroli, Franco Zambonelli
- Aggregate Processes in Field Calculus (paper in proceedings) — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
- The Future of Digital Democracy. An Interdisciplinary Approach (edited volume) — Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina Sîrbu
- The share Operator for Field-Based Coordination (paper in proceedings) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
- On a Higher-Order Calculus of Computational Fields (paper in proceedings) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
- Multi-Agent Systems (edited volume) — Vicent Botti, Andrea Omicini, Stefano Mariani, Vicente Julian
- TuSoW: Tuple Spaces for Edge Computing (paper in proceedings) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
- Explanation in artificial intelligence: Insights from the social sciences (article in journal) — Tim Miller
- Intelligent Agents and Environment (encyclopedia entry) — Alfredo Garro, Max Mühlhäuser, Andrea Tundis, Stefano Mariani, Andrea Omicini, Giuseppe Vizzari
- Deliver intelligence to integrate care: the Connecare way (article in journal) — Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
- Evaluating Origin–Destination Matrices Obtained from CDR Data (article in journal) — Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
- Towards Adaptive Flow Programming for the IoT: The Fluidware Approach (paper in proceedings) — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
- BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting (article in journal) — Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti
- Democratic Process and Digital Platforms: An Engineering Perspective (book chapter) — Danilo Pianini, Andrea Omicini
- Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (paper in proceedings) — Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli
- Towards Agent-oriented Blockchains: Autonomous Smart Contracts (paper in proceedings) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
- Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management (paper in proceedings) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello
- Client-side Computational Optimization (article in journal) — Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
- A Higher-Order Calculus of Computational Fields (article in journal) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
- Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (paper in proceedings) — Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca
- Engineering Resilient Collaborative Edge-Enabled IoT (paper in proceedings) — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
- Big Data from the Cloud to the Edge: The Aggregate Computing Solution (paper in proceedings) — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
- Defeasible Systems in Legal Reasoning: A Comparative Assessment (paper in proceedings) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
- From distributed coordination to field calculus and aggregate computing (article in journal) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
- A development approach for collective opportunistic Edge-of-Things services (article in journal) — 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 (paper in proceedings) — Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
- Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (article in journal) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
- Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (paper in proceedings) — Andrea Omicini, Roberta Calegari
- Self-organising Coordination Regions: a Pattern for Edge Computing (paper in proceedings) — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
- Comparative Analysis of Blockchain Technologies under a Coordination Perspective (paper in proceedings) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
- Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
37 publications in 2019 with DOI •
top •
index •
bottom
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (paper in proceedings) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
- Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework (paper in proceedings) — Angelo Croatti, Alessandro Ricci
- Aggregate Graph Statistics (paper in proceedings) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things (paper in proceedings) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
- Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (article in journal) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
- Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions (article in journal) — Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
- Optimal single-path information propagation in gradient-based algorithms (article in journal) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- ReSpecTX: Programming Interaction Made Easy (article in journal) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- From Field-Based Coordination to Aggregate Computing (paper in proceedings) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
- Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (paper in proceedings) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
- Spatial Tuples: Augmenting Reality with Tuples (article in journal) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
- Logic Programming as a Service (article in journal) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Space-Time Universality of Field Calculus (paper in proceedings) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
- A Survey of Methods for Explaining Black Box Models (article in journal) — Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi
- The mythos of model interpretability (article in journal) — Zachary C. Lipton
- Extending Logic Programming with Labelled Variables: Model and Semantics (article in journal) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
- Combining Trust and Aggregate Computing (paper in proceedings) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
- Towards attack-resistant Aggregate Computing using trust mechanisms (article in journal) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
- Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT (paper in proceedings) — Roberto Casadei, Mirko Viroli
- Distributed Speaking Objects: a Case for Massive Multiagent Systems (paper in proceedings) — 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 (article in journal) — 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 (article in journal) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (paper in proceedings) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- Programming Actor-Based Collective Adaptive Systems (book chapter) — Roberto Casadei, Mirko Viroli
- The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis (paper in proceedings) — Sara Montagna, Michele Braccini, Andrea Roli
- A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems (paper in proceedings) — Angelo Croatti, Alessandro Ricci
- Distributed Real-Time Shortest-Paths Computations with the Field Calculus (paper in proceedings) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
- Coordination of Complex Socio-technical Systems: Challenges and Opportunities (paper in proceedings) — Stefano Mariani
29 publications in 2018 with DOI •
top •
index •
bottom
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (paper in proceedings) — Angelo Croatti, Sara Montagna, Alessandro Ricci
- Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study (article in journal) — Sara Montagna, Andrea Omicini
- Aggregate plans for multiagent systems (article in journal) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
- Practical Aggregate Programming with Protelis (paper in proceedings) — Danilo Pianini, Jacob Beal, Mirko Viroli
- Agent-based Modelling in Multicellular Systems Biology (book chapter) — Sara Montagna, Andrea Omicini
- Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration (paper in proceedings) — Danilo Pianini, Simon Dobson, Mirko Viroli
- Programming the Interaction Space Effectively with ReSpecTX (paper in proceedings) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (paper in proceedings) — Angelo Croatti, Sara Montagna, Alessandro Ricci
- Coordinating Distributed Speaking Objects (paper in proceedings) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- Augmented societies with mirror worlds (article in journal) — Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
- Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea (paper in proceedings) — Angelo Croatti, Alessandro Ricci
- Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (article in journal) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Towards the Web of Augmented Things (paper in proceedings) — Angelo Croatti, Alessando Ricci
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
- An Argumentation-based Perspective over the Social IoT (article in journal) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- Context Reasoning and Prediction in Smart Environments: the Home Manager case (paper in proceedings) — Roberta Calegari, Enrico Denti
- Agents and Multi-Agent Systems for Health Care (edited volume) — Sara Montagna, Pedro Henriques Abreu, Sylvain Giroux, Michael Schumacher
- Towards a Foundational API for Resilient Distributed Systems Design (paper in proceedings) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
- Logic Programming as a Service (LPaaS): Intelligence for the IoT (paper in proceedings) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Self-Adaptation to Device Distribution in the Internet of Things (article in journal) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
- Towards Argumentation-based Recommendations for Personalised Patient Empowerment (paper in proceedings) — Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
- Compositional Blocks for Optimal Self-Healing Gradients (paper in proceedings) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
22 publications in 2017 with DOI •
top •
index •
bottom
- Simulating Large-scale Aggregate MASs with Alchemist and Scala (paper in proceedings) — Mirko Viroli, Roberto Casadei, Danilo Pianini
- Introducing the Oscillations Based Paradigm. The Simulation of Agents and Social Systems (book) — Darius Plikynas
- Run-Time Management of Computation Domains in Field Calculus (paper in proceedings) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
- Cross-organism learning method to discover new gene functionalities (article in journal) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- The Butlers Framework for Socio-Technical Smart Spaces (paper in proceedings) — Roberta Calegari, Enrico Denti
- Programming with event loops and control loops – From actors to agents (article in journal) — Alessandro Ricci
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (paper in proceedings) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
- An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development (paper in proceedings) — Angelo Croatti, Alessandro Ricci
- On Execution Platforms for Large-scale Aggregate Computing (paper in proceedings) — Mirko Viroli, Roberto Casadei, Danilo Pianini
- Resiliency with Aggregate Computing: State of the Art and Roadmap (paper in proceedings) — Mirko Viroli, Jacob Beal
- Mastering the game of Go with deep neural networks and tree search (article in journal) — 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 (article in journal) — 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 (paper in proceedings) — 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 (paper in proceedings) — Andrea Omicini, Franco Zambonelli
- Towards Aggregate Programming in Scala (paper in proceedings) — Roberto Casadei, Mirko Viroli
- Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section (editorial/introduction/preface) — Franco Zambonelli, Andrea Omicini, Paul Scerri
- A type-sound calculus of computational fields (article in journal) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
- Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (paper in proceedings) — Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (paper in proceedings) — Sara Montagna, Andrea Omicini, Danilo Pianini
- Spatial awareness in pervasive ecosystems (article in journal) — 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 (book chapter) — Giovanni Sartor, Andrea Omicini
- A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (paper in proceedings) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
- Coordination of Complex Sociotechnical Systems: Self-organisation of Knowledge in MoK (book) — Stefano Mariani
24 publications in 2016 with DOI •
top •
index •
bottom
- A coordination model of pervasive service ecosystems (article in journal) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
- Deep learning (article in journal) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton
- Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (article in journal) — Stefano Mariani, Andrea Omicini
- Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (paper in proceedings) — Andrea Omicini
- Programming Multi-agent Systems (article in journal) — Mehdi Dastani
- Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions (paper in proceedings) — Andrea Omicini, Stefano Mariani
- Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (paper in proceedings) — Stefano Mariani, Andrea Omicini, Luca Sangiorgi
- Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (paper in proceedings) — Andrea Omicini, Giancarlo Fortino, Stefano Mariani
- Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (article in journal) — 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
- Aggregate Programming for the Internet of Things (article in journal) — Jacob Beal, Danilo Pianini, Mirko Viroli
- Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (paper in proceedings) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
- Protelis: Practical Aggregate Programming (paper in proceedings) — Danilo Pianini, Mirko Viroli, Jacob Beal
- Type-based Self-stabilisation for Computational Fields (article in journal) — Ferruccio Damiani, Mirko Viroli
- Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (paper in proceedings) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
- Preface (editorial/introduction/preface) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
- Space-Time Programming (article in journal) — Jacob Beal, Mirko Viroli
- A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (article in journal) — Sara Montagna, Mirko Viroli, Andrea Roli
- Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (paper in proceedings) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
- Computational Fields Meet Augmented Reality: Perspectives and Challenges (paper in proceedings) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
- PRIMA 2015: Principles and Practice of Multi-Agent Systems (edited volume) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
- Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (paper in proceedings) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
- Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities (paper in proceedings) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- Smart Augmented Fields for Emergency Operations (paper in proceedings) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Formal Foundations of Sensor Network Applications (article in journal) — Jacob Beal, Mirko Viroli
- Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (paper in proceedings) — Enrico Denti, Roberta Calegari
- GOTA: GO term annotation of biomedical literature (article in journal) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
28 publications in 2015 with DOI •
top •
index •
bottom
- Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (paper in proceedings) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- Complex Networks V. Proceedings of the 5th Workshop on Complex Networks CompleNet 2014 (edited volume) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
- Coordination-aware Elasticity (paper in proceedings) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
- Building Blocks for Aggregate Programming of Self-Organising Applications (paper in proceedings) — Jacob Beal, Mirko Viroli
- Engineering General Intelligence, Part 2 (book) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
- The IEEE-FIPA Standard on the Design Process Documentation Template (book chapter) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
- Negotiation and Argumentation in Multi-Agent Systems (edited volume) — Fernando Lopes, Helder Coelho
- Introduction (book chapter) — Massimo Cossentino, Ambra Molesini, Vincent Hilaire, Valeria Seidita
- A Calculus of Self-stabilising Computational Fields (paper in proceedings) — Mirko Viroli, Ferruccio Damiani
- Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (article in journal) — Enrico Denti
- Internet of Intelligent Things: Bringing Artificial Intelligence into Things and Communication Networks (book chapter) — 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 (paper in proceedings) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
- Argumentation and Artifacts for Negotiation Support (book chapter) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
- On the Origin of Autonomy. A New Look at the Major Transitions in Evolution (book) — Bernd Rosslenbroich
- Handbook on Agent-Oriented Design Processes (edited volume) — Massimo Cossentino, Vincent Hilaire, Ambra Molesini, Valeria Seidita
- The SODA Methodology: Meta-Model and Process Documentation (book chapter) — Ambra Molesini, Andrea Omicini
- Cross-domain Text Classification through Iterative Refining of Target Categories Representations (paper in proceedings) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Distributed statistical analysis of complex systems modeled through a chemical metaphor (paper in proceedings) — Danilo Pianini, Stefano Sebastio, Andrea Vandin
- Novel pervasive scenarios for home management: the Butlers architecture (article in journal) — Enrico Denti
- Best ACM SAC Articles on Coordination and Self-Adaptation (editorial/introduction/preface) — Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
- Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Preface (editorial/introduction/preface) — Pierluigi Contucci, Ronaldo Menezes, Andrea Omicini, Julia Poncela-Casasnovas
- On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (paper in proceedings) — Stefano Mariani
- Bridging the Symbolic/Subsymbolic Gap (book chapter) — Ben Goertzel, Cassio Pennachin, Nil Geisweiller
- The Gaia Methodology Process (book chapter) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini
25 publications in 2014 with DOI •
top •
index •
bottom
- Probabilistic Modular Embedding for Stochastic Coordinated Systems (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Simulation in Agent-Oriented Software Engineering: The SODA Case Study (article in journal) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
- Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (article in journal) — Andrea Omicini, Stefano Mariani
- Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
- Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (paper in proceedings) — Alessandro Ricci, Andrea Santi
- From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (article in journal) — Houguang Yue
- Nature-inspired Coordination for Complex Distributed Systems (paper in proceedings) — Andrea Omicini
- Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (technical report) — Stefano Mariani
- A calculus of computation fields (paper in proceedings) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
- Semantic Tuple Centres (article in journal) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Engineering Pervasive Multiagent Systems in SAPERE (paper in proceedings) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- Injecting Self-organisation into Pervasive Service Ecosystems (article in journal) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
- On competitive self-composition in pervasive services (article in journal) — Mirko Viroli
- Nature-inspired Coordination Models: Current Status, Future Trends (article in journal) — Andrea Omicini
- Chemical-oriented Simulation of Computational Systems with ALCHEMIST (article in journal) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (article in journal) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
- Operational Semantics of Proto (article in journal) — Mirko Viroli, Jacob Beal, Kyle Usbeck
- Organizing the Aggregate: Languages for Spatial Computing (book chapter) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
- Multi-agent Oriented Programming with JaCaMo (article in journal) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
- Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (paper in proceedings) — Stefano Mariani, Andrea Omicini
- Description and composition of bio-inspired design patterns: a complete overview (article in journal) — 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 (paper in proceedings) — Andrea Omicini, Pierluigi Contucci
- Self-Organising Semantic Resource Discovery for Pervasive Systems (paper in proceedings) — 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 (article in journal) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
- A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (article in journal) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (paper in proceedings) — Matteo Casadei, Mirko Viroli
- TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (book chapter) — Stefano Mariani, Andrea Omicini
- Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (paper in proceedings) — Stefano Mariani, Andrea Omicini
29 publications in 2013 with DOI •
top •
index •
bottom
- Is It a “Good” Encoding of Mixed Choice? (paper in proceedings) — Kirstin Peters, Uwe Nestmann
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (paper in proceedings) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
- Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (paper in proceedings) — Mirko Viroli, Danilo Pianini, Jacob Beal
- Bottom-Up Argumentation (paper in proceedings) — Francesca Toni, Paolo Torroni
- VPN - Client-server object-oriented virtual plant modeling tool (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (paper in proceedings) — Marco Alberti, Andrea Omicini
- From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (book chapter) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
- ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (paper in proceedings) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
- Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (paper in proceedings) — Alessandro Ricci, Andrea Santi
- Programming Directives for Elastic Computing (article in journal) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
- A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (article in journal) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
- Standard Type Soundness for Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- A Computational Framework for Multilevel Morphologies (book chapter) — Sara Montagna, Mirko Viroli
- BIO-CORE: Bio-inspired Self-organising Mechanisms Core (paper in proceedings) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
- Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Interdependent Artificial Institutions in Agent Environments (article in journal) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
- Gradient-based Self-organisation Patterns of Anticipative Adaptation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
- Implicit: A Multi-agent Recommendation System for Web Search (article in journal) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
- Situation Identification Techniques in Pervasive Computing: A Review (article in journal) — Juan Ye, Simon Dobson, Susan McKeever
- Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications (paper in proceedings) — Christoph Dorn, Richard N Taylor
- Self-adaptive software needs quantitative verification at runtime (article in journal) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
- Toward Sociotechnical Urban Superorganisms (article in journal) — Franco Zambonelli
- Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (article in journal) — 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 (paper in proceedings) — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
- Self-Organising News Management: The Molecules of Knowledge Approach (paper in proceedings) — Stefano Mariani, Andrea Omicini
25 publications in 2012 with DOI •
top •
index •
bottom
- Declarative Agent Languages and Technologies VIII (edited volume) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
- Living in a Digital World (article in journal) — Samuel Greengard
- simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (article in journal) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (article in journal) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
- Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (article in journal) — Alessandro Ricci, Michele Piunti, Mirko Viroli
- Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (paper in proceedings) — Alessandro Ricci, Andrea Santi
- A Calculus of Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- Dennis Ritchie, 1941-2011 (article in journal) — Paul Hyman
- Sustainable biomass power plant location in the Italian Emilia-Romagna region (article in journal) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
- Towards a logic framework for Web programming (article in journal) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- Improving brain-computer interfaces (article in journal) — Kirk L. Kroeker
- A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (article in journal) — Franco Zambonelli, Mirko Viroli
- The legacy of Steve Jobs (article in journal) — Michael A. Cusumano
- Verifying the Evolution of Probability Distributions Governed by a DTMC (article in journal) — YoungMin Kwon, Gul Agha
- Description and Composition of Bio-Inspired Design Patterns: the Gossip Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
- The most ancient marketing (article in journal) — Jaron Lanier
- Self-aware Pervasive Service Ecosystems (paper in proceedings) — 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 (article in journal) — Luca Cernuzzi, Franco Zambonelli
- Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (article in journal) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
- From Space to Stage: How Interactive Screens Will Change Urban Life (article in journal) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
- The Social Compute Unit (article in journal) — Schahram Dustdar, Kamal Bhattacharya
- Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (article in journal) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
- Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (paper in proceedings) — Clare Dixon, Alan Winfield, Micheal Fisher
- Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (article in journal) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
- Preface (article in journal) — Carlos Canal, Mirko Viroli
- The Rise of Molecular Machines (article in journal) — Kirk L. Kroeker
- BDI Agents with Objectives and Preferences (paper in proceedings) — Aniruddha Dasgupta, Aditya K. Ghose
- Processes Engineering and AOSE (paper in proceedings) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
- Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (paper in proceedings) — 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 (article in journal) — Peter McBurney, Simon Parsons, Mirko Viroli
- Anonymity is not privacy: technical perspective (article in journal) — Vitaly Shmatikov
- Programming Coordination Laws of Artifacts in CArtAgO (paper in proceedings) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
- A Tour of Reaction Systems (article in journal) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
- Exploiting the JaCaMo framework for realising an adaptive room governance application (paper in proceedings) — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
- Computational journalism (article in journal) — Sarah Cohen, James T. Hamilton, Fred Turner
- Coordination Models and Languages: From Parallel Computing To Self-Organisation (article in journal) — Andrea Omicini, Mirko Viroli
- Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems (editorial/introduction/preface) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
- Description Spaces with Fuzziness (paper in proceedings) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Will software engineering ever be engineering? (article in journal) — Michael Davis
39 publications in 2011 with DOI •
top •
index •
bottom
- Agent-based Conference Management: A Case Study in SODA (article in journal) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (book chapter) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
- A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (article in journal) — Clemens Holzmann, Alois Ferscha
- A Biochemical Approach to Adaptive Service Ecosystems (article in journal) — Mirko Viroli, Franco Zambonelli
- Engineering Self-Coordinating Software Intensive Systems (paper in proceedings) — 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 (article in journal) — Sagar Indurkhya, Jacob Beal
- Logic-based decision support for strategic environmental assessment (article in journal) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Michele Piunti
- Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (article in journal) — Silvano Cincotti, Marco Raberto, Andrea Teglio
- Building an Agent Methodology from Fragments: the MEnSA experience (paper in proceedings) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
- A Basis Set of Operators for Space-Time Computations (paper in proceedings) — Jacob Beal
- Tutorial on Agent-based Modelling and Simulation (article in journal) — Charles M. Macal, Michael J. North
- Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (article in journal) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
- MetaSelf: An Architecture and a Development Method for Dependable Self-* systems (paper in proceedings) — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
- HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Self Organization in Coordination Systems using a WordNet-based Ontology (paper in proceedings) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Simulation and Analysis of Distributed Systems in Klaim (paper in proceedings) — Francesco Calzolai, Michele Loreti
- Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (paper in proceedings) — Bo Sun Conghua Zhou, Liu Zhifeng
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (paper in proceedings) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
- Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (article in journal) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- A Framework for Modelling and Simulating Networks of Cells (paper in proceedings) — Sara Montagna, Mirko Viroli
- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (paper in proceedings) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
- Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study (article in journal) — Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
- Formal Verification of Probabilistic Swarm Behaviours (paper in proceedings) — Savas Konur, Clare Dixon, Michael Fisher
- Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy (book chapter) — Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo
- Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (article in journal) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
- A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (article in journal) — Alessandro Ricci, Enrico Denti, Michele Piunti
- Implementing reactive BDI agents with user-given constraints and objectives (article in journal) — Aniruddha Dasgupta, Aditya K. Ghose
28 publications in 2010 with DOI •
top •
index •
bottom
- Introducing Relevance Awareness in BDI Agents (paper in proceedings) — Emiliano Lorini, Michele Piunti
- RBAC-MAS & SODA: Experimenting RBAC in AOSE (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Embodying Organisations in Multi-Agent Work Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Formalising the Environment in MAS Programming: a Formal Model (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Michele Piunti
- Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- A SOA Based Software Engineering Design Approach in Service Engineering (paper in proceedings) — Weider D. Yu, Chia H. Ong
- Modelling Periodic Data Dissemination in Wireless Sensor Networks (paper in proceedings) — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
- A Goal-Oriented Approach for Modelling Self-organising MAS (paper in proceedings) — 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 (paper in proceedings) — Michele Piunti, Alessandro Ricci
- Software Engineering: An Idea Whose Time Has Come and Gone? (article in journal) — Tom De Marco
- Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (paper in proceedings) — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
- A Process Model of Actin Polymerisation (paper in proceedings) — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
- Making Sense of Revision-control Systems (article in journal) — Bryan O'Sullivan
- Combining Simulation and Formal Tools for Developing Self-Organizing MAS (book chapter) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Knowledge-based coordination with a reliable semantic subscription mechanism (paper in proceedings) — Martin Murth, Eva Kuhn
- Environment Programming in CArtAgO (book chapter) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
- Situated Tuple Centres in ReSpecT (paper in proceedings) — Matteo Casadei, Andrea Omicini
- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (paper in proceedings) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
- Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (paper in proceedings) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (paper in proceedings) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces (paper in proceedings) — 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 (paper in proceedings) — 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 (book chapter) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
- A Framework for Modelling and Implementing Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei, Andrea Omicini
- Programming Pervasive and Mobile Computing Applications: The TOTA Approach (article in journal) — Marco Mamei, Franco Zambonelli
- General-Purpose Coordination Abstractions for Managing Interaction in MAS (paper in proceedings) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Parameter tuning of a stochastic biological simulator by metaheuristics (paper in proceedings) — Sara Montagna, Andrea Roli
- On the Collective Sort Problem for Distributed Tuple Spaces (article in journal) — Matteo Casadei, Mirko Viroli, Luca Gardelli
- Environment in Agent-Oriented Software Engineering Methodologies (article in journal) — Ambra Molesini, Andrea Omicini, Mirko Viroli
- Biochemical Tuple Spaces for Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei
30 publications in 2009 with DOI •
top •
index •
bottom
- On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition (paper in proceedings) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
- Simulation Methods in Systems Biology (paper in proceedings) — Daniel T. Gillespie
- Architecture and Metaphors for Eternally Adaptive Service Ecosystems (paper in proceedings) — Franco Zambonelli, Mirko Viroli
- A&A for Modelling and Engineering Simulations in Systems Biology (article in journal) — Sara Montagna, Alessandro Ricci, Andrea Omicini
- Preface (editorial/introduction/preface) — Canal Carlos, Pascal Poizat, Mirko Viroli
- A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (article in journal) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
- Phase Transitions in Social Sciences: Two-populations Mean Field Theory (article in journal) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
- Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (paper in proceedings) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
- Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (article in journal) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
- On the reification of Java wildcards (article in journal) — Maurizio Cimadamore, Mirko Viroli
- Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (article in journal) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Description Logics (book chapter) — Franz Baader, Ian Horrocks, Ulrike Sattler
- Tool-Supported Development with Tropos: The Conference Management System Case Study (paper in proceedings) — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
- SPEM on Test: the SODA Case Study (paper in proceedings) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
- An experimental environment for teaching Java Security (paper in proceedings) — Anna Riccioni, Enrico Denti, Roberto Laschi
- Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (paper in proceedings) — Mario Bravetti
- Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
- Integrating Java and Prolog through Generic Methods and Type Inference (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
- The BlenXLanguage: A Tutorial (paper in proceedings) — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
- The A&A Programming Model and Technology for Developing Agent Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (editorial/introduction/preface) — Peter McBurney, Andrea Omicini
- Programming with models: modularity and abstraction provide powerful capabilities for systems biology (article in journal) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
- Co-Argumentation Artifact for Agent Societies (paper in proceedings) — Enrico Oliva, Peter McBurney, Andrea Omicini
- Towards a Tuplespace-based Middleware for the Semantic Web (article in journal) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
- Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (special issue) — Andrea Omicini, Peter McBurney
- PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets (paper in proceedings) — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
- Lightweight Family Polymorphism (article in journal) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
- Artifacts in the A&A Meta-Model for Multi-Agent Systems (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Situating A&A ReSpecT for Pervasive Environment Applications (paper in proceedings) — Matteo Casadei, Andrea Omicini
- A Process Algebraic View of Shared Dataspace Coordination (article in journal) — Nadia Busi, Gianluigi Zavattaro
- simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- PASSIM: a simulation-based process for the development of multi-agent systems (article in journal) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
- Methodologies for Designing Agent Societies (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- A Multi-Theory Logic Language for the World Wide Web (paper in proceedings) — Giulio Piancastelli, Andrea Omicini
- Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (paper in proceedings) — Matteo Casadei, Mirko Viroli, Marco Santarelli
- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study (paper in proceedings) — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
- Agent Oriented Software Engineering VIII (edited volume) — Michael Luck, Lin Padgham
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (paper in proceedings) — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
- Introduction to AOSE Tools for the Conference Management System (paper in proceedings) — Lin Padgham, Michael Luck
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (paper in proceedings) — Matteo Casadei, Mirko Viroli
- The Architecture and Design of a Malleable Object-Oriented Prolog Engine (paper in proceedings) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
- From AO Methodologies to MAS Infrastructures: The SODA Case Study (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- The Prometheus Design Tool – A Conference Management System Case Study (paper in proceedings) — Lin Padgham, John Thangarajah, Michael Winikoff
- Hierarchical Modeling for Computational Biology (paper in proceedings) — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
46 publications in 2008 with DOI •
top •
index •
bottom
- Building Smart Environments as Agent Workspaces (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
- Invited Talk: A Process Algebra Master Equation (paper in proceedings) — Luca Cardelli
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Situated Cellular Agents Approach to Crowd Modeling and Simulation (article in journal) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
- An Agent-Oriented Programming Model for SOA & Web Services (paper in proceedings) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
- Integrating Software Models and Platform Models for Performance Analysis (article in journal) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
- Auction Negotiation for Mobile Rideshare Service (paper in proceedings) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
- How to infer gene networks from expression profiles (article in journal) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
- Context-Dependent Evaluation Methodology for Open Source Software (paper in proceedings) — 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 (paper in proceedings) — George Jiri Mejtsky
- Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (article in journal) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Measurement and Control of Self-organised Behaviour in Robot Swarms (paper in proceedings) — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
- Formal ReSpecT in the A&A Perspective (paper in proceedings) — Andrea Omicini
- Executable cell biology (article in journal) — Jasmin Fisher, Thomas A. Henzinger
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Design Patterns for Self-Organising Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Infrastructures for the Environment of Multiagent Systems (article in journal) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
- Engineering a BPEL Orchestration Engine as a Multi-agent System (article in journal) — Mirko Viroli, Enrico Denti, Alessandro Ricci
- A core calculus for correlation in orchestration languages (article in journal) — Mirko Viroli
- Designing Self-organising MAS Environments: The Collective Sort Case (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Preface (editorial/introduction/preface) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
- Practical Extensions in Agent Programming Languages (paper in proceedings) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
- Pervasive pheromone-based interaction with RFID tags (article in journal) — Mamei Marco, Franco Zambonelli
- Geo-Linda: a Geometry Aware Distributed Tuple Space (paper in proceedings) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
- CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (paper in proceedings) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
- “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (paper in proceedings) — Alessandro Ricci, Mirko Viroli
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Guest Editorial (article in journal) — Davide Ancona, Mirko Viroli
- Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (article in journal) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
- Service-Oriented Agent Methodologies (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (article in journal) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- On the Problem of Over-clustering in Tuple-based Coordination Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
- Preface (article in journal) — Carlos Canal, Mirko Viroli
- Environment as a First Class Abstraction in Multi-Agent Systems (article in journal) — Danny Weyns, Andrea Omicini, James J. Odell
- On the Interplay of Crosscutting and MAS-Specific Styles (paper in proceedings) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
- Discrete Event Modeling and Simulation in Systems Biology (article in journal) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
- Introduction to the Special Issue: The AgentLink III Technical Forums (editorial/introduction/preface) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
- Model Checking Multi-agent systems with Logic Based Petri Nets (article in journal) — Tristan M. Behrens, Jurgen Dix
- A Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (paper in proceedings) — Mirko Viroli, Matteo Casadei, Luca Gardelli
- Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
- Variant path types for scalable extensibility (article in journal) — Atsushi Igarashi, Mirko Viroli
- Governing Environments for Agent-Based Traffic Simulations (paper in proceedings) — Michael Schumacher, Laurent Grangier, Radu Jurca
- Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- Agent-based modeling of multicell morphogenic processes during development (article in journal) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
- Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (article in journal) — Pierluigi Contucci, Stefano Ghirlanda
- Special Issue on the AgentLink III Technical Forums (special issue) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
- Pellet: A practical OWL-DL reasoner (article in journal) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings) — Mirko Viroli, Andrea Omicini
52 publications in 2007 with DOI •
top •
index •
bottom
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (paper in proceedings) — Rossella Rubino, Andrea Omicini, Enrico Denti
- On the Expressive Power of KLAIM-based Calculi (article in journal) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
- Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
- Zooming Multi-Agent Systems (paper in proceedings) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
- On Coordination and its Significance to Distributed and Multi-Agent Systems (article in journal) — Sascha Ossowski, Ronaldo Menezes
- Socio-technical systems (encyclopedia entry) — Brian Whitworth
- Service-Oriented Design and Development Methodology (article in journal) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
- Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (paper in proceedings) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
- Verifying Multi-agent Programs by Model Checking (article in journal) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
- Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (edited volume) — Ron Sun
- Web Services Implementation Methodology for SOA Application (paper in proceedings) — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (paper in proceedings) — L. Robert Pokorny, C. R. Ramakrishnan
- Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Interactive Computation: The New Paradigm (edited volume) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
- Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Operating Instructions for Intelligent Agent Coordination (article in journal) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (paper in proceedings) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
- Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
- Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (book chapter) — 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 (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (article in journal) — Christine Julien, Gruia-Catalin Roman
- Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (paper in proceedings) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
- Verification of Multi-agent Systems Via Bounded Model Checking (paper in proceedings) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
- The MHS Methodology: Analysis and Design for Context-Aware Systems (paper in proceedings) — Evi Syukur, Seng Wai Loke
- SODA: A Roadmap to Artefacts (paper in proceedings) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
- BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (paper in proceedings) — Rafael H. Bordini, Jomi F. Hübner
- A Framework for Engineering Interactions in Java-based Component Systems (paper in proceedings) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
- Case Studies for Self-organization in Computer Science (article in journal) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
- The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (book chapter) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Declarative Agent Languages and Technologies III (edited volume) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
- Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (book) — Marco Mamei, Franco Zambonelli
- Agent Coordination Contexts in a MAS Coordination Infrastructure (article in journal) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Distributed Workflow upon Linkable Coordination Artifacts (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
- Toward Nature-Inspired Computing (article in journal) — Jiming Liu, Kwok Ching Tsui
- Agens Faber: Toward a Theory of Artefacts for MAS (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- A Survey of Environments and Mechanisms for Human-Human Stigmergy (paper in proceedings) — H. Van Dyke Parunak
- A Generic Large Scale Simulator for Ubiquitous Computing (article in journal) — M. Martin, P. Nurmi
- Cognitive Modeling of Social Behaviours (book chapter) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
- Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Variant Parametric Types: A Flexible Subtyping Scheme for Generics (article in journal) — Atsushi Igarashi, Mirko Viroli
- Standardizing Agent Communication (book chapter) — Yannis Labrou
- Lime: A coordination model and middleware supporting mobility of hosts and agents (article in journal) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
- The Fading Concept in Tuple-Space Systems (paper in proceedings) — Ronaldo Menezes, Alan Wood
43 publications in 2006 with DOI •
top •
index •
bottom
- Verifying Multi-agent Systems via Unbounded Model Checking (paper in proceedings) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
- Multi-paradigm Java-Prolog Integration in tuProlog (article in journal) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Agent Interaction Semantics by Timed Operating Instructions (paper in proceedings) — Mirko Viroli, Alessandro Ricci
- Effective Tool Use in a Habile Agent (paper in proceedings) — Alexander B. Wood, Thomas E. Horton, Robert St. Amant
- Environment-Based Coordination Through Coordination Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Programming Stigmergic Coordination with the TOTA Middleware (paper in proceedings) — Marco Mamei, Franco Zambonelli
- Quantitative Information in the Tuple Space Coordination Model (article in journal) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- Towards CSpaces: A New Perspective for the Semantic Web (paper in proceedings) — Francisco Martín-Recuerda
- An Agent-Oriented Conceptual Framework for Systems Biology (paper in proceedings) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
- Environments in Multiagent Systems (article in journal) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
- RBAC for Organisation and Security in an Agent Coordination Infrastructure (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- Programming Multi-Agent Systems in 3APL (book chapter) — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
- On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda (paper in proceedings) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (paper in proceedings) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
- Declarative Agent Languages and Technologies II (edited volume) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
- Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (edited volume) — 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 (editorial/introduction/preface) — Mirko Viroli, Andrea Omicini
- Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (paper in proceedings) — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
- A Trust Analysis Methodology for Pervasive Computing Systems (paper in proceedings) — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
- More Principled Design of Pervasive Computing Systems (paper in proceedings) — Simon Dobson, Paddy Nixon
- Time-Aware Coordination in ReSpecT (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Probabilistic Linda-based Coordination Languages (paper in proceedings) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Process Models for Agent-based Development (article in journal) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
- Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (edited volume) — 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 (paper in proceedings) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Engineering Societies in the Agents World V (edited volume) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
- Self-Organization in Multi-Agent Systems (article in journal) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
- Reliable Distributed Systems. Technologies, Web Services, and Applications (book) — Kenneth P. Birman
- The AgentLink III Technical Forums: Introduction to the Special Issue (editorial/introduction/preface) — Andrea Omicini, Peter McBurney
- Crowd Modeling and Simulation: Towards 3D Visualization (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
- An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (article in journal) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Coordination and Composition in Multi-agent Systems (paper in proceedings) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
- Transactions on Computational Systems Biology III (edited volume) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini
36 publications in 2005 with DOI •
top •
index •
bottom