Ambra Molesini » Publications » Journal Papers per Year

Journal Articles by (2005—2009)

Below, the papers published on journals by between 2005 and 2009, ordered by year of publication.


2009 | 2008 | 2007 | 2006 | 2005

2009

Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Electronic Notes in Theoretical Computer Science 229(1), 2009

Marco Mamei, Franco Zambonelli
Programming Pervasive and Mobile Computing Applications: The TOTA Approach
ACM Transactions on Software Engineering Methodologies 18(4), July 2009

Ambra Molesini, Andrea Omicini, Mirko Viroli
Environment in Agent-Oriented Software Engineering Methodologies
Multiagent and Grid Systems 5(1), 2009

Graham Williamson, Davide Cellai, Simon Dobson, Paddy Nixon
Modelling Periodic Data Dissemination in Wireless Sensor Networks
Computer Modeling and Simulation, 2009. EMS '09. Third UKSim European Symposium on, nov 2009

Bryan O'Sullivan
Making Sense of Revision-control Systems
Communications of the ACM 52(9), September 2009

Jomi Fred Hübner, Rafael H. Bordini, G. Pacianotto Gouveia, Ricardo H. Pereira, Gauthier Picard, Michele Piunti, Jaime S. Sichman
Using Jason, MOISE, and CArtAgO to develop a team of cowboys
Proceedings of 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2009), Agent Contest., 2009

Tom De Marco
Software Engineering: An Idea Whose Time Has Come and Gone?
IEEE Software 26(4), July/August 2009

Emiliano Lorini, Michele Piunti
Introducing Relevance Awareness in BDI Agents
Proceedings of Seventh international Workshop on Programming Multi-Agent Systems (PROMAS-09), 2009

Matteo Casadei, Mirko Viroli, Luca Gardelli
On the Collective Sort Problem for Distributed Tuple Spaces
Science of Computer Programming 74(9), 2009

Pierluigi Contucci, Francesca Romiti
Mathematics for Economics: A Statistical Mechanics Perspective
ERCIM News 78, July 2009

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
A Process Model of Actin Polymerisation
Electronic Notes in Theoretical Computer Science 229(1), 2009

Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari
Declarative Specification and Verification of Service Choreographies
ACM Transactions on the Web, 2009

[top]

2008

Peter McBurney, Andrea Omicini
Editorial: Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Artifacts in the A&A Meta-Model for Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems 17(3), December 2008

Chieri Saito, Atsushi Igarashi, Mirko Viroli
Lightweight Family Polymorphism
Journal of Functional Programming 18(3), May 2008

Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Electronic Notes in Theoretical Computer Science 194(4), April 2008

Massimo Cossentino, Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
PASSIM: a simulation-based process for the development of multi-agent systems
International Journal of Agent-Oriented Software Engineering 2(2), 2008

H. Eugene Stanley
Econophysics and the Current Economic Turmoil
American Physical Society News 17(11), December 2008

Matteo Casadei, Andrea Omicini, Mirko Viroli
Prototyping A&A ReSpecT in Maude
Electronic Notes in Theoretical Computer Science 194(4), April 2008

Lyndon J. B. Nixon, Elena Simperl, Reto Krummenacher, Francisco Martín-Recuerda
Tuplespace-based Computing for the Semantic Web: A Survey of the State-of-the-art
The Knowledge Engineering Review 23(2), June 2008

Nadia Busi, Gianluigi Zavattaro
A Process Algebraic View of Shared Dataspace Coordination
Journal of Logic and Algebraic Programming 75(1), February-March 2008

Luca Cardelli, Philippa Gardner, Ozan Kahramanoğullari
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
Electronic Notes in Theoretical Computer Science 194(3), 2008

Pierluigi Contucci, Cristian Giardina
Mathematics and Social Science: A Statistical Mechanics Approach to Immigration
ERCIM News 73, April 2008

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
Lecture Notes in Computer Science 4908, 2008

Sara Montagna, Alessandro Ricci, Andrea Omicini
A&A for Modelling and Engineering Simulations in Systems Biology
International Journal of Agent-Oriented Software Engineering 2(2), 2008

Mario Bravetti
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
Electronic Notes in Theoretical Computer Science 194(2), 16 January 2008

Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
An Adaptation Logic Framework for Java-based Component Systems
Journal of Universal Computer Science 14(13), 2008

Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach
International Journal of Agent-Oriented Software Engineering 2(2), 2008

