VIROLI, MIRKO

VIROLI, MIRKO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 343 (tempo di esecuzione: 0.055 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Software MIRKO VIROLI 9999-01-01 IEEE SOFTWARE - 8.01 Ruolo editoriale in rivista -
The Knowledge Engineering Review Mirko Viroli 9999-01-01 KNOWLEDGE ENGINEERING REVIEW - 8.01 Ruolo editoriale in rivista -
Actor-Based Designs for Distributed Self-organisation Programming Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli 2024-01-01 - Springer Nature 2.01 Capitolo / saggio in libro paper-2023-lncs-active-objects-ac.pdfpaper-2023-lncs-active-objects-ac.pdf
Scalability through Pulverisation: Declarative deployment reconfiguration at runtime Farabegoli N.; Pianini D.; Casadei R.; Viroli M. 2024-01-01 FUTURE GENERATION COMPUTER SYSTEMS - 1.01 Articolo in rivista 2024-fgcs-pulverisation-dynamic-reconfig-OA.pdf
The eXchange Calculus (XC): A functional programming language design for distributed collective systems Audrito G.; Casadei R.; Damiani F.; Salvaneschi G.; Viroli M. 2024-01-01 THE JOURNAL OF SYSTEMS AND SOFTWARE - 1.01 Articolo in rivista 2024-jss-xc-calculus.pdf
A field-based computing approach to sensing-driven clustering in robot swarms Aguzzi G.; Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M. 2023-01-01 SWARM INTELLIGENCE - 1.01 Articolo in rivista s11721-022-00215-y.pdf
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala Audrito G.; Casadei R.; Damiani F.; Viroli M. 2023-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista 2012.08626.pdf
Field-informed Reinforcement Learning of Collective Tasks with Graph Neural Networks Aguzzi, Gianluca; Viroli, Mirko; Esterle, Lukas 2023-01-01 - IEEE COMPUTER SOC 4.01 Contributo in Atti di convegno paper.pdf
MacroSwarm: A Field-Based Compositional Framework for Swarm Programming Aguzzi G.; Casadei R.; Viroli M. 2023-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno paper-2023-coordination-swarm-behaviour.pdf
Programming (and Learning) Self-Adaptive & Self-Organising Behaviour with ScaFi: for Swarms, Edge-Cloud Ecosystems, and More Casadei, Roberto; Aguzzi, Gianluca; Pianini, Danilo; Viroli, Mirko 2023-01-01 - - 4.01 Contributo in Atti di convegno -
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks Audrito G.; Casadei R.; Damiani F.; Torta G.; Viroli M. 2023-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno paper23-coord-xc-processes.pdf
ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala Davide Domini; Filippo Cavallari; Gianluca Aguzzi; Mirko Viroli 2023-01-01 - Springer Science and Business Media Deutschland GmbH 4.01 Contributo in Atti di convegno -
Self-Organisation Programming: A Functional Reactive Macro Approach Casadei, Roberto; Dente, Francesco; Aguzzi, Gianluca; Pianini, Danilo; Viroli, Mirko 2023-01-01 - IEEE COMPUTER SOC 4.01 Contributo in Atti di convegno -
Space-Fluid Adaptive Sampling by Self-Organisation Casadei, Roberto; Mariani, Stefano; Pianini, Danilo; Viroli, Mirko; Zambonelli, Franco 2023-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista output.pdf
Towards Collective Sentiment Analysis in IoT-Enabled Scenarios Savaglio C.; Casadei R.; Manzoni P.; Viroli M.; Fortino G. 2023-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno main.pdf
A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge Casadei R.; Fortino G.; Pianini D.; Placuzzi A.; Savaglio C.; Viroli M. 2022-01-01 IEEE INTERNET OF THINGS JOURNAL - 1.01 Articolo in rivista A_Methodology_and_Simulation-Based_Toolchain_for_Estimating_Deployment_Performance_of_Smart_Collective_Services_at_the_Edge.pdf
Addressing Collective Computations Efficiency: Towards a Platform-level Reinforcement Learning Approach Aguzzi, Gianluca; Casadei, Roberto; Viroli, Mirko 2022-01-01 - IEEE 4.01 Contributo in Atti di convegno paper22-acsos-selfstab-leader-election.pdf
Digital twins, virtual devices, and augmentations for self-organising cyber-physical collectives Casadei R.; Pianini D.; Viroli M.; Weyns D. 2022-01-01 APPLIED SCIENCES - 1.01 Articolo in rivista applsci-12-00349-v4.pdf
Distributed runtime verification by past-CTL and the field calculus Giorgio Audrito; Ferruccio Damiani; Volker Stolz; Gianluca Torta; Mirko Viroli 2022-01-01 THE JOURNAL OF SYSTEMS AND SOFTWARE - 1.01 Articolo in rivista main.pdf
Dynamic Decentralization Domains for the Internet of Things Aguzzi, Gianluca; Casadei, Roberto; Pianini, Danilo; Viroli, Mirko 2022-01-01 IEEE INTERNET COMPUTING - 1.01 Articolo in rivista 09927406.pdf