Per anno

105 pubblicazioni / 2007

2007

A Survey of Service Oriented Development Methodologies (articolo in atti) — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
Developing Multi-Agent Systems with JADE (libro) — Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood
Evaluating Procedural Alternatives. A Case Study in E-Voting (articolo in atti) — Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
Invited Talk: A Process Algebra Master Equation (articolo in atti) — 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 (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
What is “paradigm”? (rapporto tecnico) — Erek Göktürk
Situated Cellular Agents Approach to Crowd Modeling and Simulation (Cybernetics and Systems) — Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
An Agent-Oriented Programming Model for SOA & Web Services (articolo in atti) — Alessandro Ricci, Claudio Buda, Nicola Zaghini
Design Patterns for Multiagent Systems to Elevate Pocket Device Applications (ESAW 2007) — Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
Specifying Protocols for Multi-Agent Systems Interaction (ACM Transactions on Autonomous and Adaptive Systems) — Stefan Poslad
Exploiting the Environment for Coordinating Agent Intentions (articolo in atti) — Tom Holvoet, Paul Valckenaers
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software (Communications & Strategies) — Tim O'Reilly
Integrating Software Models and Platform Models for Performance Analysis (IEEE Transactions on Software Engineering) — Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
Using Eclipse in Building Model-driven e-Learning Supports (articolo in atti) — Antonio Natali, Antonio Del Cinque, Enrico Oliva
Modelling Hematopoietic Stem Cell Behaviour: An Approach Based on Multi-Agent Systems (FOSBE 2007) — Sara Montagna, Andrea Omicini, Alessandro Ricci, Mark d'Inverno
Decentralized Regulation of Distributed Systems: Beyond Access Control (rapporto tecnico) — Naftaly H. Minsky
Auction Negotiation for Mobile Rideshare Service (articolo in atti) — 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 (Journal of Artificial Intelligence Research) — Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
How to infer gene networks from expression proﬁles (Molecular Systems Biology) — Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
Context-Dependent Evaluation Methodology for Open Source Software (articolo in atti) — 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 (articolo in atti) — 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
Supporting Requirements Analysis in Tropos: a Planning-Based Approach (articolo in atti) — Volha Bryl, Paolo Giorgini, John Mylopoulos
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (FOCLASA 2006 @ CONCUR'06) — 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 (articolo in atti) — Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Service-Oriented Agent Methodologies (WET ICE 2007) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Programming Multi-Agent Systems (PROMAS 2006 @ AAMAS 2006) — Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni
Formal ReSpecT in the A&A Perspective (FOCLASA 2006 @ CONCUR'06) — Andrea Omicini
Executable cell biology (Nature Biotechnology) — Jasmin Fisher, Thomas A. Henzinger
MiniZinc: Towards a Standard CP Modelling Language (capitolo di libro) — Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
vLab: an Eclipse-based Virtual Laboratory (articolo in atti) — Anna Riccioni, Enrico Denti
High Variability Design for Software Agents: Extending Tropos (ACM Transactions on Autonomous and Adaptive Systems) — Loris Penserini, Anna Perini, Angelo Susi, John Mylopoulos
Practical Extensions in Agent Programming Languages (AAMAS 2007) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
Multiagent System Technologies (MATES 2007) — Paolo Petta, Jörg P. Müller, Matthias Klusch, Michael Georgeff
Experiences in Automated Workflows using Dialectical Argumentation (ISA 2007 @ MCCSIS 2007) — 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 (articolo in atti) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
RESTful Web Services (libro) — Leonard Richardson, Sam Ruby
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS (AAMAS 2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent-Oriented Software Engineering VII (AOSE 2006 @ AAMAS 2006) — Lin Padgham, Franco Zambonelli
Environments for Multi-Agent Systems III (E4MAS 2006 @ AAMAS 2006) — Danny Weyns, H. Van Dyke Parunak, Fabien Michel
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Preface (editoriale/introduzione/prefazione) — Canal Carlos, Mirko Viroli
ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology (articolo in atti) — 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
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 (International Journal of Ad Hoc and Ubiquitous Computing) — 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 (articolo in atti) — Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
Distributed Systems. Principles and Paradigms (libro) — Andrew S. Tanenbaum, Marteen van Steen
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (articolo in atti) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
Combined Proceedings of the 2nd International Workshop on Coordination and Organization (CoOrg 2006) and the 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006) (CoOrg 2006 @ COORDINATION 2006) — 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
On the Problem of Over-clustering in Tuple-based Coordination Systems (SASO 2007) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
A core calculus for correlation in orchestration languages (The Journal of Logic and Algebraic Programming) — 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 (rapporto tecnico) — Nicola Segata, Enrico Blanzieri, Corrado Priami
Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design (articolo in atti) — 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
Intentional Systems Theory (capitolo di libro) — Daniel Dennett
Preface (Combined Proceedings of the 2nd International Workshop on Coordination and Organization (CoOrg 2006) and the 2nd 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
Design Patterns for Self-Organizing Multiagent Systems (EEDAS 2007 @ ICAC 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
tuProlog 2.0: One Step Beyond (ALP Newsletter) — Giulio Piancastelli, Andrea Omicini
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces (SAC 2007) — Mirko Viroli, Matteo Casadei, Luca Gardelli
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 (articolo in atti) — Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
Programming Multi-Agent Systems in AgentSpeak using Jason (libro) — Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge
Building Smart Environments as Agent Workspaces (CoMA 2007 @ WET ICE 2007) — Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Event Perception: A Mind–Brain Perspective (Psychological Bulletin) — Jeffrey M. Zacks, Nicole K. Speer, Khena M. Swallow, Todd S. Braver, Jeremy R. Reynolds
Awareness in Collaborative Ubiquitous Environments: The Multilayered Multi-Agent Situated System Approach (ACM Transactions on Autonomous and Adaptive Systems) — Marco P. Locatelli, Giuseppe Vizzari
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems (articolo in atti) — Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (articolo in atti) — Alessandro Ricci, Mirko Viroli
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (articolo in atti) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Guest Editorial (The Journal of Object Technology) — Davide Ancona, Mirko Viroli
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications (Stem Cells) — Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Large Language Models in Machine Translation (articolo in atti) — Thorsten Brants, Ashok C. Popat, Peng Xu, Franz Josef Och, Jeffrey Dean
A Framework for Web Service Negotiation (ACM Transactions on Autonomous and Adaptive Systems) — Shamimabi Paurobally, Valentina Tamma, Michael Wooldridge
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
Sistemi Distribuiti (libro) — Andrew S. Tanenbaum, Marteen van Steen
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 (articolo in atti) — 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
6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007) — Edmund H. Durfee, Makoto Yokoo, Michael N. Huhns, Onn Shehory
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
Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07) — Matteo Casadei, Andrea Omicini, Mirko Viroli
Model Checking Multi-agent systems with Logic Based Petri Nets (Annals of Mathematics and Artificial Intelligence) — Tristan M. Behrens, Jurgen Dix
A Prolog-oriented extension of Java programming based on generics and annotations (articolo in atti) — Maurizio Cimadamore, Mirko Viroli
Variant path types for scalable extensibility (ACM SIGPLAN Notices) — Atsushi Igarashi, Mirko Viroli
Governing Environments for Agent-Based Traffic Simulations (CEEMAS 2007) — Michael Schumacher, Laurent Grangier, Radu Jurca
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts (E4MAS 2006 @ AAMAS 2006) — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Towards Integrating Agents with Objects Tracing Systems in AmI (EUMAS 2007) — Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
A General Purpose Programming Model & Technology for Developing Working Environments in MAS (PROMAS 2007 @ AAMAS 2007) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent-based modeling of multicell morphogenic processes during development (Birth Defects Research Part C: Embryo Today: Reviews) — Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration (Quality & Quantity) — Pierluigi Contucci, Stefano Ghirlanda
Design Patterns for Self-Organising Systems (CEEMAS 2007) — Luca Gardelli, Mirko Viroli, Andrea Omicini
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 (Journal of Web Semantics) — Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (FOCLASA 2004 @ CONCUR'04) — Mirko Viroli, Andrea Omicini
Co-Argumentation Artifact for Agent Societies (ArgMAS 2007 @ AAMAS 2007) — Enrico Oliva, Peter McBurney, Andrea Omicini
Software Engineering for Multi-Agent Systems V (SELMAS 2006 @ ICSE 2006) — Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky

105 pubblicazioni / 2007 • in cima • indice • in fondo

pubblicazioni / 2007 / personali

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Enrico Denti • Matteo Magnini • Mattia Matteini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Federico Sabbatini