15
Publications
408
Citations
12
H-Index
2008
Active since
Vincenzo Ciancia is an author at Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningData ScienceVerificationFormal VerificationSystems EngineeringRadiologyData Modeling
Publications per year
2008–2022
15
15
Spatio-temporal model checking of vehicular movement in public transport systems
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti et al. · International Journal on Software Tools for Technology Transfer · 2018 · 57 citations · Full text
Automotive Tracking, Engineering, Transportation System Management +7
Model Checking Spatial Logics for Closure Spaces
Vincenzo Ciancia, Diego Latella, Michele Loreti et al. · Logical Methods in Computer Science · 2017 · 56 citations · Full text
Exploring Spatio-temporal Properties of Bike-Sharing Systems
Vincenzo Ciancia, Diego Latella, Mieke Massink et al. · 2015 · 45 citations
Rows per page
1–5 of 15