5
Publications
93
Citations
5
H-Index
2016
Active since
Affiliations
University of Naples Federico II(Current)
Silvia Stranieri is an author at University of Naples Federico II specializing in engineering, mechanism design, and edge computing.
Top concepts
EngineeringBlockchainEdge ComputingFormal MethodsMechanism DesignAutomated ReasoningFormal VerificationGamesBusiness5G Networks
Publications per year
2016–2022
5
5
A Logic Framework for C2C Network Management
Walter Balzano, Maria Rosaria Del Sorbo, Silvia Stranieri · 2016 · 22 citations
Concurrent Games in Dynamic Epistemic Logic
Bastien Maubert, Sophie Pinchinat, François Schwarzentruber et al. · 2020 · 13 citations · Full text
Engineering, Dynamic Epistemic Logic, Concurrent Del Product +13
Integration of 5G, VANETs and Blockchain Technology
Muhammad Arif, Walter Balzano, Alessandro Fontanella et al. · 2020 · 11 citations
Rows per page
1–5 of 5