Mirko Viroli » Publications » Journal Papers per Year

Journal Articles by (2000—2021)

Below, the papers published on journals by between 2000 and 2021, ordered by year of publication.


2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000

2020

Angelo Croatti, Matteo Gabellini, Montagna Sara, Alessandro Ricci
On the Integration of Agents and Digital Twins in Healthcare
Journal of Medical Systems 44(161), August 2020

Antonio Bucchiarone, Mirko D'Angelo, Danilo Pianini, Giacomo Cabri, Martina De Sanctis, Mirko Viroli, Roberto Casadei, Simon Dobson
On the Social Implications of Collective Adaptive Systems
IEEE Technology and Society Magazine 39(3), September 2020

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
Information 11(3), March 2020

Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Twenty years of coordination technologies: COORDINATION contribution to the state of art
Journal of Logical and Algebraic Methods in Programming 113, June 2020

Stefano Mariani, Andrea Omicini
Special Issue “Multi-Agent Systems”: Editorial
Applied Sciences 10(15), August 2020

Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Decentralizing Coordination in Open Vehicle Fleets for Scalable and Dynamic Task Allocation
Complexity, July 2020

Angelo Croatti, Alessandro Ricci
Mobile Apps as Personal Assistant Agents. The JaCa-Android Framework for Programming Agents-based applications on Mobile Devices
Autonomous Agents and Multi-Agent Systems 34, July 2020

Sara Montagna, Stefano Mariani, Emiliano Gamberini, Alessandro Ricci, Franco Zambonelli
Complementing agents with cognitive services: a case study in healthcare
Journal of Medical Systems, 2020

Sara Montagna, Michele Braccini, Andrea Roli
The Impact of Self-loops on Boolean Networks Attractor Landscape and Implications for Cell Differentiation Modelling
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2020

Neil Vaughan, Eloisa Vargiu, Stefano Mariani, Sara Montagna, Michael Schumacher
Guest Editorial: Healthcare Intelligent Multi Agent Systems
Journal of Medical Systems 44(138), 2020

Marin Lujak, Stefano Giordani, Andrea Omicini, Sascha Ossowski
Scalable Distributed Decision-Making and Coordination in Large and Complex Systems: Methods, Techniques, and Models
Complexity, July 2020

Sara Montagna, Angelo Croatti, Alessandro Ricci, Vanni Agnoletti, Vittorio Albarello, Emiliano Gamberini
Real-time tracking and documentation in trauma management
Health Informatics Journal 26(1), 2020

Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
Information 11(1), January 2020

[top]

2019

Angelo Croatti, Sara Montagna, Alessandro Ricci, Emiliano Gamberini, Vittorio Albarello, Vanni Agnoletti
BDI Personal Medical Assistant Agents: The Case of Trauma Tracking and Alerting
Artificial Intelligence in Medicine 96, May 2019

Marco Mamei, Nicola Bicocchi, Marco Lippi, Stefano Mariani, Franco Zambonelli
Evaluating Origin–Destination Matrices Obtained from CDR Data
Sensors 19(20), October 2019

Stefano Mariani, Eloisa Vargiu, Marco Mamei, Franco Zambonelli, Felip Miralles
Deliver intelligence to integrate care: the Connecare way
International Journal of Integrated Care 19(4), 2019

Stefano Mariani
Coordination in Socio-technical Systems: Where are we now? Where do we go next?
Science of Computer Programming, 2019

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
International Journal of Grid and Utility Computing 10(4), 2019

Michele Braccini, Andrea Roli, Marco Villani, Sara Montagna, Roberto Serra
A simplified model of chromatin dynamics drives differentiation process in Boolean models of GRN
The 2019 Conference on Artificial Life, 2019

Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-Order Calculus of Computational Fields
ACM Transactions on Computational Logic 20(1), jan 2019

Vittorio Maniezzo, Marco A. Boschetti, Antonella Carbonaro, Moreno Marzolla, Francesco Strappaveccia
Client-side Computational Optimization
ACM Transactions on Mathematical Software 45(2), June 2019

Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing
Future Generation Computer Systems 91, 2019

Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From distributed coordination to field calculus and aggregate computing
Journal of Logical and Algebraic Methods in Programming 109, 2019

Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
A development approach for collective opportunistic Edge-of-Things services
Information Sciences 498, 2019

