Showing 1 - 5 results of 5 for search 'Vincenzo Ciancia', query time: 0.02s Refine Results
  1. 1
    Interaction and observation, categorically

    Interaction and observation, categorically by Vincenzo Ciancia

    Published 2011-07-01
    Get full text
    Article
  2. 2
    Nominal Cellular Automata

    Nominal Cellular Automata by Tommaso Bolognesi, Vincenzo Ciancia

    Published 2016-08-01
    Get full text
    Article
  3. 3
    From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging

    From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging by Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

    Published 2016-07-01
    Get full text
    Article
  4. 4
    Model Checking Spatial Logics for Closure Spaces

    Model Checking Spatial Logics for Closure Spaces by Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink

    Published 2017-04-01
    Get full text
    Article
  5. 5
    Geometric Model Checking of Continuous Space

    Geometric Model Checking of Continuous Space by Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink

    Published 2022-11-01
    Get full text
    Article

Search Tools: