CNR Institutional Research Information System

CIANCIA, VINCENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.074
NA - Nord America 1.290
EU - Europa 791
SA - Sud America 386
AF - Africa 51
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.597
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.215
SG - Singapore 906
CN - Cina 480
BR - Brasile 308
IT - Italia 304
VN - Vietnam 220
HK - Hong Kong 199
NL - Olanda 103
FR - Francia 95
JP - Giappone 75
RU - Federazione Russa 56
KR - Corea 47
DE - Germania 44
FI - Finlandia 41
CA - Canada 39
GB - Regno Unito 38
AR - Argentina 33
IN - India 30
AT - Austria 23
MX - Messico 21
BD - Bangladesh 19
ES - Italia 15
ID - Indonesia 13
IE - Irlanda 13
ZA - Sudafrica 13
EC - Ecuador 12
CO - Colombia 11
EG - Egitto 11
PL - Polonia 11
IL - Israele 10
PK - Pakistan 10
SE - Svezia 10
UA - Ucraina 8
TR - Turchia 7
VE - Venezuela 7
IQ - Iraq 6
SA - Arabia Saudita 6
AE - Emirati Arabi Uniti 5
CZ - Repubblica Ceca 5
DZ - Algeria 5
GE - Georgia 5
KE - Kenya 5
MA - Marocco 5
PH - Filippine 5
PY - Paraguay 5
JO - Giordania 4
KZ - Kazakistan 4
PT - Portogallo 4
UZ - Uzbekistan 4
AL - Albania 3
AZ - Azerbaigian 3
CH - Svizzera 3
CL - Cile 3
DK - Danimarca 3
DO - Repubblica Dominicana 3
JM - Giamaica 3
NP - Nepal 3
TN - Tunisia 3
UY - Uruguay 3
AU - Australia 2
BO - Bolivia 2
ET - Etiopia 2
GR - Grecia 2
IR - Iran 2
KG - Kirghizistan 2
LB - Libano 2
LT - Lituania 2
MD - Moldavia 2
PE - Perù 2
PR - Porto Rico 2
RS - Serbia 2
TT - Trinidad e Tobago 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BB - Barbados 1
BE - Belgio 1
BH - Bahrain 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
GH - Ghana 1
GN - Guinea 1
GT - Guatemala 1
HN - Honduras 1
HR - Croazia 1
LU - Lussemburgo 1
LY - Libia 1
MN - Mongolia 1
MY - Malesia 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
OM - Oman 1
PA - Panama 1
PS - Palestinian Territory 1
RO - Romania 1
SC - Seychelles 1
SN - Senegal 1
TW - Taiwan 1
Totale 4.597
Salva come PNG Salva come JPEG
Città #
Singapore 599
Santa Clara 309
San Jose 196
Hong Kong 192
Ashburn 138
Hefei 119
Beijing 117
Ho Chi Minh City 82
Lauterbourg 77
Tokyo 64
Dallas 57
Los Angeles 55
Pisa 51
Hanoi 46
Seoul 45
Cascina 38
Rome 31
São Paulo 28
New York 27
Moscow 26
Orem 18
Rio de Janeiro 18
Frankfurt am Main 15
Helsinki 15
Lappeenranta 14
Milan 14
Montreal 14
Haiphong 13
Florence 12
Turku 11
Vienna 11
London 10
Munich 10
Brooklyn 9
Denver 9
Lucca 9
Belo Horizonte 8
Buffalo 8
Cecina 8
Chicago 8
Da Nang 8
Nuremberg 8
Warsaw 8
Altopascio 7
Amsterdam 7
Dublin 7
Minamishinagawa 7
Newark 7
Stockholm 7
Bắc Giang 6
Chennai 6
Curitiba 6
Jakarta 6
Johannesburg 6
Toronto 6
Asunción 5
Düsseldorf 5
Madrid 5
Manchester 5
Pistoia 5
Portsmouth 5
Thái Nguyên 5
Vũng Tàu 5
Washington 5
Baghdad 4
Bengaluru 4
Brasília 4
Bắc Ninh 4
Council Bluffs 4
Guangzhou 4
Houston 4
Lahore 4
Memphis 4
Naples 4
Olomouc 4
Philadelphia 4
Phoenix 4
Quận Một 4
Riyadh 4
Santos 4
Selden 4
Sorocaba 4
Amman 3
Atlanta 3
Baku 3
Bogotá 3
Boston 3
Buenos Aires 3
Cairo 3
Calgary 3
Campinas 3
Dhaka 3
Edison 3
Falkenstein 3
Guarulhos 3
Joinville 3
Kingston 3
Kyiv 3
Maceió 3
Manassas 3
Totale 2.804
Salva come PNG Salva come JPEG
Nome #
ISTI-day 2025 Proceedings 147
Weak ±-minimisation for model checking polyhedra 108
THE D.3.2.1 - AA@THE User needs, technical requirements and specifications 95
A toolchain for strategy synthesis with spatial properties - Complementary material 94
Minimisation of spatial models using branching bisimilarity (extended version) 92
Ten years of spatial model checking 88
D3.2.1: AA@THE User needs, technical requirements and specifications 87
Weak simplicial bisimilarity for polyhedral models and SLCSη 86
On binding in the spatial logics for closure spaces 82
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 81
Scalable verification for spatial stochastic logics 79
On bisimilarity for polyhedral models and SLCS 77
A toolchain for strategy synthesis with spatial properties 77
Specifying and Verifying Properties of Space 69
Towards model checking video streams using VoxLogicA on GPUs 69
On bisimilarity for polyhedral models and SLCS - Preliminary version 68
Querying medical imaging datasets using spatial logics (Position paper) 67
Towards hybrid-AI in imaging using VoxLogicA 67
Towards a GUI for declarative medical image analysis: cognitive and memory load issues 66
Geometric model checking of continuous space 66
Back-and-forth in space: on logics and bisimilarity in closure spaces 65
Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version 65
Embedding RCC8D in the collective spatial logic CSLCS 62
Feasibility of Spatial Model Checking for Nevus Segmentation 62
A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation 62
Minimisation of spatial models using branching bisimilarity 60
A spatial logic with time and quantifiers 58
On bisimilarity for quasi-discrete closure spaces 57
QUANTICOL - D6.1 - Dissemination plan for the project 55
Logics of polyhedral reachability 55
SLCS on face-poset models and bisimilarities on quasi-discrete closure models 54
Symbolic and hybrid AI for brain tissue segmentation using spatial model checking 54
QUANTICOL - The QUANTICOL software tool suite for modelling smart cities 52
Spatial logics and model checking for medical imaging 51
Spatial Model Checking for Smart Stations: Research Challenges 51
On the expressive power of IMLC and ISLCS 51
ProgettISTI 2016 50
Using spatial logic and model checking for nevus segmentation 49
An experimental toolchain for strategy synthesis with spatial properties 47
ISTI young research award 2016 47
A unified view of spatial representation and analysis techniques 47
Exploring nominal cellular automata 44
A spatio-temporal model-checker 44
VoxLogicA: a spatial model checker for declarative image analysis 44
Model checking spatial logics for closure spaces 43
Spatio-temporal model-checking for collective adaptive systems 43
ISTI Young Research Award 2017 43
QUANTICOL - CAS-SCEL semantics and implementation 42
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy 42
QUANTICOL - A preliminary investigation of capturing spatial information for CAS 42
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 41
Nominal cellular automata 41
Innovating Medical Image Analysis via Spatial Logics 39
Exploring spatio-temporal properties of bike-sharing systems 38
Quantitative Evaluation of Enforcement Strategies 38
Spatio-temporal model checking of vehicular movement in public transport systems 38
Spatial logic and spatial model checking for closure spaces 38
A hands-on introduction to spatial model checking using VoxLogicA 37
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL 36
Automated synthesis and ranking of secure BPMN orchestrators 36
QUANTICOL - Combining spatial verification with model reduction and relating local and global views 36
A Presheaf Environment for the Explicit Fusion Calculus 35
Geometric Model Checking of Continuous Space 34
Qualitative and quantitative monitoring of spatio-temporal properties. Extended version 34
A tool-chain for statistical spatio-temporal model checking of bike sharing systems 34
On Bisimilarities for Closure Spaces - Preliminary Version 32
A tool for the synthesis of cryptographic orchestrators 32
Logics of space and time 32
Practical polyhedral model checking. A gentle introduction 32
Interaction and observation: categorical semantics of reactive systems trough dialgebras 31
QUANTICOL - The QUANTICOL software tool suite for modelling smart cities (Final) 31
QUANTICOL - Foundations of scalable verification for stochastic logics 31
From urelements to computation: A journey through applications of Fraenkel's permutation model in computer science 30
Weak simplicial bisimilarity and minimisation for polyhedral model checking 30
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages 29
An experimental spatio-temporal model checker 29
Data verification for collective adaptive systems: spatial model-checking of vehicle location data 29
VoxLogicA: a Spatial-Logic based tool for Declarative Image Analysis 29
From collective adaptive systems to human centric computation and back: spatial model checking for medical imaging 29
Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. Experience and Outlook 29
Specifying and verifying properties of space. Extended Version. 29
A spatial model checker in GPU (extended version) 28
On-the-fly mean-field model-checking for attribute-based coordination 28
Specifying and verifying properties of space 27
On spatio-temporal model-checking of vehicular movement in public transport systems 27
An attribute-based front-end for FlyFast 27
Quantitative evaluation of enforcement strategies 27
On space in CARMA 26
Model checking spatial logics for closure spaces. Extended version 26
VoxLogicA: Voxel-based Logical Analyser 25
Towards spatial bisimilarity for closure models: logical and coalgebraic characterisations 25
Quantitative Evaluation of Enforcement Strategies 24
Qualitative and quantitative monitoring of spatio-temporal properties 24
On-the-fly mean-field model-checking for attribute-based coordination preliminary version. Quanticol technical report TR-QC-01-2016 24
Towards a spatial model checker on GPU 21
Automated Synthesis and Ranking of Secure BPMN Orchestrators 21
Spatial model checking for medical imaging - Preliminary version 19
Model checking in space with applications to medical image analysis: Invited abstract 11
Spatio-temporal model checking with VoxLogicA 6
Totale 4.661
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.059
article - articoli 2.566
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.010
Totale 20.635
Salva come PNG Salva come JPEG


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
2024/20251.552 2 6 134 53 248 124 24 64 52 160 369 316
2025/20262.963 112 201 253 383 414 238 512 249 208 229 88 76
2026/2027111 111 0 0 0 0 0 0 0 0 0 0 0
Totale 4.661