• 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

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
xMon 27 Oct 22:31
using conf.researchr.org (v1.72.1)
Support page
Sign Up