Papers in Proceedings  /  1939–2021

2021  |   2020  |   2019  |   2018  |   2017  |   2016  |   2015  |   2014  |   2013  |   2012  |   2011  |   2010  |   2009  |   2008  |   2007  |   2006  |   2005  |   2004  |   2003  |   2002  |   2001  |   2000  |   1999  |   1998  |   1997  |   1996  |   1995  |   1994  |   1993  |   1992  |   1991  |   1990  |   1989  |   1988  |   1987  |   1986  |   1985  |   1984  |   1983  |   1982  |   1981  |   1980  |   1979  |   1978  |   1977  |   1976  |   1975  |   1974  |   1973  |   1972  |   1971  |   1970  |   1969  |   1968  |   1967  |   1966  |   1965  |   1964  |   1963  |   1962  |   1961  |   1960  |   1959  |   1958  |   1957  |   1956  |   1955  |   1954  |   1953  |   1952  |   1951  |   1950  |   1949  |   1948  |   1947  |   1946  |   1945  |   1944  |   1943  |   1942  |   1941  |   1940  |   1939

2021
Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors
EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, July 2021
Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
Towards Explainable Visionary Agents: License to Dare and Imagine
EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, 2021
Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge
EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, 2021
Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review
AAMAS 2021, May 2021
Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
JELIA 2021. Lecture Notes in Computer Science 12678, 2021
Roberta Calegari, Andrea Omicini, Giovanni Sartor
Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming
AIxIA 2020. Lecture Notes in Computer Science 12414, 2021
Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap
WOA 2021. CEUR Workshop Proceedings 2963, October 2021
Roberta Calegari, Regis Riveret, Giovanni Sartor
The Burden of Persuasion in Structured Argumentation
ICAIL '21: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law. ICAIL '21, June 2021
Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Towards cooperative argumentation for MAS: An actor-based approach
WOA 2021. CEUR Workshop Proceedings 2963, October 2021
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction
WOA 2021. CEUR Workshop Proceedings 2963, October 2021
Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search
EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, 2021
Angelo Croatti, Alessandro Ricci
Programming Agent-Based Mobile Apps: The JaCa-Android Framework
AAMAS 2021, 2021
(12 papers in proceedings in 2021)  [top]  [bottom]
2020
Roberta Calegari, Giovanni Sartor
Burden of Persuasion in Argumentation
ICLP 2020. EPTCS, September 2020
Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
An Abstract Framework for Agent-Based Explanations in AI
AAMAS 2020, May 2020
Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
Agent-Based Explanations in AI: Towards an Abstract Framework
EXTRAAMAS 2020. Lecture Notes in Computer Science 12175, 2020
Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Arg-tuProlog: A tuProlog-based argumentation framework
CILC 2020. CEUR Workshop Proceedings 2710, 13-15 October 2020
Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Neuro-symbolic Computation for XAI: Towards a Unified Model
WOA 2020. CEUR Workshop Proceedings 2706, October 2020
Angelo Croatti, Manuel Bottazzi, Alessandro Ricci
Agent-Based Mixed Reality Environments in Healthcare: The Smart Shock Room Project
PAAMS'20, 2020
Andrea Omicini
Not just for humans: Explanation for agent-to-agent communication
AIxIA 2020. CEUR Workshop Proceedings 2776, November 2020
Roberta Calegari, Andrea Omicini, Giovanni Sartor
Argumentation and Logic Programming for Explainable and Ethical AI
AIxIA 2020. CEUR Workshop Proceedings 2742, November 2020
Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Arg-tuProlog: a modular logic argumentation tool for PIL
JURIX 2020. Frontiers in Artificial Intelligence and Applications 334, 2020
Roberto Casadei, Mirko Viroli, Alessandro Ricci
Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 2020
Stefano Mariani, Franco Zambonelli
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehicles
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2020), 2020
Roberta Calegari, Andrea Omicini, Giovanni Sartor
Computable Law as Argumentation-based MAS
WOA 2020. CEUR Workshop Proceedings 2706, October 2020
Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
2P-Kt: logic programming with objects & functions in Kotlin
WOA 2020. CEUR Workshop Proceedings 2706, October 2020
Angelo Croatti, Alessandro Ricci
The JaCa-Android Framework for Programming BDI-Based Personal Agents on Mobile Devices
PAAMS'20, 2020
Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli
Time-Fluid Field-Based Coordination
Coordination Models and Languages, 2020
Roberta Calegari, Giovanni Sartor
A Model for the Burden of Persuasion in Argumentation
JURIX 2020. Frontiers in Artificial Intelligence and Applications 334, 2020
Angelo Croatti, Alessandro Ricci
From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities
EUMAS 2020, 2020
Alessandro Ricci, Angelo Croatti, Rafael H. Bordini, Jomi F. Hubner, Olivier Boissier
Exploiting Simulation for MAS Programming and Engineering - The JaCaMo-sim Platform
EMAS 2020, 2020
Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
ISOLA 2020. Lecture Notes in Computer Science 12477, October 2020
Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
BLOCKCHAIN'19. Advances in Intelligent Systems and Computing 1010, 2020
(20 papers in proceedings in 2020)  [top]  [bottom]
2019
Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
Defeasible Systems in Legal Reasoning: A Comparative Assessment
JURIX 2019. Frontiers in Artificial Intelligence and Applications 322, 11-13 December 2019
Roberto Casadei, Danilo Pianini, Guido Salvaneschi, Mirko Viroli
On Context-Orientation in Aggregate Programming
IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019
Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli
Case studies for a new IoT programming paradigm: Fluidware
AI&IoT 2019. CEUR Workshop Proceedings 2502, 2019
Roberto Casadei, Mirko Viroli
Coordinating Computation at the Edge: a Decentralized, Self-Organizing, Spatial Approach
2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), June 2019
Umberto Michieli, Maria Camporese, Andrea Agiollo, Giampaolo Pagnutti, Pietro Zanuttigh
Region Merging Driven by Deep Learning for RGB-D Segmentation and Labeling
13th International Conference on Distributed Smart Cameras (ICDSC2019), September 2019
Michele Braccini, Sara Montagna, Andrea Roli
Self-loops Favour Diversification and Asymmetric Transitions Between Attractors in Boolean Network Models
Artificial Life and Evolutionary Computation, 2019
Stefano Mariani, Angelo Croatti, Alessandro Ricci, Andrea Prati, Giuseppe Vizzari
ViTALiSE: Virtual to Augmented Loop in Smart Environments
AAMAS 2019. AAMAS '19, 2019
Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar
Engineering Resilient Collaborative Edge-Enabled IoT
2019 IEEE International Conference on Services Computing (SCC), July 2019
Stefano Mariani, Andrea Bicego, Marco Lippi, Marco Mamei, Franco Zambonelli
Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept
IDCS 2019. Lecture Notes in Computer Science 11874, October 2019
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems
18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Danilo Pianini, Roberto Casadei, Mirko Viroli
Security in Collective Adaptive Systems: A Roadmap
IEEE 4th International Workshops on Foundations and Applications of Self-Star Systems, FAS-StarW@SASO/ICCAC 2019, 16-20 June 2019
Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca
Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration
32th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2019), 2019
Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello
Pervasive Tracking for Time-Dependent Acute Patient Flow: A Case Study in Trauma Management
CBMS 2019, June 2019
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
IDCS 2019. Lecture Notes in Computer Science 11874, 10–12 October 2019
Andrea Omicini, Roberta Calegari
Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS
MMAS 2018. Lecture Notes in Computer Science 11422, May 2019
Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino
Preface – AI&IoT 2019
AI&IoT 2019. CEUR Workshop Proceedings 2502, November 2019
Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN
The 2019 Conference on Artificial Life, 2019
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Aggregate Processes in Field Calculus
Coordination Models and Languages. Lecture Notes in Computer Science 11533, 2019
Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
TuSoW: Tuple Spaces for Edge Computing
ICCCN 2019, 29 July–1 August 2019
Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Towards XMAS: eXplainability through Multi-Agent Systems
AI&IoT 2019. CEUR Workshop Proceedings 2502, November 2019
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
The share Operator for Field-Based Coordination
Coordination Models and Languages, Proceedings. Lecture Notes in Computer Science 11533, 2019
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Big Data from the Cloud to the Edge: The Aggregate Computing Solution
Proceedings of the 13th European Conference on Software Architecture - Volume 2. ECSA '19, 2019
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
On a Higher-Order Calculus of Computational Fields
Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science 11535, 2019
Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Towards Agent-oriented Blockchains: Autonomous Smart Contracts
PAAMS'19. Lecture Notes in Computer Science 11523, June 2019
Pierluigi Contucci, Andrea Omicini, Danilo Pianini, Alina SÎrbu
Preface
The Future of Digital Democracy: An Interdisciplinary Approach. Lecture Notes in Computer Science 11300, January 2019
Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Comparative Analysis of Blockchain Technologies under a Coordination Perspective
Communications in Computer and Information Science 1047, June 2019
(26 papers in proceedings in 2019)  [top]  [bottom]
2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate Graph Statistics
ALP4IoT2017. Electronic Proceedings in Theoretical Computer Science 264, 2018
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Space-Time Universality of Field Calculus
ALP4IoT2017. Lecture Notes in Computer Science 10852, 2018
Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
GOODTECHS 2018, November 2018
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From Field-Based Coordination to Aggregate Computing
COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018
Stefano Mariani
Coordination of Complex Socio-technical Systems: Challenges and Opportunities
ALP4IoT2017. Lecture Notes in Computer Science 11176, 2018
Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives
WOA 2018. CEUR Workshop Proceedings 2215, June 2018
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
BCT4MAS 2018, December 2018
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
WOA 2018. CEUR Workshop Proceedings 2215, June 2018
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things
4th IEEE World Forum on Internet of Things, WF-IoT 2018, Singapore, February 5-8, 2018, 2018
Roberto Casadei, Mirko Viroli
Collective Abstractions and Platforms for Large-Scale Self-Adaptive IoT
2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), 2018
Angelo Croatti, Alessandro Ricci
Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018
Sara Montagna, Michele Braccini, Andrea Roli
The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis
Artificial Life and Evolutionary Computation, 2018
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Combining Trust and Aggregate Computing
Software Engineering and Formal Methods. Lecture Notes in Computer Science 10729, 2018
Angelo Croatti, Alessandro Ricci
A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Distributed Real-Time Shortest-Paths Computations with the Field Calculus
2018 IEEE Real-Time Systems Symposium (RTSS), December 2018
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Globe-IoT 2018, 17-20 April 2018
Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Distributed Speaking Objects: a Case for Massive Multiagent Systems
International Workshop on Massively Multi-Agent Systems, 2018
(18 papers in proceedings in 2018)  [top]  [bottom]
2017
Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Spiking Neural Networks as Timed Automata
ALP4IoT2017, 2017
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Programming the Interaction Space Effectively with ReSpecTX
Studies in Computational Intelligence 737, 2017
Sara Montagna, Pedro H. Abreu, Sylvain Giroux, Michael I. Schumacher
Preface
A2HC 2017. Lecture Notes in Computer Science 10685, 2017
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients
11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, 2017
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed
Coordination Models and Languages. Lecture Notes in Computer Science 10319, 2017
Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
WOA 2017. CEUR Workshop Proceedings 1867, June 2017
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Modeling Opportunistic IoT Services in Open IoT Ecosystems
WOA 2017. CEUR Workshop Proceedings 1867, June 2017
Danilo Pianini, Simon Dobson, Mirko Viroli
Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration
11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service (LPaaS): Intelligence for the IoT
ICNSC 2017, May 2017
Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Coordinating Distributed Speaking Objects
2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS), June 2017
Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Formal Validation of Neural Networks as Timed Automata
Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics (CsBio17), 2017
Angelo Croatti, Sara Montagna, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
A2HC 2017. Lecture Notes in Computer Science 10685, 2017
Danilo Pianini, Jacob Beal, Mirko Viroli
Practical Aggregate Programming with Protelis
2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017
Juan Manuel Fernandez, Marco Mamei, Stefano Mariani, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Franco Zambonelli
Towards Argumentation-based Recommendations for Personalised Patient Empowerment
Proceedings of the 2nd International Workshop on Health Recommender Systems co-located with the 11th International Conference on Recommender Systems (RecSys 2017), August 2017
Angelo Croatti, Sara Montagna, Alessandro Ricci
A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
A2HC 2017. Lecture Notes in Computer Science 10643, 2017
Roberta Calegari, Enrico Denti
Context Reasoning and Prediction in Smart Environments: the Home Manager case
SEIS @ KES-IIMSS-17. Smart Innovation, Systems and Technologies 76, 21-23 June 2017
Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli
Towards a Foundational API for Resilient Distributed Systems Design
2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W@SASO/ICCAC 2017, Tucson, AZ, USA, September 18-22, 2017, 2017
Sara Montagna, Michele Braccini, Andrea Roli
The impact of self-loops in random boolean network dynamics
WIVACE 2017 – Book of Abstracts, September 2017
Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
Studies in Computational Intelligence 678, 2017
Angelo Croatti, Alessando Ricci
Towards the Web of Augmented Things
2017 IEEE International Conference on Software Architecture Workshops (ICSAW), April 2017
Angelo Croatti, Alessandro Ricci
Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea
WoT 2017: Proceedings of the Eighth International Workshop on the Web of Thing. WoT 2017, 2017
Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou
Modeling Opportunistic IoT Services in Open IoT Ecosystems
WOA 2017. CEUR Workshop Proceedings 1867, June 2017
(22 papers in proceedings in 2017)  [top]  [bottom]
2016
Roberta Calegari, Enrico Denti
The Butlers Framework for Socio-Technical Smart Spaces
INSCI 2016. Lecture Notes in Computer Science 9934, 12-14 September 2016
Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces
Proc. 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, June 2016
Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
A Comparison of Term Weighting Schemes for Text Classification and Sentiment Analysis with a Supervised Variant of tf.idf
Data Management Technologies and Applications: 4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Communications in Computer and Information Science 584, 2016
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Run-Time Management of Computation Domains in Field Calculus
2016 {IEEE} 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, Sept 2016
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
SASO 2016, 2016
Mirko Viroli, Jacob Beal
Resiliency with Aggregate Computing: State of the Art and Roadmap
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems. Electronic Proceedings in Theoretical Computer Science 217, 2016
Jacob Beal, Mirko Viroli
Aggregate Programming: From Foundations to Applications
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems. Lecture Notes in Computer Science 9700, 2016
Andrea Omicini, Franco Zambonelli
Challenges of Decentralized Coordination in Large-scale Ubicomp Systems
UbiComp2016, 12-16 September 2016
Sara Montagna, Andrea Omicini, Danilo Pianini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
MABS 2015. Lecture Notes in Computer Science 9568, 15 March 2016
Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU
INSCI 2016. Lecture Notes in Computer Science 9934, 12-14 September 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
Coordination Models and Languages. Lecture Notes in Computer Science 9686, 2016
Sara Montagna, Andrea Omicini, Francesco Degli Angeli, Michele Donati
Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases
WOA 2016. CEUR Workshop Proceedings 1664, 29-30 July 2016
Mirko Viroli, Roberto Casadei, Danilo Pianini
On Execution Platforms for Large-scale Aggregate Computing
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. UbiComp '16, 2016
Stefano Mariani, Andrea Omicini
Game Engines to Model MAS: A Research Roadmap
WOA 2016. CEUR Workshop Proceedings 1664, 29-30 July 2016
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-adaptation to Device Distribution Changes in Situated Computing Systems
2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, Augsburg, Germany, September 18-22, 2016, 2016
Mirko Viroli, Antonio Bucchiarone, Danilo Pianini, Jacob Beal
Combining Self-Organisation and Autonomic Computing in CASs with Aggregate-MAPE
2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, September 2016
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Towards Logic Programming as a Service: Experiments in tuProlog
WOA 2016. CEUR Workshop Proceedings 1664, July 2016
Mirko Viroli, Roberto Casadei, Danilo Pianini
Simulating Large-scale Aggregate MASs with Alchemist and Scala
Proceedings of the 2016 Federated Conference on Computer Science Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016., 11-14 September 2016
Stefano Mariani, Andrea Omicini
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies
WOA 2016. CEUR Workshop Proceedings 1664, 29-30 July 2016
Angelo Croatti, Alessandro Ricci
An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development
AGERE! 2016, 2016
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Labelled Variables in Logic Programming: Foundations
CILC 2016. CEUR Workshop Proceedings 1645, 20-22 June 2016
Danilo Pianini, Jacob Beal, Mirko Viroli
Improving Gossip Dynamics Through Overlapping Replicates
COORDINATION 2016, 2016
Roberto Casadei, Mirko Viroli
Towards Aggregate Programming in Scala
1st Workshop on Programming Models and Languages for Distributed Computing (PMLDC '16), 17 July 2016
(23 papers in proceedings in 2016)  [top]  [bottom]
2015
Andrea Omicini, Franco Zambonelli
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions
WOA 2015. CEUR Workshop Proceedings 1382, 17-19 June 2015
Andrea Omicini, Stefano Mariani
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions
E4MAS 2014. Lecture Notes in Computer Science 9068, November 2015
Danilo Pianini, Mirko Viroli, Jacob Beal
Protelis: Practical Aggregate Programming
SAC 2015, 2015
Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification
Communications in Computer and Information Science 553, 2015
Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
PRIMA 2015: Principles and Practice of Multi-Agent Systems. Lecture Notes in Computer Science 9387, 2015
Mirko Viroli, Alessandro Ricci
Towards agent aggregates: perspectives and challenges
EMAS 2015, 2015
Stefano Mariani, Andrea Omicini, Luca Sangiorgi
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks
Studies in Computational Intelligence 570, 2015
Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Preface
PRIMA 2015. Lecture Notes in Computer Science 9387, Ottobre 2015
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
FORTE2015. Lecture Notes in Computer Science 9039, 2015
Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities
Communications in Computer and Information Science 553, 2015
Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Smart Augmented Fields for Emergency Operations
Procedia Computer Science, September 2015
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields
Proceedings of the IEEE Conference on Self-Adaptive and Self-Organising Systems 2015 (SASO 2015), 2015
Sara Montagna, Andrea Omicini, Danilo Pianini
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation
MABS 2015, May 2015
Andrea Omicini, Giancarlo Fortino, Stefano Mariani
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions
COORDINATION 2015. Lecture Notes in Computer Science 9037, 2-4 June 2015
Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework
CSCWD 2015, 6-8 May 2015
Enrico Denti, Roberta Calegari
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence
ICAART 2015, January 2015
Sara Montagna, Andrea Omicini, Danilo Pianini
A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation
AAMAS 2015, 4-8 May 2015
Roberta Calegari, Enrico Denti, Andrea Omicini
Labelled Variables in Logic Programming: A First Prototype in tuProlog
AI*IA 2015 DC . CEUR Workshop Proceedings 1485, 23-24 September 2015
Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
EMAS 2015, 2015
Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Computational Fields Meet Augmented Reality: Perspectives and Challenges
2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, September 2015
Stefano Mariani, Andrea Omicini
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK
AI*IA 2015. Lecture Notes in Computer Science 9336, 23-25 September 2015
(21 papers in proceedings in 2015)  [top]  [bottom]
2014
Danilo Pianini, Stefano Sebastio, Andrea Vandin
Distributed statistical analysis of complex systems modeled through a chemical metaphor
High Performance Computing Simulation (HPCS), 2014 International Conference on, 2014
Mirko Viroli, Ferruccio Damiani
A Calculus of Self-stabilising Computational Fields
COORDINATION 2014. Lecture Notes in Computer Science 8459, 2014
Jacob Beal, Mirko Viroli
Building Blocks for Aggregate Programming of Self-Organising Applications
Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Cross-domain Text Classification through Iterative Refining of Target Categories Representations
Proceedings of the 6th International Conference on Knowledge Discovery and Information Retrieval, 2014
Giacomo Domeniconi, Gianluca Moro, Andrea Pagliarani, Roberto Pasolini
Markov Chain Based Method for In-Domain and Cross-Domain Sentiment Classification
International Conference on Knowledge Discovery and Information Retrieval (KDIR 2015), 2014
Stefano Mariani, Andrea Omicini
TuCSoN Coordination for MAS Situatedness: Towards a Methodology
WOA 2014. CEUR Workshop Proceedings 1260, September 2014
Giovanni Sartor, Andrea Omicini
The Autonomy of Automated Systems
AWS-LEP 2014, April 2014
Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar
Coordination-aware Elasticity
UCC 2014, 8-11 December 2014
Mirko Viroli
Towards a Unified Model of Spatial Computing
7th International Spatial Computing Workshop (SCW 2014), 6 May 2014
Enrico Denti, Roberta Calegari, Marco Prandini
Extending a Smart Home Multi-Agent System with Role-Based Access Control
ITS 2014, 10-12 December 2014
Stefano Mariani, Andrea Omicini
Coordination in Situated Systems: Engineering MAS Environment in TuCSoN
IDCS 2014. Lecture Notes in Computer Science 8729, 22-24 September 2014
Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Discovering New Gene Functionalities from Random Perturbations of Known Gene Ontological Annotations
Proceedings of the 6th International Conference on Knowledge Discovery and Information Retrieval, 2014
Danilo Pianini, Mirko Viroli, Franco Zambonelli, Alois Ferscha
HPC from a self-organisation perspective: The case of crowd steering at the urban scale
High Performance Computing Simulation (HPCS), 2014 International Conference on, July 2014
Stefano Mariani
On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates
SASO 2014. Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, September 2014
(14 papers in proceedings in 2014)  [top]  [bottom]
2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
EMAS 2013. Lecture Notes in Computer Science 8245, December 2013
Stefano Mariani, Andrea Omicini
Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages
CM @ SAC 2013, 18-22 March 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
CM @ SAC 2013, March 2013
Stefano Mariani, Andrea Omicini
Tuple-based Coordination of Stochastic Systems with Uniform Primitives
WOA 2013. CEUR Workshop Proceedings 1099, 2-3 December 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Self-Organising Semantic Resource Discovery for Pervasive Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), April 2013
Stefano Mariani, Andrea Omicini
Space-aware Coordination in ReSpecT
WOA 2013. CEUR Workshop Proceedings 1099, 2-3 December 2013
Andrea Omicini, Stefano Mariani
Coordination for Situated MAS: Towards an Event-driven Architecture
PNSE'13. CEUR Workshop Proceedings 989, 24-25 June 2013
Stefano Mariani, Andrea Omicini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments
Studies in Computational Intelligence 446, 2013
Stefano Mariani
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK
WOA 2013. CEUR Workshop Proceedings 1099, 2-3 December 2013
Stefano Mariani, Andrea Omicini
Probabilistic Modular Embedding for Stochastic Coordinated Systems
COORDINATION 2013. Lecture Notes in Computer Science 7890, June 2013
Stefano Mariani, Andrea Omicini
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes
SOCIAL:PATH @ AISB 2013, 3-5 March 2013
Sara Montagna, Mirko Viroli
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
SCW 2013, 6 May 2013
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), April 2013
Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems
ASENSIS 2012, April 2013
Andrea Omicini
Nature-inspired Coordination for Complex Distributed Systems
Studies in Computational Intelligence 446, 2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
EMAS 2013, 6-7 May 2013
Stefano Mariani, Andrea Omicini
Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine
SCW 2013, 6 May 2013
Andrea Omicini, Pierluigi Contucci
Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes
ICCCI 2013. Lecture Notes in Computer Science 8083, 2013
Christoph Dorn, Richard N Taylor
Coupling software architecture and human architecture for collaboration-aware system adaptation
Proceedings of the 2013 International Conference on Software Engineering, 2013
Mirko Viroli
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
SCW 2013, 6 May 2013
Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha
Predicting Social Density in Mass Events to Prevent Crowd Disasters.
SocInfo2013. Lecture Notes in Computer Science 8238, 2013
Mirko Viroli, Ferruccio Damiani, Jacob Beal
A calculus of computation fields
Communications in Computer and Information Science 393, 2013
Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Domain Independent Text Categorization
XIII Conference of the Italian Association for Artificial Intelligence (AI*IA), 2013
Stefano Mariani, Andrea Omicini
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres
JAWS 2013. Lecture Notes in Computer Science 8076, 2013
(24 papers in proceedings in 2013)  [top]  [bottom]
2012
Sara Montagna, Danilo Pianini, Mirko Viroli
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
SAC 2012, 26-30 March 2012
Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
WOA 2012, 12 September 2012
Marco Alberti, Andrea Omicini
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
SASO 2012, 2012
José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
ASENSIS 2012 - First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions
SASO 2012, 2012
Andrea Santi, Alessandro Ricci
Programming Distributed Multi-Agent Systems in simpAL
Proceedings of 13° Workshop nazionale "Dagli Oggetti agli Agenti" (WOA 2012), 2012
Mirko Viroli, Danilo Pianini, Jacob Beal
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
Coordination Models and Languages. LNCS 7274, June 2012
Marco Alberti, Andrea Omicini
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
ASENSIS 2012, 10 September 2012
Francesca Toni, Paolo Torroni
Bottom-Up Argumentation
Theorie and Applications of Formal Argumentation. Lecture Notes in Computer Science 7132, 2012
Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
Self-organising Semantic Resource Discovery for Pervasive Systems
ASENSIS 2012, 10 September 2012
Alessandro Ricci, Andrea Santi
Typing Multi-Agent Programs in simpAL
Proceedings of the Int. Workshop on Programming Multi-Agent Systems (ProMAS'12), 2012
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
CM @ SAC 2012, 26-30 March 2012
Sara Montagna, Danilo Pianini, Mirko Viroli
Gradient-based Self-organisation Patterns of Anticipative Adaptation
Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), May 2012
Stefano Mariani, Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach
SASO 2012, 2012
Alessandro Ricci, Andrea Santi
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions. AGERE! '12, 2012
Stefano Mariani, Andrea Omicini
Molecules of Knowledge: A Novel Perspective over Knowledge Management
Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence. CEUR Workshop Proceedings 926, 15 June 2012
Giuliano Vitali, E. Magnanini, Nico Mennucci, Enrico Denti
VPN - Client-server object-oriented virtual plant modeling tool
2012 IEEE 4th International Symposium on Plant Growth Modeling, Simulation, Visualization and Applications, 2012
Christoph Dorn, Richard N Taylor
Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications
Web Information Systems Engineering – WISE 2012, 2012
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
27th Annual ACM Symposium on Applied Computing (SAC 2012) , 26-30 March 2012
Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
BIO-CORE: Bio-inspired Self-organising Mechanisms Core
Bio-Inspired Models of Networks, Information, and Computing Systems. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 103, 2012
Mirko Viroli, Graeme Stevenson
On the Space-time Situation of Pervasive Service Ecosystems
Workshop on Spatial Computing, June 2012
Andrea Santi, Alessandro Ricci
An Eclipse-based IDE for Agent-Oriented Programming in simpAL
Proc. of The Seventh Workshop of the Italian Eclipse Community, 2012
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
ASENSIS 2012, 10 September 2012
Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
Proceedings of the 13th Workshop on Objects and Agents, 12 September 2012
Stefano Mariani, Andrea Omicini
Self-Organising News Management: The Molecules of Knowledge Approach
ASENSIS 2012, 10 September 2012
(24 papers in proceedings in 2012)  [top]  [bottom]
2011
Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
Self-aware Pervasive Service Ecosystems
Proceedings of the 2nd European Future Technologies Conference and Exhibition 2011 (FET 11). Procedia Computer Science 7, 4-6 May 2011
Ambra Molesini, Enrico Denti, Andrea Omicini
BaSi: Multi-Agent Based Simulation for Medieval Battles
WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011
Elena Nardini, Andrea Omicini, Mirko Viroli
Description Spaces with Fuzziness
CM @ SAC 2011, 21-25 March 2011
Stefan J. Witwicki, Edmund H. Durfee
Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs
10th International Joint Conference "Autonomous Agents & Multi-Agent Systems" (AAMAS 2011) , 2-6 May 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems
The 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2011), 3-8 October 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Coordinating Spatially-Situated Pervasive Service Ecosystems
WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011
Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Reasoning with Categories for Trusting  Strangers: a Cognitive Architecture  
Workshop TRUST in AGENTS SOCIETIES, 2011
Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci
Exploiting the Eclipse Ecosystem for Agent-Oriented Programming
Proceedings of the 6th Workshop of the Italian Eclipse Community, 2011
Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example
Proceedings of the 3rd International Workshop on Software Engineering for Resilient Systems. Lecture Notes in Computer Science 6968, 29-30 September 2011
Alessandro Ricci, Andrea Santi
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project
SPLASH '11 Workshops: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11, 2011
Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah
Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions
23rd International Conference on Advanced Information Systems Engineering (CAiSE'11), 2011
Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents
10th International Joint Conference "Autonomous Agents & Multi-Agent Systems" (AAMAS 2011) , 2-6 May 2011
H. Van Dyke Parunak, Sven A. Brueckner
Software Engineering for Self-Organizing Systems
12th International Workshop on Agent-Oriented Software Engineering (AOSE 2011), 2 May 2011
Aniruddha Dasgupta, Aditya K. Ghose
BDI Agents with Objectives and Preferences
DALT 2010. Lecture Notes in Computer Science 6619, 2011
Mirko Viroli, Jacob Beal, Matteo Casadei
Core Operational Semantics of Proto
26th Annual ACM Symposium on Applied Computing (SAC 2011), 21–25 March 2011
Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
Processes Engineering and AOSE
Agent-Oriented Software Engineering X. Lecture Notes in Computer Science 6038, 2011
Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
A Coordination Approach to Adaptive Pervasive Service Ecosystems
2011 5th IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2011), 7 October 2011
Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
Deep diving into BitTorrent locality
INFOCOM, 2011
Antonio Natali
Model-driven communications and collaborative software development
Proceedings of the 6th Workshop of the Italian Eclipse Community, 2011
Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
Preface
DALT 2010. Lecture Notes in Artificial Intelligence 6619, 2011
Andrea Santi, Alessandro Ricci
JaCa-Android: an agent-based platform for building smart mobile applications
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, \& VMIL'11, 2011
Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
Description and Composition of Bio-Inspired Design Patterns: the Gossip Case
8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2011), 27-29 April 2011
Danilo Pianini, Mirko Viroli, Sara Montagna
A Simulation Framework for Pervasive Services Ecosystems
WOA 2011. CEUR Workshop Proceedings 741, 4-6 July 2011
Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
Exploiting the JaCaMo framework for realising an adaptive room governance application
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, VMIL'11, 2011
Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case
Proceedings of the 3rd Workshop on Bio-Inspired and Self-* Algorithms for Distributed Systems, 14 June 2011
Danilo Pianini, Sara Montagna, Mirko Viroli
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011), 18-21 September 2011
(26 papers in proceedings in 2011)  [top]  [bottom]
2010
Andrea Santi
From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development
Proceedings of The 12th European Agent Systems Summer School (EASSS 2010), 2010
Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
Applying Process Document Standarization to INGENIAS
MALLOW-2010 – The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010. CEUR Workshop Proceedings 627, 2010
Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
A Glimpse of the ASPECS Process documented with the FIPA DPDF Template
MALLOW-2010 – The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010. CEUR Workshop Proceedings 627, 2010
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
WOA 2010, 2010
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper)
In Proceedings of 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN 2010), 2010
Juan C. Garcia-Ojeda, Scott DeLoach
The O-MaSE Process: a Standard View
MALLOW-2010 – The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010. CEUR Workshop Proceedings 627, 2010
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
Self-Organizing Architectures. Lecture Notes in Computer Science 6090, July 2010
Savas Konur, Clare Dixon, Michael Fisher
Formal Verification of Probabilistic Swarm Behaviours
Swarm Intelligence. LNCS 6234, 2010
Andrea Santi, Guidi Marco, Alessandro Ricci
JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications
In Proceedings of LAnguages, methodologies and Development tools for multi-agent systemS (LADS-2010), 2010
Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
Building an Agent Methodology from Fragments: the MEnSA experience
AOMIP @ SAC 2010, March 2010
Francesco Calzolai, Michele Loreti
Simulation and Analysis of Distributed Systems in Klaim
Coordination Models and Languages. LNCS 6116, 2010
Jacob Beal
A Basis Set of Operators for Space-Time Computations
Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW 2010), 2010
Ambra Molesini, Enrico Denti, Andrea Omicini
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence
Communications in Computer and Information Science 67, 2010
Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
WOA 2010. CEUR Workshop Proceedings 621, 5-7 September 2010
Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
Risk Analysis and Deployment Security Issues in a Multi-Agent System
2nd International Conference on Agents and Artificial Intelligence (ICAART 2010), 22-24 January 2010
Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini
Process Documentation Standardization: An Initial Evaluation
MALLOW-2010 — The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010. CEUR Workshop Proceedings 627, 30 August — 2 September 2010
Mirko Viroli, Matteo Casadei
Chemical-Inspired Self-Composition of Competing Services
25th Annual ACM Symposium on Applied Computing (SAC 2010), 22-26 March 2010
Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments
MALLOW-2010 – The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, 30 August – 2 September 2010
Sara Montagna, Nicola Donati, Andrea Omicini
An Agent-based Model for the Pattern Formation in Drosophila Melanogaster
Artificial Life XII, 19-23 August 2010
Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments 
Programming Multi-Agent Systems. LNAI 5919, 2010
Andrea Santi, Guidi Marco, Alessandro Ricci
Exploiting Agent-Oriented Programming for Developing Android Applications
WOA 2010, 2010
Mattia Minotti, Andrea Santi, Alessandro Ricci
Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications
In Proceedings of LAnguages, methodologies and Development tools for multi-agent systemS (LADS-2010), 2010
Alessandro Ricci, Andrea Santi, Michele Piunti
Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments
Proceedings of the Int. Workshop on Programming Multi-Agent Systems (ProMAS'10), 2010
Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
Engineering Self-Coordinating Software Intensive Systems
FSE/SDP Workshop on Future of Software Engineering Research (FoSER '10), 2010
Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
Interacting with Virtual Plants: a Client-Server Approach
Proceedings of the 6th International Workshop on Functional-Structural Plant Models, September 2010
Mattia Minotti, Andrea Santi, Alessandro Ricci
Developing Web Client Applications with JaCa-Web
WOA 2010, 2010
Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
MetaSelf: An Architecture and a Development Method for Dependable Self-* systems
2010 ACM Symposium on Applied Computing (SAC 2010), 2010
Rino Falcone, Cristiano Castelfranchi
Transitivity in Trust. A Discussed Property
WOA 2010, 2010
Ambra Molesini, Andrea Omicini
Documenting SODA: An Evaluation of the Process Documentation Template
WOA 2010. CEUR Workshop Proceedings 621, 5-7 September 2010
Sara Montagna, Mirko Viroli
A Framework for Modelling and Simulating Networks of Cells
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10) . Electronic Notes in Theoretical Computer Science Volume 268, 21 December 2010
Antonio Natali, Ambra Molesini
Using Domain Specific Languages for platform-based software development: The case of Android
The 5th Workshop of the Italian Eclipse Community (Eclipse-IT 2010), 30 September - 1 October 2010
Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa  Sichman
Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition
MALLOW-2010 – The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010. CEUR Workshop Proceedings 627, 2010
Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Self Organization in Coordination Systems using a WordNet-based Ontology
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 27 September - 1 October 2010
Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
Exploring the Boundaries: When Method Fragmentation is not Convenient
MALLOW-2010 – The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010. CEUR Workshop Proceedings 627, 2010
Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Programming Open Systems with Agents, Environments and Organizations
11th Workshop Dagli Oggetti agli Agenti (WOA 2010), 2010
Sara Montagna, Andrea Omicini, Alessandro Ricci
A Multiscale Agent-based Model of Morphogenesis in Biological Systems 
WOA 2010. CEUR Workshop Proceedings 621, 5-7 September 2010
Giuliano Vitali, Eugenio Magnanini, Enrico Denti
Simulate plants: a client-server graphic approach
Proceedings of AGRO 2010 - the XI ESA Congress, Montpellier, France, September 2010
Sergio Esparcia, Estefania Argente, Vicent Botti
Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template
MALLOW-2010 – The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010. CEUR Workshop Proceedings 627, 2010
Elena Nardini, Mirko Viroli, Emanuele Panzavolta
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
25th Annual ACM Symposium on Applied Computing (SAC 2010), 22-26 March 2010
(39 papers in proceedings in 2010)  [top]  [bottom]
2009
Michele Piunti, Alessandro Ricci, Andrea Santi
SOA/WS Applications using Cognitive Agents working in CArtAgO Environments
Proceedings of 10th Joint Conference AI*IA TABOO From Objects to Agents (WOA 2009), 2009
Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Elena Nardini, Andrea Omicini, Mirko Viroli
General-Purpose Coordination Abstractions for Managing Interaction in MAS
The WI-IAT 2009 Workshops Proceedings, 15-18 September 2009
Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Proceedings of the Second Workshop From Biology to Concurrency and Back (FBTC 2008). Electronic Notes in Theoretical Computer Science 229, 2009
Matteo Casadei, Andrea Omicini
Situated Tuple Centres in ReSpecT
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009
Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
Modelling Periodic Data Dissemination in Wireless Sensor Networks
Computer Modeling and Simulation, 2009. EMS '09. Third UKSim European Symposium on, November 2009
Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
Using Jason, MOISE, and CArtAgO to develop a team of cowboys
Proceedings of 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2009), Agent Contest., 2009
Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5386, 2009
Alessandro Ricci, Michele Piunti
Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments
Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009). Lecture Notes in Computer Science 5774, 2009
Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
A MAS Metamodel-Driven Approach to Process Fragments Selection
Agent-Oriented Software Engineering IX. 9th International Workshop, AOSE 2008. Estoril, Portugal, May 12-13, 2008. Revised Selected Papers. Lecture Notes in Computer Science 5386, 2009
Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Embodied Organisations in MAS Environments
Proceedings of Seventh German conference on Multi-Agent System Technologies (MATES 2009). Lecture Notes in Computer Science 5774, 2009
Mirko Viroli, Matteo Casadei, Andrea Omicini
A Framework for Modelling and Implementing Self-Organising Coordination
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009
Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications
5th International Conference on Web Information Systems and Technologies (WEBIST 2009), 23-26 March 2009
Mirko Viroli, Matteo Casadei
Biochemical Tuple Spaces for Self-Organising Coordination
Coordination Languages and Models. Lecture Notes in Computer Science 5521, June 2009
Weider D. Yu, Chia H. Ong
A SOA Based Software Engineering Design Approach in Service Engineering
2009 IEEE International Conference on e-Business Engineering (ICEBE '09), 2009
Luca Cernuzzi, Franco Zambonelli
Gaia4E: A Tool Supporting the Design of MAS using Gaia
ICEIS 2009 - Proceedings of the 11th International Conference   on Enterprise Information Systems, Volume SAIC, Milan, Italy,               May 6-10, 2009, 2009
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialog Support
Argumentation in Multi-Agent Systems. Lecture Notes in Artificial Intelligence 5384, February 2009
Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09), 2009
Giulio Piancastelli, Enrico Denti
Designing a Development Environment for Logic and Multi-Paradigm Programming
Eclipse-IT 2008 – 3rd Italian Workshop on Eclipse Technologies. CEUR Workshop Proceedings 436, August 2009
Michele Piunti, Andrea Santi, Alessandro Ricci
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments
In Proceedings of Agents, Web Services and Ontologies, Integrated Methodologies (AWESOME-09), 2009
Matteo Casadei, Mirko Viroli
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009
Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Manipulation implicite d'une organisation multiagent  via l'environnement
Proceedings of Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2009), 2009
Carlos Castro Gonzalez, Miguel Angel Luengo-Oroz, Sophie Desnoulez, Louise Duloquin, Laura Fernández-de-Manuel, Sara Montagna, Maria J. Ledesma-Carbayo, Paul Bourgine, Nadine Peyrieras, Andres Santos
An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis
31st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2009), 2-6 September 2009
Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009
Ambra Molesini, Enrico Denti, Andrea Omicini
An Agent-based Application for Home Intelligence
International Conference on Agents and Artificial Intelligence (ICAART 2009), 19-21 January 2009
Ambra Molesini, Enrico Denti, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE
Engineering Societies in the Agents World IX. Lecture Notes in Computer Science 5485, June 2009
Alessandro Ricci, Mirko Viroli, Michele Piunti
Formalising the Environment in MAS Programming: a Formal Model
Programming Multi-Agent Systems 7th International Workshop (ProMAS 2009) Revised Selected Papers. Lecture Notes Computer Science 5919, 2009
Bernhard Angerer, Branko Katalinic, Andrea Omicini
A Semantic eScience Portal for International Scientific and Academic Cooperation
Annals of DAAAM for 2009 & Proceedings of the 20th International DAAAM Symposium "Intelligent Manufacturing & Automation: Focus on Theory, Practice and Education". Annals of DAAAM and Proceedings of DAAAM International Symposium, 25-28 November 2009
Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a Logic Language and Framework for Web Programming
Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy. CEUR Workshop Proceedings 487, August 2009
Enrico Oliva
Interactive Graphical Maps for Infocenter via Model to Model Transformation
Eclipse IT 2009 - 4th Italian worshop on eclipse technologies, September 2009
Philipp Offermann, Udo Bub
Empirical comparison of methods for information systems development according to SOA
17th European Conference on Information Systems (ECIS 2009), 8-10 June 2009
Alessandro Ricci, Michele Piunti, Mirko Viroli
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
Proceedings of MALLOW 2009 federated workshops: LAnguages, methodologies and Development tools for multi-agent systemS (LADS 2009), September 2009
Martin Murth, Eva Kuhn
Knowledge-based coordination with a reliable semantic subscription mechanism
SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing, 2009
Michele Piunti, Alessandro Ricci
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments
Knowledge Representation for Agents and Multi-Agent Systems. Lecture Notes in Artificial Intelligence 5605, 2009
Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia
Proceedings of the Ninth International Conference on Quality Software (QSIC 2009), 24-25 August 2009
Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
A Goal-Oriented Approach for Modelling Self-organising MAS
Engineering Societies in the Agents World X, 2009
Sara Montagna, Andrea Roli
Parameter tuning of a stochastic biological simulator by metaheuristics
AI*IA 2009: Emergent Perspectives in Artificial Intelligence  XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings. Lecture Notes in Computer Science 5883, 2009
Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Seventh international Workshop on Programming Multi-Agent Systems (PROMAS 09) - Revised and Extended version . Lecture Notes in Artificial Intelligence 5919, 2009
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Trustworthy Global Computing. Lecture Notes in Computer Science 5474, 2009
Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts
ICSOFT 2009 - Proceedings of the 4th International Conference  on Software and Data Technologies, Volume 1, Sofia, Bulgaria,  July 26-29, 2009, July 2009
Sara Montagna, Mirko Viroli
A computational framework for modelling multicellular biochemistry
2009 IEEE Congress on Evolutionary Computation (CEC 2009), 18-21 May 2009
Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
A Process Model of Actin Polymerisation 
Proceedings of the Second Workshop From Biology to Concurrency and Back (FBTC 2008). Electronic Notes in Theoretical Computer Science 229, 2009
(43 papers in proceedings in 2009)  [top]  [bottom]
2008
Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita
Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Enrico Oliva, Peter McBurney, Andrea Omicini
Co-Argumentation Artifact for Agent Societies
Argumentation in Multi-Agent Systems. Lecture Notes in Computer Science 4946, April 2008
Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)". Electronic Notes in Theoretical Computer Science 194, 2008
Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008
Alessandro Ricci, Mirko Viroli, Andrea Omicini
The A&A Programming Model and Technology for Developing Agent Environments in MAS
Programming Multi-Agent Systems. Lecture Notes in Computer Science 4908, April 2008
Michele Piunti, Alessandro Ricci
From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS
6h European Workshop on Multi-Agent Systems (EUMAS 2008), 18-19 December 2008
Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher
Hierarchical Modeling for Computational Biology
Formal Methods for Computational Systems Biology. Lecture Notes in Computer Science 5016, 2008
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers. Lecture Notes in Computer Science 4908, 2008
Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies
The 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008), 24-26 September 2008
Daniel Yamins, Radhika Nagpal
Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems
7th International Joint Conference on Agents and Multi-Agent Systems (AAMAS-08), 12-16 May 2008
Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
Agent-oriented AmI Engineering
Developing ambient intelligence, February 2008
Daniel T. Gillespie
Simulation Methods in Systems Biology
Formal Methods for Computational Systems Biology. Lecture Notes in Computer Science 5016, 2008
Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets
2008 8th International Conference on Intelligent Systems Design and Applications (ISDA 2008), 2008
Matteo Casadei, Andrea Omicini
Situating A&A ReSpecT for Pervasive Environment Applications
17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008
Ambra Molesini, Enrico Denti, Andrea Omicini
From AO Methodologies to MAS Infrastructures: The SODA Case Study
Engineering Societies in the Agents World VIII. Lecture Notes in Computer Science 4995, September 2008
Michele Piunti, Alessandro Ricci
Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments
Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), 16 September 2008
Matteo Casadei, Mirko Viroli
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08), 20-24 October 2008
Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT
Proceedings of the third international symposium on i*. CEUR Workshop Proceedings, 11-13 feb 2008
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008
Michele Piunti, Alessandro Ricci
From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS 
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Sara Montagna, Andrea Omicini, Marco Alberti
Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model
Intelligenza Artificiale e Scienze della Vita, September 2008
Matteo Casadei, Mirko Viroli, Marco Santarelli
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008
Maurizio Cimadamore, Mirko Viroli
Integrating Java and Prolog through Generic Methods and Type Inference
23th ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
Tool-Supported Development with Tropos: The Conference Management System Case Study
Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science 4951, 2008
Franco Zambonelli, Mirko Viroli
Architecture and Metaphors for Eternally Adaptive Service Ecosystems
Intelligent Distributed Computing, Systems and Applications. Studies in Computational Intelligence 162/2008, September 2008
Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Methodologies for Designing Agent Societies
2nd Workshop on Engineering Complex Distributed Systems (ECDS 2008), 4-7 March 2008
Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Agent Roles: from Methodologies to Infrastructures
Proceedings of the 2008 workshop on Role-Based Collaboration, at the 2008 International Symposium on Collaborative Technologies and Systems (CTS'08), 19-23 May 2008
Lorenzo Dematté, Corrado Priami, Alessandro Romanel
The BlenXLanguage: A Tutorial
Formal Methods for Computational Systems Biology. Lecture Notes in Computer Science 5016, 2008
Giulio Piancastelli, Andrea Omicini
A Logic Programming Model for Web Resources
4th International Conference on Web Information Systems and Technologies (WEBIST 2008), 4-7 May 2008
Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
Increasing interactivity in Agent-based Advanced Pocket-Device Service Application
Developing ambient intelligence, February 2008
Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach
Proceedings of the Third International Workshop ``Dependability Aspects on Data WArehousing and Mining applications'' (DAWAM-08), 4-7 march 2008
Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifact for Dialogue Support
5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008), 12 May 2008
Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition
Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), 18-21 February 2008
Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani
Integrating  Artifact-Based Environments with Heterogeneous Agent-Programming Platforms
7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-08), 12-16 May 2008
Elena Nardini, Andrea Omicini
Agent-Based Collaboration Systems: A Case Study
Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education. CEUR Workshop Proceedings 398, 1-2 September 2008
Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments
IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 08), December 2008
Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
The Architecture and Design of a Malleable Object-Oriented Prolog Engine
23rd ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008
Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Languages, Methodologies and Development Tools for Multi-Agent Systems. Lecture Notes in Computer Science 5118, July 2008
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent  Development: Methodologies, Tools, Platforms and Languages, November 2008
Florian Fuchs, Michael Berger
A Decentralized and Ontology-Based Approach to Infrastructure Monitoring
Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
Developing a Conference Management System with the Multi-Agent Systems Unified   Process: A Case Study
Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science 4951, 2008
Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
Experimenting with Stochastic Prolog as a Simulation Language
23º Convegno Italiano di Logica Computazionale (CILC'08), 10-12 July 2008
Mario Bravetti
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Proceedings of the 14th International Workshop on Expressiveness in Concurrency (EXPRESS 2007). Electronic Notes in Theoretical Computer Science 194, 16 January 2008
Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on  SODA
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
SPEM on Test: the  SODA Case Study
23th ACM Symposium on Applied Computing (SAC 2008), 16-20 March 2008
Anna Riccioni, Enrico Denti, Roberto Laschi
An experimental environment for teaching Java Security
6th ACM International Symposium on Principles and Practice of Programming in Java (PPPJ 2008) - Modena, Italy, 9-11 September 2008. ACM International Conference Proceeding 347, October 2008
Antonio Natali, Enrico Oliva, Cristina Bonanni
Model-driven Generation of Graphical Maps for e-Contents
Eclipse-IT 2008. 3rd Italian Workshop op on Eclipse Technologies. , November 2008
Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
Toward a Framework for Collaborative Learning based on Agent-based Technologies
International Education, Technology and Development Conference (INTED 2008), 3-5 March 2008
Ambra Molesini, Enrico Denti, Andrea Omicini
RBAC-MAS & SODA:  Experimenting RBAC in AOSE
9th International Workshop “Engineering Societies in the Agents World” (ESAW'08), 24-26 September 2008
Enrico Oliva, Mirko Viroli, Andrea Omicini
Arguments and Artifacts for Dispute Resolution
9th Workshop "From Objects to Agents" (WOA 2008) — Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, November 2008
Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
Fast self-healing gradients.
SAC, 2008
Lin Padgham, Michael Luck
Introduction to AOSE Tools for the Conference Management System 
Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science 4951, 2008
Giulio Piancastelli, Enrico Denti
Designing a Development Environment for Logic and Multi-Paradigm Programming
Eclipse-IT 2008. 3rd Italian Workshop on Eclipse Technologies. Proceedings, November 2008
Giacomo Cabri
Introducing Join-Computing
Advances on Software Engineering, Parallel and Distributed Systems. Electrical and Computer Engineering, 20-22 feb 2008
Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems
Workshop on Spatial Computing, October 2008
Giulio Piancastelli, Andrea Omicini
A Multi-Theory Logic Language for the World Wide Web
Logic Programming. Lecture Notes in Computer Science 5366, December 2008
Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX
Cybernetics and Systems 2008, 25-28 March 2008
Lin Padgham, John Thangarajah, Michael Winikoff
The Prometheus Design Tool – A Conference Management System Case Study
Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science 4951, 2008
(58 papers in proceedings in 2008)  [top]  [bottom]
2007
Volha Bryl, Paolo Giorgini, John Mylopoulos
Supporting Requirements Analysis in Tropos: a Planning-Based Approach
Proceedings of the 10th Pacific Rim International Workshop on Multi-Agents (PRIMA?07), 21-23  November 2007
Luca Gardelli, Mirko Viroli, Andrea Omicini
Design Patterns for Self-Organising Systems
Multi-Agent Systems and Applications V. Lecture Notes in Computer Science 4696, September 2007
Enrico Oliva, Peter McBurney, Andrea Omicini
Co-Argumentation Artifact for Agent Societies
4th International Workshop “Argumentation in Multi-Agent Systems” (ArgMAS 2007), 15 May 2007
Michael Schumacher, Laurent Grangier, Radu Jurca
Governing Environments for Agent-Based Traffic Simulations
Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V. CEEMAS '07, 2007
Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004). Electronic Notes in Theoretical Computer Science 180, June 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
Cooperative Information Agents XI. Lecture Notes in Computer Science 4676, September 2007
Ambra Molesini, Enrico Denti, Andrea Omicini
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
8th International Workshop "Engineering Societies in the Agents World" (ESAW'07), 22-24 October 2007
Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Service-Oriented Agent Methodologies
16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), 18-20 June 2007
Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
Evaluating Procedural Alternatives. A Case Study in E-Voting
Proceedings of the 1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07), 27-28 Sep 2007
Mirko Viroli, Matteo Casadei, Luca Gardelli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing, 2007
Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
Extrospection: Agents Reasoning About the Environment
3rd IET International Conference on Intelligent Environments (IE 07), 24-25 September 2007
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
On the Problem of Over-clustering in Tuple-based Coordination Systems
1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 9-11 July 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
Self-Organizing Systems. Lecture Notes in Computer Science 4725, August 2007
Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
Geo-Linda: a Geometry Aware Distributed Tuple Space
21st International Conference on Advanced Networking and Applications (AINA '07), 21-23 May 2007
Antonio Natali, Antonio Del Cinque, Enrico Oliva
Using Eclipse in Building Model-driven e-Learning Supports
Eclipse: a Great Opportunity for Industry and Universities in Italy, October 2007
Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Measurement and Control of Self-organised Behaviour in Robot Swarms
Architecture of Computing Systems – ARCS 2007. LNCS 4415, 2007
Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems
6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, September 2007
George Jiri Mejtsky
A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates
2007 Winter Simulation Conference, 9-12 December 2007
Olaf Zimmermann, Jana Koehler, Leymann Frank
Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design
Workshop on Software Engineering Methods for Service-oriented Architecture 2007 (SEMSOA 2007), May 2007
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), 8 September 2007
Andrea Omicini
Formal ReSpecT in the A&A Perspective
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science 175, June 2007
Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), 11-12 Sep 2007
Alessandro Ricci, Mirko Viroli
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java
5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007). ACM International Conference Proceeding 272, 5-7 September 2007
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case
E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Michele Cabano, Cesare Monti, Giulio Piancastelli
Context-Dependent Evaluation Methodology for Open Source Software
Open Source Development, Adoption and Innovation. IFIP International Federation for Information Processing 234, August 2007
Alessandro Ricci, Claudio Buda, Nicola Zaghini
An Agent-Oriented Programming Model for SOA & Web Services
5th IEEE International Conference on Industrial Informatics (INDIN'07), 23-27 June 2007
Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
Auction Negotiation for Mobile Rideshare Service
2nd International Conference on Pervasive Computing and Applications, 2007. ICPCA 2007. , 26-27 jul 2007
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science  175, June 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
E4MAS 2006. Lecture Notes in Computer Science 4389, May-June 2007
Anna Riccioni, Enrico Denti
vLab: an Eclipse-based Virtual Laboratory
First International Conference on Eclipse Technologies (ECLIPSE - IT '07), October 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). , 25-28 September 2007
Alessandro Ricci, Enrico Denti
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services
Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software (WOA 2007), September 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS
6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), 14-18 May 2007
Luca Cardelli
Invited Talk: A Process Algebra Master Equation
4th International Conference on the Quantitative Evaluation of Systems (QEST 2007), September 2007
Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
Design Patterns for Multiagent Systems to Elevate Pocket Device Applications
8th International Workshop "Engineering Societies in the Agents World" (ESAW'07), 22-24 October 2007
Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
A Survey of Service Oriented Development Methodologies
2nd European Young Researchers Workshop on Service Oriented Computing, 2007
Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods
CAiSE'07 Forum, Proceedings of the CAiSE'07 Forum at the 19th International Conference on Advanced Information Systems Engineering.. CEUR Workshop Proceedings, 11-15 June 2007
Maurizio Cimadamore, Mirko Viroli
A Prolog-oriented extension of Java programming based on generics and annotations
5th international symposium on Principles and practice of programming in Java (PPPJ '07), 2007
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
Practical Extensions in Agent Programming Languages
6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07)., 14-18 May 2007
Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
On the Interplay of Crosscutting and MAS-Specific Styles
Software Architecture. Lecture Notes in Computer Science 4758, September 2007
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Building Smart Environments as Agent Workspaces
IEEE 16th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2007), 18-19 June 2007
Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology
XXXIII Conferencia Latinoamericana en Informática (CLEI 2007), 8-12 October 2007
Tom Holvoet, Paul Valckenaers
Exploiting the Environment for Coordinating Agent Intentions
Environments for Multi-Agent Systems III, 2007
Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
Towards Integrating Agents with Objects Tracing Systems in AmI
Proceedings of the 5th European Workshop on Multi-Agent Systems (EUMAS'07), 13-14 December 2007
Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Experiences in Automated Workflows using Dialectical Argumentation
IADIS International Conference "Intelligent Systems and Agents" (ISA 2007). Computer Science and Information Systems, 3-8 July 2007
(46 papers in proceedings in 2007)  [top]  [bottom]
2006
H. Van Dyke Parunak
A Survey of Environments and Mechanisms for Human-Human Stigmergy
Environments for Multi-Agent Systems II. Lecture Notes in Computer Science 3830, 2006
Andrea Omicini
Formal ReSpecT in the A&A Perspective
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), 31 August 2006
Rossella Rubino, Andrea Omicini, Enrico Denti
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. Lecture Notes in Computer Science 3913, June 2006
Sara Montagna, Alessandro Ricci, Andrea Omicini
Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN
Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006
Luca Cernuzzi, Franco Zambonelli
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology
Agent-Oriented Software Engineering VI. Lecture Notes in Computer Science 3950, 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. Lecture Notes in Computer Science 3914, April 2006
Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
Computational Models of Argument. Frontiers in Artificial Intelligence and Applications 144, August 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
EMCSR 2006, 18-21 April 2006
Antonio Natali, Antonio Del Cinque, Matteo Casadei
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
Verification of Multi-agent Systems Via Bounded Model Checking
AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings. Lecture Notes in Computer Science 4304, 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN
Engineering Self-Organising Systems. Lecture Notes in Computer Science 3910, 2006
Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
SODA: A Roadmap to Artefacts
Engineering Societies in the Agents World VI. Lecture Notes in Computer Science 3963, June 2006
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
A Framework for Engineering Interactions in Java-based Component Systems
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Simulating Minority Game with TuCSoN
Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006
Brian Henderson-Sellers
SPI - A Role for Method Engineering
EUROMICRO-SEAA, 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agens Faber: Toward a Theory of Artefacts for MAS
Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005). Electronic Notes in Theoretical Computer Science 150, 29 May 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Simulation of Minority Game in TuCSoN
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
EMCSR 2006, 18-21 April 2006
Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Distributed Workflow upon Linkable Coordination Artifacts
Coordination Models and Languages. Lecture Notes in Computer Science 4038, June 2006
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
Panos E. Kourouthanassis, George M. Giaglis
A Design Theory for Pervasive Information Systems
3rd International Workshop on Ubiquitous Computing (IWUC 2006), May 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
E4MAS 2006, 8 May 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
E4MAS 2006, May 8 2006
L. Robert Pokorny, C. R. Ramakrishnan
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Declarative Agent Languages and Technologies {II}. Lecture Notes in Computer Science 3476, June 2006
Rossella Rubino, Ambra Molesini, Enrico Denti
OWL-S for Describing Artifacts
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 December 2006
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
E4MAS 2006, 8 May 2006
Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Zooming Multi-Agent Systems
Agent-Oriented Software Engineering VI. Lecture Notes in Computer Science 3950, 2006
Michele Cabano, Cesare Monti, Giulio Piancastelli
Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Ambra Molesini, Enrico Denti, Andrea Omicini
Metodologie per l'ingegneria del software: approccio ad agenti
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
Programming Multi-Agent Systems. Lecture Notes in Computer Science 3862, March 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Minority Game: A Logic-Based Approach in TuCSoN
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
An agent oriented tool for method engineering
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 dec 2006
Evi Syukur, Seng Wai Loke
The MHS Methodology: Analysis and Design for Context-Aware Systems
4th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the 2nd International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06), 2006
Rafael H. Bordini, Jomi F. Hübner
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper)
Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science 3900, April 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 December 2006
Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Linkable Coordination Artifacts for Inter-Organisational Workflow
1st International Workshop “Coordination of Inter-Organizational Workflow: Agent and Semantic Web based Models” (CIOW 2006), 8 May 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), 31 August 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
Collective Sorting Tuple Spaces
WOA 2006. CEUR Workshop Proceedings, 26-27 September 2006
Sebastian Sardina, Lavindra de Silva, Lin Padgham
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach
5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '06), 8-12 May 2006
Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
RoboCup 2005: Robot Soccer World Cup IX. Lecture Notes in Computer Science 4020, 2006
Charles M. Macal, Michael J. North
Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents
WSC '06: Proceedings of the 38th conference on Winter simulation, 2006
Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
Web Services Implementation Methodology for SOA Application
4th IEEE International Conference on Industrial Informatics (INDIN 2006), 16-18 August 2006
Ronaldo Menezes, Alan Wood
The Fading Concept in Tuple-Space Systems
Proceedings of the 2006 ACM symposium on Applied Computing (SAC 2006), 2006
(45 papers in proceedings in 2006)  [top]  [bottom]
2005
Luciano Serafini, Andrei Tamilin
Distributed Instance Retrieval in Heterogeneous Ontologies
SWAP 2005. CEUR Workshop 166, 2005
Massimo Cossentino, Valeria Seidita
Composition of a New Process to Meet Agile Needs Using Method Engineering
Software Engineering for Multi-Agent Systems III, Research. Lecture Notes in Computer Science 3390, 2005
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Environment-Based Coordination Through Coordination Artifacts
Environments for Multi-Agent Systems. Lecture Notes in Artificial Intelligence 3374, February 2005
Brian Henderson-Sellers
Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies
Multi-Agent Systems and Applications IV. Lecture Notes in Computer Science 3690, 15-17 September 2005
Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal
Multi-Agent Systems and Applications IV. Lecture Notes in Computer Science 3690, 2005
Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Zooming Multi-Agent Systems
6th International Workshop "Agent-Oriented Software Engineering" (AOSE 2005), 25-26 July 2005
John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware
2nd IEEE Symposium on Multi-Agent Security and Survivability (MASS 2005), 30-31 August 2005
Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering MAS Environment with Artifacts
2nd International Workshop "Environments for Multi-Agent Systems" (E4MAS 2005), 26 July 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004). Electronic Notes in Theoretical Computer Science 128, 3 May 2005
Ambra Molesini, Enrico Denti, Andrea Omicini
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
Multi-Agent Systems and Applications IV. Lecture Notes in Computer Science 3690, 2005
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Linda-based Coordination Languages
3rd International Conference on Formal Methods for Components and Objects (FMCO'04). LNCS 3657, 2005
Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright
Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts
2nd Workshop on Challenges in the Coordination of Large-Scale Multi-Agent Systems (LSMAS'05), 25 July 2005
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Time-Aware Coordination in ReSpecT
Coordination Models and Languages. Lecture Notes in Computer Science 3454, April 2005
Marco Mamei, Franco Zambonelli
Programming Stigmergic Coordination with the TOTA Middleware
4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi" (WOA 2005), 14-16 November 2005
Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
SODA: A Roadmap to Artefacts
6th International Workshop “Engineering Societies in the Agents World” (ESAW'05), 26-28 October 2005
Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
Preface
Engineering Societies in the Agents World V. Lecture Notes in Computer Science 3451, June 2005
Alexander B. Wood, Thomas E. Horton, Robert St. Amant
Effective Tool Use in a Habile Agent
2005 IEEE Systems and Information Engineering Design Symposium (SEADS 2005), 29 April 2005
Luciano Serafini, Andrei Tamilin
Drago: Distributed reasoning architecture for the semantic web
Mirko Viroli, Alessandro Ricci, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
4th International Joint Conference "Autonomous Agents & Multi-Agent Systems" (AAMAS 2005), 25-29 July 2005
Francisco Martín-Recuerda
Towards CSpaces: A New Perspective for the Semantic Web
Industrial Applications of Semantic Web, 2005
M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Verifying Multi-agent Systems via Unbounded Model Checking
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3228, 2005
Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
A Trust Analysis Methodology for Pervasive Computing Systems
Trusting Agents for Trusting Electronic Societies. LNCS 3577, 2005
Luca Cernuzzi, Franco Zambonelli
Developing MAS Solutions with Gaia and AUML
XXXI Conferencia Latinoamericana en Informática (CLEI 2005), 10-14 October 2005
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages
Environments for Multi-Agent Systems. Lecture Notes in Artificial Intelligence 3374, February 2005
Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN
3rd International Workshop "Engineering Self-Organising Applications" (ESOA 2005), 26 July 2005
Simon Dobson, Paddy Nixon
More Principled Design of Pervasive Computing Systems
Engineering Human Computer Interaction and Interactive Systems. LNCS 3425, 2005
Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
An Agent-Oriented Conceptual Framework for Systems Biology
Transactions on Computational Systems Biology III. Lecture Notes in Computer Science 3737, December 2005
Rossella Rubino, Andrea Omicini, Enrico Denti
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
1st International Workshop "Agents, Norms and Institutions for Regulated Multi-Agent Systems" (ANI@REM 2005), 25 July 2005
Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
Preface
Transactions on Computational Systems Biology III. Lecture Notes in Computer Science 3737, December 2005
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004). Electronic Notes in Theoretical Computer Science 128, 2005
Mehdi Dastani, Farhad Arbab, Frank S. de Boer
Coordination and Composition in Multi-agent Systems
4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 25-29 July 2005
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
3rd European Workshop on Multi-Agent Systems (EUMAS 2005), 7-8 December 2005
Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts
AI*IA 2005: Advances in Artificial Intelligence. Lecture Notes in Computer Science 3673, 21-23 September 2005
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
3rd International Workshop “Programming Multi-Agent Systems” (PROMAS 2005), 26 July 2005
João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
Preface
Declarative Agent Languages and Technologies II. Lecture Notes in Computer Science 3476, June 2005
Mirko Viroli, Alessandro Ricci
Agent Interaction Semantics by Timed Operating Instructions
Agent Communication. Lecture Notes in Artificial Intelligence 3396, January 2005
(37 papers in proceedings in 2005)  [top]  [bottom]
2004
Dieter Fensel
Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information
Intelligence in Communication Systems. LNCS 3283, 2004
Alessandro Ricci, Andrea Omicini
Engineering Trust in Complex System through Mediating Infrastructures
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: sistemi complessi e agenti razionali" (WOA 2004), 30 November - 1 December 2004
Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita
From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs
IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), 2004
Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
A Programming Language for Cognitive Agents: Goal Directed 3APL
Programming Multi-Agent Systems. Lecture Notes in Computer Science 3067, 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
Integrating Objective & Subjective Coordination in Multi-Agent Systems
19th ACM Symposium on Applied Computing (SAC 2004), 14-17 March 2004
Deepali Khushraj, Ora Lassila, Timothy W. Finin
sTuples: Semantic Tuple Spaces
1st Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous'04), 22-26 August 2004
Marcello Donatelli, Andrea Omicini, Gianni Fila, Cesare Monti
Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems
VIII Congress of the European Society of Agronomy (ESA 2004), 11-15 July 2004
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. Electronic Notes in Theoretical Computer Science 97, 22 July 2004
Laura Giordano, Alberto Martelli, Camilla Schwind
Verifying Communicating Agents by Model Checking in a Temporal Action Logic
Logics in Artificial Intelligence. LNCS 3229, 2004
Deepali Khushraj, Ora Lassila, Tim Finin
sTuples: Semantic Tuple Spaces
1st Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous?04), 22 August 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Context: From Theory to Practice
Cybernetics and Systems 2004, 13-16 April 2004
Berardina De Carolis, Giovanni Cozzolongo
C@sa: Intelligent Home Control and Simulation
International Conference on Computational Intelligence, 2004
Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
An Agent-oriented Conceptual Framework for Biological Systems Simulation
Models and Methaphors from Biology to Bioinformatics Tools, 5-7 September 2004
Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication
International Workshop on Coordination in Emergent Agent Societies  (CEAS'04), 23-24 August 2004
Marco Mamei, Franco Zambonelli
Programming Pervasive and Mobile Computing Applications with the TOTA Middleware
Pervasive Computing and Communications, 2004
Andrea Omicini, Franco Zambonelli
MAS as Complex Systems: A View on the Role of Declarative Approaches
DALT 2003. Lecture Notes in Computer Science 2990, May 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 July 2004
Enrico Denti, Alessandro Ricci, Rossella Rubino
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure
Engineering Societies in the Agents World IV. Lecture Notes in Artificial Intelligence 3071, July 2004
Mirko Viroli, Alessandro Ricci, Andrea Omicini
A Semantics for the Interaction of Agents with Coordination Artifacts
Cybernetics and Systems 2004, 13-16 April 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure
1st International Workshop "Safety and Security in MultiAgent Systems" (SASEMAS 2004), 20 July 2004
Ivana Gungui, Viviana Mascardi
Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems
Proceedings of the Italian Conference on Computational Logic (CILC-2004). Quaderno del Dipartimento di Matematica 390, June 2004
Andrea Omicini, Giovanni Rimassa
Towards Seamless Agent Middleware
13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004), 14-16 June 2004
Andrea Omicini, Alessandro Ricci
MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN
Engineering Societies in the Agents World IV. Lecture Notes in Computer Science 3071, June 2004
Luca Cernuzzi, Franco Zambonelli
Experiencing AUML in the GAIA Methodology
ICEIS 2004, April 2004
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
Coordination Models and Languages. LNCS, 2004
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic KLAIM
Coordination Models and Languages. LNCS 2949, 2004
Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04), 30 August 2004
Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
A Conceptual Framework for Self-Organising MAS
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: sistemi complessi e agenti razionali" (WOA 2004), 30 November - 1 December 2004
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Role-Based Access Control in MAS using Agent Coordination Contexts
1st International Workshop "Agent Organizations: Theory and Practice" (AOTP'04), 25 July 2004
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifiable Multi-agent Programs
Programming Multi-agent Systems. Lecture Notes in Computer Science 3067, 2004
Robert Tolksdorf, Ronaldo Menezes
Using Swarm Intelligence in Linda Systems
Engineering Societies in the Agents World IV. Lecture Notes in Computer Science 3071, June 2004
Andrea Omicini, Paolo Petta, Jeremy Pitt
Preface
Engineering Societies in the Agents World IV. Lecture Notes in Computer Science 3071, June 2004
Andrea Omicini, Alessandro Ricci, Dina Goldin
Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004)
13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004), 14-16 June 2004
Erek Göktürk, M. Naci Akkøk
Paradigm and Software Engineering
Impact of Software Process on Quality Workshop (IMPROQ 2004), 20-21 May 2004
João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Preface
DALT 2003. Lecture Notes in Computer Science 2990, May 2004
Andrei Borshchev, Alexei Filippov
From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools
The 22nd International Conference of the System Dynamics Society, 25-29 July 2004
(36 papers in proceedings in 2004)  [top]  [bottom]
2003
Martin Fredriksson, Rune Gustavsson, Andrea Omicini, Alessandro Ricci
1st International Workshop on Theory and Practice of Open Computational Systems
IEEE 12th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2003), 9-11 June 2003
James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
Modeling Agents and their Environment
Agent-Oriented Software Engineering III. LNCS 2585, 2003
Ronaldo Menezes, Robert Tolksdorf
Adaptiveness in Linda-Based Coordination Models
Engineering Self-Organising Systems. Nature-Inspired Approaches to Software Engineering, 2003
Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva'' (WOA 2003), 10-11 September 2003
Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso
Learning the Sequential Coordinated Behavior of Teams from Observations
RoboCup 2002: Robot Soccer World Cup VI. LNCS 2752, 2003
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
SecCo'03, First International Workshop on Security Issues in Coordination Models, Languages, and Systems (Satellite Event for ICALP 2003). Electronic Notes in Theoretical Computer Science 85, August 2003
Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro
Preface
Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications. Lecture Notes in Computer Science 2603, 2003
Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja
MavHome: An Agent-based Smart Home
1st IEEE International Conference on Pervasive Computing and Communications (PerCom '03), March 2003
Simon Miles, Mike Joy, Michael Luck
Towards a Methodology for Coordination Mechanism Selection in Open Systems
Engineering Societies in the Agents World IIII. Lecture Notes in Computer Science 2577, 2003
Alessandro Ricci, Andrea Omicini, Enrico Denti
Activity Theory as a Framework for MAS Coordination
Engineering Societies in the Agents World III. Lecture Notes in Computer Science 2577, April 2003
Franco Zambonelli, H. Van Dyke Parunak
Signs of a Revolution in Computer Science and Software Engineering
Engineering Societies in the Agents World III. Lecture Notes in Computer Science 2577, April 2003
Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
Model Checking AgentSpeak
2nd International Joint Conference on Autonomous Agents and Multi-Agents Systems (AAMAS 2003), 11-14 July 2003
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative Relations and Approximate Process Equivalences
CONCUR 2003. Lecture Notes in Computer Science 2761, 2003
Mirko Viroli, Andrea Omicini
Coordination as a Service: Ontological and Formal Foundation
Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002). Electronic Notes in Theoretical Computer Science 68, March 2003
Enrico Denti, Andrea Omicini, Alessandro Ricci
Task-Oriented Engineering of Coordinated Software Systems
Concurrent Engineering – The Vision for the Future Generation in Research and Applications, 2003
Andrea Omicini, Sascha Ossowski
Objective versus Subjective Coordination in the Engineering of Agent Systems
Intelligent Information Agents: An AgentLink Perspective. Lecture Notes in Computer Science 2586, 2003
Marco Mamei, Franco Zambonelli, Letizia Leonardi
Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems
Engineering Societies in the Agents World III. Lecture Notes in Computer Science 2577, 2003
Andrea Omicini, Alessandro Ricci, Sascha Ossowski
Rethinking MAS Infrastructure based on Activity Theory
EUMAS 2003, 18-19 December 2003
Alessandro Ricci, Andrea Omicini
Supporting Coordination in Open Computational Systems with TuCSoN
IEEE 12th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2003), 9-11 June 2003
Lei Li, Ian Horrocks
A software framework for matchmaking based on semantic web technology
WWW '03: Proceedings of the 12th international conference on World Wide Web, 2003
(20 papers in proceedings in 2003)  [top]  [bottom]
2002
Paolo Bresciani, Paolo Giorgini
The TROPOS Analysis Process as Graph Transformation System
Proceedings of the OOPSLA 2002 Workshop on Agent-Oriented Methodologies (AOM 2002), 4 March 2002
Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Linear Embedding for a Quantitative Comparison of Language Expressiveness
QAPL'01, Quantitative Aspects of Programming Laguages (Satellite Event of PLI 2001). Electronic Notes in Theoretical Computer Science 59, 2002
Mirko Viroli, Alessandro Ricci
Tuple-based Coordination Models in Event-based Scenarios
22nd International Conference on Distributed Computing Systems, 2002
Alex Borgida, Luciano Serafini
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
On The Move to Meaningful Internet Systems 2002: CoopIS, Doa, and ODBase. LNCS 2519, 2002
Mirko Viroli, Andrea Omicini
On the Grey-Box Modelling Approach for Autonomous Agents
8th AIxIA Convention (AIxIA 2002), Workshop "Agenti per la rappresentazione della conoscenza e il ragionamento", 11 September 2002
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Have ReSpecT for LogOp
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: dall'informazione alla conoscenza" (WOA 2002), 18-19 November 2002
Eric Bonabeau
Agent-Based Modeling: Methods and Techniques for Simulating Human Systems 
Proceedings of the National Academy of Sciences of the United States of America, May 2002
Anna Perini, Angelo Susi, Fausto Giunchiglia
Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology
Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering (SEKE '02), 2002
Alessandro Ricci, Andrea Omicini, Mirko Viroli
Extending ReSpecT for Multiple Coordination Flows
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), 24-27 July 2002
Marcello Donatelli, Marco Acutis, Francesco Danuso, Fabrizio Mazzetto, Piero Nasuelli, Andrea Omicini, Marisanna Speroni, Marco Trevisan, Vitaliano Tugnoli
Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project
VII Congress of the European Society of Agronomy (ESA 2002), 15-18 July 2002
Alessandro Ricci, Andrea Omicini, Enrico Denti
Engineering Agent Societies: A Case Study in Smart Environments
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), 15-19 July 2002
Mirko Viroli, Andrea Omicini
Towards an Alternative Semantics for FIPA ACL
Cybernetics and Systems 2002, 2-5 April 2002
Mirko Viroli, Andrea Omicini
Specifying Agent Observable Behaviour
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), 15-19 July 2002
Alessandro Ricci, Andrea Omicini, Enrico Denti
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study
Coordination Models and Languages. Lecture Notes in Computer Science 2315, 2002
Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework
Coordination Models and Languages. Lecture Notes in Computer Science 2315, 2002
Mirko Viroli, Andrea Omicini
A Specification Language for Agents Observable Behaviour
International Conference on Artificial Intelligence (IC-AI'02), 24-27 July 2002
Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
Software Engineering for Large-scale Multi-Agent Systems: SELMAS'2002
SELMAS 2002, 19-25 May 2002
Mirko Viroli, Andrea Omicini, Alessandro Ricci
On the Expressiveness of Event-Based Coordination Media
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), 24-27 July 2002
H. van Dyke Parunak, Sven Brueckner, John Sauter
Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles
1st International Joint Conference on Autonomous Agents and Multiagent systems, 15-19 July 2002
Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
A Framework for Systemic Coordination in Open Computational Systems
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: dall'informazione alla conoscenza" (WOA 2002), 18-19 November 2002
Alessandro Ricci, Andrea Omicini
Agent Coordination Contexts: Experiments in TuCSoN
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: dall'informazione alla conoscenza'' (WOA 2002), 18-19 November 2002
Holger Knublauch
Extreme Programming of Multi-Agent Systems
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '02), 2002
Holger Knublauch, Holger Koeth, Thomas Rose
Agile development of a clinical multi-agent system: An Extreme Programming case study
3rd International Conference on eXtreme Programming and Agile Processes in Software Engineering (XP2002), May 2002
N. Bellamine-Ben Saoud, M. Essafi, H. Ben Ghezala
Agent-based approach for software development process simulation
2002 IEEE International Conference on Systems, Man and Cybernetics, October 2002
Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
Model Checking Multi-Agent Systems with MABLE
1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), 15-19 July 2002
Enrico Denti, Andrea Omicini, Alessandro Ricci
Coordination Tools for the Development of Agent-based Systems
Cybernetics and Systems 2002, 2-5 April 2002
(26 papers in proceedings in 2002)  [top]  [bottom]
2001
Alessandro Ricci, Andrea Omicini, Enrico Denti
The TuCSoN Coordination Infrastructure for Virtual Enterprises
IEEE 10th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 20-22 June 2001
Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: tendenze evolutive dei sistemi software" (WOA 2001), 4-5 September 2001
Jolita Ralyté, Colette Rolland
An Assembly Process Model for Method Engineering
Advanced Information Systems Engineering. Lecture Notes in Computer Science 2068, 2001
Simon Miles, Mike Joy, Michael Luck
Designing Agent-Oriented Systems by Analysing Agent Interactions
Agent-Oriented Software Engineering. Lecture Notes in Computer Science 1957, 2001
Jolita Ralyté, Colette Rolland
An Approach for Method Reengineering
Conceptual Modeling – ER 2001 . Lecture Notes in Computer Science 2224, 2001
Andrea Omicini, Enrico Denti
Formal ReSpecT
Declarative Programming - Selected Papers from AGP 2000. Electronic Notes in Theoretical Computer Science 48, June 2001
Mirko Viroli, Gianluca Moro, Andrea Omicini
On Observation as a Coordination Pattern: An Ontology and a Formal Framework
SAC 2001, 11-14 March 2001
Andrea Omicini, Paolo Petta, Robert Tolksdorf
Preface
ESAW'01. Lecture Notes in Computer Science 2203, December 2001
Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
Agent-Oriented Software Engineering for Internet Applications
Coordination of Internet Agents: Models, Technologies, and Applications, March 2001
Alessandro Ricci, Enrico Denti, Andrea Omicini
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management
Cooperative Information Agents V. Lecture Notes in Computer Science 2182, 2001
Alessandro Ricci, Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN
AI*IA/TABOO Joint Workshop "Dagli oggetti agli agenti: tendenze evolutive dei sistemi software" (WOA 2001), 4-5 September 2001
Enrico Denti, Andrea Omicini, Alessandro Ricci
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures
Practical Aspects of Declarative Languages. Lecture Notes in Computer Science 1990, 2001
Andrea Omicini
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems
Agent-Oriented Software Engineering. Lecture Notes in Computer Science 1957, 2001
(13 papers in proceedings in 2001)  [top]  [bottom]
2000
Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
EasyLiving: Technologies for Intelligent Environments
Handheld and Ubiquitous Computing. Lecture Notes in Computer Science 1927, 2000
Kjeld Schmidt, Carla Simone
Mind the Gap! Towards a unified view of CSCW
Designing Cooperative Systems: The Use of Theories and Models. Frontiers in Artificial Intelligence and Applications 58, 23-26 May 2000
Andrea Omicini, Enrico Denti
Formal ReSpecT
Proceedings of the GULP-PRODE Joint Conference on Declarative Programming AGP'00 - La Habana, Cuba, December 4-7, 2000, 2000
Andrea Omicini
Hybrid Coordination Models for Handling Information Exchange among Internet Agents
Workshop “Agenti intelligenti e Internet: teorie, strumenti e applicazioni”, 13 September 2000
Enrico Denti, Andrea Omicini, Vladimiro Toschi
The LuCe Coordination Technology for MAS Design and Development on the Internet
Coordination Languages and Models. Lecture Notes in Computer Science 1906, 2000
Andrea Omicini, George A. Papadopoulos
Special Track on Coordination Models, Languages and Applications
SAC 2000, 19-21 March 2000
Marco Cremonini, Andrea Omicini, Franco Zambonelli
Ruling Agent Motion in Structured Environments
High Performance Computing and Networking. Lecture Notes in Computer Science 1823, 2000
Andrea Omicini
From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems
WOA 2000, 29-30 May 2000
Andrea Omicini
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems
1st International Workshop on Agent-Oriented Software Engineering, 10 June 2000
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Context-Dependency in Internet-Agent Coordination
Engineering Societies in the Agents World. Lecture Notes in Computer Science 1972, January 2000
Dina Q. Goldin
Persistent Turing Machines as a Model of Interactive Computation
1st International Symposium on Foundations of Information and Knowledge Systems (FoIKS '00), 2000
Enrico Denti, Andrea Omicini
A Coordination Infrastructure for Agent-based Internet Applications
IEEE 9th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2000), 14-16 June 2000
Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Multiagent System Engineering: The Coordination Viewpoint
Intelligent Agents VI. Agent Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence 1757, 2000
Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
Preface
ESAW'00. Lecture Notes in Computer Science 1972, December 2000
Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
Coordination Languages and Models. Lecture Notes in Computer Science 1906, 2000
(15 papers in proceedings in 2000)  [top]  [bottom]
1999
Marco Cremonini, Andrea Omicini, Franco Zambonelli
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework
1999 ACM Symposium on Applied Computing (SAC'99), 28 February - 2 March 1999
Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Adopting an Object-Oriented Data Model in Inductive Logic Programming
12th International Florida AI Research Society Conference (FLAIRS'99), 1-5 May 1999
Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. Zhang
The UMASS Intelligent Home Project
AGENTS '99: Proceedings of the third annual conference on Autonomous Agents, 1999
Andrea Omicini, Franco Zambonelli
Tuple Centres for the Coordination of Internet Agents
1999 ACM Symposium on Applied Computing (SAC'99), 28 February - 2 March 1999
Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
A Methodology for Agent-Oriented Analysis and Design
3rd Annual Conference on Autonomous Agents (AGENTS'99), 1999
Enrico Denti, Andrea Omicini
Engineering Multi-Agent Systems in LuCe
ICLP'99 International Workshop on Multi-Agent Systems in Logic Programming (MAS'99), 30 November 1999
Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications
Coordination Languages and Models. Lecture Notes in Computer Science 1594, April 1999
Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
Comparing Coordination Models based on Shared Distributed Replicated Data
1999 ACM symposium on Applied Computing (SAC '99), 1999
Antonio Brogi, Jean-Marie Jacquet
On the Expressiveness of Coordination Models
Coordination Languages and Models. Lecture Notes in Computer Science 1594, 1999
David Kirsh
Distributed Cognition, Coordination and Environment Design
3rd European Conference on Cognitive Science (ECCS'99), 1999
Marco Cremonini, Andrea Omicini, Franco Zambonelli
The Explorable Topology: Supporting Agent Autonomy on the Internet
4th Workshop “Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi'” (WSDAAL'99), 13-15 September 1999
Andrea Omicini
On the Semantics of Tuple-based Coordination Models
1999 ACM Symposium on Applied Computing (SAC'99), 28 February - 2  March 1999
Marco Cremonini, Andrea Omicini, Franco Zambonelli
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology
Multi-Agent Systems Engineering. Lecture Notes in Artificial Intelligence 1647, 1999
Enrico Denti, Andrea Omicini
Designing Multi-Agent Systems around an Extensible Communication Abstraction
Formal Models of Agents. Lecture Notes in Artificial Intelligence 1760, 1999
Peter Wegner, Dina Goldin
Coinductive Models of Finite Computing Agents
CMCS'99, Coalgebraic Methods in Computer Science. Electronic Notes in Theoretical Computer Science 19, 1999
Enrico Denti, Andrea Omicini, Vladimiro Toschi
Coordination Technology for the Development of Multi-Agent Systems on the Web
6th AI*IA Congress of the Italian Association for Artificial Intelligence (AI*IA'99), 14-17 September 1999
Marco Cremonini, Andrea Omicini, Franco Zambonelli
Building Mobile Agent Applications in HiMAT
IEEE 1999 International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'99), 17-18 May 1999
Marco Cremonini, Andrea Omicini, Franco Zambonelli
The HiMAT Model for Mobile Agent Applications
18th ACM Symposium on Principles of Distributed Computing (PODC'99), 4-6 May 1999
(18 papers in proceedings in 1999)  [top]  [bottom]
1998
Jakob Bardram
Designing for the Dynamics of Cooperative Work Activities
1998 ACM Conference on Computer Supported Cooperative Work (CSCW'98), 14-18 November 1998
Colette Rolland
A Comprehensive View of Process Engineering
Advanced Information Systems Engineering. Lecture Notes in Computer Science 1413, 1998
Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge
A Formal Specification of dMARS
Intelligent Agents IV Agent Theories, Architectures, and Languages. Lecture Notes in Computer Science 1365, 1998
Enrico Denti, Antonio Natali, Andrea Omicini
On the Expressive Power of a Language for Programming Coordination Media
1998 ACM Symposium on Applied Computing (SAC'98), 27 February - 1 March 1998
Andrea Omicini, Franco Zambonelli
TuCSoN: a Coordination model for Mobile Information Agents
1st International Workshop on Innovative Internet Information Systems (IIIS'98), 8-9 June 1998
Gianluigi Zavattaro
Towards a Hierarchy of Negative Test Operators for Generative Communication
EXPRESS '98, Fifth International Workshop on Expressiveness in Concurrency (Satellite Workshop of CONCUR '98). Electronic Notes in Theoretical Computer Science 16, 1998
Umberto Straccia
A Fuzzy Description Logic
15th National Conference on Artificial Intelligence (AAAI-98), 1998
Andrea Omicini, Franco Zambonelli
Coordination of Mobile Agents for Information Systems: the TuCSoN Model
6th Convention of the Italian Association for Artificial Intelligence (AI*IA'98), 23-25 September 1998
(8 papers in proceedings in 1998)  [top]  [bottom]
1997
Enrico Denti, Antonio Natali, Andrea Omicini
Programmable Coordination Media
Coordination Languages and Models. Lecture Notes in Computer Science 1282, 1997
Leon J. Osterweil
Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9
19th International Conference on Software Engineering (ICSE '97), 1997
Michael J. Wooldridge
Issues in Agent-Based Software Engineering
Cooperative Information Agents. Lecture Notes in Computer Science 1202, 1997
Enrico Denti, Antonio Natali, Andrea Omicini
Merging Logic Programming into Web-based Technology: A Coordination-based Approach
ICLP'97 Post-Conference 2nd International Workshop on Logic Programming Tools for Internet Applications, 11 July 1997
Enrico Denti, Andrea Omicini
Designing Multi-Agent Systems around a Programmable Communication Abstraction
Proceedings of the 4th Workshop on Formal Models of Agents ModelAge '97 - Certosa di Pontignano, Italy, January 15-17, 1997, January 1997
Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Learning with an Object-Oriented Data Model
Joint Meeting of the AI*IA Workgroups on Machine Learning and Natural Language (AALN'97), 9-10 December 1997
(6 papers in proceedings in 1997)  [top]  [bottom]
1996
Antonio Natali, Andrea Omicini
Integrating Knowledge Acquisition in Plan Selection
AI*IA'96 Workshop "Pianificazione di azioni robotiche in ambienti complessi", 26-28 September 1996
Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
An Extensible Framework for the Development of Coordinated Applications
Coordination Languages and Models. Lecture Notes in Computer Science 1061, September 1996
Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Logic Tuple Spaces for the Coordination of Heterogeneous Agents
Applied Logic Series 3, 1996
Umberto Fonda, Antonio Natali, Andrea Omicini
An Object-Oriented Approach to Planning
FAPR'96 Workshop "Reasoning about Actions and Planning in Complex Environments", 4 June 1996
Stan Franklin, Art Graesser
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents
Intelligent Agents III. Agent Theories, Architectures, and Languages. Lecture Notes in Computer Science 1193, 1996
Anne-Alexandra Holzbacher
A Software Environment for Concurrent Coordinated Programming
Coordination Languages and Models. LNCS 1061, 1996
Anand S. Rao
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language
Agents Breaking Away. Lecture Notes in Computer Science 1038, 22-25 January 1996
(7 papers in proceedings in 1996)  [top]  [bottom]
1995
Anand S. Rao, Michael P. Georgeff
BDI Agents: From Theory to Practice
1st International Conference on Multi Agent Systems (ICMAS 1995), 12-14 June 1995
Andrea Omicini, Enrico Denti, Antonio Natali
Agent Coordination and Control through Logic Theories
Topics in Artificial Intelligence. Lecture Notes in Artificial Intelligence 992, 1995
Naftaly H. Minsky, Jerrold Leichter
Law-Governed Linda as a Coordination Model
Object-based Models and Languages for Concurrent Systems. Lecture Notes in Computer Science 924, 1995
Richard Goldgar, Ramon D. Acosta
Integration of object-oriented analysis and performance simulation for engineering computer-based systems
Proceedings of the 1995 International Symposium and Workshop on Systems Engineering of Computer Based Systems, 1995
Nadia Busi, Roberto Gorrieri
A Petri Net Semantics for pi-Calculus
CONCUR '95: Concurrency Theory. Lecture Notes in Computer Science 962, 1995
(5 papers in proceedings in 1995)  [top]  [bottom]
1994
Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
A Structured Logic Programming Approach to Robot Programming
2nd International Conference on the Practical Applications of Prolog (PAP'94), 26-29 April 1994
Enrico Denti, Andrea Omicini
Open Logic Theory Composition in a Software Engineering Perspective
ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering, 18 June 1994
Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini
A Multi-Agent Framework and Programming Environment for Autonomous Robotics
1994 IEEE International Conference on Robotics and Automation (ICRA'94), 8-13 May 1994
Andrea Omicini, Antonio Natali
Object-Oriented Computations in Logic Programming
Object-Oriented Programming. Lecture Notes in Computer Science 821, 1994
(4 papers in proceedings in 1994)  [top]  [bottom]
1993
Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
Foundations for Interaction: The Dependence Theory
Advances in Artificial Intelligence. Lecture Notes in Computer Science 728, 1993
Antonio Natali, Andrea Omicini, Francesco Zanichelli
Exploiting Logic Programming in Robot Applications
8th Italian Conference on Logic Programming (GULP'93), 15-18 June 1993
Antonio Natali, Andrea Omicini
Objects with State in CSM
2nd Compulog Network Area Meeting on Programming Languages joint with Workshop on Logic Languages, 6-7 May 1993
Antonio Natali, Andrea Omicini
Objects with State in Contextual Logic Programming
Programming Language Implementation and Logic Programming. Lecture Notes in Computer Science 714, 1993
Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Techniques for Implementing Contexts in Logic Programming
ELP'92. Lecture Notes in Artificial Intelligence 660, 1993
Enrico Denti, Antonio Natali, Andrea Omicini
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming, 25 June 1993
(6 papers in proceedings in 1993)  [top]  [bottom]
1992
Enrico Denti, Antonio Natali, Andrea Omicini
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
7th Italian Conference on Logic Programming (GULP'92), 17-19 June 1992
Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Implementing Contexts in Logic Programming
ELP'92, 26-28 February 1992
Antonio Natali, Andrea Omicini
Objects as Evolving Contexts
COMPULOG NET Area Meeting '92, 6-7 April 1992
Anand S. Rao, Michael P. Georgeff
An Abstract Architecture for Rational Agents
3rd International Conference on Principles of Knowledge Representation and Reasoning (KR '92), 25-29 October 1992
Robin Milner, Davide Sangiorgi
Barbed Bisimulation
Automata, Languages and Programming. Lecture Notes in Computer Science 623, 1992
Paolo Ciancarini
Parallel Logic Programming using the Linda Model of Computation
Research Directions in High-Level Parallel Programming Languages. Lecture Notes in Computer Science 574, 1992
(6 papers in proceedings in 1992)  [top]  [bottom]
1991
Rodney A. Brooks
Intelligence Without Reason
12th International Joint Conference on Artificial Intelligence (IJCAI 1991), 1991
Ehud Shapiro
Separating Concurrent Languages with Categories of Language Embeddings
23rd Annual ACM Symposium on Theory of Computing (STOC'91), 1991
John Yen
Generalizing Term Subsumption Languages to Fuzzy Logic
IJCAI 1991, 1991
Anand S. Rao, Michael P. Georgeff
Modeling Rational Agents within a BDI Architecture
2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), 1991
Kari Kuutti
The Concept of Activity as a Basic Unit of Analysis for CSCW Research
2nd European Conference on CSCW (ECSCW'91), 1991
(5 papers in proceedings in 1991)  [top]  [bottom]
1987
Michael P. Georgeff, Amy L. Lansky
Reactive Reasoning and Planning
6th National Conference on Artificial Intelligence (AAAI-87), 13-17 July 1987
Leon J. Osterweil
Software Processes are Software too
9th international conference on Software Engineering (ICSE '87), 1987
(2 papers in proceedings in 1987)  [top]  [bottom]
1983
Michael J Fischer
The consensus problem in unreliable distributed systems (a brief survey)
Foundations of Computation Theory, 1983
(1 paper in proceedings in 1983)  [top]  [bottom]
(676 papers in proceedings from 1939 to 2021)

Tags:
Created by Andrea Omicini on 13/10/2021 12:13
    
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY