Per tipo

72 articoli in rivista / Mirko Viroli

long bib

articoli in rivista

A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (IEEE Internet of Things Journal, 2022) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
Partitioned integration and coordination via the self-organising coordination regions pattern (Future Generation Computer Systems, 2021) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (Future Generation Computer Systems, 2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
From distributed coordination to field calculus and aggregate computing (Journal of Logical and Algebraic Methods in Programming, 2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
A Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A development approach for collective opportunistic Edge-of-Things services (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples (Expert Systems, 2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Towards attack-resistant Aggregate Computing using trust mechanisms (Science of Computer Programming, 2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms (Science of Computer Programming, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate plans for multiagent systems (International Journal of Agent-Oriented Software Engineering, 2017) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Self-Adaptation to Device Distribution in the Internet of Things (ACM Transactions on Autonomous and Adaptive Systems, 2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (International Journal of Distributed Systems and Technologies, 2017) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
A type-sound calculus of computational fields (Science of Computer Programming, 2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
Spatial awareness in pervasive ecosystems (The Knowledge Engineering Review, 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
Formal Foundations of Sensor Network Applications (2015) — Jacob Beal, Mirko Viroli
Aggregate Programming for the Internet of Things (2015) — Jacob Beal, Danilo Pianini, Mirko Viroli
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, 2015) — Sara Montagna, Mirko Viroli, Andrea Roli
A coordination model of pervasive service ecosystems (Science of Computer Programming, 2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (Pervasive and Mobile Computing, 2015) — Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José 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
Space-Time Programming (2015) — Jacob Beal, Mirko Viroli
Semantic Tuple Centres (Science of Computer Programming, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
Description and composition of bio-inspired design patterns: a complete overview (2013) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
On competitive self-composition in pervasive services (Science of Computer Programming, 2013) — Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (Journal of Simulation, 2013) — Danilo Pianini, Sara Montagna, Mirko Viroli
Operational Semantics of Proto (Science of Computer Programming, 2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Injecting Self-organisation into Pervasive Service Ecosystems (2013) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming, 2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Standard Type Soundness for Agents and Artifacts (2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Preface (Science of Computer Programming, 2011) — Carlos Canal, Mirko Viroli
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (Autonomous Agents and Multi-Agent Systems, 2011) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Coordination Models and Languages: From Parallel Computing To Self-Organisation (The Knowledge Engineering Review, 2011) — Andrea Omicini, Mirko Viroli
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (The Knowledge Engineering Review, 2011) — Peter McBurney, Simon Parsons, Mirko Viroli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (2011) — Franco Zambonelli, Mirko Viroli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (Science of Computer Programming, 2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
A Calculus of Agents and Artifacts (2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (ACM Transactions on Autonomous and Adaptive Systems, 2011) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (Applied Computing Review, 2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
A Biochemical Approach to Adaptive Service Ecosystems (2010) — Mirko Viroli, Franco Zambonelli
Argumentation and Artifacts for Negotiation Support (International Journal of Artificial Intelligence, 2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
On the Collective Sort Problem for Distributed Tuple Spaces (Science of Computer Programming, 2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
Environment in Agent-Oriented Software Engineering Methodologies (Multiagent and Grid Systems, 2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (International Journal of Agent-Oriented Software Engineering, 2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Artifacts in the A&A Meta-Model for Multi-Agent Systems (Autonomous Agents and Multi-Agent Systems, 2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Adaptation Logic Framework for Java-based Component Systems (Journal of Universal Computer Science, 2008) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
Lightweight Family Polymorphism (2008) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
On the reification of Java wildcards (Science of Computer Programming, 2008) — Maurizio Cimadamore, Mirko Viroli
A core calculus for correlation in orchestration languages (2007) — Mirko Viroli
Preface (Science of Computer Programming, 2007) — Carlos Canal, Mirko Viroli
Variant path types for scalable extensibility (2007) — Atsushi Igarashi, Mirko Viroli
Guest Editorial (2007) — Davide Ancona, Mirko Viroli
Infrastructures for the Environment of Multiagent Systems (Autonomous Agents and Multi-Agent Systems, 2007) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Timed Environment for Web Agents (Web Intelligence and Agent Systems, 2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (Applied Artificial Intelligence, 2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering a BPEL Orchestration Engine as a Multi-agent System (Science of Computer Programming, 2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
Coordination as a Service (Fundamenta Informaticae, 2006) — Mirko Viroli, Andrea Omicini
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (ACM Transactions on Programming Languages and Systems, 2006) — Atsushi Igarashi, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (Science of Computer Programming, 2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination (The Knowledge Engineering Review, 2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure (Applied Artificial Intelligence, 2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
On Access Restriction with Java Wildcards (2005) — Mirko Viroli, Giovanni Rimassa
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (Informatica, 2005) — Alessandro Ricci, Mirko Viroli
Environments in Multiagent Systems (The Knowledge Engineering Review, 2005) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (Applicable Algebra in Engineering, Communication and Computing, 2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Guest Editorial (2004) — Davide Ancona, Mirko Viroli
Multi-agent Infrastructures for Objective and Subjective Coordination (Applied Artificial Intelligence, 2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (2003) — Mirko Viroli
An Observation Approach to Semantics of Agents Communication Languages (Applied Artificial Intelligence, 2002) — Mirko Viroli, Andrea Omicini
Modelling Agents as Observable Sources (Journal of Universal Computer Science, 2002) — Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems (AI*IA Notizie, 2001) — Mirko Viroli, Andrea Omicini
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (2000) — Mirko Viroli, Antonio Natali

72 articoli in rivista • in cima • indice • in fondo