Per Year

83 publications without IRIS ID / 2007

2007

A Survey of Service Oriented Development Methodologies (paper in proceedings) — Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
Developing Multi-Agent Systems with JADE (book) — Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood
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 (paper in proceedings) — Luca Cardelli
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (paper in proceedings) — Ambra Molesini, Enrico Denti, Andrea Omicini
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems (paper in proceedings) — 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
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 (paper in proceedings) — 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 (paper in proceedings) — George Jiri Mejtsky
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities (article in journal) — Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case (paper in proceedings) — Matteo Casadei, Luca Gardelli, Mirko Viroli
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS (paper in proceedings) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
Measurement and Control of Self-organised Behaviour in Robot Swarms (paper in proceedings) — 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 (article in journal) — 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 (edited volume) — 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 (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Design Patterns for Self-Organising Systems (paper in proceedings) — Luca Gardelli, Mirko Viroli, Andrea Omicini
ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology (paper in proceedings) — Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
Engineering Societies in the Agents World VII (edited volume) — Gregory M.P. O'Hare, Alessandro Ricci, Michael J. O'Grady, Oğuz Dikenelli
Towards Integrating Agents with Objects Tracing Systems in AmI (paper in proceedings) — Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
Infrastructures for the Environment of Multiagent Systems (article in journal) — 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 (article in journal) — Davide Balzarotti, Paolo Costa, Gian Pietro Picco
Extrospection: Agents Reasoning About the Environment (paper in proceedings) — 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
Engineering a BPEL Orchestration Engine as a Multi-agent System (article in journal) — 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 (paper in proceedings) — Olaf Zimmermann, Jana Koehler, Leymann Frank
Designing Self-organising MAS Environments: The Collective Sort Case (paper in proceedings) — 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 (book chapter) — Daniel Dennett
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 (paper in proceedings) — Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
tuProlog 2.0: One Step Beyond (article in journal) — Giulio Piancastelli, Andrea Omicini
Pervasive pheromone-based interaction with RFID tags (article in journal) — Mamei Marco, Franco Zambonelli
Geo-Linda: a Geometry Aware Distributed Tuple Space (paper in proceedings) — 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
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java (paper in proceedings) — Alessandro Ricci, Mirko Viroli
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism (paper in proceedings) — 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 (paper in proceedings) — Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (paper in proceedings) — Alessandro Ricci, Enrico Denti
On the Problem of Over-clustering in Tuple-based Coordination Systems (paper in proceedings) — Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
Sistemi Distribuiti (book) — Andrew S. Tanenbaum, Marteen van Steen
Exploiting the Environment for Coordinating Agent Intentions (paper in proceedings) — Tom Holvoet, Paul Valckenaers
Preface (article in journal) — Carlos Canal, Mirko Viroli
Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels (article in journal) — Jomi F. Hübner, Jaime S. Sichman, Olivier Boissier
Discrete Event Modeling and Simulation in Systems Biology (article in journal) — Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Method fragments for agent design methodologies: from standardisation to research (article in journal) — 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 (paper in proceedings) — Mirko Viroli, Matteo Casadei, Luca Gardelli
Preface (editorial/introduction/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 (paper in proceedings) — 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
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 (special issue) — 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

83 publications in 2007 without IRIS ID • top • index • bottom

publications without IRIS ID / 2007 / personal

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