Per Year

1156 publications / 1927–2015

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 • 1980 • 1979 • 1978 • 1977 • 1974 • 1973 • 1972 • 1971 • 1965 • 1964 • 1962 • 1959 • 1952 • 1950 • 1947 • 1939 • 1937 • 1927

2015

A coordination model of pervasive service ecosystems (Science of Computer Programming) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (WOA 2015) — Andrea Omicini, Franco Zambonelli
Neural Machine Translation by Jointly Learning to Align and Translate (paper in proceedings) — Dzmitry Bahdanau, Kyunghyun Cho, Yoshua Bengio
Deep learning (Nature) — Yann LeCun, Yoshua Bengio, Geoffrey Hinton
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS (Engineering Applications of Artificial Intelligence) — Stefano Mariani, Andrea Omicini
Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (CSCWD 2015) — Andrea Omicini
Programming Multi-agent Systems (The Knowledge Engineering Review) — Mehdi Dastani
Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (AI*IA 2015) — Stefano Mariani, Andrea Omicini
Reconciling Event- and Agent-Based Paradigms in the Engineering of Complex Systems: The Role of Environment Abstractions (E4MAS 2014@AAMAS 2014) — Andrea Omicini, Stefano Mariani
Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (IDC 2014) — Stefano Mariani, Andrea Omicini, Luca Sangiorgi
Towards agent aggregates: perspectives and challenges (EMAS 2015@AAMAS 2015) — Mirko Viroli, Alessandro Ricci
Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015@AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (COORDINATION 2015) — Andrea Omicini, Giancarlo Fortino, Stefano Mariani
Iterative Refining of Category Profiles for Nearest Centroid Cross-Domain Text Classification () — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (Pervasive and Mobile Computing) — Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
Agent Environments for Multi-Agent Systems IV (E4MAS 2014@AAMAS 2014) — Danny Weyns, Fabien Michel
Effective Approaches to Attention-based Neural Machine Translation (paper in proceedings) — Thang Luong, Hieu Pham, Christopher D. Manning
GOTA: GO term annotation of biomedical literature (article in journal) — Pietro Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
Aggregate Programming for the Internet of Things (article in journal) — Jacob Beal, Danilo Pianini, Mirko Viroli
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields (paper in proceedings) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Show, Attend and Tell: Neural Image Caption Generation with Visual Attention (paper in proceedings) — Kelvin Xu, Jimmy Lei Ba, Ryan Kiros, Kyunghyun Cho, Aaron Courville, Ruslan Salakhutdinov, Richard S. Zemel, Yoshua Bengio
Protelis: Practical Aggregate Programming (SAC 2015) — Danilo Pianini, Mirko Viroli, Jacob Beal
Type-based Self-stabilisation for Computational Fields (article in journal) — Ferruccio Damiani, Mirko Viroli
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan (PRIMA 2015) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Pietro Brunetti, Angelo Croatti
Preface (PRIMA 2015: Principles and Practice of Multi-Agent Systems) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Space-Time Programming (article in journal) — Jacob Beal, Mirko Viroli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (SIMULATION: Transactions of the Society for Modeling and Simulation International) — Sara Montagna, Mirko Viroli, Andrea Roli
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields (FORTE 2015@DisCoTec 2015) — Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation (AAMAS 2015) — Sara Montagna, Andrea Omicini, Danilo Pianini
Computational Fields Meet Augmented Reality: Perspectives and Challenges () — Danilo Pianini, Angelo Croatti, Alessandro Ricci, Mirko Viroli
PRIMA 2015: Principles and Practice of Multi-Agent Systems (PRIMA 2015) — Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, Andrea Omicini
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective (EMAS 2015@AAMAS 2015) — Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
Random Perturbations of Term Weighted Gene Ontology Annotations for Discovering Gene Unknown Functionalities () — Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Smart Augmented Fields for Emergency Operations (paper in proceedings) — Pietro Brunetti, Angelo Croatti, Alessandro Ricci, Mirko Viroli
Formal Foundations of Sensor Network Applications (article in journal) — Jacob Beal, Mirko Viroli
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015) — Enrico Denti, Roberta Calegari
GOTA: GO term annotation of biomedical literature (article in journal) — Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini

38 publications / 2015 • top • index • bottom

2014

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

31 publications / 2014 • top • index • bottom

2013

Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013) — Stefano Mariani, Andrea Omicini
Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012) — Stefano Mariani, Andrea Omicini
Coordination for Situated MAS: Towards an Event-driven Architecture (PNSE'13) — Andrea Omicini, Stefano Mariani
Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (SCW 2013@AAMAS 2013) — Stefano Mariani, Andrea Omicini
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL (book chapter) — Alessandro Ricci, Andrea Santi
Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction (article in journal) — Pedro Pablo González Pérez, Maura Cárdenas-García, Sara Montagna
Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013@AAMAS 2013) — Mirko Viroli
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems (Intelligenza Artificiale) — Andrea Omicini, Stefano Mariani
Self-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach (paper in proceedings) — Alessandro Ricci, Andrea Santi
Domain Independent Text Categorization () — Giacomo Domeniconi, Gianluca Moro, Roberto Pasolini, Claudio Sartori
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (WOA 2013) — Stefano Mariani
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus (International Journal of Foundations of Computer Science) — Houguang Yue
Special Issue on Software Agents (Computing Now) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (CM 2013@SAC 2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
Coupling software architecture and human architecture for collaboration-aware system adaptation () — Christoph Dorn, Richard N Taylor
Nature-inspired Coordination for Complex Distributed Systems (IDC 2012) — Andrea Omicini
Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (technical report) — Stefano Mariani
A calculus of computation fields () — Mirko Viroli, Ferruccio Damiani, Jacob Beal
Semantic Tuple Centres (Science of Computer Programming) — Elena Nardini, Andrea Omicini, Mirko Viroli
Collaborative Learning and ICT: A Prototypal Learning Environment (book chapter) — Maria Cristina Matteucci, Elena Nardini, Andrea Omicini
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems (article in journal) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
On competitive self-composition in pervasive services (Science of Computer Programming) — Mirko Viroli
tuProlog: Making Prolog Ubiquitous (ALP Newsletter) — Enrico Denti, Andrea Omicini, Roberta Calegari
Nature-inspired Coordination Models: Current Status, Future Trends (ISRN Software Engineering) — Andrea Omicini
1st International Workshop “Engineering Multi-Agent Systems” (EMAS 2013) (EMAS 2013@AAMAS 2013) — Massimo Cossentino, Amal El Fallah Seghrouchni, Michael Winikoff
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (Journal of Simulation) — Danilo Pianini, Sara Montagna, Mirko Viroli
Space-aware Coordination in ReSpecT (WOA 2013) — Stefano Mariani, Andrea Omicini
MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (SOCIAL:PATH @ AISB 2013@AISB Annual Convention 2013) — Stefano Mariani, Andrea Omicini
Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation (article in journal) — Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
Tuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013) — Stefano Mariani, Andrea Omicini
Operational Semantics of Proto (Science of Computer Programming) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Organizing the Aggregate: Languages for Spatial Computing () — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Multi-agent Oriented Programming with JaCaMo (Science of Computer Programming) — Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (CM 2013@SAC 2013) — Stefano Mariani, Andrea Omicini
Description and composition of bio-inspired design patterns: a complete overview (article in journal) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Complexity and Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (ICCCI 2013) — Andrea Omicini, Pierluigi Contucci
6th International Spatial Computing Workshop (SCW 2013) (SCW 2013@AAMAS 2013) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
Software Agents: Twenty Years and Counting (Computing Now) — Maria Ganzha, Marcin Paprzycki, Andrea Omicini
Analysis of the Molecules of Knowledge Model with the BioPepa Eclipse Plugin (technical report) — Stefano Mariani
Self-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
Predicting Social Density in Mass Events to Prevent Crowd Disasters. (SocInfo2013) — Bernhard Anzengruber, Danilo Pianini, Jussi Nieminen, Alois Ferscha
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (SCW 2013@AAMAS 2013) — Sara Montagna, Mirko Viroli
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion (article in journal) — Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways (Journal of Simulation) — Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli
TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (book chapter) — Stefano Mariani, Andrea Omicini
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013@AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH) (SOCIAL:PATH @ AISB 2013@AISB Annual Convention 2013) — Harko Verhagen, Pablo Noriega, Tina Balke, Marina de Vos
Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (JAWS 2013@MATES 2013) — Stefano Mariani, Andrea Omicini

52 publications / 2013 • top • index • bottom

2012

A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (SAC 2012) — Sara Montagna, Danilo Pianini, Mirko Viroli
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012@SASO 2012) — Marco Alberti, Andrea Omicini
Is It a “Good” Encoding of Mixed Choice? (paper in proceedings) — Kirstin Peters, Uwe Nestmann
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (paper in proceedings) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments () — Mirko Viroli, Danilo Pianini, Jacob Beal
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012) — Matteo Casadei, Mirko Viroli
Bottom-Up Argumentation (paper in proceedings) — Francesca Toni, Paolo Torroni
Self-organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012@SASO 2012) — Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
The Goals of Cognition. Essays in Honor of Cristiano Castelfranchi () — Fabio Paglieri, Luca Tummolini, Rino Falcone, Maria Miceli
VPN - Client-server object-oriented virtual plant modeling tool (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (SASO 2012) — Marco Alberti, Andrea Omicini
Molecules of Knowledge: A Novel Perspective over Knowledge Management (paper in proceedings) — Stefano Mariani, Andrea Omicini
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies (book chapter) — Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective (article in journal) — Schahram Dustdar, Hong-Linh Truong
ASENSIS 2012 – First International Workshop on Adaptive Service Ecosystems: Nature and Socially Inspired Solutions (ASENSIS 2012@SASO 2012) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach () — Alessandro Ricci, Andrea Santi
Programming Directives for Elastic Computing (IEEE Internet Computing) — Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
On the Space-time Situation of Pervasive Service Ecosystems () — Mirko Viroli, Graeme Stevenson
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems (ACM Transactions on Autonomous and Adaptive Systems) — Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
Distributed Systems. Concepts and Design (book) — George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair
Standard Type Soundness for Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Computational Framework for Multilevel Morphologies (book chapter) — Sara Montagna, Mirko Viroli
BIO-CORE: Bio-inspired Self-organising Mechanisms Core (paper in proceedings) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna
Programming Distributed Multi-Agent Systems in simpAL () — Andrea Santi, Alessandro Ricci
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012@SAC 2012) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
A Programming Paradigm based on Agent-Oriented Abstractions (article in journal) — Alessandro Ricci, Andrea Santi
Interdependent Artificial Institutions in Agent Environments (Applied Artificial Intelligence) — Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Perspectives on Spin Glasses (book) — Pierluigi Contucci, Cristian Giardinà
Agents Writing on Walls: Cognitive Stigmergy and Beyond (book chapter) — Andrea Omicini
1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012) (ASENSIS 2012@SASO 2012) — José Luis Fernandez-Marquez, Sara Montagna, Andrea Omicini, Franco Zambonelli
Proceedings of the AI*IA 2012 Doctoral Consortium () — Paolo Liberatore, Michele Lombardi, Floriano Scioscia
Gradient-based Self-organisation Patterns of Anticipative Adaptation (paper in proceedings) — Sara Montagna, Danilo Pianini, Mirko Viroli
Self-Organising News Management: The Molecules of Knowledge Approach (ASENSIS 2012@SASO 2012) — Stefano Mariani, Andrea Omicini
Typing Multi-Agent Programs in simpAL () — Alessandro Ricci, Andrea Santi
On the Space-time Situation of Pervasive Service Ecosystems (paper in proceedings) — Mirko Viroli, Graeme Stevenson
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (WOA 2012) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
An Eclipse-based IDE for Agent-Oriented Programming in simpAL () — Andrea Santi, Alessandro Ricci
Implicit: A Multi-agent Recommendation System for Web Search (Autonomous Agents and Multi-Agent Systems) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
Situation Identification Techniques in Pervasive Computing: A Review (Pervasive and Mobile Computing) — Juan Ye, Simon Dobson, Susan McKeever
Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications () — Christoph Dorn, Richard N Taylor
Self-adaptive software needs quantitative verification at runtime (Communications of the ACM) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Toward Sociotechnical Urban Superorganisms (article in journal) — Franco Zambonelli
Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure (article in journal) — Maura Cárdenas-García, Pedro Pablo González Pérez, Sara Montagna
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks () — Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012) — Matteo Casadei, Mirko Viroli
Self-Organising News Management: The Molecules of Knowledge Approach (SASO 2012) — Stefano Mariani, Andrea Omicini

