| Online disinformation in the 2020 US election: swing vs. safe states M Pratelli, M Petrocchi, F Saracco, R De Nicola EPJ Data Science 13 (1), 25, 2024 | | 2024 |
| CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN S Soderi, R De Nicola International Symposium on Emerging Information Security and Applications …, 2023 | 1 | 2023 |
| Rigorous engineering of collective adaptive systems–2nd special section M Wirsing, S Jähnichen, R De Nicola International Journal on Software Tools for Technology Transfer 25 (5), 617-624, 2023 | 1 | 2023 |
| Modelling flocks of birds and colonies of ants from the bottom up R De Nicola, L Di Stefano, O Inverso, S Valiani International Journal on Software Tools for Technology Transfer 25 (5), 675-691, 2023 | 3 | 2023 |
| Detection of energy consumption cyber attacks on smart devices Z Alwaisi, S Soderi, R De Nicola International Conference on Future Access Enablers of Ubiquitous and …, 2023 | 3 | 2023 |
| Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants R De Nicola, L Di Stefano, O Inverso, S Valiani International Conference on Computational Methods in Systems Biology, 44-61, 2023 | 1 | 2023 |
| Mitigating and Analysis of Memory Usage Attack in IoE System Z Alwaisi, S Soderi, R De Nicola International Conference on Industrial Networks and Intelligent Systems, 296-314, 2023 | 2 | 2023 |
| Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays S Bistarelli, R De Nicola, L Galletta, C Laneve, I Mercanti, A Veschetti Concurrency and Computation: Practice and Experience 35 (16), e6749, 2023 | 9 | 2023 |
| Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? M Pratelli, M Petrocchi, F Saracco, R De Nicola Companion Proceedings of the ACM Web Conference 2023, 1395-1403, 2023 | 1 | 2023 |
| Energy cyber attacks to smart healthcare devices: a testbed Z Alwaisi, S Soderi, RD Nicola International Conference on Bio-inspired Information and Communication …, 2023 | 4 | 2023 |
| Multiparty testing preorders R De Nicola, H Melgratti Logical Methods in Computer Science 19, 2023 | 10 | 2023 |
| Automated replication of tuple spaces via static analysis R De Nicola, L Di Stefano, O Inverso, A Uwimbabazi Science of Computer Programming 223, 102863, 2022 | 2 | 2022 |
| Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition M Wirsing, R De Nicola, S Jähnichen International Symposium on Leveraging Applications of Formal Methods, 3-12, 2022 | 1 | 2022 |
| Modelling flocks of birds from the bottom up R De Nicola, L Di Stefano, O Inverso, S Valiani International Symposium on Leveraging Applications of Formal Methods, 82-96, 2022 | 7 | 2022 |
| Process Algebras and Flocks of Birds R De Nicola, L Di Stefano, O Inverso, S Valiani A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022 | 1 | 2022 |
| Verification of distributed systems via sequential emulation L Di Stefano, R De Nicola, O Inverso ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (3), 1-41, 2022 | 9 | 2022 |
| 6G networks physical layer security using RGB visible light communications S Soderi, R De Nicola IEEE Access 10, 5482-5496, 2021 | 22 | 2021 |
| Flow of online misinformation during the peak of the COVID-19 pandemic in Italy G Caldarelli, R De Nicola, M Petrocchi, M Pratelli, F Saracco EPJ data science 10 (1), 34, 2021 | 63 | 2021 |
| On the efficacy of old features for the detection of new bots R De Nicola, M Petrocchi, M Pratelli Information Processing & Management 58 (6), 102685, 2021 | 22 | 2021 |
| Distributed service‐level agreement management with smart contracts and blockchain RB Uriarte, H Zhou, K Kritikos, Z Shi, Z Zhao, R De Nicola Concurrency and Computation: Practice and Experience 33 (14), e5800, 2021 | 67 | 2021 |
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it