Stefano Mariani, Andrea Omicini
Special Issue “Multi-Agent Systems”: Editorial
Applied Sciences 9(5), March 2019

[top]

2018

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Big Data and Cognitive Computing 2(3), 2018

Roberto Casadei, Aldini Alessandro, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms
Science of Computer Programming 167, 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms
Science of Computer Programming 166, 2018

Simon Mayer, Andrei Ciortea, Alessandro Ricci, Maria Ines Robles, Matthias Kovatsch, Angelo Croatti
Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions
Internet Technology Letters, 2018

Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples
Expert Systems 35(5), October 2018

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service
Theory and Practice of Logic Programming 18(5-6), September 2018

Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
Distributed Speaking Objects: a Case for Massive Multiagent Systems
International Workshop on Massively Multi-Agent Systems, 2018

Giovanni Ciatto, Stefano Mariani, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy
Computer Science and Information Systems 15(3), October 2018

Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate Graph Statistics
Electronic Proceedings in Theoretical Computer Science, EPTCS 264, 2018

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics
Fundamenta Informaticae 161(1-2), July 2018

Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
ACM Transactions on Modeling and Computer Simulation 28(2), March 2018

[top]

2017

Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-Adaptation to Device Distribution in the Internet of Things
ACM Transaction on Autonomous and Adaptive Systems 12(3), September 2017

Marco Lippi, Marco Mamei, Stefano Mariani, Franco Zambonelli
An Argumentation-based Perspective over the Social IoT
Journal of Internet of Things, 2017

Angelo Croatti, Alessandro Ricci, Mirko Viroli
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
International Journal of Distributed Systems and Technologies (IJDST) 8(1), 2017

Stefano Mariani, Andrea Omicini
State-of-the-Art and Trends in Nature-inspired Coordination Models
IEEE Intelligent Informatics Bulletin 18(2), December 2017

Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Formal Validation of Neural Networks as Timed Automata
Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics (CsBio17), 2017

Alessandro Ricci, Luca Tummolini, Cristiano Castelfranchi
Augmented societies with mirror worlds
AI & Society, December 2017

Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Aggregate plans for multiagent systems
International Journal of Agent-Oriented Software Engineering 4(5), 2017

Sara Montagna, Andrea Omicini
Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study
Simulation: Transactions of the Society for Modeling and Simulation International 93(9), September 2017

[top]

2016

Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields
Science of Computer Programming 117, 2016

Giacomo Domeniconi, Marco Masseroli, Gianluca Moro, Pietro Pinoli
Cross-organism learning method to discover new gene functionalities
Comput Methods and Programs in Biomedicine 126, April 2016

Maura Cárdenas-García, Pedro Pablo González-Pérez, Sara Montagna, Oscar Sánchez Cortés, Elena Hernández Caballero
Modeling intercellular communication as a survival strategy of cancer cells: An in-silico approach on a flexible bioinformatics framework
Bioinformatics and Biology Insights 10, March 2016

Roberta Calegari, Enrico Denti
Building Smart Spaces on the Home Manager platform
ALP Newsletter, December 2016

Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
Spatial awareness in pervasive ecosystems
The Knowledge Engineering Review 31(4), September 2016

Franco Zambonelli, Andrea Omicini, Paul Scerri
Coordination in Large-Scale Socio-Technical Systems: Introduction to the Special Section
IEEE Transactions on Emerging Topics in Computing 4(1), January-March 2016

[top]

2015

Jacob Beal, Mirko Viroli
Formal Foundations of Sensor Network Applications
SIGSPATIAL Special 7(2), sep 2015

Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, Jose Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination
Pervasive and Mobile Computing 17-B, February 2015

Pietro Di Lena, Giacomo Domeniconi, Luciano Margara, Gianluca Moro
GOTA: GO term annotation of biomedical literature
BMC Bioinformatics 16, october 2015

