Vincenzo Ciancia

Statistics

Publications

Citations

747

H-Index

Active since

2008

Affiliations

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"(Current)

University of Pisa

IMT School for Advanced Studies Lucca

University of Amsterdam

Università di Camerino

Vincenzo Ciancia is an author at Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" specializing in computer science, computing, and model checking.

ORCID

Publications per year

2008–2022

Publications

Experimental study of the thermo-mechanical properties of recycled PET fiber-reinforced concrete

Fernando Fraternali, Vincenzo Ciancia, Rosaria Chechile et al. · Composite Structures · 2011 · 327 citations

Architecture, Materials Engineering, Materials Science +16

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 · 60 citations · Full text

Engineering, Systems Engineering, Transport +15

Model Checking Spatial Logics for Closure Spaces

Vincenzo Ciancia, Diego Latella, Michele Loreti et al. · Logical Methods in Computer Science · 2017 · 59 citations · Full text

Computing, Computer Science, Formal Methods +15

Exploring Spatio-temporal Properties of Bike-Sharing Systems

Vincenzo Ciancia, Diego Latella, Mieke Massink et al. · 2015 · 46 citations · Full text

Planning, Transportation Planning, Urban Planning +15

Spatial logics and model checking for medical imaging

F. Banci Buonamici, Gina Belmonte, Vincenzo Ciancia et al. · International Journal on Software Tools for Technology Transfer · 2019 · 43 citations · Full text

Medicine, Biomedical Informatics, Radiology +16

1–5 of 16