Per Sort
- Measuring Trustworthiness in Neuro-Symbolic Integration (2023) — Andrea Agiollo, Andrea Omicini
- Multi-Agent Cooperative Argumentation in Arg2P (2023) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
- Peer-Reviewed Federated Learning (2023) — Mattia Passeri, Andrea Agiollo, Andrea Omicini
- Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation (2023) — Andrea Rafanelli, Stefania Costantini, Andrea Omicini
- The PSyKE Technology for Trustworthy Artificial Intelligence (2023) — Roberta Calegari, Federico Sabbatini
- A General-Purpose Protocol for Multi-Agent based Explanations (2023) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
- Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking (2023) — Giovanni De Gasperis, Stefania Costantini, Andrea Rafanelli, Patrizio Migliarini, Ivan Letteri, Abeer Dyoub
- (Re)Integration of Logical English and s(CASP) (2023) — Galileo Sartor, Jacinto Dàvila, Alessia Fidelangeli, Giuseppe Pisano
- The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (2023) — Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini
- Assessing and Enforcing Fairness in the AI Lifecycle (2023) — Roberta Calegari, Gabriel G. Castañé, Michela Milano, Barry O’Sullivan
- JaKtA: BDI Agent-Oriented Programming in Pure Kotlin (2023) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
- Explainable Clustering with CREAM (2023) — Federico Sabbatini, Roberta Calegari
- GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (2023) — Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, Andrea Omicini
- On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Towards Human-centric AutoML via Logic and Argumentation (2022) — Joseph Giovanelli, Giuseppe Pisano
- Integration of Logical English and s(CASP) (2022) — Galileo Sartor, Jacinto Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano, Robert Kowalski
- KINS: Knowledge Injection via Network Structuring (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Modular logic argumentation in Arg-tuProlog (2022) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Logic Programming library for Machine Learning: API design and prototype (2022) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
- Taking stock of available technologies for compliance checking on first-order knowledge (2022) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
- Burden of Persuasion in Meta-argumentation (2022) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Clustering-Based Approaches for Symbolic Knowledge Extraction (2022) — Federico Sabbatini, Roberta Calegari
- Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Arguing About the Existence of Conflicts (2022) — Giuseppe Pisano, Roberta Calegari, Henry Prakken, Giovanni Sartor
- A view to a KILL: Knowledge Injection via Lambda Layer (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Probabilistic logic programming in 2P-Kt (2022) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
- Semantic Web-based Interoperability for Intelligent Agents with PSyKE (2022) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (2022) — Federico Sabbatini, Roberta Calegari
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper (2022) — Federico Sabbatini, Roberta Calegari
- GNN2GNN: Graph Neural Networks to Generate Neural Networks (2022) — Andrea Agiollo, Andrea Omicini
- Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (2022) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
- Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge (2021) — Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
- Explainability through argumentation in logic programming (2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- A Mechanism for Reasoning over Defeasible Preferences in Arg2P (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Burdens of Persuasion and Standards of Proof in Structured Argumentation (2021) — Roberta Calegari, Giovanni Sartor
- Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
- The Burden of Persuasion in Structured Argumentation (2021) — Roberta Calegari, Regis Riveret, Giovanni Sartor
- Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
- On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (2021) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Towards Explainable Visionary Agents: License to Dare and Imagine (2021) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
- Burden of persuasion in argumentation: A meta-argumentation approach (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (2021) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
- Towards cooperative argumentation for MAS: An actor-based approach (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (2021) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Breaking down monoliths with Microservices and DevOps: an industrial experience report (2021) — Danilo Pianini, Alessandro Neri
- Programming Agent-Based Mobile Apps: The JaCa-Android Framework (2021) — Angelo Croatti, Alessandro Ricci
- Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles (2020) — Stefano Mariani, Franco Zambonelli
- Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project (2020) — Angelo Croatti, Manuel Bottazzi, Alessandro Ricci
- From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities (2020) — Angelo Croatti, Alessandro Ricci
- Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (2020) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
- Language Models are Few-Shot Learners (2020) — Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel Ziegler, Jeffrey Wu, Clemens Winter, Chris Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, Dario Amodei
- Smart Contracts are More than Objects: Pro-activeness on the Blockchain (2020) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
- Arg-tuProlog: a modular logic argumentation tool for PIL (2020) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- A Model for the Burden of Persuasion in Argumentation (2020) — Roberta Calegari, Giovanni Sartor
- Arg-tuProlog: A tuProlog-based argumentation framework (2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- An Abstract Framework for Agent-Based Explanations in AI (2020) — Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
- Not just for humans: Explanation for agent-to-agent communication (2020) — Andrea Omicini
- Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time (2020) — Roberto Casadei, Mirko Viroli, Alessandro Ricci
- Argumentation and Logic Programming for Explainable and Ethical AI (2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Burden of Persuasion in Argumentation (2020) — Roberta Calegari, Giovanni Sartor
- Neuro-symbolic Computation for XAI: Towards a Unified Model (2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices (2020) — Angelo Croatti, Alessandro Ricci
- Agent-Based Explanations in AI: Towards an Abstract Framework (2020) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
- Time-Fluid Field-Based Coordination (2020) — Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
- Computable Law as Argumentation-based MAS (2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Exploiting Simulation for MAS Programming and Engineering - The JaCaMo-sim Platform (2020) — Alessandro Ricci, Angelo Croatti, Rafael H. Bordini, Jomi F. Hubner, Olivier Boissier
- 2P-Kt: logic programming with objects & functions in Kotlin (2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
- ViTALiSE: Virtual to Augmented Loop in Smart Environments (2019) — Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe Vizzari
- Case studies for a new IoT programming paradigm: Fluidware (2019) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
- Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling (2019) — Umberto Michieli, Maria Camporese, Andrea Agiollo, Giampaolo Pagnutti, Pietro Zanuttigh
- Self-organising Coordination Regions: a Pattern for Edge Computing (2019) — Roberto Casadei, Danilo Pianini, Mirko Viroli, Antonio Natali
- Towards Adaptive Flow Programming for the IoT: The Fluidware Approach (2019) — Franco Zambonelli, Mirko Viroli, Giancarlo Fortino, Barbara Re
- The share Operator for Field-Based Coordination (2019) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
- A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN (2019) — Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
- Comparative Analysis of Blockchain Technologies under a Coordination Perspective (2019) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
- Big Data from the Cloud to the Edge: The Aggregate Computing Solution (2019) — Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
- Aggregate Processes in Field Calculus (2019) — Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
- Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management (2019) — Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello
- Self-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models (2019) — Michele Braccini, Sara Montagna, Andrea Roli
- On a Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
- Security in Collective Adaptive Systems: A Roadmap (2019) — Danilo Pianini, Roberto Casadei, Mirko Viroli
- Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems (2019) — Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
- Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (2019) — Andrea Omicini, Roberta Calegari
- Towards XMAS: eXplainability through Multi-Agent Systems (2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
- Engineering Resilient Collaborative Edge-Enabled IoT (2019) — Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
- Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (2019) — Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca
- Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach (2019) — Roberto Casadei, Mirko Viroli
- On Context-Orientation in Aggregate Programming (2019) — Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
- Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (2019) — Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli
- Defeasible Systems in Legal Reasoning: A Comparative Assessment (2019) — Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
- Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- Towards Agent-oriented Blockchains: Autonomous Smart Contracts (2019) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
- TuSoW: Tuple Spaces for Edge Computing (2019) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
- Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
- Coordination of Complex Socio-technical Systems: Challenges and Opportunities (2018) — Stefano Mariani
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
- From the Blockchain to Logic Programming and Back: Research Perspectives (2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
- Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
- Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework (2018) — Angelo Croatti, Alessandro Ricci
- Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT (2018) — Roberto Casadei, Mirko Viroli
- Space-Time Universality of Field Calculus (2018) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
- Distributed Real-Time Shortest-Paths Computations with the Field Calculus (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
- Aggregate Graph Statistics (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- From Field-Based Coordination to Aggregate Computing (2018) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
- The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis (2018) — Sara Montagna, Michele Braccini, Andrea Roli
- Combining Trust and Aggregate Computing (2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
- Distributed Speaking Objects: a Case for Massive Multiagent Systems (2018) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things (2018) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
- A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems (2018) — Angelo Croatti, Alessandro Ricci
- Preface (2017) — Sara Montagna, Pedro H. Abreu, Sylvain Giroux, Michael I. Schumacher
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (2017) — Angelo Croatti, Sara Montagna, Alessandro Ricci
- Attention Is All You Need (2017) — Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Łukasz Kaiser, Illia Polosukhin
- Towards a Foundational API for Resilient Distributed Systems Design (2017) — Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
- Towards Argumentation-based Recommendations for Personalised Patient Empowerment (2017) — Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
- Towards the Web of Augmented Things (2017) — Angelo Croatti, Alessando Ricci
- Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed (2017) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
- Coordinating Distributed Speaking Objects (2017) — Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
- Compositional Blocks for Optimal Self-Healing Gradients (2017) — Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
- Programming the Interaction Space Effectively with ReSpecTX (2017) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios (2017) — Angelo Croatti, Sara Montagna, Alessandro Ricci
- Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
- The impact of self-loops in random boolean network dynamics (2017) — Sara Montagna, Michele Braccini, Andrea Roli
- Context Reasoning and Prediction in Smart Environments: the Home Manager case (2017) — Roberta Calegari, Enrico Denti
- Logic Programming as a Service (LPaaS): Intelligence for the IoT (2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Practical Aggregate Programming with Protelis (2017) — Danilo Pianini, Jacob Beal, Mirko Viroli
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (2017) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
- Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea (2017) — Angelo Croatti, Alessandro Ricci
- Formal Validation of Neural Networks as Timed Automata (2017) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
- Spiking Neural Networks as Timed Automata (2017) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
- Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration (2017) — Danilo Pianini, Simon Dobson, Mirko Viroli
- Modeling Opportunistic IoT Services in Open IoT Ecosystems (2017) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
- On Execution Platforms for Large-scale Aggregate Computing (2016) — Mirko Viroli, Roberto Casadei, Danilo Pianini
- An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development (2016) — Angelo Croatti, Alessandro Ricci
- Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016) — Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci
- Improving Gossip Dynamics Through Overlapping Replicates (2016) — Danilo Pianini, Jacob Beal, Mirko Viroli
- Run-Time Management of Computation Domains in Field Calculus (2016) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
- Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (2016) — Sara Montagna, Andrea Omicini, Francesco Degli Angeli, Michele Donati
- A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf (2016) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
- Resiliency with Aggregate Computing: State of the Art and Roadmap (2016) — Mirko Viroli, Jacob Beal
- Improving Gossip Dynamics Through Overlapping Replicates (2016) — Danilo Pianini, Jacob Beal, Mirko Viroli
- Self-adaptation to Device Distribution Changes in Situated Computing Systems (2016) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
- Towards Logic Programming as a Service: Experiments in tuProlog (2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Simulating Large-scale Aggregate MASs with Alchemist and Scala (2016) — Mirko Viroli, Roberto Casadei, Danilo Pianini
- Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (2016) — Stefano Mariani, Andrea Omicini
- Labelled Variables in Logic Programming: Foundations (2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
- Aggregate Programming: From Foundations to Applications (2016) — Jacob Beal, Mirko Viroli
- Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE (2016) — Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
- Game Engines to Model MAS: A Research Roadmap (2016) — Stefano Mariani, Andrea Omicini
- Challenges of Decentralized Coordination in Large-scale Ubicomp Systems (2016) — Andrea Omicini, Franco Zambonelli
- Towards Aggregate Programming in Scala (2016) — Roberto Casadei, Mirko Viroli
- Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (2016) — Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (2016) — Sara Montagna, Andrea Omicini, Danilo Pianini
- The Butlers Framework for Socio-Technical Smart Spaces (2016) — Roberta Calegari, Enrico Denti
- Labelled Variables in Logic Programming: A First Prototype in tuProlog (2015) — Roberta Calegari, Enrico Denti, Andrea Omicini
- Show, Attend and Tell: Neural Image Caption Generation with Visual Attention (2015) — Kelvin Xu, Jimmy Lei Ba, Ryan Kiros, Kyunghyun Cho, Aaron Courville, Ruslan Salakhutdinov, Richard S. Zemel, Yoshua Bengio
- Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (2015) — Andrea Omicini, Giancarlo Fortino, Stefano Mariani
- Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions (2015) — Andrea Omicini, Stefano Mariani
- Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (2015) — Stefano Mariani, Andrea Omicini, Luca Sangiorgi
- A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation (2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
- Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (2015) — Enrico Denti, Roberta Calegari
- Smart Augmented Fields for Emergency Operations (2015) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (2015) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
- Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (2015) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
- Towards agent aggregates: perspectives and challenges (2015) — Mirko Viroli, Alessandro Ricci
- Computational Fields Meet Augmented Reality: Perspectives and Challenges (2015) — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
- Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (2015) — Stefano Mariani, Andrea Omicini
- Protelis: Practical Aggregate Programming (2015) — Danilo Pianini, Mirko Viroli, Jacob Beal
- Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (2015) — Andrea Omicini, Franco Zambonelli
- Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
- Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (2015) — Andrea Omicini
- Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (2015) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
- Neural Machine Translation by Jointly Learning to Align and Translate (2015) — Dzmitry Bahdanau, Kyunghyun Cho, Yoshua Bengio
- Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification (2015) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Effective Approaches to Attention-based Neural Machine Translation (2015) — Thang Luong, Hieu Pham, Christopher D. Manning
- Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
- Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities (2015) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- TuCSoN Coordination for MAS Situatedness: Towards a Methodology (2014) — Stefano Mariani, Andrea Omicini
- The Autonomy of Automated Systems (2014) — Giovanni Sartor, Andrea Omicini
- Cross-domain Text Classification through Iterative Refining of Target Categories Representations (2014) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- A Calculus of Self-stabilising Computational Fields (2014) — Mirko Viroli, Ferruccio Damiani
- Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification (2014) — Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto Pasolini
- HPC from a self-organisation perspective: The case of crowd steering at the urban scale (2014) — Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
- Building Blocks for Aggregate Programming of Self-Organising Applications (2014) — Jacob Beal, Mirko Viroli
- On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (2014) — Stefano Mariani
- Coordination-aware Elasticity (2014) — Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
- Extending a Smart Home Multi-Agent System with Role-Based Access Control (2014) — Enrico Denti, Roberta Calegari, Marco Prandini
- Distributed statistical analysis of complex systems modeled through a chemical metaphor (2014) — Danilo Pianini, Stefano Sebastio, Andrea Vandin
- Towards a Unified Model of Spatial Computing (2014) — Mirko Viroli
- Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations (2014) — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
- Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (2014) — Stefano Mariani, Andrea Omicini
- Probabilistic Modular Embedding for Stochastic Coordinated Systems (2013) — Stefano Mariani, Andrea Omicini
- Coordination for Situated MAS: Towards an Event-driven Architecture (2013) — Andrea Omicini, Stefano Mariani
- Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (2013) — Sara Montagna, Mirko Viroli
- Coupling software architecture and human architecture for collaboration-aware system adaptation (2013) — Christoph Dorn, Richard N Taylor
- Space-aware Coordination in ReSpecT (2013) — Stefano Mariani, Andrea Omicini
- Domain Independent Text Categorization (2013) — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
- Engineering Confluent Computational Fields: from Functions to Rewrite Rules (2013) — Mirko Viroli
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (2013) — Matteo Casadei, Mirko Viroli
- Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (2013) — Stefano Mariani, Andrea Omicini
- Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (2013) — Stefano Mariani
- Self-Organising Semantic Resource Discovery for Pervasive Systems (2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
- Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (2013) — Stefano Mariani, Andrea Omicini
- Engineering Pervasive Multiagent Systems in SAPERE (2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- Self-Organising Semantic Resource Discovery for Pervasive Systems (2013) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
- Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (2013) — Stefano Mariani, Andrea Omicini
- A calculus of computation fields (2013) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
- MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (2013) — Stefano Mariani, Andrea Omicini
- Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (2013) — Stefano Mariani, Andrea Omicini
- Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (2013) — Andrea Omicini, Pierluigi Contucci
- Tuple-based Coordination of Stochastic Systems with Uniform Primitives (2013) — Stefano Mariani, Andrea Omicini
- Nature-inspired Coordination for Complex Distributed Systems (2013) — Andrea Omicini
- Predicting Social Density in Mass Events to Prevent Crowd Disasters. (2013) — Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha
- Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
- Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (2013) — Alessandro Ricci, Andrea Santi
- Engineering Pervasive Multiagent Systems in SAPERE (2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
- Self-Organising News Management: The Molecules of Knowledge Approach (2012) — Stefano Mariani, Andrea Omicini
- Is It a “Good” Encoding of Mixed Choice? (2012) — Kirstin Peters, Uwe Nestmann
- Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (2012) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
- Molecules of Knowledge: A Novel Perspective over Knowledge Management (2012) — Stefano Mariani, Andrea Omicini
- A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
- BIO-CORE: Bio-inspired Self-organising Mechanisms Core (2012) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
- Gradient-based Self-organisation Patterns of Anticipative Adaptation (2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
- Programming Distributed Multi-Agent Systems in simpAL (2012) — Andrea Santi, Alessandro Ricci
- Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications (2012) — Christoph Dorn, Richard N Taylor
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (2012) — Matteo Casadei, Mirko Viroli
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (2012) — Marco Alberti, Andrea Omicini
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (2012) — Matteo Casadei, Mirko Viroli
- On the Space-time Situation of Pervasive Service Ecosystems (2012) — Mirko Viroli, Graeme Stevenson
- Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (2012) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
- Linda in space-time: an adaptive coordination model for mobile ad-hoc environments (2012) — Mirko Viroli, Danilo Pianini, Jacob Beal
- Typing Multi-Agent Programs in simpAL (2012) — Alessandro Ricci, Andrea Santi
- Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks (2012) — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
- Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (2012) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
- On the Space-time Situation of Pervasive Service Ecosystems (2012) — Mirko Viroli, Graeme Stevenson
- Self-organising Semantic Resource Discovery for Pervasive Systems (2012) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
- Self-Organising News Management: The Molecules of Knowledge Approach (2012) — Stefano Mariani, Andrea Omicini
- An Eclipse-based IDE for Agent-Oriented Programming in simpAL (2012) — Andrea Santi, Alessandro Ricci
- Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (2012) — Alessandro Ricci, Andrea Santi
- Bottom-Up Argumentation (2012) — Francesca Toni, Paolo Torroni
- Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (2012) — Marco Alberti, Andrea Omicini
- VPN - Client-server object-oriented virtual plant modeling tool (2012) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
- Core Operational Semantics of Proto (2011) — Mirko Viroli, Jacob Beal, Matteo Casadei
- A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (2011) — Danilo Pianini, Sara Montagna, Mirko Viroli
- Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (2011) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
- Description and Composition of Bio-Inspired Design Patterns: the Gossip Case (2011) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
- A Coordination Approach to Adaptive Pervasive Service Ecosystems (2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Programming Coordination Laws of Artifacts in CArtAgO (2011) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
- JaCa-Android: an agent-based platform for building smart mobile applications (2011) — Andrea Santi, Alessandro Ricci
- Exploiting the JaCaMo framework for realising an adaptive room governance application (2011) — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
- Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems (2011) — Clare Dixon, Alan Winfield, Micheal Fisher
- Reasoning with Categories for Trusting Strangers: a Cognitive Architecture (2011) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
- Self-aware Pervasive Service Ecosystems (2011) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
- Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (2011) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
- Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems (2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Deep diving into BitTorrent locality (2011) — Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
- Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (2011) — Alessandro Ricci, Andrea Santi
- Coordinating Spatially-Situated Pervasive Service Ecosystems (2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
- Processes Engineering and AOSE (2011) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
- Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents (2011) — Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
- An interaction-oriented agent framework for open environments (2011) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
- BDI Agents with Objectives and Preferences (2011) — Aniruddha Dasgupta, Aditya K. Ghose
- A Simulation Framework for Pervasive Services Ecosystems (2011) — Danilo Pianini, Mirko Viroli, Sara Montagna
- Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (2011) — Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci
- BaSi: Multi-Agent Based Simulation for Medieval Battles (2011) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Software Engineering for Self-Organizing Systems (2011) — H. Van Dyke Parunak, Sven A. Brueckner
- Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions (2011) — Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah
- Description Spaces with Fuzziness (2011) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs (2011) — Stefan J. Witwicki, Edmund H. Durfee
- Model-driven communications and collaborative software development (2011) — Antonio Natali
- Facing Openness with Socio Cognitive Trust and Categories (2011) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
- Exploring the Boundaries: When Method Fragmentation is not Convenient (2010) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
- Interacting with Virtual Plants: a Client-Server Approach (2010) — Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
- Applying Process Document Standarization to INGENIAS (2010) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
- Using Domain Specific Languages for platform-based software development: The case of Android (2010) — Antonio Natali, Ambra Molesini
- A Multiscale Agent-based Model of Morphogenesis in Biological Systems (2010) — Sara Montagna, Andrea Omicini, Alessandro Ricci
- Risk Analysis and Deployment Security Issues in a Multi-Agent System (2010) — Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (2010) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
- Process Documentation Standardization: An Initial Evaluation (2010) — Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini
- A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (2010) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
- Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (2010) — Sergio Esparcia, Estefania Argente, Vicent Botti
- Engineering Self-Coordinating Software Intensive Systems (2010) — Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
- An Agent-based Model for the Pattern Formation in Drosophila Melanogaster (2010) — Sara Montagna, Nicola Donati, Andrea Omicini
- Exploiting Agent-Oriented Programming for Developing Android Applications (2010) — Andrea Santi, Marco Guidi, Alessandro Ricci
- Simulate plants: a client-server graphic approach (2010) — Giuliano Vitali, Eugenio Magnanini, Enrico Denti
- Self Organization in Coordination Systems using a WordNet-based Ontology (2010) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Developing Web Client Applications with JaCa-Web (2010) — Mattia Minotti, Andrea Santi, Alessandro Ricci
- Formal Verification of Probabilistic Swarm Behaviours (2010) — Savas Konur, Clare Dixon, Michael Fisher
- Transitivity in Trust. A Discussed Property (2010) — Rino Falcone, Cristiano Castelfranchi
- MetaSelf: An Architecture and a Development Method for Dependable Self-* systems (2010) — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
- A Framework for Modelling and Simulating Networks of Cells (2010) — Sara Montagna, Mirko Viroli
- The O-MaSE Process: a Standard View (2010) — Juan C. Garcia-Ojeda, Scott DeLoach
- Simulation and Analysis of Distributed Systems in Klaim (2010) — Francesco Calzolai, Michele Loreti
- Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (2010) — Bo Sun Conghua Zhou, Liu Zhifeng
- HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Chemical-Inspired Self-Composition of Competing Services (2010) — Mirko Viroli, Matteo Casadei
- Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition (2010) — Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa Sichman
- Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (2010) — Mattia Minotti, Andrea Santi, Alessandro Ricci
- Building an Agent Methodology from Fragments: the MEnSA experience (2010) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
- Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments (2010) — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
- Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (2010) — Alessandro Ricci, Andrea Santi, Michele Piunti
- Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (2010) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
- MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (2010) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
- Documenting SODA: An Evaluation of the Process Documentation Template (2010) — Ambra Molesini, Andrea Omicini
- A Basis Set of Operators for Space-Time Computations (2010) — Jacob Beal
- A Glimpse of the ASPECS Process documented with the FIPA DPDF Template (2010) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
- Programming Open Systems with Agents, Environments and Organizations (2010) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (2010) — Andrea Santi
- Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments (2010) — Alessandro Ricci, Mirko Viroli, Michele Piunti
- JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (2010) — Andrea Santi, Guidi Marco, Alessandro Ricci
- Manipulation implicite d'une organisation multiagent via l'environnement (2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- A Process Model of Actin Polymerisation (2009) — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
- Embodied Organisations in MAS Environments (2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (2009) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
- A computational framework for modelling multicellular biochemistry (2009) — Sara Montagna, Mirko Viroli
- Embodying Organisations in Multi-Agent Work Environments (2009) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
- An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis (2009) — Carlos Castro Gonzalez, Miguel Angel Luengo-Oroz, Sophie Desnoulez, Louise Duloquin, Laura Fernández-de-Manuel, Sara Montagna, Maria J. Ledesma-Carbayo, Paul Bourgine, Nadine Peyrieras, Andres Santos
- Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia (2009) — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
- RBAC-MAS & SODA: Experimenting RBAC in AOSE (2009) — Ambra Molesini, Enrico Denti, Andrea Omicini
- A SOA Based Software Engineering Design Approach in Service Engineering (2009) — Weider D. Yu, Chia H. Ong
- FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts (2009) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (2009) — Alessandro Ricci, Michele Piunti, Mirko Viroli
- Using Jason, MOISE, and CArtAgO to develop a team of cowboys (2009) — Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
- Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments (2009) — Alessandro Ricci, Michele Piunti
- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces (2009) — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
- Situated Tuple Centres in ReSpecT (2009) — Matteo Casadei, Andrea Omicini
- Modelling Periodic Data Dissemination in Wireless Sensor Networks (2009) — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
- Introducing Relevance Awareness in BDI Agents (2009) — Emiliano Lorini, Michele Piunti
- A Framework for Modelling and Implementing Self-Organising Coordination (2009) — Mirko Viroli, Matteo Casadei, Andrea Omicini
- A Semantic eScience Portal for International Scientific and Academic Cooperation (2009) — Bernhard Angerer, Branko Katalinic, Andrea Omicini
- Biochemical Tuple Spaces for Self-Organising Coordination (2009) — Mirko Viroli, Matteo Casadei
- An Agent-based Application for Home Intelligence (2009) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Designing a Development Environment for Logic and Multi-Paradigm Programming (2009) — Giulio Piancastelli, Enrico Denti
- Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (2009) — Michele Piunti, Andrea Santi, Alessandro Ricci
- A Goal-Oriented Approach for Modelling Self-organising MAS (2009) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
- Parameter tuning of a stochastic biological simulator by metaheuristics (2009) — Sara Montagna, Andrea Roli
- Introducing Relevance Awareness in BDI Agents (2009) — Emiliano Lorini, Michele Piunti
- A MAS Metamodel-Driven Approach to Process Fragments Selection (2009) — Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (2009) — Matteo Casadei, Mirko Viroli
- SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (2009) — Michele Piunti, Alessandro Ricci, Andrea Santi
- Argumentation and Artifact for Dialogue Support (2009) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Empirical comparison of methods for information systems development according to SOA (2009) — Philipp Offermann, Udo Bub
- Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments (2009) — Michele Piunti, Alessandro Ricci
- An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications (2009) — Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (2009) — Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
- Interactive Graphical Maps for Infocenter via Model to Model Transformation (2009) — Enrico Oliva
- Towards a Logic Language and Framework for Web Programming (2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
- An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems (2009) — Matteo Casadei, Mirko Viroli
- Knowledge-based coordination with a reliable semantic subscription mechanism (2009) — Martin Murth, Eva Kuhn
- Formalising the Environment in MAS Programming: a Formal Model (2009) — Alessandro Ricci, Mirko Viroli, Michele Piunti
- A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (2009) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (2009) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
- Gaia4E: A Tool Supporting the Design of MAS using Gaia (2009) — Luca Cernuzzi, Franco Zambonelli
- General-Purpose Coordination Abstractions for Managing Interaction in MAS (2009) — Elena Nardini, Andrea Omicini, Mirko Viroli
- Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (2008) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
- Tool-Supported Development with Tropos: The Conference Management System Case Study (2008) — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
- Introducing Join-Computing (2008) — Giacomo Cabri
- Introduction to AOSE Tools for the Conference Management System (2008) — Lin Padgham, Michael Luck
- simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications (2008) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
- Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (2008) — Sara Montagna, Andrea Omicini, Marco Alberti
- Toward a Framework for Collaborative Learning based on Agent-based Technologies (2008) — Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
- The Prometheus Design Tool – A Conference Management System Case Study (2008) — Lin Padgham, John Thangarajah, Michael Winikoff
- Increasing interactivity in Agent-based Advanced Pocket-Device Service Application (2008) — Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
- A Logic Programming Model for Web Resources (2008) — Giulio Piancastelli, Andrea Omicini
- Agent Roles: from Methodologies to Infrastructures (2008) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (2008) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX (2008) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems (2008) — Daniel Yamins, Radhika Nagpal
- A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis (2008) — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
- Agent-oriented AmI Engineering (2008) — Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
- A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (2008) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
- Arguments and Artifacts for Dispute Resolution (2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets (2008) — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
- Architecture and Metaphors for Eternally Adaptive Service Ecosystems (2008) — Franco Zambonelli, Mirko Viroli
- Hierarchical Modeling for Computational Biology (2008) — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
- Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (2008) — Michele Piunti, Alessandro Ricci
- Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems (2008) — Mario Bravetti
- Methodologies for Designing Agent Societies (2008) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- The BlenXLanguage: A Tutorial (2008) — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
- Prototyping A&A ReSpecT in Maude (2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- Agent-Based Collaboration Systems: A Case Study (2008) — Elena Nardini, Andrea Omicini
- Model-driven Generation of Graphical Maps for e-Contents (2008) — Antonio Natali, Enrico Oliva, Cristina Bonanni
- Designing a Development Environment for Logic and Multi-Paradigm Programming (2008) — Giulio Piancastelli, Enrico Denti
- An experimental environment for teaching Java Security (2008) — Anna Riccioni, Enrico Denti, Roberto Laschi
- Argumentation and Artifact for Dialogue Support (2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
- Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (2008) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
- Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (2008) — Matteo Casadei, Mirko Viroli, Marco Santarelli
- Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems (2008) — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
- RBAC-MAS & SODA: Experimenting RBAC in AOSE (2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Experimenting with Stochastic Prolog as a Simulation Language (2008) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
- Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (2008) — Matteo Casadei, Mirko Viroli
- Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (2008) — Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita
- Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study (2008) — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
- Integrating Java and Prolog through Generic Methods and Type Inference (2008) — Maurizio Cimadamore, Mirko Viroli
- On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition (2008) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
- The Architecture and Design of a Malleable Object-Oriented Prolog Engine (2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
- The A&A Programming Model and Technology for Developing Agent Environments in MAS (2008) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach (2008) — Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
- A Multi-Theory Logic Language for the World Wide Web (2008) — Giulio Piancastelli, Andrea Omicini
- From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS (2008) — Michele Piunti, Alessandro Ricci
- Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT (2008) — Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
- Simulation Methods in Systems Biology (2008) — Daniel T. Gillespie
- Fast self-healing gradients. (2008) — Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
- A Decentralized and Ontology-Based Approach to Infrastructure Monitoring (2008) — Florian Fuchs, Michael Berger
- From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS (2008) — Michele Piunti, Alessandro Ricci
- Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (2008) — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
- SPEM on Test: the SODA Case Study (2008) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
- From AO Methodologies to MAS Infrastructures: The SODA Case Study (2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Co-Argumentation Artifact for Agent Societies (2008) — Enrico Oliva, Peter McBurney, Andrea Omicini
- Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking (2008) — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
- Situating A&A ReSpecT for Pervasive Environment Applications (2008) — Matteo Casadei, Andrea Omicini
- Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms (2008) — Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani
- Auction Negotiation for Mobile Rideshare Service (2007) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
- A Prolog-oriented extension of Java programming based on generics and annotations (2007) — Maurizio Cimadamore, Mirko Viroli
- Formal ReSpecT in the A&A Perspective (2007) — Andrea Omicini
- “Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Prototyping A&A ReSpecT in Maude (2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
- Towards Integrating Agents with Objects Tracing Systems in AmI (2007) — Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) — Mirko Viroli, Andrea Omicini
- Practical Extensions in Agent Programming Languages (2007) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
- From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
- A Survey of Service Oriented Development Methodologies (2007) — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
- A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (2007) — Mirko Viroli, Matteo Casadei, Luca Gardelli
- Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (2007) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods (2007) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
- simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (2007) — Alessandro Ricci, Enrico Denti
- Using Eclipse in Building Model-driven e-Learning Supports (2007) — Antonio Natali, Antonio Del Cinque, Enrico Oliva
- Designing Self-organising MAS Environments: The Collective Sort Case (2007) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
- Building Smart Environments as Agent Workspaces (2007) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
- Measurement and Control of Self-organised Behaviour in Robot Swarms (2007) — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
- Extrospection: Agents Reasoning About the Environment (2007) — Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
- Large Language Models in Machine Translation (2007) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean
- Design Patterns for Self-Organising Systems (2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (2007) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Experiences in Automated Workflows using Dialectical Argumentation (2007) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
- A General Purpose Programming Model & Technology for Developing Working Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Co-Argumentation Artifact for Agent Societies (2007) — Enrico Oliva, Peter McBurney, Andrea Omicini
- A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates (2007) — George Jiri Mejtsky
- simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (2007) — Alessandro Ricci, Mirko Viroli
- Supporting Requirements Analysis in Tropos: a Planning-Based Approach (2007) — Volha Bryl, Paolo Giorgini, John Mylopoulos
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2007) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (2007) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
- Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (2007) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- Evaluating Procedural Alternatives. A Case Study in E-Voting (2007) — Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
- Context-Dependent Evaluation Methodology for Open Source Software (2007) — Michele Cabano, Cesare Monti, Giulio Piancastelli
- B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (2007) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
- Governing Environments for Agent-Based Traffic Simulations (2007) — Michael Schumacher, Laurent Grangier, Radu Jurca
- On the Problem of Over-clustering in Tuple-based Coordination Systems (2007) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
- Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (2007) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
- Design Patterns for Self-Organizing Multiagent Systems (2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (2007) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
- Geo-Linda: a Geometry Aware Distributed Tuple Space (2007) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
- vLab: an Eclipse-based Virtual Laboratory (2007) — Anna Riccioni, Enrico Denti
- ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology (2007) — Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
- Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design (2007) — Olaf Zimmermann, Jana Koehler, Leymann Frank
- An Agent-Oriented Programming Model for SOA & Web Services (2007) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
- Invited Talk: A Process Algebra Master Equation (2007) — Luca Cardelli
- Service-Oriented Agent Methodologies (2007) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
- Exploiting the Environment for Coordinating Agent Intentions (2007) — Tom Holvoet, Paul Valckenaers
- Design Patterns for Multiagent Systems to Elevate Pocket Device Applications (2007) — Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
- On the Interplay of Crosscutting and MAS-Specific Styles (2007) — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
- CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- SODA: A Roadmap to Artefacts (2006) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
- A Framework for Engineering Interactions in Java-based Component Systems (2006) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (2006) — L. Robert Pokorny, C. R. Ramakrishnan
- Verification of Multi-agent Systems Via Bounded Model Checking (2006) — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
- Metodologie per l'ingegneria del software: approccio ad agenti (2006) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (2006) — Rafael H. Bordini, Jomi F. Hübner
- Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications (2006) — Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
- A Design Theory for Pervasive Information Systems (2006) — Panos E. Kourouthanassis, George M. Giaglis
- SPI - A Role for Method Engineering (2006) — Brian Henderson-Sellers
- Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (2006) — Sara Montagna, Alessandro Ricci, Andrea Omicini
- Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (2006) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
- Programming MAS with Artifacts (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source (2006) — Michele Cabano, Cesare Monti, Giulio Piancastelli
- Agens Faber: Toward a Theory of Artefacts for MAS (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Formal ReSpecT in the A&A Perspective (2006) — Andrea Omicini
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (2006) — Rossella Rubino, Andrea Omicini, Enrico Denti
- Minority Game: A Logic-Based Approach in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Linkable Coordination Artifacts for Inter-Organisational Workflow (2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
- Distributed Workflow upon Linkable Coordination Artifacts (2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
- A Survey of Environments and Mechanisms for Human-Human Stigmergy (2006) — H. Van Dyke Parunak
- OWL-S for Describing Artifacts (2006) — Rossella Rubino, Ambra Molesini, Enrico Denti
- Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
- Zooming Multi-Agent Systems (2006) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
- Simulation of Minority Game in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Web Services Implementation Methodology for SOA Application (2006) — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
- On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- An agent oriented tool for method engineering (2006) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
- CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
- Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology (2006) — Luca Cernuzzi, Franco Zambonelli
- Simulating Minority Game with TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
- Collective Sorting Tuple Spaces (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
- Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (2006) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
- simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
- The MHS Methodology: Analysis and Design for Context-Aware Systems (2006) — Evi Syukur, Seng Wai Loke
- The Fading Concept in Tuple-Space Systems (2006) — Ronaldo Menezes, Alan Wood
- Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents (2006) — Charles M. Macal, Michael J. North
- L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (2006) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
- Probabilistic Linda-based Coordination Languages (2005) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Towards CSpaces: A New Perspective for the Semantic Web (2005) — Francisco Martín-Recuerda
- More Principled Design of Pervasive Computing Systems (2005) — Simon Dobson, Paddy Nixon
- Programming Stigmergic Coordination with the TOTA Middleware (2005) — Marco Mamei, Franco Zambonelli
- Composition of a New Process to Meet Agile Needs Using Method Engineering (2005) — Massimo Cossentino, Valeria Seidita
- Engineering MAS Environment with Artifacts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (2005) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Coordination and Composition in Multi-agent Systems (2005) — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
- Developing MAS Solutions with Gaia and AUML (2005) — Luca Cernuzzi, Franco Zambonelli
- Verifying Multi-agent Systems via Unbounded Model Checking (2005) — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
- The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (2005) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
- Agent Interaction Semantics by Timed Operating Instructions (2005) — Mirko Viroli, Alessandro Ricci
- On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- RBAC for Organisation and Security in an Agent Coordination Infrastructure (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Environment-Based Coordination Through Coordination Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Effective Tool Use in a Habile Agent (2005) — Alexander B. Wood, Thomas E. Horton, Robert St. Amant
- On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda (2005) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- Time-Aware Coordination in ReSpecT (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
- Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (2005) — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
- Zooming Multi-Agent Systems (2005) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
- On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
- Cognitive Stigmergy: A Framework Based on Agents and Artifacts (2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
- SODA: A Roadmap to Artefacts (2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
- Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts (2005) — Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright
- Drago: Distributed reasoning architecture for the semantic web (2005) — Luciano Serafini, Andrei Tamilin
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- A Trust Analysis Methodology for Pervasive Computing Systems (2005) — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
- An Agent-Oriented Conceptual Framework for Systems Biology (2005) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
- Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies (2005) — Brian Henderson-Sellers
- An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (2005) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Programming MAS with Artifacts (2005) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Distributed Instance Retrieval in Heterogeneous Ontologies (2005) — Luciano Serafini, Andrei Tamilin
- MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (2005) — Ambra Molesini, Enrico Denti, Andrea Omicini
- Coordination Artifacts: Environment-based Coordination for Intelligent Agents (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
- MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN (2004) — Andrea Omicini, Alessandro Ricci
- On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (2004) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Engineering Trust in Complex System through Mediating Infrastructures (2004) — Alessandro Ricci, Andrea Omicini
- sTuples: Semantic Tuple Spaces (2004) — Deepali Khushraj, Ora Lassila, Timothy W. Finin
- Role-Based Access Control in MAS using Agent Coordination Contexts (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004) (2004) — Andrea Omicini, Alessandro Ricci, Dina Goldin
- MAS as Complex Systems: A View on the Role of Declarative Approaches (2004) — Andrea Omicini, Franco Zambonelli
- An Agent-oriented Conceptual Framework for Biological Systems Simulation (2004) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
- An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems (2004) — Ivana Gungui, Viviana Mascardi
- Paradigm and Software Engineering (2004) — Erek Göktürk, M. Naci Akkøk
- sTuples: Semantic Tuple Spaces (2004) — Deepali Khushraj, Ora Lassila, Tim Finin
- Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model (2004) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
- C@sa: Intelligent Home Control and Simulation (2004) — Berardina De Carolis, Giovanni Cozzolongo
- Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems (2004) — Marcello Donatelli, Andrea Omicini, Gianni Fila, Cesare Monti
- Towards Seamless Agent Middleware (2004) — Andrea Omicini, Giovanni Rimassa
- Verifying Communicating Agents by Model Checking in a Temporal Action Logic (2004) — Laura Giordano, Alberto Martelli, Camilla Schwind
- What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Programming Pervasive and Mobile Computing Applications with the TOTA Middleware (2004) — Marco Mamei, Franco Zambonelli
- Verifiable Multi-agent Programs (2004) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
- ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2004) — Mirko Viroli, Andrea Omicini
- Probabilistic KLAIM (2004) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- A Conceptual Framework for Self-Organising MAS (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
- Using Swarm Intelligence in Linda Systems (2004) — Robert Tolksdorf, Ronaldo Menezes
- Agent Coordination Context: From Theory to Practice (2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
- Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (2004) — Enrico Denti, Alessandro Ricci, Rossella Rubino
- From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools (2004) — Andrei Borshchev, Alexei Filippov
- From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs (2004) — Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita
- A Programming Language for Cognitive Agents: Goal Directed 3APL (2004) — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
- Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information (2004) — Dieter Fensel
- Integrating Objective & Subjective Coordination in Multi-Agent Systems (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
- A Semantics for the Interaction of Agents with Coordination Artifacts (2004) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
- Experiencing AUML in the GAIA Methodology (2004) — Luca Cernuzzi, Franco Zambonelli
- A software framework for matchmaking based on semantic web technology (2003) — Lei Li, Ian Horrocks
- Coordination as a Service: Ontological and Formal Foundation (2003) — Mirko Viroli, Andrea Omicini
- Learning the Sequential Coordinated Behavior of Teams from Observations (2003) — Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso
- Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems (2003) — Marco Mamei, Franco Zambonelli, Letizia Leonardi
- Task-Oriented Engineering of Coordinated Software Systems (2003) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- Rethinking MAS Infrastructure based on Activity Theory (2003) — Andrea Omicini, Alessandro Ricci, Sascha Ossowski
- Quantitative Relations and Approximate Process Equivalences (2003) — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
- Objective versus Subjective Coordination in the Engineering of Agent Systems (2003) — Andrea Omicini, Sascha Ossowski
- Modeling Agents and their Environment (2003) — James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
- Towards a Methodology for Coordination Mechanism Selection in Open Systems (2003) — Simon Miles, Mike Joy, Michael Luck
- Signs of a Revolution in Computer Science and Software Engineering (2003) — Franco Zambonelli, H. Van Dyke Parunak
- Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (2003) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
- MavHome: An Agent-based Smart Home (2003) — Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja
- Model Checking AgentSpeak (2003) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
- Supporting Coordination in Open Computational Systems with TuCSoN (2003) — Alessandro Ricci, Andrea Omicini
- Activity Theory as a Framework for MAS Coordination (2003) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Adaptiveness in Linda-Based Coordination Models (2003) — Ronaldo Menezes, Robert Tolksdorf
- Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
- Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project (2002) — Marcello Donatelli, Marco Acutis, Francesco Danuso, Fabrizio Mazzetto, Piero Nasuelli, Andrea Omicini, Marisanna Speroni, Marco Trevisan, Vitaliano Tugnoli
- Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology (2002) — Anna Perini, Angelo Susi, Fausto Giunchiglia
- Extreme Programming of Multi-Agent Systems (2002) — Holger Knublauch
- Model Checking Multi-Agent Systems with MABLE (2002) — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
- Extending ReSpecT for Multiple Coordination Flows (2002) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
- Engineering Agent Societies: A Case Study in Smart Environments (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- On the Expressiveness of Event-Based Coordination Media (2002) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
- Agile development of a clinical multi-agent system: An Extreme Programming case study (2002) — Holger Knublauch, Holger Koeth, Thomas Rose
- Agent Coordination Contexts: Experiments in TuCSoN (2002) — Alessandro Ricci, Andrea Omicini
- Tuple-based Coordination Models in Event-based Scenarios (2002) — Mirko Viroli, Alessandro Ricci
- Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles (2002) — H. van Dyke Parunak, Sven Brueckner, John Sauter
- Linear Embedding for a Quantitative Comparison of Language Expressiveness (2002) — Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
- Software Engineering for Large-scale Multi-Agent Systems: SELMAS'2002 (2002) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
- Towards an Alternative Semantics for FIPA ACL (2002) — Mirko Viroli, Andrea Omicini
- On the Grey-Box Modelling Approach for Autonomous Agents (2002) — Mirko Viroli, Andrea Omicini
- The TROPOS Analysis Process as Graph Transformation System (2002) — Paolo Bresciani, Paolo Giorgini
- Agent-based approach for software development process simulation (2002) — N. Bellamine-Ben Saoud, M. Essafi, H. Ben Ghezala
- Agent-Based Modeling: Methods and Techniques for Simulating Human Systems (2002) — Eric Bonabeau
- Specifying Agent Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
- A Framework for Systemic Coordination in Open Computational Systems (2002) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
- Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources (2002) — Alex Borgida, Luciano Serafini
- Tuple-based Models in the Observation Framework (2002) — Mirko Viroli, Andrea Omicini
- Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Have ReSpecT for LogOp (2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
- Coordination Tools for the Development of Agent-based Systems (2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- A Specification Language for Agents Observable Behaviour (2002) — Mirko Viroli, Andrea Omicini
- On Observation as a Coordination Pattern: An Ontology and a Formal Framework (2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
- An Assembly Process Model for Method Engineering (2001) — Jolita Ralyté, Colette Rolland
- Enlightened Agents in TuCSoN (2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Agent-Oriented Software Engineering for Internet Applications (2001) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
- Multi-Agent Systems as Composition of Observable Systems (2001) — Mirko Viroli, Andrea Omicini
- An Approach for Method Reengineering (2001) — Jolita Ralyté, Colette Rolland
- Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini
- The TuCSoN Coordination Infrastructure for Virtual Enterprises (2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
- Designing Agent-Oriented Systems by Analysing Agent Interactions (2001) — Simon Miles, Mike Joy, Michael Luck
- Formal ReSpecT (2001) — Andrea Omicini, Enrico Denti
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (2001) — Andrea Omicini
- tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (2001) — Enrico Denti, Andrea Omicini, Alessandro Ricci
- SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (2000) — Andrea Omicini
- Formal ReSpecT (2000) — Andrea Omicini, Enrico Denti
- Context-Dependency in Internet-Agent Coordination (2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
- From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (2000) — Andrea Omicini
- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- The LuCe Coordination Technology for MAS Design and Development on the Internet (2000) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
- Ruling Agent Motion in Structured Environments (2000) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Multiagent System Engineering: The Coordination Viewpoint (2000) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
- EasyLiving: Technologies for Intelligent Environments (2000) — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
- Persistent Turing Machines as a Model of Interactive Computation (2000) — Dina Q. Goldin
- Mind the Gap! Towards a unified view of CSCW (2000) — Kjeld Schmidt, Carla Simone
- A Coordination Infrastructure for Agent-based Internet Applications (2000) — Enrico Denti, Andrea Omicini
- Hybrid Coordination Models for Handling Information Exchange among Internet Agents (2000) — Andrea Omicini
- The Explorable Topology: Supporting Agent Autonomy on the Internet (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Tuple Centres for the Coordination of Internet Agents (1999) — Andrea Omicini, Franco Zambonelli
- Coordination Technology for the Development of Multi-Agent Systems on the Web (1999) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
- Adopting an Object-Oriented Data Model in Inductive Logic Programming (1999) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
- Building Mobile Agent Applications in HiMAT (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Comparing Coordination Models based on Shared Distributed Replicated Data (1999) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
- The UMASS Intelligent Home Project (1999) — 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 (1999) — Enrico Denti, Andrea Omicini
- Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- The HiMAT Model for Mobile Agent Applications (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
- On the Expressiveness of Coordination Models (1999) — Antonio Brogi, Jean-Marie Jacquet
- On the Semantics of Tuple-based Coordination Models (1999) — Andrea Omicini
- A Methodology for Agent-Oriented Analysis and Design (1999) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
- Coinductive Models of Finite Computing Agents (1999) — Peter Wegner, Dina Goldin
- Distributed Cognition, Coordination and Environment Design (1999) — David Kirsh
- Engineering Multi-Agent Systems in LuCe (1999) — Enrico Denti, Andrea Omicini
- TuCSoN: a Coordination model for Mobile Information Agents (1998) — Andrea Omicini, Franco Zambonelli
- Towards a Hierarchy of Negative Test Operators for Generative Communication (1998) — Gianluigi Zavattaro
- A Comprehensive View of Process Engineering (1998) — Colette Rolland
- A Fuzzy Description Logic (1998) — Umberto Straccia
- Coordination of Mobile Agents for Information Systems: the TuCSoN Model (1998) — Andrea Omicini, Franco Zambonelli
- A Formal Specification of dMARS (1998) — Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
- On the Expressive Power of a Language for Programming Coordination Media (1998) — Enrico Denti, Antonio Natali, Andrea Omicini
- Designing for the Dynamics of Cooperative Work Activities (1998) — Jakob Bardram
- Programmable Coordination Media (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
- Learning with an Object-Oriented Data Model (1997) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
- Issues in Agent-Based Software Engineering (1997) — Michael J. Wooldridge
- Merging Logic Programming into Web-based Technology: A Coordination-based Approach (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
- Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (1997) — Leon J. Osterweil
- Designing Multi-Agent Systems around a Programmable Communication Abstraction (1997) — Enrico Denti, Andrea Omicini
- AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (1996) — Anand S. Rao
- A Software Environment for Concurrent Coordinated Programming (1996) — Anne-Alexandra Holzbacher
- An Object-Oriented Approach to Planning (1996) — Umberto Fonda, Antonio Natali, Andrea Omicini
- Integrating Knowledge Acquisition in Plan Selection (1996) — Antonio Natali, Andrea Omicini
- Logic Tuple Spaces for the Coordination of Heterogeneous Agents (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
- Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents (1996) — Stan Franklin, Art Graesser
- An Extensible Framework for the Development of Coordinated Applications (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
- Integration of object-oriented analysis and performance simulation for engineering computer-based systems (1995) — Richard Goldgar, Ramon D. Acosta
- BDI Agents: From Theory to Practice (1995) — Anand S. Rao, Michael P. Georgeff
- Law-Governed Linda as a Coordination Model (1995) — Naftaly H. Minsky, Jerrold Leichter
- Guarantees for Autonomy in Cognitive Agent Architecture (1995) — Cristiano Castelfranchi
- Agent Coordination and Control through Logic Theories (1995) — Andrea Omicini, Enrico Denti, Antonio Natali
- A Petri Net Semantics for pi-Calculus (1995) — Nadia Busi, Roberto Gorrieri
- Object-Oriented Computations in Logic Programming (1994) — Andrea Omicini, Antonio Natali
- A Structured Logic Programming Approach to Robot Programming (1994) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
- A Multi-Agent Framework and Programming Environment for Autonomous Robotics (1994) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini
- Open Logic Theory Composition in a Software Engineering Perspective (1994) — Enrico Denti, Andrea Omicini
- Objects with State in Contextual Logic Programming (1993) — Antonio Natali, Andrea Omicini
- Techniques for Implementing Contexts in Logic Programming (1993) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
- From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
- Objects with State in CSM (1993) — Antonio Natali, Andrea Omicini
- Exploiting Logic Programming in Robot Applications (1993) — Antonio Natali, Andrea Omicini, Francesco Zanichelli
- Foundations for Interaction: The Dependence Theory (1993) — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
- Parallel Logic Programming using the Linda Model of Computation (1992) — Paolo Ciancarini
- Barbed Bisimulation (1992) — Robin Milner, Davide Sangiorgi
- An Abstract Architecture for Rational Agents (1992) — Anand S. Rao, Michael P. Georgeff
- Objects as Evolving Contexts (1992) — Antonio Natali, Andrea Omicini
- Implementing Contexts in Logic Programming (1992) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
- Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (1992) — Enrico Denti, Antonio Natali, Andrea Omicini
- Intelligence Without Reason (1991) — Rodney A. Brooks
- The Concept of Activity as a Basic Unit of Analysis for CSCW Research (1991) — Kari Kuutti
- Generalizing Term Subsumption Languages to Fuzzy Logic (1991) — John Yen
- Separating Concurrent Languages with Categories of Language Embeddings (1991) — Ehud Shapiro
- Modeling Rational Agents within a BDI Architecture (1991) — Anand S. Rao, Michael P. Georgeff
- Testing Equivalences and Fully Abstract Models for Probabilistic Processes (1990) — Ivan Christoff
- Equivalences, congruences, and complete axiomatizations for probabilistic processes (1990) — Chi-Chang Jou, Scott A. Smolka
- Software Processes are Software too (1987) — Leon J. Osterweil
- Reactive Reasoning and Planning (1987) — Michael P. Georgeff, Amy L. Lansky
- The consensus problem in unreliable distributed systems (a brief survey) (1983) — Michael J Fischer