Ferruccio Damiani, Mirko Viroli
Type-based Self-stabilisation for Computational Fields
Logical Methods in Computer Science 11(4), 2015

Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
A coordination model of pervasive service ecosystems
Science of Computer Programming 110, 2015

Jacob Beal, Danilo Pianini, Mirko Viroli
Aggregate Programming for the Internet of Things
Computer 48(9), Sept 2015

Sara Montagna, Mirko Viroli, Andrea Roli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development
SIMULATION: Transactions of the Society for Modeling and Simulation International 91(7), June 2015

Jacob Beal, Mirko Viroli
Space-Time Programming
Philosophical Transactions of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 373(2046), 2015

Mehdi Dastani
Programming Multi-agent Systems
The Knowledge Engineering Review 30(Special Issue 04), September 2015

Stefano Mariani, Andrea Omicini
Coordinating Activities and Change: An Event-Driven Architecture for Situated MAS
Engineering Applications of Artificial Intelligence 41, May 2015

[top]

2014

Enrico Denti
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto
World Journal of Computer Application and Technology 2(1), January 2014

Enrico Denti
Novel pervasive scenarios for home management: the Butlers architecture
SpringerPlus 3(52), January 2014

Jose Luis Fernandez-Marquez, Mirko Viroli, Gabriella Castelli
Best ACM SAC Articles on Coordination and Self-Adaptation
ACM Trans. Auton. Adapt. Syst. 9(2), jul 2014

[top]

2013

Enrico Denti, Andrea Omicini, Roberta Calegari
tuProlog: Making Prolog Ubiquitous
ALP Newsletter, October 2013

Andrea Omicini
Nature-inspired Coordination Models: Current Status, Future Trends
ISRN Software Engineering, 2013

Danilo Pianini, Sara Montagna, Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST
Journal of Simulation, 2013

Andrea Omicini, Stefano Mariani
Agents & Multiagent Systems: En Route Towards Complex Intelligent Systems
Intelligenza Artificiale 7(2), November 2013

Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems
Mobile Networks and Applications 18(3), 2013

Mirko Viroli, Jacob Beal, Kyle Usbeck
Operational Semantics of Proto
Science of Computer Programming 78(6), June 2013

Elena Nardini, Andrea Omicini, Mirko Viroli
Semantic Tuple Centres
Science of Computer Programming 78(5), May 2013

Houguang Yue
From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus
International Journal of Foundations of Computer Science 24(03), 2013

Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Description and composition of bio-inspired design patterns: a complete overview
Natural Computing 12(1), 2013

Mirko Viroli
On competitive self-composition in pervasive services
Science of Computer Programming 78(5), May 2013

Pedro Pablo González Pérez, Andrea Omicini, Marco Sbaraglia
A Biochemically-inspired Coordination-based Model for Simulating Intracellular Signalling Pathways
Journal of Simulation 7(3), August 2013

Pedro Pablo González-Pérez, Maura Cárdenas-García, Sara Montagna
Understanding the PI3K/AKT Anti-Apoptotic Signalling Pathway: a Tuple Space-Based Computational Framework for Simulating the Signal Transduction
Journal of Computations & Modelling 3(2), 2013

Maria Ganzha, Marcin Paprzycki, Andrea Omicini
Software Agents: Twenty Years and Counting
Computing Now 6(11), November 2013

Fabio Paglieri, Cristiano Castelfranchi, Célia Costa Pereira, Rino Falcone, Andrea Tettamanzi, Serena Villata
Trusting the Messenger because of the Message: Feedback Dynamics from Information Quality to Source Evaluation
Computational and Mathematical Organization Theory, aug 2013

Giuseppe Vizzari, Lorenza Manenti, Luca Crociani
Adaptive Pedestrian Behaviour for the Preservation of Group Cohesion
Complex Adaptive Systems Modeling 1(1), 2013

Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Science of Computer Programming 78(6), June 2013

Olivier Boissier, Rafael H. Bordini, Jomi Hübner, Alessandro Ricci, Andrea Santi
Multi-agent Oriented Programming with JaCaMo
Science of Computer Programming 78(6), June 2013

