VIROLI, MIRKO
VIROLI, MIRKO
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Software
In corso di stampa Viroli, Mirko
Software
In corso di stampa MIRKO VIROLI
The Knowledge Engineering Review
In corso di stampa Mirko Viroli
Decentralized proximity-aware clustering for collective self-federated learning
2026 Domini, D.; Farabegoli, N.; Aguzzi, G.; Viroli, M.; Esterle, L.
FBFL: A Field-Based Coordination Approach for Data Heterogeneity in Federated Learning
2026 Domini, Davide; Aguzzi, Gianluca; Esterle, Lukas; Viroli, Mirko
Low-code design of collective systems with ScaFi-Blocks
2026 Aguzzi, G.; Cerioni, M.; Viroli, M.
ProFed: A Benchmark for Proximity-Based Non-IID Federated Learning
2026 Domini, Davide; Ingemann, Christian Otte; Aguzzi, Gianluca; Esterle, Lukas; Viroli, Mirko
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 Field-Based Approach for Runtime Replanning in Swarm Robotics Missions
2025 Aguzzi, G.; Baiardi, M.; Cortecchia, A.; Miloradovic, B.; Papadopoulos, A.; 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.
A Language-based Approach to Macroprogramming for IoT Systems through Large Language Models
2025 Aguzzi, G.; Farabegoli, N.; Viroli, M.
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.
New Editor-in-Chief of Software
2025 Viroli, Mirko
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
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Software | Viroli, Mirko | 9999-01-01 | SOFTWARE | - | 8.01 Ruolo editoriale in rivista | - |
| 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 | - |
| Decentralized proximity-aware clustering for collective self-federated learning | Domini, D.; Farabegoli, N.; Aguzzi, G.; Viroli, M.; Esterle, L. | 2026-01-01 | INTERNET OF THINGS | - | 1.01 Articolo in rivista | - |
| FBFL: A Field-Based Coordination Approach for Data Heterogeneity in Federated Learning | Domini, Davide; Aguzzi, Gianluca; Esterle, Lukas; Viroli, Mirko | 2026-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | 2502.08577.pdf |
| 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 | paper-2024-scp-scafi-blocks.pdf |
| ProFed: A Benchmark for Proximity-Based Non-IID Federated Learning | Domini, Davide; Ingemann, Christian Otte; Aguzzi, Gianluca; Esterle, Lukas; Viroli, Mirko | 2026-01-01 | JOURNAL OF OPEN RESEARCH SOFTWARE | - | 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 Field-Based Approach for Runtime Replanning in Swarm Robotics Missions | Aguzzi, G.; Baiardi, M.; Cortecchia, A.; Miloradovic, B.; Papadopoulos, A.; Pianini, D.; Viroli, M. | 2025-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | paper-2025-acsos-multi-robot-coordination.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 |
| A Language-based Approach to Macroprogramming for IoT Systems through Large Language Models | Aguzzi, G.; Farabegoli, N.; Viroli, M. | 2025-01-01 | ACM TRANSACTIONS ON THE INTERNET OF THINGS | - | 1.01 Articolo in rivista | - |
| 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 | _pulverisedPlacer_TO_COORDINATION25.pdf |
| 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 |
| New Editor-in-Chief of Software | Viroli, Mirko | 2025-01-01 | SOFTWARE | - | 1.06 Abstract in rivista | - |
| 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 | 2025-lmcs-collective-processes.pdf |
| 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 | ai-06-00282 (1).pdf |
| 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 |