CIANCIA, VINCENZO
 Distribuzione geografica
Continente #
EU - Europa 28
AS - Asia 2
NA - Nord America 1
Totale 31
Nazione #
IT - Italia 26
CN - Cina 2
DE - Germania 1
NL - Olanda 1
US - Stati Uniti d'America 1
Totale 31
Città #
Cecina 8
Pisa 5
Lucca 4
Rome 4
Guangzhou 2
Montenero 2
Groningen 1
Nuremberg 1
Totale 27
Nome #
Weak simplicial bisimilarity for polyhedral models and SLCSη 11
VoxLogicA: a Spatial-Logic based tool for Declarative Image Analysis 4
A toolchain for strategy synthesis with spatial properties - Complementary material 3
VoxLogicA: a spatial model checker for declarative image analysis 3
On binding in the spatial logics for closure spaces 3
Towards model checking video streams using VoxLogicA on GPUs 2
A spatio-temporal model-checker 2
Towards a GUI for declarative medical image analysis: cognitive and memory load issues 2
On bisimilarity for polyhedral models and SLCS 1
A hands-on introduction to spatial model checking using VoxLogicA 1
Spatio-temporal model-checking for collective adaptive systems 1
A toolchain for strategy synthesis with spatial properties 1
An attribute-based front-end for FlyFast 1
Totale 35
Categoria #
all - tutte 938
article - articoli 160
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 123
Totale 1.221


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202435 0 0 0 0 0 0 0 1 5 4 10 15
Totale 35