[top]

2012

Maura Cárdenas-García, Pedro Pablo González-Pérez, Sara Montagna
Simulation of caspases apoptotic signalling pathway in a tuple space-based bioinformatics infrastructure
EMBnet.journal 18(B), 2012

Franco Zambonelli
Toward Sociotechnical Urban Superorganisms
Computer 45(8), 2012

Alessandro Ricci, Andrea Santi
Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development
International Journal on Advances in Software 5(1-2), 2012

Schahram Dustdar, Hong-Linh Truong
Virtualizing Software and Humans for Elastic Processes in Multiple Clouds-a Service Management Perspective
International Journal of Next-Generation Computing 3(2), 2012

Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM 55(9), sep 2012

Aliaksandr Birukou, Enrico Blanzieri, Paolo Giorgini
Implicit: A Multi-agent Recommendation System for Web Search
Autonomous Agents and Multi-Agent Systems 24(1), 2012

Juan Ye, Simon Dobson, Susan McKeever
Situation Identification Techniques in Pervasive Computing: A Review
Pervasive and Mobile Computing 8(1), February 2012

Schahram Dustdar, Yike Guo, Rui Han, Benjamin Satzger, Hong-Linh Truong
Programming Directives for Elastic Computing
IEEE Internet Computing 16(6), 2012

Mariachiara Puviani, Giovanna Di Marzo Serugendo, Regina Frei, Giacomo Cabri
A Method Fragments Approach to Methodologies for Engineering Self-Organising Systems
ACM Transactions on Autonomous and Adaptive Systems 7(12), September 2012

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science 22(2), 2012

Charalampos Tampitsikas, Stefano Bromuri, Nicoletta Fornara, Michael Ignaz Schumacher
Interdependent Artificial Institutions in Agent Environments
Applied Artificial Intelligence: An International Journal 26(4), May 2012

[top]

2011

Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
Sustainable biomass power plant location in the Italian Emilia-Romagna region
ACM Transactions on Intelligent Systems and Technology 2(4), July 2011

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana Mascardi, Viviana Patti, Alessandro Ricci, Andrea Santi
An interaction-oriented agent framework for open environments
AI* IA 2011: Artificial Intelligence Around Man and Beyond, 2011

Robert Brijder, Andrzej Ehrenfeucht, Michael G. Main, Grzegorz Rozenberg
A Tour of reaction Systems.
Int. J. Found. Comput. Sci. 22(7), 2011

Kirk L. Kroeker
Improving brain-computer interfaces
Commun. ACM 54(10), 2011

Luca Cernuzzi, Franco Zambonelli
Adaptive organizational changes in agent-oriented methodologies
The Knowledge Engineering Review 26(2), May 2011

Marco Raberto, Andrea Teglio, Silvano Cincotti
Debt Deleveraging and Business Cycles. An Agent-Based Perspective
Economics: The Open-Access, Open-Assessment E-Journal Economics Discussion Papers(2011-31), 2011

Rino Falcone, Michele Piunti, Matteo Venanzi, Cristiano Castelfranchi
From Manifesta to Krypta: The Relevance of Categories for Trusting Others
Transactions on Intelligent Systems and Technology , 2011

Giuseppe Cardone, Antonio Corradi, Luca Foschini
Cross-Network Opportunistic Collection of Urgent Data in Wireless Sensor Networks
The Computer Journal, 2011

Jaron Lanier
The most ancient marketing
Communications of the ACM 54(12), December 2011

Aline Carneiro Viana, Stephane Maag, Fatiha Zaidi
One Step Forward: Linking Wireless Self-organizing Network Validation Techniques with Formal Testing Approaches
ACM Computing Surveys 43(2), jan 2011

Alessandro Ricci, Michele Piunti, Mirko Viroli
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective
Autonomous Agents and Multi-Agent Systems 23(2), September 2011

Andrea Omicini, Mirko Viroli
Coordination Models and Languages: From Parallel Computing To Self-Organisation
The Knowledge Engineering Review 26(1), March 2011

