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