46 publications / 2012 • top • index • bottom

2011

Pervasive Adaptation. The Next Generation Pervasive Computing Research Agenda () — Alois Ferscha
Coordinating Spatially-Situated Pervasive Service Ecosystems (WOA 2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Innovation and Economic Crisis. Lessons and Prospects from the Economic Downturn (book) — Daniele Archibugi, Andrea Filippetti
Model-driven communications and collaborative software development () — Antonio Natali
Declarative Agent Languages and Technologies VIII (DALT 2010@AAMAS 2010) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
Deep diving into BitTorrent locality () — Ruben Cuevas Rumin, Nikolaos Laoutaris, Xiaoyuan Yang, Georgos Siganos, Pablo Rodriguez
Living in a Digital World (Communications of the ACM) — Samuel Greengard
An introduction to Bisimulation and Coinduction (book) — Davide Sangiorgi
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (Science of Computer Programming) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
Reasoning with Categories for Trusting Strangers: a Cognitive Architecture () — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Seeing is not enough (Communications of the ACM) — Tom Geller
Preface (Declarative Agent Languages and Technologies VIII) — Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks (article in journal) — Giuseppe Cardone, Antonio Corradi, Luca Foschini
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches (ACM Computing Surveys) — Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (Autonomous Agents and Multi-Agent Systems) — Alessandro Ricci, Michele Piunti, Mirko Viroli
BaSi: Multi-Agent Based Simulation for Medieval Battles (WOA 2011) — Ambra Molesini, Enrico Denti, Andrea Omicini
JaCa-Android: an agent-based platform for building smart mobile applications () — Andrea Santi, Alessandro Ricci
Special Issue “Infrastructures and Tools for Multiagent Systems” (Engineering Applications of Artificial Intelligence) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project () — Alessandro Ricci, Andrea Santi
Software Engineering for Self-Organizing Systems () — H. Van Dyke Parunak, Sven A. Brueckner
A Simulation Framework for Pervasive Services Ecosystems (WOA 2011) — Danilo Pianini, Mirko Viroli, Sara Montagna
Using SOA Governance Design Methodologies to Augment Enterprise Service Descriptions () — Marcus Roy, Basem Suleiman, Dennis Schmidt, Ingo Weber, Boualem Benatallah
Distributed Model Shaping for Scaling to Decentralized POMDPs with Hundreds of Agents (AAMAS 2011) — Prasanna Velagapudi, Pradeep Varakantham, Katia Sycara, Paul Scerri
A Calculus of Agents and Artifacts (article in journal) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Middleware Infrastructures for Self-organising Pervasive Computing Systems () — Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli
Dennis Ritchie, 1941-2011 (article in journal) — Paul Hyman
Sustainable biomass power plant location in the Italian Emilia-Romagna region (article in journal) — Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
Description and Composition of Bio-Inspired Design Patterns: the Gradient Case (paper in proceedings) — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Mirko Viroli, Sara Montagna
Facing Openness with Socio Cognitive Trust and Categories (paper in proceedings) — Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Distributed Computing. Principles, Algorithms, and Systems (book) — Ajay D. Kshemkalyani, Mukesh Singhal
Abstraction in hardware system design (Communications of the ACM) — Rishiyur S. Nikhil
Towards a logic framework for Web programming (Intelligenza Artificiale) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
Java Security Architecture Revisited (article in journal) — Li Gong
Improving brain-computer interfaces (Communications of the ACM) — Kirk L. Kroeker
A Coordination Approach to Adaptive Pervasive Service Ecosystems () — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Unsupervised Learning of True Ranking Estimators using the Belief Function Framework (technical report) — Andrea Argentini, Enrico Blanzieri
Towards Social-ICT Organisms () — Franco Zambonelli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (article in journal) — Franco Zambonelli, Mirko Viroli
The legacy of Steve Jobs (Communications of the ACM) — Michael A. Cusumano
Verifying the Evolution of Probability Distributions Governed by a DTMC (article in journal) — YoungMin Kwon, Gul Agha
Description and Composition of Bio-Inspired Design Patterns: the Gossip Case () — Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei
The most ancient marketing (Communications of the ACM) — Jaron Lanier
Self-aware Pervasive Service Ecosystems (paper in proceedings) — Franco Zambonelli, Gabriella Castelli, Laura Ferrari, Marco Mamei, Alberto Rosi, Giovanna Di Marzo Serugendo, Matteo Risoldi, Akla-Esso Tchao, Simon Dobson, Graeme Stevenson, Yuan Ye, Elena Nardini, Andrea Omicini, Sara Montagna, Mirko Viroli, Alois Ferscha, Sascha Maschek, Bernhard Wally
The software industry is the problem (Communications of the ACM) — Poul-Henning Kamp
Adaptive organizational changes in agent-oriented methodologies (The Knowledge Engineering Review) — Luca Cernuzzi, Franco Zambonelli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (ACM Transactions on Autonomous and Adaptive Systems) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
From Space to Stage: How Interactive Screens Will Change Urban Life (article in journal) — Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
Towards a Coordination Approach to Adaptive Pervasive Service Ecosystems () — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli
Self-organising Knowledge-intensive Workspaces (book chapter) — Andrea Omicini
Enhancing Privacy in Multi-Agent Systems (phd thesis) — Jose Miguel Such Aparicio
The Social Compute Unit (IEEE Internet Computing) — Schahram Dustdar, Kamal Bhattacharya
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (Applied Computing Review) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems () — Clare Dixon, Alan Winfield, Micheal Fisher
Multi-level models and infrastructures for simulating biological system development (phd thesis) — Sara Montagna
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology (International Journal of Software Engineering and Knowledge Engineering) — Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
Preface (Science of Computer Programming) — Carlos Canal, Mirko Viroli
The Rise of Molecular Machines (Communications of the ACM) — Kirk L. Kroeker
From Manifesta to Krypta: The Relevance of Categories for Trusting Others (article in journal) — Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
BDI Agents with Objectives and Preferences (DALT 2010@AAMAS 2010) — Aniruddha Dasgupta, Aditya K. Ghose
Exploiting the Eclipse Ecosystem for Agent-Oriented Programming () — Andrea Santi, Andrea Leardini, Antonio Natali, Alessandro Ricci
Principles of Elastic Processes (IEEE Internet Computing) — Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
Processes Engineering and AOSE (paper in proceedings) — Massimo Cossentino, Marie-Pierre Gleizes, Ambra Molesini, Andrea Omicini
Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs () — Stefan J. Witwicki, Edmund H. Durfee
Core Operational Semantics of Proto (SAC 2011) — Mirko Viroli, Jacob Beal, Matteo Casadei
An interaction-oriented agent framework for open environments (paper in proceedings) — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (paper in proceedings) — Danilo Pianini, Sara Montagna, Mirko Viroli
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example (paper in proceedings) — Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (The Knowledge Engineering Review) — Peter McBurney, Simon Parsons, Mirko Viroli
Anonymity is not privacy: technical perspective (article in journal) — Vitaly Shmatikov
Programming Coordination Laws of Artifacts in CArtAgO (CM 2011@SAC 2011) — Marco Sbaraglia, Mirko Viroli, Matteo Casadei
A Tour of Reaction Systems (International Journal of Foundations of Computer Science) — Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
Debt Deleveraging and Business Cycles. An Agent-Based Perspective (article in journal) — Marco Raberto, Andrea Teglio, Silvano Cincotti
Exploiting the JaCaMo framework for realising an adaptive room governance application () — Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi
Global Democracy: Normative and Empirical Perspectives (book) — Daniele Archibugi, Mathias Koenig-Archibugi, Raffaele Marchetti
Computational journalism (Communications of the ACM) — Sarah Cohen, James T. Hamilton, Fred Turner
Coordination Models and Languages: From Parallel Computing To Self-Organisation (The Knowledge Engineering Review) — Andrea Omicini, Mirko Viroli
Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems (Engineering Applications of Artificial Intelligence) — Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
Description Spaces with Fuzziness (CM 2011@SAC 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli
Will software engineering ever be engineering? (Communications of the ACM) — Michael Davis

79 publications / 2011 • top • index • bottom

2010

Agent-based Conference Management: A Case Study in SODA (International Journal of Agent-Oriented Software Engineering) — Ambra Molesini, Enrico Denti, Andrea Omicini
Agents, Multi-Agent Systems and Declarative Programming: Who, What, When, Where, Why, How? (book chapter) — Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
Documenting SODA: An Evaluation of the Process Documentation Template (WOA 2010) — Ambra Molesini, Andrea Omicini
Programming Open Systems with Agents, Environments and Organizations () — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems (Pervasive and Mobile Computing) — Clemens Holzmann, Alois Ferscha
Simulate plants: a client-server graphic approach (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Enrico Denti
Towards Model-driven Communications (article in journal) — Antonio Natali, Ambra Molesini
A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents (phd thesis) — Sameh Abdel-Naby
The Description Logic Handbook: Theory, Implementation, and Applications (book) — Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
Exploring the Boundaries: When Method Fragmentation is not Convenient (FIPA-DPDF@MALLOW 2010) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
Exploiting Agent-Oriented Programming for Developing Android Applications (WOA 2010) — Andrea Santi, Marco Guidi, Alessandro Ricci
Artificial Intelligence: A Modern Approach (book) — Stuart J. Russell, Peter Norvig
Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments () — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
A Biochemical Approach to Adaptive Service Ecosystems (article in journal) — Mirko Viroli, Franco Zambonelli
Engineering Self-Coordinating Software Intensive Systems () — Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig, Wolfgang Reif, Ansgar Trächtler
Argumentation and Artifacts for Negotiation Support (International Journal of Artificial Intelligence) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Reaction Factoring and Bipartite Update Graphs Accelerate the Gillespie Algorithm for Large-Scale Biochemical Systems (article in journal) — Sagar Indurkhya, Jacob Beal
JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications () — Andrea Santi, Guidi Marco, Alessandro Ricci
Logic-based decision support for strategic environmental assessment (Theory and Practice of Logic Programming) — Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (FIPA-DPDF@MALLOW 2010) — Sergio Esparcia, Estefania Argente, Vicent Botti
Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments () — Alessandro Ricci, Mirko Viroli, Michele Piunti
Process Documentation Standardization: An Initial Evaluation (FIPA-DPDF@MALLOW 2010) — Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (WOA 2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini
Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace (article in journal) — Silvano Cincotti, Marco Raberto, Andrea Teglio
Building an Agent Methodology from Fragments: the MEnSA experience (AOMIP 2010@SAC 2010) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development () — Andrea Santi
WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (WOA 2010) — Andrea Omicini, Mirko Viroli
A Basis Set of Operators for Space-Time Computations () — Jacob Beal
Tutorial on Agent-based Modelling and Simulation (Journal of Simulation) — Charles M. Macal, Michael J. North
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient (article in journal) — Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
Interacting with Virtual Plants: a Client-Server Approach (paper in proceedings) — Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition (FIPA-DPDF@MALLOW 2010) — Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa Sichman
Developing Web Client Applications with JaCa-Web (WOA 2010) — Mattia Minotti, Andrea Santi, Alessandro Ricci
MetaSelf: An Architecture and a Development Method for Dependable Self-* systems () — Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments () — Alessandro Ricci, Andrea Santi, Michele Piunti
Using Domain Specific Languages for platform-based software development: The case of Android () — Antonio Natali, Ambra Molesini
Self Organization in Coordination Systems using a WordNet-based Ontology (paper in proceedings) — Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Simulation and Analysis of Distributed Systems in Klaim () — Francesco Calzolai, Michele Loreti
Risk Analysis and Deployment Security Issues in a Multi-Agent System (paper in proceedings) — Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) (WOA 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
Applying Process Document Standarization to INGENIAS (FIPA-DPDF@MALLOW 2010) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge (paper in proceedings) — Bo Sun Conghua Zhou, Liu Zhifeng
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems (Position Paper) () — Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
Transitivity in Trust. A Discussed Property (WOA 2010) — Rino Falcone, Cristiano Castelfranchi
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010@SAC 2010) — Elena Nardini, Mirko Viroli, Emanuele Panzavolta
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling (International Journal of Agent-Oriented Software Engineering) — Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
An Agent-based Model for the Pattern Formation in Drosophila Melanogaster (paper in proceedings) — Sara Montagna, Nicola Donati, Andrea Omicini
A Framework for Modelling and Simulating Networks of Cells (paper in proceedings) — Sara Montagna, Mirko Viroli
Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (phd thesis) — Michele Piunti
Artificial Life XII () — Harold Fellermann, Mark Dörr, Martin M. Hanczyc, Lone Ladegaard Laursen, Sarah Maurer, Daniel Merkle, Pierre-Alain Monnard, Kasper Stoy, Steen Rasmussen
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services (paper in proceedings) — Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini
Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study (article in journal) — Ambra Molesini, Alessandro Garcia, Christina von Flach Garcia Chavez, Thaís Vasconcelos Batista
Formal Verification of Probabilistic Swarm Behaviours () — Savas Konur, Clare Dixon, Michael Fisher
A Glimpse of the ASPECS Process documented with the FIPA DPDF Template (FIPA-DPDF@MALLOW 2010) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
Tackling Climate Change Through Energy Efficiency: Mathematical Models to Offer Evidence-Based Recommendations for Public Policy () — Federico Gallo, Pierluigi Contucci, Adam Coutts, Ignacio Gallo
A Multiscale Agent-based Model of Morphogenesis in Biological Systems (WOA 2010) — Sara Montagna, Andrea Omicini, Alessandro Ricci
Trust Theory: A Socio-Cognitive and Computational Model (book) — Christiano Castelfranchi, Rino Falcone
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces (article in journal) — Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications () — Mattia Minotti, Andrea Santi, Alessandro Ricci
The O-MaSE Process: a Standard View (FIPA-DPDF@MALLOW 2010) — Juan C. Garcia-Ojeda, Scott DeLoach
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (Multiagent and Grid Systems) — Alessandro Ricci, Enrico Denti, Michele Piunti
Implementing reactive BDI agents with user-given constraints and objectives (International Journal of Agent-Oriented Software Engineering) — Aniruddha Dasgupta, Aditya K. Ghose
Chemical-Inspired Self-Composition of Competing Services (SAC 2010) — Mirko Viroli, Matteo Casadei

64 publications / 2010 • top • index • bottom

2009

Introducing Relevance Awareness in BDI Agents () — Emiliano Lorini, Michele Piunti
Engineering Societies in the Agents World IX (ESAW 2008) — Alexander Artikis, Gauthier Picard, Laurent Vercouter
A Semantic eScience Portal for International Scientific and Academic Cooperation (paper in proceedings) — Bernhard Angerer, Branko Katalinic, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
Embodying Organisations in Multi-Agent Work Environments (paper in proceedings) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Formalising the Environment in MAS Programming: a Formal Model () — Alessandro Ricci, Mirko Viroli, Michele Piunti
Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings) — Giulio Piancastelli, Enrico Denti
A Formal Definition of Colture (technical report) — Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming (paper in proceedings) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Information, Physics, and Computation (book) — Marc Mézard, Andrea Montanari
Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems () — Matteo Casadei, Mirko Viroli
Self-Organising Coordination Systems (phd thesis) — Matteo Casadei
Manipulation implicite d'une organisation multiagent via l'environnement () — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Mathematics for Economics: A Statistical Mechanics Perspective (article in journal) — Pierluigi Contucci, Francesca Romiti
Gaia4E: A Tool Supporting the Design of MAS using Gaia (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
A SOA Based Software Engineering Design Approach in Service Engineering () — Weider D. Yu, Chia H. Ong
Special Issue “Engineering Environments in Multi-Agent Systems” (Multiagent and Grid Systems) — Danny Weyns, Andrea Omicini
The Craft of Prolog (book) — Richard O'Keefe
Modelling Periodic Data Dissemination in Wireless Sensor Networks () — Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
Introducing Relevance Awareness in BDI Agents () — Emiliano Lorini, Michele Piunti
Declarative Specification and Verification of Service Choreographies (article in journal) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
An Agent-based Application for Home Intelligence (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
Agent-based Modelling of Stem Cells (book chapter) — Mark d'Inverno, Paul Howells, Sara Montagna, Ingo Roeder, Rob Saunders
A Goal-Oriented Approach for Modelling Self-organising MAS (ESAW 2009) — Mirko Morandini, Frédéric Migeon, Marie-Pierre Gleizes, Christine Maurel, Loris Penserini, Anna Perini
SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (WOA 2009) — Michele Piunti, Alessandro Ricci, Andrea Santi
Interactive Graphical Maps for Infocenter via Model to Model Transformation () — Enrico Oliva
Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments () — Michele Piunti, Alessandro Ricci
An Agent-Based Programming Model for Developing Client-Side Concurrent Web 2.0 Applications () — Giulio Piancastelli, Alessandro Ricci, Mattia Minotti
Software Engineering: An Idea Whose Time Has Come and Gone? (IEEE Software) — Tom De Marco
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems () — Matteo Casadei, Mirko Viroli
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia () — Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfán
A Process Model of Actin Polymerisation () — Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
Making Sense of Revision-control Systems (Communications of the ACM) — Bryan O'Sullivan
Combining Simulation and Formal Tools for Developing Self-Organizing MAS (book chapter) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments () — Michele Piunti, Andrea Santi, Alessandro Ricci
Knowledge-based coordination with a reliable semantic subscription mechanism () — Martin Murth, Eva Kuhn
Environment Programming in CArtAgO (book chapter) — Alessandro Ricci, Michele Piunti, Mirko Viroli, Andrea Omicini
Situated Tuple Centres in ReSpecT (SAC 2009) — Matteo Casadei, Andrea Omicini
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies (paper in proceedings) — Valeria Seidita, Massimo Cossentino, Salvatore Gaglio
Using Jason, MOISE, and CArtAgO to develop a team of cowboys () — Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
Engineering Societies in the Agents World X (ESAW 2009) — Huib Aldewereld, Virginia Dignum, Gauthier Picard
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009@SAC 2009) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems (paper in proceedings) — Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna
Embodied Organisations in MAS Environments () — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner
Towards a Logic Language and Framework for Web Programming (paper in proceedings) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
A MAS Metamodel-Driven Approach to Process Fragments Selection (paper in proceedings) — Massimo Cossentino, Salvatore Gaglio, Nicolas Gaud, Vincent Hilaire, Abder Koukam, Valeria Seidita
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces () — Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
Empirical comparison of methods for information systems development according to SOA () — Philipp Offermann, Udo Bub
An Automatic Quantification and Registration Strategy to Create a Gene Expression Atlas of Zebrafish Embryogenesis (paper in proceedings) — Carlos Castro Gonzalez, Miguel Angel Luengo-Oroz, Sophie Desnoulez, Louise Duloquin, Laura Fernández-de-Manuel, Sara Montagna, Maria J. Ledesma-Carbayo, Paul Bourgine, Nadine Peyrieras, Andres Santos
Agents, Intelligence, and Tools (book chapter) — Andrea Omicini, Michele Piunti, Alessandro Ricci, Mirko Viroli
A Framework for Modelling and Implementing Self-Organising Coordination (paper in proceedings) — Mirko Viroli, Matteo Casadei, Andrea Omicini
Programming Pervasive and Mobile Computing Applications: The TOTA Approach (article in journal) — Marco Mamei, Franco Zambonelli
General-Purpose Coordination Abstractions for Managing Interaction in MAS (paper in proceedings) — Elena Nardini, Andrea Omicini, Mirko Viroli
Special Track on: Agent-Oriented Software Engineering Methodologies and Systems (SAC 2009) — Massimo Cossentino, Ambra Molesini, Andrea Omicini, Valeria Seidita
Implicit Culture Framework for behavior transfer. Definition, implementation and applications (phd thesis) — Aliaksandr Birukou
Implementing Over-sensing in Heterogeneous Multi-Agent Systems on top of Artifact-based Environments () — Alessandro Ricci, Michele Piunti
Parameter tuning of a stochastic biological simulator by metaheuristics (paper in proceedings) — Sara Montagna, Andrea Roli
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA () — Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming) — Matteo Casadei, Mirko Viroli, Luca Gardelli
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts () — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems) — Ambra Molesini, Andrea Omicini, Mirko Viroli
A computational framework for modelling multicellular biochemistry (paper in proceedings) — Sara Montagna, Mirko Viroli
An Introduction to MultiAgent Systems (book) — Michael J. Wooldridge
Testing Techniques for Software Agents (phd thesis) — Cu Duy Nguyen
Costruire sistemi software: dai modelli al codice (book) — Antonio Natali, Ambra Molesini
Biochemical Tuple Spaces for Self-Organising Coordination () — Mirko Viroli, Matteo Casadei

67 publications / 2009 • top • index • bottom

2008

Increasing interactivity in Agent-based Advanced Pocket-Device Service Application (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Stefano Fante
Towards a Logic Language and Framework for Web Programming (book chapter) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
On the Quantitative Analysis of Architecture Stability in Aspectual Decomposition () — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
Simulation Methods in Systems Biology () — Daniel T. Gillespie
Architecture and Metaphors for Eternally Adaptive Service Ecosystems (IDC 2008) — Franco Zambonelli, Mirko Viroli
A&A for Modelling and Engineering Simulations in Systems Biology (International Journal of Agent-Oriented Software Engineering) — Sara Montagna, Alessandro Ricci, Andrea Omicini
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (WOA 2008) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Preface () — Canal Carlos, Pascal Poizat, Mirko Viroli
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks (article in journal) — Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus () — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Experimenting with Stochastic Prolog as a Simulation Language (paper in proceedings) — Enrico Oliva, Luca Gardelli, Mirko Viroli, Andrea Omicini
Phase Transitions in Social Sciences: Two-populations Mean Field Theory (article in journal) — Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking () — Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art (The Knowledge Engineering Review) — Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
On the reification of Java wildcards (Science of Computer Programming) — Maurizio Cimadamore, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Il Milione. Viaggio nella logica computazionale in Italia () — Matteo Baldoni, Cristina Baroglio
Description Logics (book chapter) — Franz Baader, Ian Horrocks, Ulrike Sattler
Tool-Supported Development with Tropos: The Conference Management System Case Study () — Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alberto Siena, Angelo Susi
From Agents to Artifacts Back and Forth: Operational and Doxastic use of Artifacts in MAS () — Michele Piunti, Alessandro Ricci
SPEM on Test: the SODA Case Study (paper in proceedings) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
An experimental environment for teaching Java Security (paper in proceedings) — Anna Riccioni, Enrico Denti, Roberto Laschi
Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach (paper in proceedings) — Yudistira Asnar, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems () — Mario Bravetti
Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments () — Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr
Engineering Societies in the Agents’ World VIII (ESAW 2007) — Alexander Artikis, Gregory M.P. O’Hare, Kostas Stathis, George A. Vouros
Integrating Java and Prolog through Generic Methods and Type Inference (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
A Logic Programming Model for Web Resources (paper in proceedings) — Giulio Piancastelli, Andrea Omicini
Agent-oriented AmI Engineering (paper in proceedings) — Raian Ali, Sameh Abdel-Naby, Antonio Maña, Antonio Muñoz, Paolo Giorgini
Automating Workflow using Dialectical Argumentation (IADIS International Journal on Computer Science and Information Systems) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration (article in journal) — Pierluigi Contucci, Cristian Giardina
A Multi-Theory Logic Programming Language for the World Wide Web (technical report) — Giulio Piancastelli, Andrea Omicini
Econophysics and the Current Economic Turmoil (article in journal) — H. Eugene Stanley
The BlenXLanguage: A Tutorial () — Lorenzo Dematté, Corrado Priami, Alessandro Romanel
Introducing Join-Computing (paper in proceedings) — Giacomo Cabri
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems () — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings) — Giulio Piancastelli, Enrico Denti
The A&A Programming Model and Technology for Developing Agent Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (phd thesis) — Ambra Molesini
Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (Autonomous Agents and Multi-Agent Systems) — Peter McBurney, Andrea Omicini
Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT (paper in proceedings) — Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi
Integrating Artifact-Based Environments with Heterogeneous Agent-Programming Platforms () — Alessandro Ricci, Michele Piunti, Lemi Daghan Acay, Rafael H. Bordini, Jomi Hübner, Mehdi Dastani
Programming with models: modularity and abstraction provide powerful capabilities for systems biology (article in journal) — Aneil Mallavarapu, Matthew Thomson, Benjamin Ullian, Jeremy Gunawardena
Model-driven Generation of Graphical Maps for e-Contents (paper in proceedings) — Antonio Natali, Enrico Oliva, Cristina Bonanni
Special Issue “Agents, Institutions and Legal Theory” (Artificial Intelligence and Law) — Andrea Omicini, Anja Oskamp, Rossella Rubino, Giovanni Sartor
Co-Argumentation Artifact for Agent Societies (paper in proceedings) — Enrico Oliva, Peter McBurney, Andrea Omicini
Smart Environments as Agent Workspaces (Ubiquitous Computing and Communication Journal) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Towards a Tuplespace-based Middleware for the Semantic Web (Web Intelligence and Agent Systems) — Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
Agent-Based Collaboration Systems: A Case Study (paper in proceedings) — Elena Nardini, Andrea Omicini
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems (Autonomous Agents and Multi-Agent Systems) — Andrea Omicini, Peter McBurney
Toward a Framework for Collaborative Learning based on Agent-based Technologies (paper in proceedings) — Elena Nardini, Andrea Omicini, Maria Cristina Matteucci
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets () — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
Lightweight Family Polymorphism (article in journal) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
Artifacts in the A&A Meta-Model for Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
La costruzione dei sistemi software: dai modelli al codice (book) — Antonio Natali, Ambra Molesini
Arguments and Artifacts for Dispute Resolution (WOA 2008) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008@WET ICE 2008) — Matteo Casadei, Andrea Omicini
Automated Global-to-Local Programming in 1-D Spatial Multi-Agent Systems () — Daniel Yamins, Radhika Nagpal
A Process Algebraic View of Shared Dataspace Coordination (article in journal) — Nadia Busi, Gianluigi Zavattaro
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications () — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments () — Michele Piunti, Alessandro Ricci
PASSIM: a simulation-based process for the development of multi-agent systems (International Journal of Agent-Oriented Software Engineering) — Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
A Decentralized and Ontology-Based Approach to Infrastructure Monitoring () — Florian Fuchs, Michael Berger
Argumentation and Artifact for Dialogue Support (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
Argumentation and Artifacts for Intelligent Multi-agent Systems (phd thesis) — Enrico Oliva
A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (paper in proceedings) — Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri
Methodologies for Designing Agent Societies (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems () — Cynthia Villalba, Alberto Rosi, Mirko Viroli, Franco Zambonelli
A Multi-Theory Logic Language for the World Wide Web (paper in proceedings) — Giulio Piancastelli, Andrea Omicini
Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Methodologies and Infrastructures for Agent Society Simulation: Mapping PASSI and RoleX (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Fast self-healing gradients. () — Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark Tobenkin
Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education (edited volume) — Maria Cristina Matteucci, Andrea Omicini, Elena Nardini, Pietro Gaffuri
An Agent Framework for Ubiquitous Services (phd thesis) — Conor Muldoon
Agent Roles: from Methodologies to Infrastructures (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008@WET ICE 2008) — Matteo Casadei, Mirko Viroli, Marco Santarelli
Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study () — Danilo Santos, Marcelo Blois Ribeiro, Ricardo Bastos
Agent Oriented Software Engineering VIII () — Michael Luck, Lin Padgham
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis () — Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları
An Adaptation Logic Framework for Java-based Component Systems (Journal of Universal Computer Science) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
ReSpecT Guide (manual) — Matteo Casadei, Andrea Omicini
Writing a thesis with LaTeX (article in journal) — Lapo Mori
La cultura componibile. Dalla frammentazione alla disgregazione del sapere (book) — Lucio Russo
From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS (EUMAS 2008) — Michele Piunti, Alessandro Ricci
Semantic Resource Matching for Pervasive Environments: The Approach and its Evaluation (technical report) — Ayomi Bandara, Terry Payne, David De Roure, Nicholas Gibbins, Tim Lewis
Introduction to AOSE Tools for the Conference Management System () — Lin Padgham, Michael Luck
Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (WOA 2008) — Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita
Engineering Self-organising Systems with the Multiagent Paradigm (phd thesis) — Luca Gardelli
Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (paper in proceedings) — Sara Montagna, Andrea Omicini, Marco Alberti
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks () — Matteo Casadei, Mirko Viroli
The Architecture and Design of a Malleable Object-Oriented Prolog Engine (paper in proceedings) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
From AO Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
The Prometheus Design Tool – A Conference Management System Case Study () — Lin Padgham, John Thangarajah, Michael Winikoff
Hierarchical Modeling for Computational Biology () — Carsten Maus, Mathias John, Mathias Röhl, Adelinde Uhrmacher

95 publications / 2008 • top • index • bottom

2007

A Survey of Service Oriented Development Methodologies () — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
Developing Multi-Agent Systems with JADE (book) — Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood
Building Smart Environments as Agent Workspaces (CoMA 2007@WET ICE 2007) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Evaluating Procedural Alternatives. A Case Study in E-Voting (paper in proceedings) — Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
Invited Talk: A Process Algebra Master Equation () — Luca Cardelli
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
What is “paradigm”? (technical report) — Erek Göktürk
Situated Cellular Agents Approach to Crowd Modeling and Simulation (article in journal) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
An Agent-Oriented Programming Model for SOA & Web Services (paper in proceedings) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (article in journal) — Tim O'Reilly
Integrating Software Models and Platform Models for Performance Analysis (article in journal) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
Using Eclipse in Building Model-driven e-Learning Supports (paper in proceedings) — Antonio Natali, Antonio Del Cinque, Enrico Oliva
Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (paper in proceedings) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
Decentralized Regulation of Distributed Systems: Beyond Access Control (technical report) — Naftaly H. Minsky
Auction Negotiation for Mobile Rideshare Service (paper in proceedings) — Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
Timed Environment for Web Agents (Web Intelligence and Agent Systems) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach (article in journal) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
How to infer gene networks from expression proﬁles (article in journal) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
Context-Dependent Evaluation Methodology for Open Source Software () — Michele Cabano, Cesare Monti, Giulio Piancastelli
A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates () — George Jiri Mejtsky
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (Autonomous Agents and Multi-Agent Systems) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case () — Matteo Casadei, Luca Gardelli, Mirko Viroli
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Measurement and Control of Self-organised Behaviour in Robot Swarms () — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Formal ReSpecT in the A&A Perspective (paper in proceedings) — Andrea Omicini
Executable cell biology (Nature Biotechnology) — Jasmin Fisher, Thomas A. Henzinger
vLab: an Eclipse-based Virtual Laboratory (paper in proceedings) — Anna Riccioni, Enrico Denti
Experiences in Automated Workflows using Dialectical Argumentation (paper in proceedings) — Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods (paper in proceedings) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
RESTful Web Services (book) — Leonard Richardson, Sam Ruby
Environments for Multi-Agent Systems III (E4MAS 2006@AAMAS 2006) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Design Patterns for Multiagent Systems to Elevate Pocket Device Applications (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Design Patterns for Self-Organising Systems (CEEMAS 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology () — Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
Engineering Societies in the Agents World VII (ESAW 2006) — Gregory M.P. O'Hare, Alessandro Ricci, Michael J. O'Grady, Oğuz Dikenelli
Towards Integrating Agents with Objects Tracing Systems in AmI (EUMAS 2007) — Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
Infrastructures for the Environment of Multiagent Systems (Autonomous Agents and Multi-Agent Systems) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
A Survey on Context-Aware Systems (article in journal) — Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
The LighTS Tuple Space Framework and its Customization for Context-aware Applications (Web Intelligence and Agent Systems) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco
Extrospection: Agents Reasoning About the Environment () — Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
Distributed Systems. Principles and Paradigms (book) — Andrew S. Tanenbaum, Marteen van Steen
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (paper in proceedings) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006) (edited volume) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
Engineering a BPEL Orchestration Engine as a Multi-agent System (Science of Computer Programming) — Mirko Viroli, Enrico Denti, Alessandro Ricci
A core calculus for correlation in orchestration languages (article in journal) — Mirko Viroli
Stochastic pi-calculus modelling of multisite phosphorylation based signaling: in silico analysis of the Pho4 transcription factor and the PHO pathway in Saccharomyces cerevisiaees cerevisiae (technical report) — Nicola Segata, Enrico Blanzieri, Corrado Priami
Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design () — Olaf Zimmermann, Jana Koehler, Leymann Frank
Designing Self-organising MAS Environments: The Collective Sort Case (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Co-Argumentation Artifact for Agent Societies (paper in proceedings) — Enrico Oliva, Peter McBurney, Andrea Omicini
Intentional Systems Theory () — Daniel Dennett
Preface (Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)) — Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden
Supporting Requirements Analysis in Tropos: a Planning-Based Approach (paper in proceedings) — Volha Bryl, Paolo Giorgini, John Mylopoulos
Design Patterns for Self-Organizing Multiagent Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Practical Extensions in Agent Programming Languages () — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
tuProlog 2.0: One Step Beyond (ALP Newsletter) — Giulio Piancastelli, Andrea Omicini
Pervasive pheromone-based interaction with RFID tags (ACM Transactions on Autonomous and Adaptive Systems) — Mamei Marco, Franco Zambonelli
Geo-Linda: a Geometry Aware Distributed Tuple Space () — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
Programming Multi-Agent Systems in AgentSpeak using Jason (book) — Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (paper in proceedings) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java () — Alessandro Ricci, Mirko Viroli
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism () — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Guest Editorial (article in journal) — Davide Ancona, Mirko Viroli
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (article in journal) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Large Language Models in Machine Translation (paper in proceedings) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean
Prototyping A&A ReSpecT in Maude (paper in proceedings) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Service-Oriented Agent Methodologies (WET ICE 2007) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (WOA 2007) — Alessandro Ricci, Enrico Denti
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (Applied Artificial Intelligence) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
On the Problem of Over-clustering in Tuple-based Coordination Systems () — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
Sistemi Distribuiti (book) — Andrew S. Tanenbaum, Marteen van Steen
Exploiting the Environment for Coordinating Agent Intentions () — Tom Holvoet, Paul Valckenaers
Preface (Science of Computer Programming) — Carlos Canal, Mirko Viroli
Environment as a First Class Abstraction in Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems) — Danny Weyns, Andrea Omicini, James J. Odell
On the Interplay of Crosscutting and MAS-Specific Styles () — Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels (International Journal of Agent-Oriented Software Engineering) — Jomi F. Hübner, Jaime S. Sichman, Olivier Boissier
Discrete Event Modeling and Simulation in Systems Biology (Journal of Simulation) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Introduction to the Special Issue: The AgentLink III Technical Forums (ACM Transactions on Autonomous and Adaptive Systems) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Method fragments for agent design methodologies: from standardisation to research (International Journal of Agent-Oriented Software Engineering) — Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
Model Checking Multi-agent systems with Logic Based Petri Nets (article in journal) — Tristan M. Behrens, Jurgen Dix
A Prolog-oriented extension of Java programming based on generics and annotations (paper in proceedings) — Maurizio Cimadamore, Mirko Viroli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces () — Mirko Viroli, Matteo Casadei, Luca Gardelli
Preface () — Canal Carlos, Mirko Viroli
Variant path types for scalable extensibility (article in journal) — Atsushi Igarashi, Mirko Viroli
Governing Environments for Agent-Based Traffic Simulations (CEEMAS 2007) — Michael Schumacher, Laurent Grangier, Radu Jurca
A General Purpose Programming Model & Technology for Developing Working Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Agent-based modeling of multicell morphogenic processes during development (article in journal) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (article in journal) — Pierluigi Contucci, Stefano Ghirlanda
Special Issue on the AgentLink III Technical Forums (ACM Transactions on Autonomous and Adaptive Systems) — Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Pellet: A practical OWL-DL reasoner (article in journal) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings) — Mirko Viroli, Andrea Omicini

94 publications / 2007 • top • index • bottom

2006

Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005@AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (E4MAS 2006@AAMAS 2006) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (AICA 2006) — Antonio Natali, Antonio Del Cinque, Matteo Casadei
On the Expressive Power of KLAIM-based Calculi (article in journal) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology () — Luca Cernuzzi, Franco Zambonelli
Zooming Multi-Agent Systems (paper in proceedings) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Coordination as a Service (Fundamenta Informaticae) — Mirko Viroli, Andrea Omicini
On Coordination and its Significance to Distributed and Multi-Agent Systems (article in journal) — Sascha Ossowski, Ronaldo Menezes
Metodologie per l'ingegneria del software: approccio ad agenti (AICA 2006) — Ambra Molesini, Enrico Denti, Andrea Omicini
Socio-technical systems (encyclopedia entry) — Brian Whitworth
Service-Oriented Design and Development Methodology (article in journal) — Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (paper in proceedings) — Sebastian Sardina, Lavindra de Silva, Lin Padgham
Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (paper in proceedings) — Sara Montagna, Alessandro Ricci, Andrea Omicini
Verifying Multi-agent Programs by Model Checking (Autonomous Agents and Multi-Agent Systems) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation () — Ron Sun
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (AICA 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Web Services Implementation Methodology for SOA Application () — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (WOA 2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (paper in proceedings) — L. Robert Pokorny, C. R. Ramakrishnan
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Interactive Computation: The New Paradigm () — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
Linkable Coordination Artifacts for Inter-Organisational Workflow (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Tools for kinetic modeling of biochemical networks (Nature Biotechnology) — Rui Alves, Fernando Antunes, Armindo Salvador
SPI - A Role for Method Engineering () — Brian Henderson-Sellers
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (paper in proceedings) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS (EMCSR 2006) — Luca Gardelli, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Preface () — Canal Carlos, Mirko Viroli
Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
WOA 2006 – Dagli Oggetti agli Agenti (WOA 2006) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications (article in journal) — Christine Julien, Gruia-Catalin Roman
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS (EMCSR 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Fundamentals of natural computing: basic concepts, algorithms, and applications (book) — Leandro Nunes De Castro
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006@AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Simulation of Minority Game in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer () — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source () — Michele Cabano, Cesare Monti, Giulio Piancastelli
Verification of Multi-agent Systems Via Bounded Model Checking () — Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
StoKlaim: A Stochastic Extension of Klaim (technical report) — Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
The MHS Methodology: Analysis and Design for Context-Aware Systems () — Evi Syukur, Seng Wai Loke
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications () — Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
Collective Sorting Tuple Spaces (WOA 2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (paper in proceedings) — Rafael H. Bordini, Jomi F. Hübner
A Framework for Engineering Interactions in Java-based Component Systems (paper in proceedings) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Case Studies for Self-organization in Computer Science (Journal of Systems Architecture) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science (Interactive Computation: The New Paradigm) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Declarative Agent Languages and Technologies III (DALT 2005@AAMAS 2005) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications (book) — Marco Mamei, Franco Zambonelli
Special Issue “Hot Topics in European Agent Research II” (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams
Formal ReSpecT in the A&A Perspective (paper in proceedings) — Andrea Omicini
Simulating Minority Game with TuCSoN (paper in proceedings) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents () — Charles M. Macal, Michael J. North
Distributed Workflow upon Linkable Coordination Artifacts (COORDINATION 2006) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2 (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams
Toward Nature-Inspired Computing (Communications of the ACM) — Jiming Liu, Kwok Ching Tsui
Agens Faber: Toward a Theory of Artefacts for MAS (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A Survey of Environments and Mechanisms for Human-Human Stigmergy (E4MAS 2005) — H. Van Dyke Parunak
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (E4MAS 2006@AAMAS 2006) — Luca Gardelli, Mirko Viroli, Matteo Casadei
A Generic Large Scale Simulator for Ubiquitous Computing (article in journal) — M. Martin, P. Nurmi
Logics for Artificial Intelligence (Intelligenza Artificiale) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Cognitive Modeling of Social Behaviours () — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
The World According To Brahms: Modeling and Simulating Work Practice () — Maarten Sierhuis
Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (ACM Transactions on Programming Languages and Systems) — Atsushi Igarashi, Mirko Viroli
OWL-S for Describing Artifacts (EUMAS 2006) — Rossella Rubino, Ambra Molesini, Enrico Denti
A Design Theory for Pervasive Information Systems () — Panos E. Kourouthanassis, George M. Giaglis
Multiagent Systems (Intelligenza Artificiale) — Andrea Omicini, Agostino Poggi
Standardizing Agent Communication () — Yannis Labrou
An agent oriented tool for method engineering (EUMAS 2008) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
Lime: A coordination model and middleware supporting mobility of hosts and agents (article in journal) — Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Engineering Societies in the Agents World VI (ESAW 2005) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
The Fading Concept in Tuple-Space Systems () — Ronaldo Menezes, Alan Wood
Process Calculi Abstractions for Biology (technical report) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
4th European Workshop on Multi-Agent Systems (EUMAS 2006) (EUMAS 2006) — Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. Padget
The Plausibility of Life: Resolving Darwin's Dilemma (book) — Marc W. Kirschner, John C. Gerhart

83 publications / 2006 • top • index • bottom

2005

Special Issue “Agenti e vincoli: modelli, tecnologie e metodi per dominare la complessità” (Intelligenza Artificiale) — Marco Cadoli, Michela Milano, Andrea Omicini
On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Developing MAS Solutions with Gaia and AUML () — Luca Cernuzzi, Franco Zambonelli
SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
Drago: Distributed reasoning architecture for the semantic web () — Luciano Serafini, Andrei Tamilin
The Second AgentLink III Technical Forum (other publication sort) — Andrea Omicini, Paolo Petta, Matjaz Gams
Verifying Multi-agent Systems via Unbounded Model Checking () — M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Composition of a New Process to Meet Agile Needs Using Method Engineering (paper in proceedings) — Massimo Cossentino, Valeria Seidita
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (Informatica) — Alessandro Ricci, Mirko Viroli
Agent Interaction Semantics by Timed Operating Instructions () — Mirko Viroli, Alessandro Ricci
Effective Tool Use in a Habile Agent () — Alexander B. Wood, Thomas E. Horton, Robert St. Amant
Scalable MAS-Based Control Systems Using QoS-Adaptive Coordination Artifacts () — Sarah Siracuse, John A. Zinky, Richard Shapiro, Todd Wright
Distributed Instance Retrieval in Heterogeneous Ontologies () — Luciano Serafini, Andrei Tamilin
Environment-Based Coordination Through Coordination Artifacts (E4MAS 2004) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming Stigmergic Coordination with the TOTA Middleware () — Marco Mamei, Franco Zambonelli
Message from the Program Chairs (Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005)) — Andrea Omicini, Roger L. Wainwright
Quantitative Information in the Tuple Space Coordination Model (article in journal) — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Towards CSpaces: A New Perspective for the Semantic Web () — Francisco Martín-Recuerda
An Agent-Oriented Conceptual Framework for Systems Biology (paper in proceedings) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
Environments in Multiagent Systems (The Knowledge Engineering Review) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
RBAC for Organisation and Security in an Agent Coordination Infrastructure (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Engineering MAS Environment with Artifacts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Programming Multi-Agent Systems in 3APL () — Mehdi Dastani, Birna van Riemsdijk, John-Jules Ch. Meyer
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda () — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Special Issue “Process Algebras and Multi-Agent Systems” (Applicable Algebra in Engineering, Communication and Computing) — Mirko Viroli, Andrea Omicini
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams
The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal (CEEMAS 2005) — Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita
WOA 2005 — Dagli oggetti agli agenti: simulazione e analisi formale di sistemi complessi (WOA 2005) — Flavio Corradini, Flavio De Paoli, Emanuela Merelli, Andrea Omicini
Declarative Agent Languages and Technologies II (DALT 2004@AAMAS 2004) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations () — Ozalp Babaoglu, Márk Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen
Process-Algebraic Approaches for Multi-Agent Systems: An Overview (Applicable Algebra in Engineering, Communication and Computing) — Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware () — John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright
Cognitive Stigmergy: A Framework Based on Agents and Artifacts (EUMAS 2005) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
A Trust Analysis Methodology for Pervasive Computing Systems () — Stephane Presti, Michael Butler, Michael Leuschel, Chris Booth
More Principled Design of Pervasive Computing Systems () — Simon Dobson, Paddy Nixon
On Access Restriction with Java Wildcards (article in journal) — Mirko Viroli, Giovanni Rimassa
Time-Aware Coordination in ReSpecT (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems (article in journal) — Eugene Eberbach
Agenti e vincoli: Modelli, tecnologie e metodi per dominare la complessità (Intelligenza Artificiale) — Marco Cadoli, Michela Milano, Andrea Omicini
Probabilistic Linda-based Coordination Languages () — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 2005) — Ambra Molesini, Enrico Denti, Andrea Omicini
Process Models for Agent-based Development (Engineering Applications of Artificial Intelligence) — Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC 2005) (edited volume) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
Special Issue “Hot Topics in European Agent Research I” (Informatica) — Andrea Omicini, Paolo Petta, Matjaz Gams
“Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (E4MAS 2004) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering Societies in the Agents World V (ESAW 2004) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
Preface (Declarative Agent Languages and Technologies II) — João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum
Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies (CEEMAS 2005) — Brian Henderson-Sellers
Self-Organization in Multi-Agent Systems (The Knowledge Engineering Review) — Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Reliable Distributed Systems. Technologies, Web Services, and Applications (book) — Kenneth P. Birman
The AgentLink III Technical Forums: Introduction to the Special Issue (The Knowledge Engineering Review) — Andrea Omicini, Peter McBurney
Crowd Modeling and Simulation: Towards 3D Visualization () — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
Zooming Multi-Agent Systems (paper in proceedings) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (Applicable Algebra in Engineering, Communication and Computing) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Special Issue “Revised Reports from Selected Technical Forum Groups at the 1st & 2nd AgentLink III Technical Forums” (The Knowledge Engineering Review) — Andrea Omicini, Peter McBurney
Preface (Transactions on Computational Systems Biology III) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
Environments for Multi-Agent Systems (E4MAS 2004) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Coordination and Composition in Multi-agent Systems () — Mehdi Dastani, Farhad Arbab, Frank S. de Boer
Preface (Engineering Societies in the Agents World V) — Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli
On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (WOA 2005) — Luca Gardelli, Mirko Viroli, Andrea Omicini
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005@AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
Transactions on Computational Systems Biology III (edited volume) — Corrado Priami, Emanuela Merelli, Pedro Pablo González Pérez, Andrea Omicini

66 publications / 2005 • top • index • bottom

2004

Adaptive Agents and Multiagent Systems (article in journal) — Zahia Guessoum
The Gaia Methodology () — Luca Cernuzzi, Thomas Juan, Leon Sterlin, Franco Zambonelli
Coordination Artifacts: Environment-based Coordination for Intelligent Agents (AAMAS 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
Preface (Engineering Societies in the Agents World IV) — Andrea Omicini, Paolo Petta, Jeremy Pitt
Coordination Infrastructures in the Engineering of Multiagent Systems (book chapter) — Andrea Omicini, Sascha Ossowski, Alessandro Ricci
Challenges and Research Directions in Agent-Oriented Software Engineering (Autonomous Agents and Multi-Agent Systems) — Franco Zambonelli, Andrea Omicini
Triple-Space Computing: Semantic Web Services Based on Persistent Publication of Information () — Dieter Fensel
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004) (edited volume) — Hisham M. Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock
Targeting Reusability and Replaceability of Simulation Models for Agricultural Systems (paper in proceedings) — Marcello Donatelli, Andrea Omicini, Gianni Fila, Cesare Monti
Relevance of Winning Coalitions in Indirect Control of Corporations (article in journal) — Enrico Denti, Nando Prati
sTuples: Semantic Tuple Spaces () — Deepali Khushraj, Ora Lassila, Tim Finin
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (paper in proceedings) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
From the Editor in Chief: Nature-Inspired Computing (article in journal) — Nigel Shadbolt
Composing Adaptive Software (article in journal) — Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
Coordination and Collaboration Activities in Cooperative Information Systems (International Journal of Cooperative Information Systems) — Andrea Omicini, Sascha Ossowski
Programming Pervasive and Mobile Computing Applications with the TOTA Middleware () — Marco Mamei, Franco Zambonelli
Engineering Trust in Complex System through Mediating Infrastructures (WOA 2004) — Alessandro Ricci, Andrea Omicini
Models and Metaphors from Biology to Bioinformatics Tools (edited volume) — Emanuela Merelli, Pablo Pedro González Perez, Andrea Omicini
Towards Seamless Agent Middleware (TAPOCS 2004@WET ICE 2004) — Andrea Omicini, Giovanni Rimassa
A Programming Language for Cognitive Agents: Goal Directed 3APL () — Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
Message from the Program Chairs (Proceedings of the 2004 ACM Symposium on Applied Computing (SAC 2004)) — Andrea Omicini, Roger L. Wainwright
Declarative Agent Languages and Technologies (DALT 2003@AAMAS 2003) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
A Conceptual Framework for Self-Organising MAS (WOA 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
An Agent-oriented Conceptual Framework for Biological Systems Simulation (paper in proceedings) — Nicola Cannata, Flavio Corradini, Emanuela Merelli, Andrea Omicini, Alessandro Ricci
Preface (Declarative Agent Languages and Technologies) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Online Engineering and Open Computational Systems () — Martin Fredriksson, Rune Gustavsson
From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons, Techniques, Tools () — Andrei Borshchev, Alexei Filippov
Agent Coordination Context: From Theory to Practice (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Verifiable Multi-agent Programs () — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
What I See is What You Say: Coordination in a Shared Environment with Behavioral Implicit Communication (paper in proceedings) — Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini
Probabilistic KLAIM () — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Reo: A Channel-based Coordination Model for Component Composition (article in journal) — Farhad Arbab
Experiencing AUML in the GAIA Methodology () — Luca Cernuzzi, Franco Zambonelli
Role-Based Access Control in MAS using Agent Coordination Contexts (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Engineering Societies in the Agents World IV (ESAW 2003) — Andrea Omicini, Paolo Petta, Jeremy Pitt
Special Issue “Coordination and Collaboration Technologies” (International Journal of Cooperative Information Systems) — Andrea Omicini, Sascha Ossowski
C@sa: Intelligent Home Control and Simulation (paper in proceedings) — Berardina De Carolis, Giovanni Cozzolongo
Verifying Communicating Agents by Model Checking in a Temporal Action Logic () — Laura Giordano, Alberto Martelli, Camilla Schwind
MAS as Complex Systems: A View on the Role of Declarative Approaches (DALT 2003@AAMAS 2003) — Andrea Omicini, Franco Zambonelli
Using Swarm Intelligence in Linda Systems (ESAW 2003) — Robert Tolksdorf, Ronaldo Menezes
Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems () — Ivana Gungui, Viviana Mascardi
A Semantics for the Interaction of Agents with Coordination Artifacts (paper in proceedings) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
WOA 2004 — Dagli oggetti agli agenti: sistemi complessi e agenti razionali (WOA 2004) — Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini
Ant Colony Optimization (book) — Marco Dorigo, Thomas Stützle
From PASSI to Agile PASSI: Tailoring a Design Process to Meet New Needs () — Antonio Chella, Massimo Cossentino, Sabatucci Luca, Valeria Seidita
Decision Support Systems and Intelligent Systems (book) — Efraim Turban, Jay E. Aronson, Ting-Peng Liang
Multi-agent Infrastructures for Objective and Subjective Coordination (Applied Artificial Intelligence) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Second International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2004) (TAPOCS 2004@WET ICE 2004) — Andrea Omicini, Alessandro Ricci, Dina Goldin
Open Directions in Agent-Oriented Software Engineering (UPGRADE: The European Journal for the Informatics Professional) — Franco Zambonelli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings) — Mirko Viroli, Andrea Omicini
Guest Editorial (article in journal) — Davide Ancona, Mirko Viroli
MAS Organization within a Coordination Infrastructure: Experiments in TuCSoN (ESAW 2003) — Andrea Omicini, Alessandro Ricci
Integrating Objective & Subjective Coordination in Multi-Agent Systems (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa
System Support for Pervasive Applications (article in journal) — Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
Paradigm and Software Engineering () — Erek Göktürk, M. Naci Akkøk
sTuples: Semantic Tuple Spaces () — Deepali Khushraj, Ora Lassila, Timothy W. Finin
Model Checking for ACL Compliance Verification () — Marc-Philippe Huget, Michael J. Wooldridge
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model () — Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (ESAW 2003) — Enrico Denti, Alessandro Ricci, Rossella Rubino

60 publications / 2004 • top • index • bottom

2003

The Vision of Autonomic Computing (article in journal) — Jeffrey O. Kephart, David M. Chess
Supporting Coordination in Open Computational Systems with TuCSoN (TAPOCS 2003@WET ICE 2003) — Alessandro Ricci, Andrea Omicini
Lean Software Development: An Agile Toolkit (book) — Mary Poppendieck, Tom Poppendieck
A software framework for matchmaking based on semantic web technology () — Lei Li, Ian Horrocks
First International Workshop on Theory and Practice of Open Computational Systems (TAPOCS 2003@WET ICE 2003) — Martin Fredriksson, Rune Gustavsson, Andrea Omicini, Alessandro Ricci
Investigations (book) — Stuart A. Kauffman
Architecture as a Coordination Tool in Multi-site Software Development (article in journal) — Päivi Ovaska, Matti Rossi, Pentti Marttiin
Modeling Agents and their Environment () — James J. Odell, H. Van Dyke Parunak, Mitch Fleischer, Sven Brueckner
Computation Beyond Turing Machines (Communications of the ACM) — Peter Wegner, Dina Goldin
Learning the Sequential Coordinated Behavior of Teams from Observations () — Gal A. Kaminka, Mehmet Fidanboylu, Allen Chang, Manuela M. Veloso
Rethinking MAS Infrastructure based on Activity Theory (EUMAS 2003) — Andrea Omicini, Alessandro Ricci, Sascha Ossowski
Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications (SELMAS 2002@ICSE 2002) — Alessandro F. Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson B. Castro
Method engineering for OO systems development (Communications of the ACM) — Brian Henderson-Sellers
MavHome: An Agent-based Smart Home () — Diane J. Cook, Michael Youngblood, Edwing O. III Heierman, Karthik Gopalratnam, Sira Rao, Andrey Litvin, Farhan Khawaja
Engineering Societies in the Agents World III (ESAW 2002) — Paolo Petta, Robert Tolksdorf, Franco Zambonelli
WOA 2003 — Dagli oggetti agli agenti: sistemi intelligenti e computazione pervasiva (WOA 2003) — Giuliano Armano, Flavio De Paoli, Andrea Omicini, Eloisa Vargiu
Stochastic models for DNA replication () — Richard Cowan
Adaptiveness in Linda-Based Coordination Models () — Ronaldo Menezes, Robert Tolksdorf
A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (article in journal) — Mirko Viroli
Towards a Methodology for Coordination Mechanism Selection in Open Systems (ESAW 2002) — Simon Miles, Mike Joy, Michael Luck
Reasoning about Organisation: Shaping the Infrastructure (AI*IA Notizie) — Andrea Omicini, Alessandro Ricci
Task-Oriented Engineering of Coordinated Software Systems (paper in proceedings) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Editorial Message: Special Track on Coordination models, Languages and Applications (CM 2003@SAC 2003) — Andrea Omicini, Sascha Ossowski
Quantitative Relations and Approximate Process Equivalences () — Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Preface (Cooperative Information Agents VII) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
Activity Theory as a Framework for MAS Coordination (ESAW 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Theory of Financial Risk and Derivative Pricing: From Statistical Physics to Risk Management (book) — Jean-Philippe Bouchaud, Marc Potters
Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis (The Knowledge Engineering Review) — Franco Zambonelli, H. Van Dyke Parunak
Cooperative Information Agents VII (CIA 2003) — Matthias Klusch, Andrea Omicini, Sascha Ossowski, Heimo Laamanen
Coordination as a Service: Ontological and Formal Foundation (paper in proceedings) — Mirko Viroli, Andrea Omicini
Model Checking AgentSpeak (AAMAS 2003) — Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael J. Wooldridge
Introduzione alla Programmazione a oggetti in Java (book) — Enrico Denti
How has the 9/11 terrorist attack influenced decision making? (article in journal) — Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
From SHIQ and RDF to OWL: The Making of a Web Ontology Language (article in journal) — Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
Developing multiagent systems: The Gaia methodology (article in journal) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Objective versus Subjective Coordination in the Engineering of Agent Systems (paper in proceedings) — Andrea Omicini, Sascha Ossowski
Preface (Software Engineering for Large-Scale Multi-Agent Systems. Research Issues and Practical Applications) — Alessandro Garcia, Carlos Lucena, Franco Zambonelli, Andrea Omicini, Jaelson Castro
Co-fields: Towards a Unifying Approach to the Engineering of Swarm Intelligent Systems (ESAW 2002) — Marco Mamei, Franco Zambonelli, Letizia Leonardi
Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures (phd thesis) — Alessandro Ricci
Integrating Objective & Subjective Coordination in FIPA: A Roadmap to TuCSoN (WOA 2003) — Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli
Signs of a Revolution in Computer Science and Software Engineering (ESAW 2002) — Franco Zambonelli, H. Van Dyke Parunak

42 publications / 2003 • top • index • bottom

2002

Agent-based approach for software development process simulation () — N. Bellamine-Ben Saoud, M. Essafi, H. Ben Ghezala
The Logic of Scientific Discovery (book) — Karl Raimund Popper
Towards a Notion of Agent Coordination Context (book chapter) — Andrea Omicini
Coordination Knowledge Engineering (The Knowledge Engineering Review) — Sascha Ossowski, Andrea Omicini
Specifying Agent Observable Behaviour (AAMAS 2002) — Mirko Viroli, Andrea Omicini
Tuple-based Models in the Observation Framework (paper in proceedings) — Mirko Viroli, Andrea Omicini
Coordination Tools for the Development of Agent-based Systems (paper in proceedings) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Have ReSpecT for LogOp (WOA 2002) — Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Co-operating Sequential Processes () — Edsger Wybe Dijkstra
Towards an Alternative Semantics for FIPA ACL () — Mirko Viroli, Andrea Omicini
Principled Design of the Modern Web Architecture (ACM Transactions on Internet Technology) — Roy Thomas Fielding, Richard N. Taylor
Design Principles of a Reactive Behavioral System for the Intelligent Room (article in journal) — Ajay Kulkarni
The TROPOS Analysis Process as Graph Transformation System () — Paolo Bresciani, Paolo Giorgini
Linear Embedding for a Quantitative Comparison of Language Expressiveness () — Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Coordination Specification in Multi-Agent Systems: From Requirements to Architecture with the Tropos Methodology () — Anna Perini, Angelo Susi, Fausto Giunchiglia
Extending ReSpecT for Multiple Coordination Flows (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Mirko Viroli
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF) (article in journal) — Brian Henderson-Sellers
Extreme Programming of Multi-Agent Systems (AAMAS 2002) — Holger Knublauch
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (paper in proceedings) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Engineering Agent Societies: A Case Study in Smart Environments (AAMAS 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Editorial Message: Special Track on Coordination Models, Languages and Applications (CM 2002@SAC 2002) — Andrea Omicini, Sascha Ossowski
Agent-Based Modeling: Methods and Techniques for Simulating Human Systems () — Eric Bonabeau
A Specification Language for Agents Observable Behaviour (paper in proceedings) — Mirko Viroli, Andrea Omicini
A Framework for Systemic Coordination in Open Computational Systems (WOA 2002) — Martin Fredriksson, Alessandro Ricci, Andrea Omicini, Rune Gustavsson
Virtual Enterprises and Workflow Management as Agent Coordination Issues (International Journal of Cooperative Information Systems) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Integrated Procedures for Evaluating Technical, Environmental and Economical Aspects in Farms – The SIPEAA Project (paper in proceedings) — Marcello Donatelli, Marco Acutis, Francesco Danuso, Fabrizio Mazzetto, Piero Nasuelli, Andrea Omicini, Marisanna Speroni, Marco Trevisan, Vitaliano Tugnoli
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources () — Alex Borgida, Luciano Serafini
The Complementary Nature of Coordination Dynamics: Self-organization and Agency (article in journal) — J.A. Scott Kelso
Objects and Agents Compared (article in journal) — James J. Odell
Modelling Agents as Observable Sources (Journal of Universal Computer Science) — Mirko Viroli, Andrea Omicini
Tuple-based Coordination Models in Event-based Scenarios () — Mirko Viroli, Alessandro Ricci
Software Engineering for Large-scale Multi-Agent Systems – SELMAS'2002 (SELMAS 2002@ICSE 2002) — Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
Computational challenges in cell simulation: a software engineering approach (article in journal) — Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
On the Expressiveness of Event-Based Coordination Media (paper in proceedings) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
An Introduction to MultiAgent Systems (book) — Michael J. Wooldridge
Special Issue “Coordination and Knowledge Engineering” (The Knowledge Engineering Review) — Andrea Omicini, Sascha Ossowski
Coordination Tools for MAS Development and Deployment (Applied Artificial Intelligence) — Enrico Denti, Andrea Omicini, Alessandro Ricci
An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence) — Mirko Viroli, Andrea Omicini
Model Checking Multi-Agent Systems with MABLE () — Michael J. Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons
Agent Coordination Contexts: Experiments in TuCSoN (WOA 2002) — Alessandro Ricci, Andrea Omicini
Digital Pheromone Mechanisms for Coordination of Unmanned Vehicles (AAMAS 2002) — H. van Dyke Parunak, Sven Brueckner, John Sauter
Bisimulation for Labelled Markov Processes (article in journal) — José Desharnais, Abbas Edalat, Prakash Panangaden
A Survey of Coordination Middleware for XML-centric Applications (The Knowledge Engineering Review) — Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
Agile development of a clinical multi-agent system: An Extreme Programming case study () — Holger Knublauch, Holger Koeth, Thomas Rose
On the Grey-Box Modelling Approach for Autonomous Agents (paper in proceedings) — Mirko Viroli, Andrea Omicini
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review (article in journal) — Hidde De Jong

46 publications / 2002 • top • index • bottom

2001

Probabilistic Extensions of Process Algebras () — Jonsson Bengt, Kim G. Larsen, Wang Yi
Formal ReSpecT (paper in proceedings) — Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN (AI*IA Notizie) — Alessandro Ricci, Andrea Omicini, Enrico Denti
The Anatomy of the Grid: Enabling Scalable Virtual Organizations () — Ian Foster
Preface (Engineering Societies in the Agents World II) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
A Coordination Language for Collective Agent-based Systems: GroupLog (Applied Artificial Intelligence) — Fernanda Barbosa, José C. Cunha
Coordination as a Paradigm for Systems Integration (Journal of Systems Integration) — Andrea Omicini, George A. Papadopoulos
Questions and Answers: Reasoning and Querying in Description Logic (phd thesis) — Sergio Tessaris
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (Autonomous Agents and Multi-Agent Systems) — Enrico Denti, Andrea Omicini
Introduction to This Special Issue on Context-Aware Computing (article in journal) — Thomas Moran, Paul Dourish
Special Issue “Coordination Models and Languages in AI” (Applied Artificial Intelligence) — Andrea Omicini, George A. Papadopoulos
Multi-Agent Systems and Applications () — Michael Luck, Vladimír Marík, Olga Stepánková, Robert Trappl
Tuple-based Technologies for Coordination (Coordination of Internet Agents) — Davide Rossi, Giacomo Cabri, Enrico Denti
Multi-Agent Systems as Composition of Observable Systems (WOA 2001) — Mirko Viroli, Andrea Omicini
Editorial: Why Coordination Models and Languages in AI? (Applied Artificial Intelligence) — Andrea Omicini, George A. Papadopoulos
Simulation-verification: biting at the state explosion problem (article in journal) — Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
From Tuple Spaces to Tuple Centres (Science of Computer Programming) — Andrea Omicini, Enrico Denti
Coordination of Internet Agents (edited volume) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
WOA 2001 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2001) — Andrea Omicini, Mirko Viroli
Safe Tuplespace-based Coordination in Multiagent Systems (Applied Artificial Intelligence) — Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
Coordination Models, Languages and Applications. Track Chair Messages (CM 2001@SAC 2001) — Andrea Omicini
The OPEN Process Framework: An Introduction (book) — Donald Firesmith, Brian Henderson-Sellers
The Anatomy of the Grid: Enabling Scalable Virtual Organizations (article in journal) — Ian Foster, Carl Kesselman, Steven Tuecke
Gamma and the Chemical Reaction Model: Fifteen Years After () — Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
On the Notion of Agent Coordination Context: Preliminary Notes (AI*IA Notizie) — Andrea Omicini
Designing Agent-Oriented Systems by Analysing Agent Interactions () — Simon Miles, Mike Joy, Michael Luck
Enlightened Agents in TuCSoN (WOA 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
An Approach for Method Reengineering () — Jolita Ralyté, Colette Rolland
Preface: Coordination of Internet Agents (Coordination of Internet Agents) — Andrea Omicini, Franco Zambonelli, Matthias Klusch, Robert Tolksdorf
Engineering Societies in the Agents World II (ESAW'01) — Andrea Omicini, Paolo Petta, Robert Tolksdorf
Control-driven Constraint Propagation (Applied Artificial Intelligence) — Eric Monfroy
Special Issue “Coordination as a Paradigm for Systems Integration” (Journal of Systems Integration) — Andrea Omicini, George A. Papadopoulos
Self Organization and Coordination (article in journal) — Scott E. Page
Knowledge Management in Organizations: Examining the Interaction between Technologies, Techniques, and People (article in journal) — Ganesh D. Bhatt
Statistical Physics of Spin Glasses and Information Processing: An Introduction (book) — Hidetoshi Nishimori
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (CIA 2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini
An Agent-based Approach for Building Complex Software Systems (Communications of the ACM) — Nicholas R. Jennings
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Multi-Agent Systems as Composition of Observable Systems (AI*IA Notizie) — Mirko Viroli, Andrea Omicini
On the Unusual Effectiveness of Logic in Computer Science (Bulletin of Symbolic Logic) — Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
An Assembly Process Model for Method Engineering () — Jolita Ralyté, Colette Rolland
Objective Coordination in Multi-Agent System Engineering (book) — Michael Schumacher
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems (International Journal of Software Engineering and Knowledge Engineering) — Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001@SAC 2001) — Mirko Viroli, Gianluca Moro, Andrea Omicini
Agent-Oriented Software Engineering for Internet Applications (Coordination of Internet Agents) — Franco Zambonelli, Nicholas R. Jennings, Andrea Omicini, Michael J. Wooldridge
XML Dataspaces for the Coordination of Internet Agents (Applied Artificial Intelligence) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
An Algorithm for Winning Coalitions in Indirect Control of Corporations (article in journal) — Nando Prati, Enrico Denti
Introduzione alla Programmazione a oggetti in Java (book) — Enrico Denti
Preface: Volume 48 (Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
Declarative Programming – Selected Papers from AGP 2000, La Habana, Cuba, 4-6 December 2000 (edited volume) — Agostino Dovier, Maria Chiara Meo, Andrea Omicini
The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (paper in proceedings) — Andrea Omicini

52 publications / 2001 • top • index • bottom

2000

Formal ReSpecT (paper in proceedings) — Andrea Omicini, Enrico Denti
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
On the Expressiveness of Linda Coordination Primitives (article in journal) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
The LuCe Coordination Technology for MAS Design and Development on the Internet (paper in proceedings) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
Mind the Gap! Towards a unified view of CSCW () — Kjeld Schmidt, Carla Simone
Selecting a Project's Methodology (IEEE Software) — Alistair Cockburn
Multiagent System Engineering: The Coordination Viewpoint (paper in proceedings) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
WOA 2000 — Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2000) — Antonio Corradi, Andrea Omicini, Agostino Poggi
From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (WOA 2000) — Andrea Omicini
On Agent-Based Software Engineering (article in journal) — Nicholas R. Jennings
EasyLiving: Technologies for Intelligent Environments () — Barry Brumitt, Brian Meyers, John Krumm, Amanda Kern, Steven A. Shafer
Ruling Agent Motion in Structured Environments (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Amorphous Computing (Communications of the ACM) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Hybrid Coordination Models for Handling Information Exchange among Internet Agents (paper in proceedings) — Andrea Omicini
Amorphous Computing (Communications of the ACM) — Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Engineering Societies in the Agents World (ESAW'00@ECAI 2000) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
Introduzione alla Programmazione a oggetti in Java (book) — Enrico Denti
Folk Physics for Apes: The Chimpanzee's Theory of How the World Works (book) — Daniel J. Povinelli
Architectural Styles and the Design of Network-based Software Architectures (phd thesis) — Roy Thomas Fielding
Special Track on Coordination Models, Languages and Applications (CM 2000@SAC 2000) — Andrea Omicini, George A. Papadopoulos
A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000) — Enrico Denti, Andrea Omicini
Process Migration (ACM Computing Surveys) — Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels (article in journal) — Michael A. Gibson, Jehoushua Bruck
Fondamenti di Informatica A (Parte II) (book) — Enrico Denti
Context-Dependency in Internet-Agent Coordination (ESAW'00@ECAI 2000) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
The Gaia Methodology for Agent-Oriented Analysis and Design (Autonomous Agents and Multi-Agent Systems) — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Preface (ESAW'00@ECAI 2000) — Andrea Omicini, Robert Tolksdorf, Franco Zambonelli
SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (paper in proceedings) — Andrea Omicini
MARS: A Programmable Coordination Architecture for Mobile Agents (IEEE Internet Computing) — Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
Persistent Turing Machines as a Model of Interactive Computation () — Dina Q. Goldin
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (article in journal) — Mirko Viroli, Antonio Natali

31 publications / 2000 • top • index • bottom

1999

Mathematical Models of Interactive Computing (technical report) — Peter Wegner, Dina Goldin
Implementing the ACLT Coordination Model (technical report) — Enrico Denti
On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999@SAC 1999) — Andrea Omicini
Tuple Centres for the Coordination of Internet Agents (CM @ SAC 1999@SAC 1999) — Andrea Omicini, Franco Zambonelli
On the Expressiveness of Coordination Models () — Antonio Brogi, Jean-Marie Jacquet
Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Extreme Programming Explained: Embrace Change (book) — Kent Beck
Coinductive Models of Finite Computing Agents () — Peter Wegner, Dina Goldin
Meta-Modelling Based Assembly Techniques for Situational Method Engineering (article in journal) — Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen
Introduction to Econophysics: Correlations and Complexity in Finance (book) — Rosario N. Mantegna, H. Eugene Stanley
Coordination Technology for the Development of Multi-Agent Systems on the Web (paper in proceedings) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
Engineering Multi-Agent Systems in LuCe (paper in proceedings) — Enrico Denti, Andrea Omicini
Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (CM @ SAC 1999@SAC 1999) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Javaspaces Principles, Patterns, and Practice: Principles, Patterns and Practices (book) — Eric Freeman, Susanne Hupfer, Ken Arnold
The Explorable Topology: Supporting Agent Autonomy on the Internet (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Comparing Coordination Models based on Shared Distributed Replicated Data (CM @ SAC 1999@SAC 1999) — Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
Coordination Models for Multi-Agent Systems (AgentLink News) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
Hierarchical simulation approach to accurate fault modeling for system dependability evaluation (article in journal) — Zbigniew Kalbarczyk, Ravishankar K. Iyer, Gregory L. Ries, Jaqdish U. Patel, Myeong S. Lee, Yuxiao Xiao
A Methodology for Agent-Oriented Analysis and Design () — Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
Coordination for Internet Application Development (Autonomous Agents and Multi-Agent Systems) — Andrea Omicini, Franco Zambonelli
Swarm Intelligence: From Natural to Artificial Systems (book) — Eric Bonabeau, Marco Dorigo, Guy Theraulaz
A Brief History of Stigmergy (article in journal) — Guy Theraulaz, Eric Bonabeau
Building Mobile Agent Applications in HiMAT (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Coordination Technologies for Internet Agents (Nordic Journal of Computing) — Paolo Ciancarini, Andrea Omicini, Franco Zambonelli
The HiMAT Model for Mobile Agent Applications (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Adopting an Object-Oriented Data Model in Inductive Logic Programming (paper in proceedings) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione (book) — Enrico Denti
Distributed Cognition, Coordination and Environment Design () — David Kirsh
The UMASS Intelligent Home Project () — Victor Lesser, Michael Atighetchi, Brett Benyo, Bryan Horling, Raja Anita, Regis Vincent, Thomas Wagner, Pingand Xuan, Shelley XQ. Zhang
Fondamenti di Informatica A (Parte I) (book) — Enrico Denti
Designing Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini
Coordination in Context: Authentication, Authorisation and Topology in Mobile Agent Applications (paper in proceedings) — Marco Cremonini, Andrea Omicini, Franco Zambonelli
Co-ordination in Artificial Agent Societies (book) — Sascha Ossowski
An Architecture for Tuple-based Coordination of Multi-Agent Systems (Software: Practice and Experience) — Enrico Denti, Andrea Omicini
Agents with Power (Communications of the ACM) — Rune Gustavsson
Editor's Introduction: Stigmergy (article in journal) — Eric Bonabeau

36 publications / 1999 • top • index • bottom

1998

Modeling and evaluating design alternatives for an on-line instrumentation system: a case study (article in journal) — Abdul Waheed, Diane T. Rover, Jeffrey K. Hollingsworth
T Spaces (article in journal) — Peter Wyckoff, Stephen W. McLaughry, Tobin J. Lehman, Daniel A. Ford
A process algebraic view of Linda coordination primitives (article in journal) — Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
KLAIM: A Kernel Language for Agent Interaction and Mobility (article in journal) — Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese
Collective dynamics of ‘small-world’ networks (Nature) — Duncan J. Watts, Steven H. Strogatz
On the Expressive Power of KLAIM-based Calculi (article in journal) — Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Understanding Code Mobility (article in journal) — Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna
Coordination Models and Languages () — George A. Papadopoulos, Farhad Arbab
Towards a Hierarchy of Negative Test Operators for Generative Communication () — Gianluigi Zavattaro
Principles of Trust for MAS. Cognitive Anatomy, Social Importance, and Quantification (paper in proceedings) — Cristiano Castelfranchi, Rino Falcone
Co-ordination of Mobile Information Agents in TuCSoN (Internet Research) — Andrea Omicini, Franco Zambonelli
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (phd thesis) — Enrico Denti
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (article in journal) — Enrico Denti
On the Incomparability of Gamma and Linda (technical report) — Gianluigi Zavattaro
Agent Communication Languages: Rethinking the Principles (article in journal) — Munindar P. Singh
Designing for the Dynamics of Cooperative Work Activities () — Jakob Bardram
Decision procedures for BDI logics (Journal of Logic and Computation) — Anand S. Rao, Michael P. Georgeff
On the Expressive Power of a Language for Programming Coordination Media (CM @ SAC 1998@SAC 1998) — Enrico Denti, Antonio Natali, Andrea Omicini
Évolution et création, tome 1 — Sens ou non-sens de l'homme dans la nature? (book) — Gustave Martelet
Distributed Agents Supporting Event-Driven Design Processes () — Bruno Feijó, Paulo C. Rodacki Gomes, João Bento, Sérgio Scheer, Renato Cerqueira
Coordination of Mobile Agents for Information Systems: the TuCSoN Model (paper in proceedings) — Andrea Omicini, Franco Zambonelli
Modelling Social Action for AI Agents (article in journal) — Cristiano Castelfranchi
Towards Empirical Computer Science (article in journal) — Peter Wegner
A Comprehensive View of Process Engineering () — Colette Rolland
TuCSoN: a Coordination model for Mobile Information Agents (IIIS-98@CAiSE'98) — Andrea Omicini, Franco Zambonelli
A Fuzzy Description Logic () — Umberto Straccia
Planning and acting in partially observable stochastic domains (article in journal) — Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra
A Formal Specification of dMARS (paper in proceedings) — Mark d'Inverno, David Kinny, Michael Luck, Michael Wooldridge

28 publications / 1998 • top • index • bottom

1997

Intelligent Decision Support Methods: The Science of Knowledge Work (book) — Vasant Dhar, Roger M. Stein
Coordination, Cooperation, and Communication in the Courts: Expansive Transitions in Legal Work (book chapter) — Yrjo Engeström, Katherine Brown, L. Carol Christopher, Judith Gregory
Designing Multi-Agent Systems around a Programmable Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini
Issues in Agent-Based Software Engineering () — Michael J. Wooldridge
Situational Method Engineering (book) — A.F. Harmsen
Programmable Coordination Media (COORDINATION 1997) — Enrico Denti, Antonio Natali, Andrea Omicini
A Tutorial on (Co)Algebras and (Co)Induction (article in journal) — Bart Jacobs, Jan Rutten
Semantics and Conversations for an Agent Communication Language () — Yannis Labrou, Tim Finin
“Go to the Ant”: Engineering Principles from Natural Agent Systems (article in journal) — H. Van Dyke Parunak
Learning with an Object-Oriented Data Model (paper in proceedings) — Michela Milano, Andrea Omicini, Fabrizio Riguzzi
Software Processes are Software too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (paper in proceedings) — Leon J. Osterweil
Expressive Power of the ACLT Reaction Specification Language (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini
Why Interaction Is More Powerful Than Algorithms (Communications of the ACM) — Peter Wegner
Merging Logic Programming into Web-based Technology: A Coordination-based Approach (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini

14 publications / 1997 • top • index • bottom

1996

Foundations of Distributed Artificial Intelligence (edited volume) — Gregory M.P. O'Hare, Nicholas R. Jennings
Logic Tuple Spaces for the Coordination of Heterogeneous Agents (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
An Extensible Framework for the Development of Coordinated Applications (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Coordination Models and Languages as Software Integrators (ACM Computing Surveys) — Paolo Ciancarini
An Object-Oriented Approach to Planning (paper in proceedings) — Umberto Fonda, Antonio Natali, Andrea Omicini
A General Framework for Multi-Theory Logic Languages (technical report) — Andrea Omicini
The Structure of Scientific Revolutions (book) — Thomas S. Kuhn
A Software Environment for Concurrent Coordinated Programming () — Anne-Alexandra Holzbacher
Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents () — Stan Franklin, Art Graesser
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language (paper in proceedings) — Anand S. Rao
Trading Consistency for Availability in Distributed Systems (technical report) — Roy Friedman, Ken Birman
Method engineering: engineering of information systems development methods and tools (article in journal) — Sjaak Brinkkemper
Bulk Primitives in Linda Run-Time Systems (phd thesis) — Antony Ian Taylor Rowstron
Integrating Knowledge Acquisition in Plan Selection (paper in proceedings) — Antonio Natali, Andrea Omicini

14 publications / 1996 • top • index • bottom

1995

BDI Agents: From Theory to Practice (paper in proceedings) — Anand S. Rao, Michael P. Georgeff
Intelligent Agents: Theory and Practice (The Knowledge Engineering Review) — Michael J. Wooldridge, Nicholas R. Jennings
A distributed semantics for EMPA based on stochastic contextual nets (article in journal) — Marco Bernardo, Nadia Busi, Roberto Gorrieri
Context and Consciousness: Activity Theory and Human-Computer Interaction (edited volume) — Bonnie A. Nardi
Integration of object-oriented analysis and performance simulation for engineering computer-based systems () — Richard Goldgar, Ramon D. Acosta
Law-Governed Linda as a Coordination Model () — Naftaly H. Minsky, Jerrold Leichter
Computational Research on Interaction and Agency (article in journal) — Philip E. Agre
Guarantees for Autonomy in Cognitive Agent Architecture (paper in proceedings) — Cristiano Castelfranchi
La programmazione logica nello sviluppo del software: dai modelli agli strumenti (book chapter) — Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti (book) — Enrico Denti, Antonio Natali
Robot Control Systems as Contextual Logic Programs (book chapter) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
1st International Conference on Multiagent Systems () — Victor R. Lesser, Les Gasser
Specification and Analysis of System Architecture Using Rapide (article in journal) — David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann
Reactive, Generative, and Stratified Models of Probabilistic Processes (article in journal) — Rob J. Vanglabbeek, Scott A. Smolka, Bernhard Steffen
Programmazione Logica Orientata agli Oggetti (phd thesis) — Andrea Omicini
Agent Coordination and Control through Logic Theories (AI*IA'95) — Andrea Omicini, Enrico Denti, Antonio Natali
Cognitive and Social Action () — Rosaria Conte, Cristiano Castelfranchi
A Petri Net Semantics for pi-Calculus () — Nadia Busi, Roberto Gorrieri

18 publications / 1995 • top • index • bottom

1994

A Structured Logic Programming Approach to Robot Programming (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
The Interdisciplinary Study of Coordination (ACM Computing Surveys) — Thomas W. Malone, Kevin Crowston
A Multi-Agent Framework and Programming Environment for Autonomous Robotics (ICRA 1994) — Francesco Zanichelli, Stefano Caselli, Antonio Natali, Andrea Omicini
Moving Prolog Toward Objects (book chapter) — Enrico Denti, Antonio Natali, Andrea Omicini
Scale in Distributed Systems () — B. Clifford Neuman
Open Logic Theory Composition in a Software Engineering Perspective (paper in proceedings) — Enrico Denti, Andrea Omicini
Object-Oriented Computations in Logic Programming (ECOOP 1994) — Andrea Omicini, Antonio Natali
Distributed Programming with Logic Tuple Spaces (article in journal) — Paolo Ciancarini
Modularity in Logic Programming (article in journal) — Michele Bugliesi, Evelina Lamma, Paola Mello
Embedding as a Tool for Language Comparison (article in journal) — Frank S. de Boer, Catiuscia Palamidessi

10 publications / 1994 • top • index • bottom

1993

From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (paper in proceedings) — Enrico Denti, Antonio Natali, Andrea Omicini
Foundations for Interaction: The Dependence Theory () — Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
Agent-Oriented Programming (article in journal) — Yoav Shoham
Objects with State in CSM (paper in proceedings) — Antonio Natali, Andrea Omicini
Elements of Interaction: Turing Award Lecture (Communications of the ACM) — Robin Milner
Techniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Tools, Language and Cognition in Human Evolution () — Kathleen R. Gibson, Tim Ingold
Objects with State in Contextual Logic Programming (PLILP’93) — Antonio Natali, Andrea Omicini
Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini
Science for the post-normal age (article in journal) — Silvio O. Funtowicz, Jerome R. Ravetz
An Overview of Manifold and its Implementation (article in journal) — Farhad Arbab, Ivan Herman, Per Spilling
Exploiting Logic Programming in Robot Applications (GULP 1993) — Antonio Natali, Andrea Omicini, Francesco Zanichelli
The Origins of Order: Self-organization and Selection in Evolution (book) — Stuart A. Kauffman
A History of Speculation on the Relation between Tools and Languages () — Gordon W. Hewes

14 publications / 1993 • top • index • bottom

1992

A calculus of mobile processes, I (article in journal) — Robin Milner, Joachim Parrow, David Walker
Barbed Bisimulation () — Robin Milner, Davide Sangiorgi
Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
The Semantics of a Parallel Language based on a Shared Data Space (technical report) — Paolo Ciancarini, Keld K. Jensen, Dani Yankelevich
An Abstract Architecture for Rational Agents () — Anand S. Rao, Michael P. Georgeff
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini
Supporto alla Comunicazione Remota in MME 3 (technical report) — Mauro Cesana, Enrico Denti, Antonio Natali, Judith Szanto
A calculus of mobile processes, II (article in journal) — Robin Milner, Joachim Parrow, David Walker
Coordination Languages and Their Significance (Communications of the ACM) — David Gelernter, Nicholas Carriero
Objects as Evolving Contexts (COMPULOG NET Area Meeting '92) — Antonio Natali, Andrea Omicini
Design principles for cognitive artifacts (article in journal) — Donald A. Norman
Parallel Logic Programming using the Linda Model of Computation () — Paolo Ciancarini
CSM User's Guide (technical report) — Enrico Denti, Antonio Natali, Andrea Omicini
The Chemical Abstract Machine (article in journal) — Gérard Berry
Methodology EngineeringR: a proposal for situation-specific methodology construction () — Kuldeep Kumar, Richard J. Welke
Co-ordinating Plans of Autonomous Agents (book) — Frank von Martial

16 publications / 1992 • top • index • bottom

1991

The Concept of Activity as a Basic Unit of Analysis for CSCW Research () — Kari Kuutti
Separating Concurrent Languages with Categories of Language Embeddings () — Ehud Shapiro
Generalizing Term Subsumption Languages to Fuzzy Logic () — John Yen
Quintus Prolog 3.0 (article in journal) — Ken Johnson
Modeling Rational Agents within a BDI Architecture () — Anand S. Rao, Michael P. Georgeff
Intelligence Without Reason () — Rodney A. Brooks
Intelligence without Representation (article in journal) — Rodney A. Brooks
The Concurrent Language, Shared Prolog (ACM Transactions on Programming Languages and Systems) — Antonio Brogi, Paolo Ciancarini
Cognitive Artifacts () — Donald A. Norman

9 publications / 1991 • top • index • bottom

1990

Equivalences, congruences, and complete axiomatizations for probabilistic processes (paper in proceedings) — Chi-Chang Jou, Scott A. Smolka
The GAMMA Model and its Discipline of Programming (Science of Computer Programming) — Jean-Pierre Banâtre, Daniel Le Métayer
IEEE Standard Glossary of Software Engineering Terminology (technical report) — IEEE Standard Board
What is Intention? (book chapter) — Michael E. Bratman, Andrea Roli
Testing Equivalences and Fully Abstract Models for Probabilistic Processes (paper in proceedings) — Ivan Christoff
Concepts and Paradigms of Object-oriented Programming (article in journal) — Peter Wegner

6 publications / 1990 • top • index • bottom

1989

How to Write Parallel Programs: A Guide to the Perplexed (ACM Computing Surveys) — Nicholas Carriero, David Gelernter
Linda in Context (Communications of the ACM) — Nicholas Carriero, David Gelernter

2 publications / 1989 • top • index • bottom

1988