Clare Dixon, Alan Winfield, Micheal Fisher
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems
Lecture Notes in Computer Science 6856, 2011

Elena Nardini, Andrea Omicini, Mirko Viroli, Michael Ignaz Schumacher
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres
Applied Computing Review 11(2), Spring 2011

Peter McBurney, Simon Parsons, Mirko Viroli
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue
The Knowledge Engineering Review 26(1), March 2011

Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java
Science of Computer Programming 76(1), January 2011

Matteo Venanzi, Michele Piunti, Rino Falcone, Cristiano Castelfranchi
Facing Openness with Socio Cognitive Trust and Categories
Twenty Second International Joint Conference on Artificial Intelligence (IJCAI 2011), 2011

Tom Geller
Seeing is not enough
Commun. ACM 54(10), 2011

Vitaly Shmatikov
Anonymity is not privacy: technical perspective
Commun. ACM 54(12), 2011

YoungMin Kwon, Gul Agha
Verifying the Evolution of Probability Distributions Governed by a DTMC
IEEE Transactions on Software Engineering 37(1), January 2011

Michael Davis
Will software engineering ever be engineering?
Communications of the ACM 54, November 2011

Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a logic framework for Web programming
Intelligenza Artificiale 5(1), 2011

Kirk L. Kroeker
The Rise of Molecular Machines
Communications of the ACM 54(12), 2011

Carlos Canal, Mirko Viroli
Preface
Science of Computer Programming 76(1), May 2011

Ana García-Fornes, Jomi F. Hübner, Andrea Omicini, Juan A. Rodríguez-Aguilar, Vicent Botti
Infrastructures and Tools for Multiagent Systems for the New Generation of Distributed Systems
Engineering Applications of Artificial Intelligence 24(7), October 2011

Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces
ACM Transactions on Autonomous and Adaptive Systems 6(2), June 2011

Franco Zambonelli, Mirko Viroli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems
International Journal of Pervasive Computing and Communications 7(3), 2011

Li Gong
Java Security Architecture Revisited
ACM Queue 9(9), 2011

Poul-Henning Kamp
The software industry is the problem
Commun. ACM 54(11), 2011

Schahram Dustdar, Kamal Bhattacharya
The Social Compute Unit
IEEE Internet Computing 15(3), 2011

Paul Hyman
Dennis Ritchie, 1941-2011
Commun. ACM 54(12), 2011

Schahram Dustdar, Yike Guo, Benjamin Satzger, Hong-Linh Truong
Principles of Elastic Processes
IEEE Internet Computing 15(5), 2011

Kai Kuikkaniemi, Giulio Jacucci, Marko Turpeinen, Eve Hoggan, Jörg Müller
From Space to Stage: How Interactive Screens Will Change Urban Life
Computer 44(6), June 2011

Michael A. Cusumano
The legacy of Steve Jobs
Commun. ACM 54(12), 2011

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
A Calculus of Agents and Artifacts
Communications in Computer and Information Science 50, 2011

Samuel Greengard
Living in a digital world
Commun. ACM 54(10), 2011

Luca Cernuzzi, Ambra Molesini, Andrea Omicini, Franco Zambonelli
Adaptable Multi-Agent Systems: The Case of the Gaia Methodology
International Journal of Software Engineering and Knowledge Engineering 21(4), June 2011

Rishiyur S. Nikhil
Abstraction in hardware system design
Commun. ACM 54(10), 2011

Sarah Cohen, James T. Hamilton, Fred Turner
Computational journalism
Communications of the ACM 54(10), October 2011

[top]

2010

Ambra Molesini, Alessandro Garcia, Christina von Flach G. Chavez, Thaís Vasconcelos Batista
Stability Assessment of Aspect-Oriented Software Architectures: A Quantitative Study
Journal of Systems and Software 83(5), May 2010

Clemens Holzmann, Alois Ferscha
A Framework for Utilizing Qualitative Spatial Relations between Networked Embedded Systems
Pervasive and Mobile Computing 6(3), 2010

