Publications  /  2006

Articles in Journal
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Science of Computer Programming 63(1), November 2006
Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Service-Oriented Design and Development Methodology
International Journal of Web Engineering and Technology 2(4), July 2006
Mirko Viroli, Alessandro Ricci, Andrea Omicini
Operating Instructions for Intelligent Agent Coordination
The Knowledge Engineering Review 21(1), March 2006
Andrea Omicini, Agostino Poggi
Multiagent Systems
Intelligenza Artificiale III(1-2), March-June 2006
Sascha Ossowski, Ronaldo Menezes
On Coordination and its Significance to Distributed and Multi-Agent Systems
Concurrency and Computation: Practice and Experience 18(4), April 2006
Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems 12(2), 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure
Applied Artificial Intelligence 20(2-4), February-April 2006
Atsushi Igarashi, Mirko Viroli
Variant Parametric Types: A Flexible Subtyping Scheme for Generics
ACM Transactions on Programming Languages and Systems 28(5), September 2006
Christine Julien, Gruia-Catalin Roman
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering 32(5), May 2006
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the Expressive Power of KLAIM-based Calculi
Theoretical Computer Science 356(3), May 2006
R Alves, F Antunes, A Salvador
Tools for kinetic modeling of biochemical networks.
Nature Biotechnology 24(6), 2006
M. Martin, P. Nurmi
A Generic Large Scale Simulator for Ubiquitous Computing
Mobile and Ubiquitous Systems, Annual International Conference on 0, July 2006
Jiming Liu, Kwok Ching Tsui
Toward Nature-Inspired Computing
Communications of the ACM 49(10), October 2006
Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2
Informatica 30(1), January 2006
Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Case Studies for Self-organization in Computer Science
Journal of Systems Architecture: Embedded Software Design 52(8-9), August-September 2006
Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Lime: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology 15(3), July 2006
Mirko Viroli, Andrea Omicini
Coordination as a Service
Fundamenta Informaticae 73(4), 2006
Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Logics for Artificial Intelligence
Intelligenza Artificiale III(1-2), March–June 2006
(18 articles in journal in 2006)  [top]  [bottom]
Papers in Proceedings
H. Van Dyke Parunak
A Survey of Environments and Mechanisms for Human-Human Stigmergy
Environments for Multi-Agent Systems II. Lecture Notes in Computer Science 3830, 2006
Andrea Omicini
Formal ReSpecT in the A&A Perspective
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), 31 August 2006
Rossella Rubino, Andrea Omicini, Enrico Denti
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. Lecture Notes in Computer Science 3913, June 2006
Sara Montagna, Alessandro Ricci, Andrea Omicini
Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN
Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006
Luca Cernuzzi, Franco Zambonelli
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology
Agent-Oriented Software Engineering VI. Lecture Notes in Computer Science 3950, 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research
Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications. Lecture Notes in Computer Science 3914, April 2006
Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
Computational Models of Argument. Frontiers in Artificial Intelligence and Applications 144, August 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Construenda est CArtAgO: Toward an Infrastructure for Artifacts in MAS
EMCSR 2006, 18-21 April 2006
Antonio Natali, Antonio Del Cinque, Matteo Casadei
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
Verification of Multi-agent Systems Via Bounded Model Checking
AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings. Lecture Notes in Computer Science 4304, 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN
Engineering Self-Organising Systems. Lecture Notes in Computer Science 3910, 2006
Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
SODA: A Roadmap to Artefacts
Engineering Societies in the Agents World VI. Lecture Notes in Computer Science 3963, June 2006
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
A Framework for Engineering Interactions in Java-based Component Systems
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Simulating Minority Game with TuCSoN
Industrial Simulation Conference 2006 (ISC 2006), 5-7 June 2006
Brian Henderson-Sellers
SPI - A Role for Method Engineering
EUROMICRO-SEAA, 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agens Faber: Toward a Theory of Artefacts for MAS
Proceedings of the First International Workshop on Coordination and Organisation (CoOrg 2005). Electronic Notes in Theoretical Computer Science 150, 29 May 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Simulation of Minority Game in TuCSoN
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Luca Gardelli, Mirko Viroli, Andrea Omicini
Exploring the Dynamics of Self-Organising Systems with Stochastic π-Calculus: Detecting Abnormal Behaviour in MAS
EMCSR 2006, 18-21 April 2006
Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Distributed Workflow upon Linkable Coordination Artifacts
Coordination Models and Languages. Lecture Notes in Computer Science 4038, June 2006
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
Panos E. Kourouthanassis, George M. Giaglis
A Design Theory for Pervasive Information Systems
3rd International Workshop on Ubiquitous Computing (IWUC 2006), May 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS
E4MAS 2006, 8 May 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
E4MAS 2006, May 8 2006
L. Robert Pokorny, C. R. Ramakrishnan
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Declarative Agent Languages and Technologies {II}. Lecture Notes in Computer Science 3476, June 2006
Rossella Rubino, Ambra Molesini, Enrico Denti
OWL-S for Describing Artifacts
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 December 2006
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: A Framework Based on Agents and Artifacts
E4MAS 2006, 8 May 2006
Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Zooming Multi-Agent Systems
Agent-Oriented Software Engineering VI. Lecture Notes in Computer Science 3950, 2006
Michele Cabano, Cesare Monti, Giulio Piancastelli
Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Ambra Molesini, Enrico Denti, Andrea Omicini
Metodologie per l'ingegneria del software: approccio ad agenti
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Alessandro Ricci, Mirko Viroli, Andrea Omicini
Programming MAS with Artifacts
Programming Multi-Agent Systems. Lecture Notes in Computer Science 3862, March 2006
Luca Gardelli, Mirko Viroli, Matteo Casadei
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation
Atti Congresso Annuale AICA 2006, 21-22 September 2006
Enrico Oliva, Mirko Viroli, Andrea Omicini
Minority Game: A Logic-Based Approach in TuCSoN
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
An agent oriented tool for method engineering
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 dec 2006
Evi Syukur, Seng Wai Loke
The MHS Methodology: Analysis and Design for Context-Aware Systems
4th IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the 2nd International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06), 2006
Rafael H. Bordini, Jomi F. Hübner
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper)
Computational Logic in Multi-Agent Systems. Lecture Notes in Computer Science 3900, April 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 December 2006
Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Linkable Coordination Artifacts for Inter-Organisational Workflow
1st International Workshop “Coordination of Inter-Organizational Workflow: Agent and Semantic Web based Models” (CIOW 2006), 8 May 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), 31 August 2006
Matteo Casadei, Luca Gardelli, Mirko Viroli
Collective Sorting Tuple Spaces
WOA 2006. CEUR Workshop Proceedings, 26-27 September 2006
Sebastian Sardina, Lavindra de Silva, Lin Padgham
Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach
5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS '06), 8-12 May 2006
Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
RoboCup 2005: Robot Soccer World Cup IX. Lecture Notes in Computer Science 4020, 2006
Charles M. Macal, Michael J. North
Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents
WSC '06: Proceedings of the 38th conference on Winter simulation, 2006
Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
Web Services Implementation Methodology for SOA Application
4th IEEE International Conference on Industrial Informatics (INDIN 2006), 16-18 August 2006
Ronaldo Menezes, Alan Wood
The Fading Concept in Tuple-Space Systems
Proceedings of the 2006 ACM symposium on Applied Computing (SAC 2006), 2006
(45 papers in proceedings in 2006)  [top]  [bottom]
Book Chapters
Yannis Labrou
Standardizing Agent Communication
Multi-Agent Systems and Applications, 2006
Maarten Sierhuis
The World According To Brahms: Modeling and Simulating Work Practice
Daghstuhl Seminar 06261 “Foundations and Practice of Programming Multi-Agent Systems”, 26-30 August 2006
Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems}
Innovations in Design & Decision Support Systems in Architecture and Urban Planning, 2006
Andrea Omicini, Alessandro Ricci, Mirko Viroli
The Multidisciplinary Patterns of Interaction from Sciences to Computer Science
Interactive Computation: The New Paradigm, September 2006
William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
Cognitive Modeling of Social Behaviours
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation, March 2006
(5 book chapters in 2006)  [top]  [bottom]
Books
Marco Mamei, Franco Zambonelli
Field-Based Coordination for Pervasive Multiagent Systems. Models, Technologies, and Applications
Springer Series in Agent Technology, March 2006
Leandro Nunes De Castro
Fundamentals of natural computing: basic concepts, algorithms, and applications
Computer and Information Science Series, 2006
Marc W. Kirschner, John C. Gerhart
The Plausibility of Life: Resolving Darwin's Dilemma
(3 books in 2006)  [top]  [bottom]
Edited Volumes
Dina Q. Goldin, Scott A. Smolka, Peter Wegner (eds.)
Interactive Computation: The New Paradigm
Ron Sun (eds.)
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation
Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni (eds.)
Declarative Agent Languages and Technologies III
Lecture Notes in Artificial Intelligence 3904, March 2006
Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro (eds.)
WOA 2006 – Dagli Oggetti agli Agenti
WOA 2006. CEUR Workshop Proceedings 204, October 2006
Danny Weyns, H. Van Dyke Parunak, Fabien Michel (eds.)
3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006)
E4MAS 2006, 8 May 2006
Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. Padget (eds.)
4th European Workshop on Multi-Agent Systems (EUMAS 2006)
4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings 223, 14-15 December 2006
(6 edited volumes in 2006)  [top]  [bottom]
Special Issues
Andrea Omicini, Paolo Petta, Matjaz Gams (eds.)
Special Issue “Hot Topics in European Agent Research II”
Informatica 30(1), January 2006
(1 special issue in 2006)  [top]  [bottom]
Editorials / Introductions / Prefaces
Canal Carlos, Mirko Viroli
Preface
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005). Electronic Notes in Theoretical Computer Science 154, 2006
(1 editorial / introduction / preface in 2006)  [top]  [bottom]
Technical Reports
Rocco De Nicola, Diego Latella, Joost-Pieter Katoen, Mieke Massink
StoKlaim: A Stochastic Extension of Klaim
CNR-ISTI, 2006
Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
Process Calculi Abstractions for Biology
(2 technical reports in 2006)  [top]  [bottom]
(81 publications in 2006)

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