Per Year

62 publications without IRIS ID / 2006

2006

3rd International Workshop “Environments for Multi-Agent Systems” (E4MAS 2006) (edited volume) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
L' Uso dei Web Service nella Catena del Valore della Logistica Integrata (paper in proceedings) — 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 (paper in proceedings) — Luca Cernuzzi, Franco Zambonelli
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 (paper in proceedings) — 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
Verifying Multi-agent Programs by Model Checking (article in journal) — Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation (edited volume) — Ron Sun
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings) — Luca Gardelli, Mirko Viroli, Matteo Casadei
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (paper in proceedings) — 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 (paper in proceedings) — Siew Poh Lee, Lai Peng Chan, Eng Wah Lee
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (paper in proceedings) — L. Robert Pokorny, C. R. Ramakrishnan
Coordination Artifacts as First-class Abstractions for MAS Engineering: State of the Research (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Interactive Computation: The New Paradigm (edited volume) — Dina Q. Goldin, Scott A. Smolka, Peter Wegner
Linkable Coordination Artifacts for Inter-Organisational Workflow (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Nicola Zaghini
Tools for kinetic modeling of biochemical networks (article in journal) — Rui Alves, Fernando Antunes, Armindo Salvador
SPI - A Role for Method Engineering (paper in proceedings) — Brian Henderson-Sellers
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 (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
CArtAgO: An Infrastructure for Engineering Computational Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Preface (editorial/introduction/preface) — Canal Carlos, Mirko Viroli
Crowd Modeling and Simulation: The Role of Multi-agent Simulation in Design Support Systems (book chapter) — Stefania Bandini, Sara Manzoni, Giuseppe Vizzari
WOA 2006 – Dagli Oggetti agli Agenti (edited volume) — 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 (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Fundamentals of natural computing: basic concepts, algorithms, and applications (book) — Leandro Nunes De Castro
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer (paper in proceedings) — Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Una metodologia di valutazione per mitigare i rischi nella adozione del software Open Source (paper in proceedings) — Michele Cabano, Cesare Monti, Giulio Piancastelli
Verification of Multi-agent Systems Via Bounded Model Checking (paper in proceedings) — 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 (paper in proceedings) — Evi Syukur, Seng Wai Loke
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications (paper in proceedings) — Daniel Bryant, Paul J. Krause, Gerard A.W. Vreeswijk
Collective Sorting Tuple Spaces (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper) (paper in proceedings) — Rafael H. Bordini, Jomi F. Hübner
A Framework for Engineering Interactions in Java-based Component Systems (paper in proceedings) — Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
Case Studies for Self-organization in Computer Science (article in journal) — Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
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” (special issue) — Andrea Omicini, Paolo Petta, Matjaz Gams
Formal ReSpecT in the A&A Perspective (paper in proceedings) — Andrea Omicini
Tutorial on Agent-based Modeling and Simulation Part 2: How to Model with Agents (paper in proceedings) — Charles M. Macal, Michael J. North
Toward Nature-Inspired Computing (article in journal) — Jiming Liu, Kwok Ching Tsui
Agens Faber: Toward a Theory of Artefacts for MAS (paper in proceedings) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
A Survey of Environments and Mechanisms for Human-Human Stigmergy (paper in proceedings) — H. Van Dyke Parunak
On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation (paper in proceedings) — 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 (article in journal) — Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Cognitive Modeling of Social Behaviours (book chapter) — William J. Clancey, Maarten Sierhuis, Bruce Damer, Boris Brodsky
The World According To Brahms: Modeling and Simulating Work Practice (book chapter) — Maarten Sierhuis
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (article in journal) — Atsushi Igarashi, Mirko Viroli
OWL-S for Describing Artifacts (paper in proceedings) — Rossella Rubino, Ambra Molesini, Enrico Denti
A Design Theory for Pervasive Information Systems (paper in proceedings) — Panos E. Kourouthanassis, George M. Giaglis
Standardizing Agent Communication (book chapter) — Yannis Labrou
An agent oriented tool for method engineering (paper in proceedings) — 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 (edited volume) — Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci
The Fading Concept in Tuple-Space Systems (paper in proceedings) — Ronaldo Menezes, Alan Wood
Process Calculi Abstractions for Biology (technical report) — Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
The Plausibility of Life: Resolving Darwin's Dilemma (book) — Marc W. Kirschner, John C. Gerhart

62 publications in 2006 without IRIS ID • top • index • bottom

publications without IRIS ID / 2006 / personal

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Angelo Croatti • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Andrea Rafanelli • Federico Sabbatini