Silvano Cincotti, Marco Raberto, Andrea Teglio
Credit Money and Macroeconomic Instability in the Agent-based Model and Simulator Eurace
Economics: The Open-Access, Open-Assessment E-Journal 4(2010-26), 2010

Antonio Natali, Ambra Molesini
Towards Model-driven Communications
World Academy of Science, Engineering and Technology 64, April 2010

Mirko Viroli, Franco Zambonelli
A Biochemical Approach to Adaptive Service Ecosystems
Information Sciences 180(10), 2010

Cristiano Castelfranchi, Giovanni Pezzullo, Luca Tummolini
Behavioral Implicit Communication (BIC): Communicating with Smart Environments via our Practical Behavior and Its Traces
International Journal of Ambient Computing and Intelligence 2(1), January-March 2010

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli
Logic-based decision support for strategic environmental assessment
Theory and Practice of Logic Programming 10(4-6), July 2010

Alessandro Ricci, Enrico Denti, Michele Piunti
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems
Multiagent and Grid Systems 6(2), June 2010

Charles M. Macal, Michael J. North
Tutorial on Agent-based Modelling and Simulation
Journal of Simulation 4(3), September 2010

Ambra Molesini, Enrico Denti, Andrea Omicini
Agent-based Conference Management: A Case Study in SODA
International Journal of Agent-Oriented Software Engineering 4(1), 2010

Sara Montagna, Mirko Viroli
A Framework for Modelling and Simulating Networks of Cells
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10) Volume 268, 21 December 2010

Paola Lecca, Adaoha E. C. Ihekwaba, Lorenzo Dematté, Corrado Priami
Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient
Journal of Integrative Bioinformatics 7(1), 2010

Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo
Using Event-Driven Lightweight DSC-based Agents for MAS Modelling
International Journal of Agent-Oriented Software Engineering 4(2), 2010

Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
Argumentation and Artifacts for Negotiation Support
International Journal of Artificial Intelligence 4(S10), Spring 2010

Bo Sun Conghua Zhou, Liu Zhifeng
Abstraction for Model Checking the Probabilistic Temporal Logic of Knowledge
Lecture Notes in Computer Science 6319, 2010

[top]

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]

2004

Robert Grimm, Janet Davis, Eric Lemar, Adam Macbeth, Steven Swanson, Thomas Anderson, Brian Bershad, Gaetano Borriello, Steven Gribble, David Wetherall
System Support for Pervasive Applications
ACM Transactions on Computer Systems 22(4), November 2004

Andrea Omicini, Sascha Ossowski
Coordination and Collaboration Activities in Cooperative Information Systems
International Journal of Cooperative Information Systems 13(1), March 2004

Ronaldo Menezes, Andrea Omicini, Mirko Viroli
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
Electronic Notes in Theoretical Computer Science 97, 22 July 2004

Davide Ancona, Mirko Viroli
Guest Editorial
jot 3(11), 2004

Zahia Guessoum
Adaptive Agents and Multiagent Systems
IEEE Distributed Systems Online 5(7), July 2004

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael J. Wooldridge
Verifiable Multi-agent Programs
Lecture Notes in Computer Science 3067, 2004

Enrico Denti, Nando Prati
Relevance of Winning Coalitions in Indirect Control of Corporations
Theory and Decision 56(2), 2 2004

Farhad Arbab
Reo: A Channel-based Coordination Model for Component Composition
Mathematical Structures in Computer Science 14, 2004

Nigel Shadbolt
From the Editor in Chief: Nature-Inspired Computing
IEEE Intelligent Systems 19(1), January-February 2004

Franco Zambonelli, Andrea Omicini
Open Directions in Agent-Oriented Software Engineering
UPGRADE 04(IV), August 2004

Philip K. McKinley, Seyed Masoud Sadjadi, Eric P. Kasten, Betty H.C. Cheng
Composing Adaptive Software
IEEE Computer 37(7), 2004

Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
Multi-agent Infrastructures for Objective and Subjective Coordination
Applied Artificial Intelligence: An International Journal 18(9-10), October-December 2004

