VIROLI, MIRKO
VIROLI, MIRKO
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Software
In corso di stampa MIRKO VIROLI
Software
In corso di stampa Viroli, Mirko
The Knowledge Engineering Review
In corso di stampa Mirko Viroli
Low-code design of collective systems with ScaFi-Blocks
2026 Aguzzi, G.; Cerioni, M.; Viroli, M.
A Demonstrator for Self-organizing Robot Teams
2025 Aguzzi, G.; Bacchini, L.; Baiardi, M.; Casadei, R.; Cortecchia, A.; Domini, D.; Farabegoli, N.; Pianini, D.; Viroli, M.
A Fine-Tuning Pipeline with Small Conversational Data for Healthcare Chatbot
2025 Aguzzi, G.; Magnini, M.; Pengo, M. F.; Viroli, M.; Montagna, S.
Aggregate Runtime Verification for Emergency Healthcare in Crowded Events
2025 Torta, Gianluca; Aguzzi, Gianluca; Damiani, Ferruccio; Viroli, Mirko
Declarative Deployment Planning for Green Pulverised Collective Computational Systems
2025 Brogi, A.; Casadei, R.; Farabegoli, N.; Forti, S.; Viroli, M.
MacroSwarm: A Field-based Compositional Framework for Swarm Programming
2025 Aguzzi, G.; Casadei, R.; Viroli, M.
MacroSwarm: A scala framework for swarm programming
2025 Aguzzi, G.; Viroli, M.
Neighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning
2025 Malucelli, N.; Domini, D.; Aguzzi, G.; Viroli, M.
Programming Distributed Collective Processes in the eXchange Calculus
2025 Audrito, G; Casadei, R; Damiani, F; Torta, G; Viroli, M
Scaling Swarm Coordination with GNNs—How Far Can We Go?
2025 Aguzzi, Gianluca; Domini, Davide; Venturini, Filippo; Viroli, Mirko
SHAC++: A Neural Network to Rule All Differentiable Simulators
2025 Bertolotti, Francesco; Aguzzi, Gianluca; Cazzola, Walter; Viroli, Mirko
Software Engineering for Collective Cyber-Physical Ecosystems
2025 Casadei, Roberto; Aguzzi, Gianluca; Audrito, Giorgio; Damiani, Ferruccio; Pianini, Danilo; Scarso, Giordano; Torta, Gianluca; Viroli, Mirko
A Reusable Simulation Pipeline for Many-Agent Reinforcement Learning
2024 Domini, D.; Aguzzi, G.; Pianini, D.; Viroli, M.
Actor-Based Designs for Distributed Self-organisation Programming
2024 Casadei, Roberto; Damiani, Ferruccio; Torta, Gianluca; Viroli, Mirko
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report
2024 Casadei, R.; Viroli, M.
Dynamic IoT deployment reconfiguration: A global-level self-organisation approach
2024 Farabegoli, N.; Pianini, D.; Casadei, R.; Viroli, M.
Field-Based Coordination for Federated Learning
2024 Domini, Davide; Aguzzi, Gianluca; Esterle, Lukas; Viroli, Mirko
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Software | MIRKO VIROLI | 9999-01-01 | IEEE SOFTWARE | - | 8.01 Ruolo editoriale in rivista | - |
| Software | Viroli, Mirko | 9999-01-01 | 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 | - |
| Low-code design of collective systems with ScaFi-Blocks | Aguzzi, G.; Cerioni, M.; Viroli, M. | 2026-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
| A Demonstrator for Self-organizing Robot Teams | Aguzzi, G.; Bacchini, L.; Baiardi, M.; Casadei, R.; Cortecchia, A.; Domini, D.; Farabegoli, N.; P...ianini, D.; Viroli, M. | 2025-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper_26.pdf |
| A Fine-Tuning Pipeline with Small Conversational Data for Healthcare Chatbot | Aguzzi, G.; Magnini, M.; Pengo, M. F.; Viroli, M.; Montagna, S. | 2025-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper_46.pdf |
| Aggregate Runtime Verification for Emergency Healthcare in Crowded Events | Torta, Gianluca; Aguzzi, Gianluca; Damiani, Ferruccio; Viroli, Mirko | 2025-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | 2025123283.pdf |
| Declarative Deployment Planning for Green Pulverised Collective Computational Systems | Brogi, A.; Casadei, R.; Farabegoli, N.; Forti, S.; Viroli, M. | 2025-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | - |
| MacroSwarm: A Field-based Compositional Framework for Swarm Programming | Aguzzi, G.; Casadei, R.; Viroli, M. | 2025-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 2401.10969v5.pdf |
| MacroSwarm: A scala framework for swarm programming | Aguzzi, G.; Viroli, M. | 2025-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | paper-2023-computer-programming-macro-swarm.pdf |
| Neighbor-Based Decentralized Training Strategies for Multi-Agent Reinforcement Learning | Malucelli, N.; Domini, D.; Aguzzi, G.; Viroli, M. | 2025-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | 3672608.3707923.pdf |
| Programming Distributed Collective Processes in the eXchange Calculus | Audrito, G; Casadei, R; Damiani, F; Torta, G; Viroli, M | 2025-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Scaling Swarm Coordination with GNNs—How Far Can We Go? | Aguzzi, Gianluca; Domini, Davide; Venturini, Filippo; Viroli, Mirko | 2025-01-01 | AI | - | 1.01 Articolo in rivista | - |
| SHAC++: A Neural Network to Rule All Differentiable Simulators | Bertolotti, Francesco; Aguzzi, Gianluca; Cazzola, Walter; Viroli, Mirko | 2025-01-01 | - | - | 4.01 Contributo in Atti di convegno | FAIA-413-FAIA251138.pdf |
| Software Engineering for Collective Cyber-Physical Ecosystems | Casadei, Roberto; Aguzzi, Gianluca; Audrito, Giorgio; Damiani, Ferruccio; Pianini, Danilo; Scarso..., Giordano; Torta, Gianluca; Viroli, Mirko | 2025-01-01 | ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | - | 1.01 Articolo in rivista | paper-2024-se2030-fse-roadmap.pdf |
| A Reusable Simulation Pipeline for Many-Agent Reinforcement Learning | Domini, D.; Aguzzi, G.; Pianini, D.; Viroli, M. | 2024-01-01 | - | IEEE COMPUTER SOC | 4.01 Contributo in Atti di convegno | - |
| Actor-Based Designs for Distributed Self-organisation Programming | Casadei, Roberto; Damiani, Ferruccio; Torta, Gianluca; Viroli, Mirko | 2024-01-01 | - | Springer Nature | 2.01 Capitolo / saggio in libro | paper-2023-lncs-active-objects-ac.pdf; paper-2023-lncs-active-objects-ac.pdf |
| Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report | Casadei, R.; Viroli, M. | 2024-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - |
| Dynamic IoT deployment reconfiguration: A global-level self-organisation approach | Farabegoli, N.; Pianini, D.; Casadei, R.; Viroli, M. | 2024-01-01 | INTERNET OF THINGS | - | 1.01 Articolo in rivista | 1-s2.0-S2542660524003536-main.pdf; paper-2024-iot-dynamic-reconfiguration.pdf |
| Field-Based Coordination for Federated Learning | Domini, Davide; Aguzzi, Gianluca; Esterle, Lukas; Viroli, Mirko | 2024-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |