Publications  /  2007

Articles in Journal
Giulio Piancastelli, Andrea Omicini
tuProlog 2.0: One Step Beyond
Association for Logic Programming Newsletter 20(1), February-March 2007
Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi
Integrating Software Models and Platform Models for Performance Analysis
IEEE Transactions on Software Engineering 33(6), June 2007
Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
Situated Cellular Agents Approach to Crowd Modeling and Simulation
Cybernetics and Systems 38(7), 2007
Jasmin Fisher, Thomas A. Henzinger
Executable cell biology
Nature Biotechnology 25, Nov. 2007
Tim O'Reilly
What is Web 2.0: Design Patterns and Business Models for the Next Generation of Software
Communications \& Strategies 65(1st Quarter), 31 March 2007
Davide Ancona, Mirko Viroli
Guest Editorial
Journal of Object Technology 6(2), 2007
Mirko Viroli, Enrico Denti, Alessandro Ricci
Engineering a BPEL Orchestration Engine as a Multi-agent System
Science of Computer Programming 66(3), May 2007
Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Infrastructures for the Environment of Multiagent Systems
Autonomous Agents and Multi-Agent Systems 14(1), July 2007
Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
How to infer gene networks from expression profiles 
Molecular Systems Biology, February 2007
Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
A Survey on Context-Aware Systems
International Journal of Ad Hoc and Ubiquitous Computing 2(4), 2007
Davide Balzarotti, Paolo Costa, Gian Pietro Picco
The LighTS Tuple Space Framework and its Customization for Context-aware Applications
Web Intelligence and Agent Systems 5(2), 2007
Massimo Cossentino, Salvatore Gaglio, Alfredo Garro, Valeria Seidita
Method fragments for agent design methodologies: from standardisation to research
International Journal of Agent-Oriented Software Engineering 1(1), 2007
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Journal of Artificial Intelligence Research 29, 2007
Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M. Uhrmacher
Discrete Event Modeling and Simulation in Systems Biology
Journal of Simulation 1(2), May 2007
Eric Platon, Marco Mamei, Nicolas Sabouret, Shinichi Honiden, H. Van Dyke Parunak
Mechanisms for Environments in Multi-agent Aystems: Survey and Opportunities
Autonomous Agents and Multi-Agent Systems 14(1), February 2007
Mirko Viroli, Andrea Omicini, Alessandro Ricci
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
Applied Artificial Intelligence 21(4-5), April 2007
Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney
Introduction to the Special Issue: The AgentLink III Technical Forums
ACM Transactions on Autonomous and Adaptive Systems 2(4), November 2007
Andrea Omicini, Alessandro Ricci, Mirko Viroli
Timed Environment for Web Agents
Web Intelligence and Agent Systems 5(2), August 2007
Ingmar Glauche, Michael Cross, Markus Loeffler, Ingo Roeder
Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications
Stem Cells 25(7), July 2007
Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 66(3), May 2007
Mamei Marco, Franco Zambonelli
Pervasive pheromone-based interaction with RFID tags
ACM Transactions on Autonomous and Adaptive Systems 2(2), June 2007
Mirko Viroli
A core calculus for correlation in orchestration languages
Journal of Logic and Algebraic Programming 70(1), January 2007
Bryan C. Thorne, Alexander M. Bailey, Douglas W. DeSimone, Shayn M. Peirce
Agent-based modeling of multicell morphogenic processes during development
Birth Defects Research (Part C) 81, 2007
Atsushi Igarashi, Mirko Viroli
Variant path types for scalable extensibility
ACM SIGPLAN Notices 42(10), 2007
Tristan M. Behrens, Jurgen Dix
Model Checking Multi-agent systems with Logic Based Petri Nets
Annals of Mathemathics and Artificial Intelligence 51(2-4), 2007
Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, Yarden Katz
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web 5(2), June 2007
Pierluigi Contucci, Stefano Ghirlanda
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration
Quality & Quantity 41(4), August 2007
Danny Weyns, Andrea Omicini, James J. Odell
Environment as a First Class Abstraction in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 14(1), February 2007
(28 articles in journal in 2007)  [top]  [bottom]
Papers in Proceedings
Volha Bryl, Paolo Giorgini, John Mylopoulos
Supporting Requirements Analysis in Tropos: a Planning-Based Approach
Proceedings of the 10th Pacific Rim International Workshop on Multi-Agents (PRIMA?07), 21-23  November 2007
Luca Gardelli, Mirko Viroli, Andrea Omicini
Design Patterns for Self-Organising Systems
Multi-Agent Systems and Applications V. Lecture Notes in Computer Science 4696, September 2007
Enrico Oliva, Peter McBurney, Andrea Omicini
Co-Argumentation Artifact for Agent Societies
4th International Workshop “Argumentation in Multi-Agent Systems” (ArgMAS 2007), 15 May 2007
Michael Schumacher, Laurent Grangier, Radu Jurca
Governing Environments for Agent-Based Traffic Simulations
Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V. CEEMAS '07, 2007
Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004). Electronic Notes in Theoretical Computer Science 180, June 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism
Cooperative Information Agents XI. Lecture Notes in Computer Science 4676, September 2007
Ambra Molesini, Enrico Denti, Andrea Omicini
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
8th International Workshop "Engineering Societies in the Agents World" (ESAW'07), 22-24 October 2007
Giacomo Cabri, Letizia Leonardi, Mariachiara Puviani
Service-Oriented Agent Methodologies
16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), 18-20 June 2007
Volha Bryl, Fabiano Dalpiaz, Roberta Ferrario, Andrea Mattioli, Adolfo Villafiorita
Evaluating Procedural Alternatives. A Case Study in E-Voting
Proceedings of the 1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07), 27-28 Sep 2007
Mirko Viroli, Matteo Casadei, Luca Gardelli
A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces
SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing, 2007
Lemi Daghan Acay, Philippe Pasquier, Liz Sonenberg
Extrospection: Agents Reasoning About the Environment
3rd IET International Conference on Intelligent Environments (IE 07), 24-25 September 2007
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli
On the Problem of Over-clustering in Tuple-based Coordination Systems
1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 9-11 July 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems
Self-Organizing Systems. Lecture Notes in Computer Science 4725, August 2007
Julien Pauty, Paul Couderc, Michel Banatre, Yolande Berbers
Geo-Linda: a Geometry Aware Distributed Tuple Space
21st International Conference on Advanced Networking and Applications (AINA '07), 21-23 May 2007
Antonio Natali, Antonio Del Cinque, Enrico Oliva
Using Eclipse in Building Model-driven e-Learning Supports
Eclipse: a Great Opportunity for Industry and Universities in Italy, October 2007
Moez Mnif, Urban Richter, Jurgen Branke, Hartmut Schmeck, Christian Müller-Schloer
Measurement and Control of Self-organised Behaviour in Robot Swarms
Architecture of Computing Systems – ARCS 2007. LNCS 4415, 2007
Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
CTG: A connectivity trace generator for testing the performance of opportunistic mobile systems
6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, September 2007
George Jiri Mejtsky
A Metaheuristic Algorithm for Simultaneous Simulation Optimization and Applications to Traveling Salesman and Job Shop Scheduling with Due Dateshop Scheduling with Due Dates
2007 Winter Simulation Conference, 9-12 December 2007
Olaf Zimmermann, Jana Koehler, Leymann Frank
Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design
Workshop on Software Engineering Methods for Service-oriented Architecture 2007 (SEMSOA 2007), May 2007
Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), 8 September 2007
Andrea Omicini
Formal ReSpecT in the A&A Perspective
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science 175, June 2007
Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), 11-12 Sep 2007
Alessandro Ricci, Mirko Viroli
simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java
5th International Symposium on Principles and Practice of Programming in Java (PPPJ 2007). ACM International Conference Proceeding 272, 5-7 September 2007
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-organising MAS Environments: The Collective Sort Case
E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Michele Cabano, Cesare Monti, Giulio Piancastelli
Context-Dependent Evaluation Methodology for Open Source Software
Open Source Development, Adoption and Innovation. IFIP International Federation for Information Processing 234, August 2007
Alessandro Ricci, Claudio Buda, Nicola Zaghini
An Agent-Oriented Programming Model for SOA & Web Services
5th IEEE International Conference on Industrial Informatics (INDIN'07), 23-27 June 2007
Sameh Abdel-Naby, Stefano Fante, Paolo Giorgini
Auction Negotiation for Mobile Rideshare Service
2nd International Conference on Pervasive Computing and Applications, 2007. ICPCA 2007. , 26-27 jul 2007
Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science  175, June 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
CArtAgO: A Framework for Prototyping Artifact-Based Environments in MAS
E4MAS 2006. Lecture Notes in Computer Science 4389, May-June 2007
Anna Riccioni, Enrico Denti
vLab: an Eclipse-based Virtual Laboratory
First International Conference on Eclipse Technologies (ECLIPSE - IT '07), October 2007
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf
Self-Organized Over-Clustering Avoidance in Tuple-Space Systems
IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). , 25-28 September 2007
Alessandro Ricci, Enrico Denti
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services
Dagli Oggetti agli Agenti - Agenti e Industria: Applicazioni tecnologiche degli agenti software (WOA 2007), September 2007
Alessandro Ricci, Mirko Viroli, Andrea Omicini
“Give Agents their Artifacts”: The A&A Approach for Engineering Working Environments in MAS
6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), 14-18 May 2007
Luca Cardelli
Invited Talk: A Process Algebra Master Equation
4th International Conference on the Quantitative Evaluation of Systems (QEST 2007), September 2007
Sameh Abdel-Naby, Paolo Giorgini, Michael Weiss
Design Patterns for Multiagent Systems to Elevate Pocket Device Applications
8th International Workshop "Engineering Societies in the Agents World" (ESAW'07), 22-24 October 2007
Ervin Ramollari, Dimitris Dranidis, Anthony James, Howard Simons
A Survey of Service Oriented Development Methodologies
2nd European Young Researchers Workshop on Service Oriented Computing, 2007
Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch
A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods
CAiSE'07 Forum, Proceedings of the CAiSE'07 Forum at the 19th International Conference on Advanced Information Systems Engineering.. CEUR Workshop Proceedings, 11-15 June 2007
Maurizio Cimadamore, Mirko Viroli
A Prolog-oriented extension of Java programming based on generics and annotations
5th international symposium on Principles and practice of programming in Java (PPPJ '07), 2007
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
Practical Extensions in Agent Programming Languages
6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07)., 14-18 May 2007
Ambra Molesini, Alessandro Garcia, Christina Chavez, Thaís Batista
On the Interplay of Crosscutting and MAS-Specific Styles
Software Architecture. Lecture Notes in Computer Science 4758, September 2007
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva
Cognitive Stigmergy: Towards a Framework Based on Agents and Artifacts
E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007
Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Building Smart Environments as Agent Workspaces
IEEE 16th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2007), 18-19 June 2007
Luca Cernuzzi, Javier Ferrés, Alethia Hume, Francisco Milleres, Franco Zambonelli
ITACASE: A Tool Supporting the Design of MAS using the Gaia Methodology
XXXIII Conferencia Latinoamericana en Informática (CLEI 2007), 8-12 October 2007
Tom Holvoet, Paul Valckenaers
Exploiting the Environment for Coordinating Agent Intentions
Environments for Multi-Agent Systems III, 2007
Sameh Abdel-Naby, Paolo Giorgini, Raian Ali
Towards Integrating Agents with Objects Tracing Systems in AmI
Proceedings of the 5th European Workshop on Multi-Agent Systems (EUMAS'07), 13-14 December 2007
Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Experiences in Automated Workflows using Dialectical Argumentation
IADIS International Conference "Intelligent Systems and Agents" (ISA 2007). Computer Science and Information Systems, 3-8 July 2007
(46 papers in proceedings in 2007)  [top]  [bottom]
Book Chapters
Daniel Dennett
Intentional Systems Theory
Oxford Handbook of the Philosophy of Mind, 2007
(1 book chapter in 2007)  [top]  [bottom]
Books
Andrew S. Tanenbaum, Marteen van Steen
Distributed Systems. Principles and Paradigms
Andrew S. Tanenbaum, Marteen van Steen
Sistemi Distribuiti
Fabio Luigi Bellifemine, Giovanni Caire, Dominic Greenwood
Developing Multi-Agent Systems with JADE
Rafael H. Bordini, Jomi F. Hübner, Michael J. Wooldridge
Programming Multi-Agent Systems in AgentSpeak using Jason
Leonard Richardson, Sam Ruby
RESTful Web Services
(5 books in 2007)  [top]  [bottom]
Edited Volumes
Guido Boella, Mehdi Dastani, Andrea Omicini, Ivana Černá, Isabelle Linden (eds.)
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)
Electronic Notes in Theoretical Computer Science 181, June 2007
(1 edited volume in 2007)  [top]  [bottom]
Special Issues
Paolo Petta, Andrea Omicini, Terry R. Payne, Peter McBurney (eds.)
Special Issue on the AgentLink III Technical Forums
ACM Transactions on Autonomous and Adaptive Systems 2(4), November 2007
(1 special issue in 2007)  [top]  [bottom]
Editorials / Introductions / Prefaces
Canal Carlos, Mirko Viroli
Preface
Proceedings of the 5th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science 175, 2007
(1 editorial / introduction / preface in 2007)  [top]  [bottom]
Technical Reports
Naftaly H. Minsky
Decentralized Regulation of Distributed Systems: Beyond Access Control
Erek Göktürk
What is “paradigm”?
Nicola Segata, Enrico Blanzieri, Corrado Priami
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
(3 technical reports in 2007)  [top]  [bottom]
(86 publications in 2007)

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