Franco Zambonelli, Andrea Omicini
Challenges and Research Directions in Agent-Oriented Software Engineering
Autonomous Agents and Multi-Agent Systems 9(3), November 2004

[top]

2003

Peter Wegner, Dina Goldin
Computation Beyond Turing Machines
Communications of the ACM 46(4), April 2003

Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engeneering Methodologies 12(3), July 2003

Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
From SHIQ and RDF to OWL: The Making of a Web Ontology Language
Web Semantics: Science, Services and Agents on the World Wide Web 1(1), December 2003

Brian Henderson-Sellers
Method engineering for OO systems development
Communication of the ACM 46(10), October 2003

Katiuscia Sacco, Valentina Galletto, Enrico Blanzieri
How has the 9/11 terrorist attack influenced decision making?
Applied Cognitive Psychology 17(9), 2003

Andrea Omicini, Alessandro Ricci
Reasoning about Organisation: Shaping the Infrastructure
AI*IA Notizie XVI(2), June 2003

Mirko Viroli, Andrea Omicini
Coordination as a Service: Ontological and Formal Foundation
Electronic Notes in Theoretical Computer Science 68(3), March 2003

Andrea Omicini, Alessandro Ricci, Mirko Viroli
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Electronic Notes in Theoretical Computer Science 85(3), August 2003

Päivi Ovaska, Matti Rossi, Pentti Marttiin
Architecture as a Coordination Tool in Multi-site Software Development
Software Process: Improvement and Practice 8(4), October/December 2003

Jeffrey O. Kephart, David M. Chess
The Vision of Autonomic Computing
IEEE Computer 36(1), January 2003

Franco Zambonelli, H. Van Dyke Parunak
Towards a Paradigm Change in Computer Science and Software Engineering: A Synthesis
The Knowledge Engineering Review 18(4), December 2003

[top]

2002

Sascha Ossowski, Andrea Omicini
Coordination Knowledge Engineering
The Knowledge Engineering Review 17(4), December 2002

Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli
A Survey of Coordination Middleware for XML-centric Applications
The Knowledge Engineering Review 17(4), December 2002

Roy Thomas Fielding, Richard N. Taylor
Principled Design of the Modern Web Architecture
ACM Transactions on Internet Technology 2(2), May-June 2002

Mirko Viroli, Andrea Omicini
An Observation Approach to Semantics of Agents Communication Languages
Applied Artificial Intelligence: An International Journal 16(9-10), October-December 2002

José Desharnais, Abbas Edalat, Prakash Panangaden
Bisimulation for Labelled Markov Processes
Information and Computation 179(2), 2002

Enrico Denti, Andrea Omicini, Alessandro Ricci
Coordination Tools for MAS Development and Deployment
Applied Artificial Intelligence: An International Journal 16(9-10), October-December 2002

Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Linear Embedding for a Quantitative Comparison of Language Expressiveness
Electronic Notes in Theoretical Computer Science 59(3), 2002

Kouichi Takahashi, Katsuyuki Yugi, Kenta Hashimoto, Yohei Yamada, Christopher J.F. Pickett, Masaru Tomita
Computational challenges in cell simulation: a software engineering approach
IEEE Intelligent Systems 17(5), 2002

Mirko Viroli, Andrea Omicini, Alessandro Ricci
Modelling Agents as Observable Sources
Journal of Universal Computer Science 8(4), April 2002

Brian Henderson-Sellers
Process Metamodelling and Process Construction: Examples Using the OPEN Process Framework (OPF)
Annals of Software Engineering 14(1-4), 2002

Hidde De Jong
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
Journal of Computational Biology 9(1), 2002

J.A. Scott Kelso
The Complementary Nature of Coordination Dynamics: Self-organization and Agency
Nonlinear Phenomena in Complex Systems 5(4), 2002

James J. Odell
Objects and Agents Compared
Journal of Object Technology 1(1), May-June 2002

Alessandro Ricci, Andrea Omicini, Enrico Denti
Virtual Enterprises and Workflow Management as Agent Coordination Issues
International Journal of Cooperative Information Systems 11(3/4), September-December 2002

