• Sign in
  • Sign up
conf.researchr.org / Vincenzo Ciancia
  • ECOOP and ISSTA 2021 profile
  • FSEN 2025 profile
  • ICSE 2021 profile
  • STAF 2023 profile
  • STAF 2025 profile
No Photo

Not registered as user

Name:Vincenzo Ciancia
Country:Italy
Affiliation:Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY

Contributions

2025

FSEN

  • Author of Ten Years of Spatial Model Checking within the Marjan Festschrift-track

2023

HEDA

  • Committee Member in Program Committee within the HEDA-track

2021

SPIN

  • Author of Spatial Model Checking and its applications to Medical Image Analysis within the SPIN-track

FormaliSE

  • Author of Feasibility of Spatial Model Checking for Nevus Segmentation within the FormaliSE 2021-track
Share
xWed 21 May 19:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up