Alexander Slepoy, Aidan P. Thompson, Steven J. Plimpton
A constant-time kinetic Monte Carlo algorithm for simulation of large biochemical reaction networks
The Journal of Chemical Physics 128(20), 2008

Visara Urovi, Stefano Bromuri, Jarred McGinnis, Kostas Stathis, Andrea Omicini
Automating Workflow using Dialectical Argumentation
IADIS International Journal on Computer Science and Information Systems 3(2), Autumn 2008

Robert Tolksdorf, Lyndon J. B. Nixon, Elena Simperl
Towards a Tuplespace-based Middleware for the Semantic Web
Web Intelligence and Agent Systems 6(3), 2008

Maurizio Cimadamore, Mirko Viroli
On the reification of Java wildcards
Science of Computer Programming 73(2-3), October 2008

Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari
Smart Environments as Agent Workspaces
Ubiquitous Computing and Communication Journal CPE - Special Issue, June 2008

Lapo Mori
Writing a thesis with LaTeX
The PracTeX Journal, 2008

Pierluigi Contucci, Ignacio Gallo, Giulia Menconi
Phase Transitions in Social Sciences: Two-populations Mean Field Theory
International Journal of Modern Physics B 22(14), 10 June 2008

[top]

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

Andrea Omicini
Formal ReSpecT in the A&A Perspective
Electronic Notes in Theoretical Computer Science 175(2), June 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
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Electronic Notes in Theoretical Computer Science 180(2), June 2007

Stefania Bandini, Mizar Luca Federici, Giuseppe Vizzari
Situated Cellular Agents Approach to Crowd Modeling and Simulation
Cybernetics and Systems 38(7), 2007

Davide Ancona, Mirko Viroli
Guest Editorial
Journal of Object Technology 6(2), 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

Mirko Viroli, Andrea Omicini, Alessandro Ricci
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts
Applied Artificial Intelligence: An International Journal 21(4-5), April 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

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Timed Environment for Web Agents
Web Intelligence and Agent Systems 5(2), August 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

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

Jasmin Fisher, Thomas A. Henzinger
Executable cell biology
Nature Biotechnology 25, Nov. 2007

Atsushi Igarashi, Mirko Viroli
Variant path types for scalable extensibility
ACM SIGPLAN Notices 42(10), 2007

Giulio Piancastelli, Andrea Omicini
tuProlog 2.0: One Step Beyond
ALP Newsletter 20(1), February-March 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, Enrico Denti, Alessandro Ricci
Engineering a BPEL Orchestration Engine as a Multi-agent System
Science of Computer Programming 66(3), may 2007

Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Electronic Notes in Theoretical Computer Science 175(2), June 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

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

Pierluigi Contucci, Stefano Ghirlanda
Modeling Society with Statistical Mechanics: an Application to Cultural Contact and Immigration
Quality & Quantity 41(4), August 2007

Mukesh Bansal, Vincenzo Belcastro, Alberto Ambesi-Impiombato, Diego di Bernardo
How to infer gene networks from expression profiles
Molecular Systems Biology, February 2007

Mirko Viroli
A core calculus for correlation in orchestration languages
Journal of Logic and Algebraic Programming 70(1), jan 2007

Matthias Baldauf, Schahram Dustdar, Florian Rosenberg
A Survey on Context-Aware Systems
International Journal of Ad Hoc and Ubiquitous Computing 2(4), 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

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

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

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

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, Sep 2007

[top]

2006

Michael P. Papazoglou, Willem-Jan Van Den Heuvel
Service-Oriented Design and Development Methodology
International Journal of Web Engineering and Technology 2(4), July 2006

Mirko Viroli, Andrea Omicini
Coordination as a Service
Fundamenta Informaticae 73(4), 2006

Christine Julien, Gruia-Catalin Roman
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications
IEEE Transactions on Software Engineering 32(5), May 2006

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems 12(2), 2006

Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
Verification of Multi-agent Systems Via Bounded Model Checking
Lecture Notes in Computer Science 4304, 2006

Atsushi Igarashi, Mirko Viroli
Variant Parametric Types: A Flexible Subtyping Scheme for Generics
ACM Transactions on Programming Languages and Systems 28(5), September 2006

Marco Mamei, Ronaldo Menezes, Robert Tolksdorf, Franco Zambonelli
Case Studies for Self-organization in Computer Science
Journal of Systems Architecture 52(8-9), August-September 2006

