CICIRELLI, FRANCO DOMENICO
CICIRELLI, FRANCO DOMENICO
Istituto di Calcolo e Reti ad Alte Prestazioni - ICAR
A Study on Consumer-Grade EEG Headsets in BCI Applications
2024 Rizzo, Luigi; Zicari, Paolo; Cicirelli, Franco; Guerrieri, Antonio; Micieli, Massimo; Vinci, Andrea
Blockchain-Empowered PSO for Scalable Swarm Robotics
2024 Cicirelli, Franco; Greco, Emilio; Guerrieri, Antonio; Gentile, ANTONIO FRANCESCO; Spezzano, Giandomenico; Vinci, Andrea
Correctness Verification of Mutual Exclusion Algorithms by Model Checking
2024 Nigro, L.; Cicirelli, F.
Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets
2024 Nigro, L.; Cicirelli, F.
Leveraging distributed AI for multi-occupancy prediction in Cognitive Buildings
2024 Khan, I.; Cicirelli, F.; Greco, E.; Guerrieri, A.; Mastroianni, C.; Scarcello, L.; Spezzano, G.; Vinci, A.
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms
2024 Nigro, L.; Cicirelli, F.; Pupo, F.
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients
2023 Nigro, Libero; Cicirelli, Franco; Pupo, Francesco
Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets
2023 Nigro, Libero; Cicirelli, Franco
An Efficient Algorithm for Clustering Sets
2023 Nigro, Libero; Cicirelli, Franco
Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking
2023 Cicirelli, Franco; Nigro, Libero
Collaborative Learning over Cellular Automata
2023 Cicirelli, Franco; Greco, Emilio; Guerrieri, Antonio; Spezzano, Giandomenico; Vinci, Andrea
Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding
2023 Nigro, L.; Cicirelli, F.
Parallel random swap: An efficient and reliable clustering algorithm in java
2023 Nigro, Libero; Cicirelli, FRANCO DOMENICO; Fra, Pasi
Performance of a K-Means Algorithm driven by careful seeding
2023 Nigro, Libero; Cicirelli, Franco
When edge intelligence meets cognitive buildings: The COGITO platform
2023 Amadeo, Marica; Cicirelli, Franco; Guerrieri, Antonio; Ruggeri, Giuseppe; Spezzano, Giandomenico; Vinci, Andrea
Analyzing stochastic reward nets by model checking and parallel simulation
2022 Cicirelli, F; Nigro, L
COGITO: a platform for developing cognitive environments
2022 Amadeo, Marica; Cicirelli, Franco; Guerrieri, Antonio; Ruggeri, Giuseppe; Spezzano, Giandomenico; Vinci, Andrea
Guest Editorial Special Issue on Edge Intelligence for Sustainable Smart Environments
2022 Mastroianni, C; Cicirelli, F; Jia, M; Maharjan, S; Taylor, I
Intelligent Load Scheduling in Cognitive Buildings: A Use Case
2022 Cicirelli, Franco; D'Agostino, Vincenzo; Gentile, ANTONIO FRANCESCO; Greco, Emilio; Guerrieri, Antonio; Rizzo, Luigi; Scopelliti, Giuseppe
IoT Edge Solutions for Cognitive Buildings
2022 Franco Cicirelli; Antonio Guerrieri; Andrea Vinci; Giandomenico Spezzano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Study on Consumer-Grade EEG Headsets in BCI Applications | 1-gen-2024 | Rizzo, Luigi; Zicari, Paolo; Cicirelli, Franco; Guerrieri, Antonio; Micieli, Massimo; Vinci, Andrea | |
| Blockchain-Empowered PSO for Scalable Swarm Robotics | 1-gen-2024 | Cicirelli, Franco; Greco, Emilio; Guerrieri, Antonio; Gentile, ANTONIO FRANCESCO; Spezzano, Giandomenico; Vinci, Andrea | |
| Correctness Verification of Mutual Exclusion Algorithms by Model Checking | 1-gen-2024 | Nigro, L.; Cicirelli, F. | |
| Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets | 1-gen-2024 | Nigro, L.; Cicirelli, F. | |
| Leveraging distributed AI for multi-occupancy prediction in Cognitive Buildings | 1-gen-2024 | Khan, I.; Cicirelli, F.; Greco, E.; Guerrieri, A.; Mastroianni, C.; Scarcello, L.; Spezzano, G.; Vinci, A. | |
| Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms | 1-gen-2024 | Nigro, L.; Cicirelli, F.; Pupo, F. | |
| A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients | 1-gen-2023 | Nigro, Libero; Cicirelli, Franco; Pupo, Francesco | |
| Adapting Hartigan & Wong K-Means for the Efficient Clustering of Sets | 1-gen-2023 | Nigro, Libero; Cicirelli, Franco | |
| An Efficient Algorithm for Clustering Sets | 1-gen-2023 | Nigro, Libero; Cicirelli, Franco | |
| Assessing Time Behaviour in Disaster Management by Using Petri Nets and Model Checking | 1-gen-2023 | Cicirelli, Franco; Nigro, Libero | |
| Collaborative Learning over Cellular Automata | 1-gen-2023 | Cicirelli, Franco; Greco, Emilio; Guerrieri, Antonio; Spezzano, Giandomenico; Vinci, Andrea | |
| Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding | 1-gen-2023 | Nigro, L.; Cicirelli, F. | |
| Parallel random swap: An efficient and reliable clustering algorithm in java | 1-gen-2023 | Nigro, Libero; Cicirelli, FRANCO DOMENICO; Fra, Pasi | |
| Performance of a K-Means Algorithm driven by careful seeding | 1-gen-2023 | Nigro, Libero; Cicirelli, Franco | |
| When edge intelligence meets cognitive buildings: The COGITO platform | 1-gen-2023 | Amadeo, Marica; Cicirelli, Franco; Guerrieri, Antonio; Ruggeri, Giuseppe; Spezzano, Giandomenico; Vinci, Andrea | |
| Analyzing stochastic reward nets by model checking and parallel simulation | 1-gen-2022 | Cicirelli, F; Nigro, L | |
| COGITO: a platform for developing cognitive environments | 1-gen-2022 | Amadeo, Marica; Cicirelli, Franco; Guerrieri, Antonio; Ruggeri, Giuseppe; Spezzano, Giandomenico; Vinci, Andrea | |
| Guest Editorial Special Issue on Edge Intelligence for Sustainable Smart Environments | 1-gen-2022 | Mastroianni, C; Cicirelli, F; Jia, M; Maharjan, S; Taylor, I | |
| Intelligent Load Scheduling in Cognitive Buildings: A Use Case | 1-gen-2022 | Cicirelli, Franco; D'Agostino, Vincenzo; Gentile, ANTONIO FRANCESCO; Greco, Emilio; Guerrieri, Antonio; Rizzo, Luigi; Scopelliti, Giuseppe | |
| IoT Edge Solutions for Cognitive Buildings | 1-gen-2022 | Franco Cicirelli; Antonio Guerrieri; Andrea Vinci; Giandomenico Spezzano |