[top]

2001

Andrea Omicini, Enrico Denti
Formal ReSpecT
Electronic Notes in Theoretical Computer Science 48, June 2001

Fernanda Barbosa, José C. Cunha
A Coordination Language for Collective Agent-based Systems: GroupLog
Applied Artificial Intelligence: An International Journal 15(1), January 2001

Thomas Moran, Paul Dourish
Introduction to This Special Issue on Context-Aware Computing
Human-Computer Interaction 20(2-4), February 2001

Andrea Omicini, Enrico Denti
From Tuple Spaces to Tuple Centres
Science of Computer Programming 41(3), November 2001

Agostino Dovier, Maria Chiara Meo, Andrea Omicini
Preface
Electronic Notes in Theoretical Computer Science 48, 4-6 June 2001

Andrea Omicini, George A. Papadopoulos
Editorial: Why Coordination Models and Languages in AI?
Applied Artificial Intelligence: An International Journal 15(1), January 2001

Eric Monfroy
Control-driven Constraint Propagation
Applied Artificial Intelligence: An International Journal 15(1), January 2001

Enrico Denti, Andrea Omicini
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents
Autonomous Agents and Multi-Agent Systems 1-2(4), March-June 2001

Andrea Omicini
On the Notion of Agent Coordination Context: Preliminary Notes
AI*IA Notizie XIV(4), December 2001

Alessandro Ricci, Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN
AI*IA Notizie XIV(4), December 2001

Naftaly H. Minsky, Victoria Ungureanu, Yaron M. Minsky
Safe Tuplespace-based Coordination in Multiagent Systems
Applied Artificial Intelligence: An International Journal 15(1), January 2001

Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems
AI*IA Notizie XIV(4), December 2001

Nicholas R. Jennings
An Agent-based Approach for Building Complex Software Systems
Communications of the ACM 44(4), April 2001

Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
XML Dataspaces for the Coordination of Internet Agents
Applied Artificial Intelligence: An International Journal 15(1), January 2001

Nando Prati, Enrico Denti
An Algorithm for Winning Coalitions in Indirect Control of Corporations
Decisions in Economis and Finance 24(2), March 2001

Andrea Omicini, George A. Papadopoulos
Coordination as a Paradigm for Systems Integration
Journal of Systems Integration 10(2), April 2001

Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge
Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems
International Journal of Software Engineering and Knowledge Engineering 11(3), 2001

Scott E. Page
Self Organization and Coordination
Computational Economics 18(1), August 2001

Ian Foster, Carl Kesselman, Steven Tuecke
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications 15(3), August 2001

Douglas A. Stuart, Monica Brockmeyer, Aloysius K. Mok, Farnam Jahanian
Simulation-verification: biting at the state explosion problem
IEEE Transactions on Software Engineering 27(7), july 2001

[top]

2000

Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Jr. Knight, Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Amorphous Computing
Communications of the ACM 43(5), may 2000

Michael A. Gibson, Jehoushua Bruck
Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels
The Journal of Physical Chemistry A 104(9), March 2000

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
On the Expressiveness of Linda Coordination Primitives
Information and Computation 156(1-2), January 2000

Mirko Viroli, Antonio Natali
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature
ACM SIGPLAN Notices 35(10), 2000

Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
MARS: A Programmable Coordination Architecture for Mobile Agents
IEEE Internet Computing 4(4), July/August 2000

Nicholas R. Jennings
On Agent-Based Software Engineering
Artificial Intelligence 117(2), March 2000

Dejan S. Milojicic, Fred Douglis, Yves Paindaveine, Richard Wheeler, Songnian Zhou
Process Migration
ACM Computing Surveys 32(3), September 2000

Alistair Cockburn
Selecting a Project's Methodology
IEEE Software 17(4), 2000

Michael J. Wooldridge, Nicholas R. Jennings, David Kinny
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems 3(3), 2000

Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Jr. Knight, Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, Ron Weiss
Amorphous Computing
Communications of the ACM 43(5), May 2000

[top]