Andrea Omicini, Agostino Poggi
Multiagent Systems
Intelligenza Artificiale III(1-2), March-June 2006

Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
Lime: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology 15(3), July 2006

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies
Science of Computer Programming 63(1), November 2006

R Alves, F Antunes, A Salvador
Tools for kinetic modeling of biochemical networks.
Nature Biotechnology 24(6), 2006

Jiming Liu, Kwok Ching Tsui
Toward Nature-Inspired Computing
Communications of the ACM 49(10), October 2006

L. Robert Pokorny, C. R. Ramakrishnan
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Lecture Notes in Computer Science 3476, June 2006

Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the Expressive Power of KLAIM-based Calculi
Theoretical Computer Science 356(3), May 2006

Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli
A Framework for Engineering Interactions in Java-based Component Systems
Electronic Notes in Theoretical Computer Science 154(1), 2006

Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research – Part 2
Informatica 30(1), January 2006

Andreas D. Lattner, Andrea Miene, Ubbo Visser, Otthein Herzog
Sequential Pattern Mining for Situation and Behaviour Prediction in Simulated Robotic Soccer
Lecture Notes in Computer Science 4020, 2006

Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
Logics for Artificial Intelligence
Intelligenza Artificiale III(1-2), March–June 2006

Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Electronic Notes in Theoretical Computer Science 154(1), 2006

M. Martin, P. Nurmi
A Generic Large Scale Simulator for Ubiquitous Computing
Mobile and Ubiquitous Systems, Annual International Conference on 0, jul 2006

Matteo Casadei, Luca Gardelli, Mirko Viroli
Collective Sorting Tuple Spacess
CEUR Workshop Proceedings, 26-27 September 2006

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Agens Faber: Toward a Theory of Artefacts for MAS
Electronic Notes in Theoretical Computer Science 150(3), 29 May 2006

Mirko Viroli, Alessandro Ricci, Andrea Omicini
Operating Instructions for Intelligent Agent Coordination
The Knowledge Engineering Review 21(1), March 2006

Sascha Ossowski, Ronaldo Menezes
On Coordination and its Significance to Distributed and Multi-Agent Systems
Concurrency and Computation: Practice and Experience 18(4), April 2006

Alessandro Ricci, Mirko Viroli, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure
Applied Artificial Intelligence: An International Journal 20(2-4), February-April 2006

[top]

2005

Mirko Viroli, Andrea Omicini
Process-Algebraic Approaches for Multi-Agent Systems: An Overview
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005

Andrea Omicini, Peter McBurney
The AgentLink III Technical Forums: Introduction to the Special Issue
The Knowledge Engineering Review 20(2), June 2005

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Quantitative Information in the Tuple Space Coordination Model
Theoretical Computer Science 346(1), 23 November 2005

Danny Weyns, Michael Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
Environments in Multiagent Systems
The Knowledge Engineering Review 20(2), June 2005

Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum
AgentLink Newsletter 17, April 2005

Enrico Denti, Andrea Omicini, Alessandro Ricci
Multi-paradigm Java-Prolog Integration in tuProlog
Science of Computer Programming 57(2), August 2005

Mirko Viroli, Giovanni Rimassa
On Access Restriction with Java Wildcards
Journal of Object Technology 4(10), 2005

M. Kacprzak, A. Lomuscio, T. Lasica, W. Penczek, M. Szreter
Verifying Multi-agent Systems via Unbounded Model Checking
Lecture Notes in Computer Science 3228, 2005

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
Electronic Notes in Theoretical Computer Science 128(5), 2005

Andrea Omicini, Alessandro Ricci, Mirko Viroli
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Electronic Notes in Theoretical Computer Science 128(5), 3 May 2005

Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS
Applicable Algebra in Engineering, Communication and Computing 16(2-3), August 2005

Andrea Omicini, Paolo Petta, Matjaz Gams
The Second AgentLink III Technical Forum: Main Issues and Hot Topics in European Agent Research
Informatica 29(4), November 2005

Giovanna Di Marzo Serugendo, Marie-Pierre Gleizes, Anthony Karageorgos
Self-Organization in Multi-Agent Systems
The Knowledge Engineering Review 20(2), June 2005

Luca Cernuzzi, Massimo Cossentino, Franco Zambonelli
Process Models for Agent-based Development
Engineering Applications of Artificial Intelligence 18(2), march 2005

[top]