CNR Institutional Research Information System

CIANCIA, VINCENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.344
NA - Nord America 1.722
EU - Europa 891
SA - Sud America 407
Continente sconosciuto - Info sul continente non disponibili 66
AF - Africa 53
OC - Oceania 3
Totale 5.486
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.612
SG - Singapore 1.045
CN - Cina 482
IT - Italia 394
BR - Brasile 315
HK - Hong Kong 305
VN - Vietnam 223
NL - Olanda 104
FR - Francia 97
JP - Giappone 76
RU - Federazione Russa 56
CA - Canada 54
KR - Corea 47
DE - Germania 45
FI - Finlandia 41
GB - Regno Unito 41
AR - Argentina 34
IN - India 31
BD - Bangladesh 24
AT - Austria 23
MX - Messico 21
CO - Colombia 17
EC - Ecuador 17
ES - Italia 15
ID - Indonesia 15
IE - Irlanda 13
ZA - Sudafrica 13
EG - Egitto 11
PK - Pakistan 11
PL - Polonia 11
IL - Israele 10
SE - Svezia 10
VE - Venezuela 9
CR - Costa Rica 8
SA - Arabia Saudita 8
TR - Turchia 8
UA - Ucraina 8
IQ - Iraq 7
PH - Filippine 6
AE - Emirati Arabi Uniti 5
CZ - Repubblica Ceca 5
DZ - Algeria 5
GE - Georgia 5
JM - Giamaica 5
KE - Kenya 5
MA - Marocco 5
PY - Paraguay 5
JO - Giordania 4
KZ - Kazakistan 4
MY - Malesia 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
HN - Honduras 3
NP - Nepal 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
UY - Uruguay 3
AU - Australia 2
BB - Barbados 2
BO - Bolivia 2
BS - Bahamas 2
BZ - Belize 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
SC - Seychelles 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BE - Belgio 1
BF - Burkina Faso 1
BH - Bahrain 1
CI - Costa d'Avorio 1
EE - Estonia 1
GH - Ghana 1
GN - Guinea 1
GT - Guatemala 1
HR - Croazia 1
HU - Ungheria 1
KH - Cambogia 1
LU - Lussemburgo 1
LY - Libia 1
MN - Mongolia 1
NG - Nigeria 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
OM - Oman 1
PA - Panama 1
Totale 5.414
Salva come PNG Salva come JPEG
Città #
Singapore 731
Santa Clara 316
Hong Kong 297
San Jose 252
Ashburn 166
Hefei 119
Beijing 118
Ho Chi Minh City 84
Lauterbourg 77
Tokyo 65
Dallas 62
Pisa 60
Los Angeles 59
Hanoi 46
Seoul 45
Rome 44
Cascina 38
New York 32
São Paulo 29
Moscow 26
Milan 21
Montreal 19
Orem 18
Rio de Janeiro 18
Phoenix 16
Frankfurt am Main 15
Helsinki 15
Lappeenranta 14
Naples 14
Haiphong 13
Florence 12
Atlanta 11
Turku 11
Vienna 11
Brooklyn 10
Denver 10
London 10
Munich 10
Newark 10
Buffalo 9
Lucca 9
Amsterdam 8
Belo Horizonte 8
Cecina 8
Chicago 8
Da Nang 8
Nuremberg 8
San José 8
Warsaw 8
Washington 8
Altopascio 7
Council Bluffs 7
Dublin 7
Houston 7
Memphis 7
Miami 7
Minamishinagawa 7
Stockholm 7
Toronto 7
Brasília 6
Bắc Giang 6
Chennai 6
Curitiba 6
Dhaka 6
Jakarta 6
Johannesburg 6
Manchester 6
Philadelphia 6
Asunción 5
Baghdad 5
Bogotá 5
Charlotte 5
Cleveland 5
Düsseldorf 5
Madrid 5
Pistoia 5
Portsmouth 5
Thái Nguyên 5
Vũng Tàu 5
Bengaluru 4
Birmingham 4
Boston 4
Bắc Ninh 4
Guangzhou 4
Kingston 4
Kissimmee 4
Lahore 4
Olomouc 4
Quito 4
Quận Một 4
Riyadh 4
Salvador 4
San Antonio 4
San Francisco 4
Santos 4
Selden 4
Sorocaba 4
Verona 4
Amman 3
Baku 3
Totale 3.268
Salva come PNG Salva come JPEG
Nome #
ISTI-day 2025 Proceedings 174
Weak ±-minimisation for model checking polyhedra 113
A toolchain for strategy synthesis with spatial properties - Complementary material 104
THE D.3.2.1 - AA@THE User needs, technical requirements and specifications 103
Minimisation of spatial models using branching bisimilarity (extended version) 101
On binding in the spatial logics for closure spaces 96
Ten years of spatial model checking 94
D3.2.1: AA@THE User needs, technical requirements and specifications 94
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 89
Scalable verification for spatial stochastic logics 88
Weak simplicial bisimilarity for polyhedral models and SLCSη 88
A toolchain for strategy synthesis with spatial properties 88
On bisimilarity for polyhedral models and SLCS 86
Specifying and Verifying Properties of Space 84
Querying medical imaging datasets using spatial logics (Position paper) 81
Towards model checking video streams using VoxLogicA on GPUs 80
On bisimilarity for polyhedral models and SLCS - Preliminary version 80
Feasibility of Spatial Model Checking for Nevus Segmentation 77
Geometric model checking of continuous space 77
Back-and-forth in space: on logics and bisimilarity in closure spaces 76
Minimisation of spatial models using branching bisimilarity 74
Towards hybrid-AI in imaging using VoxLogicA 74
Towards a GUI for declarative medical image analysis: cognitive and memory load issues 72
A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation 71
Embedding RCC8D in the collective spatial logic CSLCS 70
Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version 69
QUANTICOL - D6.1 - Dissemination plan for the project 65
A spatial logic with time and quantifiers 65
ProgettISTI 2016 65
Spatial Model Checking for Smart Stations: Research Challenges 64
Logics of polyhedral reachability 63
SLCS on face-poset models and bisimilarities on quasi-discrete closure models 62
On bisimilarity for quasi-discrete closure spaces 60
A unified view of spatial representation and analysis techniques 60
An experimental toolchain for strategy synthesis with spatial properties 58
ISTI young research award 2016 58
Symbolic and hybrid AI for brain tissue segmentation using spatial model checking 58
QUANTICOL - The QUANTICOL software tool suite for modelling smart cities 57
Quantitative Evaluation of Enforcement Strategies 55
On the expressive power of IMLC and ISLCS 55
Exploring nominal cellular automata 54
QUANTICOL - CAS-SCEL semantics and implementation 54
Spatial logics and model checking for medical imaging 54
Using spatial logic and model checking for nevus segmentation 54
QUANTICOL - A preliminary investigation of capturing spatial information for CAS 53
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 50
VoxLogicA: a spatial model checker for declarative image analysis 50
Nominal cellular automata 50
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy 49
Innovating Medical Image Analysis via Spatial Logics 49
Model checking spatial logics for closure spaces 49
A spatio-temporal model-checker 49
Spatio-temporal model-checking for collective adaptive systems 49
Spatial logic and spatial model checking for closure spaces 47
QUANTICOL - Combining spatial verification with model reduction and relating local and global views 47
ISTI Young Research Award 2017 47
Exploring spatio-temporal properties of bike-sharing systems 46
A hands-on introduction to spatial model checking using VoxLogicA 45
From urelements to computation: A journey through applications of Fraenkel's permutation model in computer science 45
Geometric Model Checking of Continuous Space 44
Specifying and verifying properties of space 43
Data verification for collective adaptive systems: spatial model-checking of vehicle location data 43
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL 43
Spatio-temporal model checking of vehicular movement in public transport systems 43
On Bisimilarities for Closure Spaces - Preliminary Version 43
Practical polyhedral model checking. A gentle introduction 41
Automated synthesis and ranking of secure BPMN orchestrators 40
Interaction and observation: categorical semantics of reactive systems trough dialgebras 39
A Presheaf Environment for the Explicit Fusion Calculus 39
Logics of space and time 39
An experimental spatio-temporal model checker 38
Qualitative and quantitative monitoring of spatio-temporal properties. Extended version 38
QUANTICOL - The QUANTICOL software tool suite for modelling smart cities (Final) 38
Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. Experience and Outlook 38
Weak simplicial bisimilarity and minimisation for polyhedral model checking 38
From collective adaptive systems to human centric computation and back: spatial model checking for medical imaging 37
A tool-chain for statistical spatio-temporal model checking of bike sharing systems 37
On-the-fly mean-field model-checking for attribute-based coordination 37
On-the-fly mean-field model-checking for attribute-based coordination preliminary version. Quanticol technical report TR-QC-01-2016 37
QUANTICOL - Foundations of scalable verification for stochastic logics 37
Towards spatial bisimilarity for closure models: logical and coalgebraic characterisations 35
An attribute-based front-end for FlyFast 35
Specifying and verifying properties of space. Extended Version. 35
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages 34
On space in CARMA 34
VoxLogicA: a Spatial-Logic based tool for Declarative Image Analysis 34
A tool for the synthesis of cryptographic orchestrators 34
On spatio-temporal model-checking of vehicular movement in public transport systems 34
Qualitative and quantitative monitoring of spatio-temporal properties 34
VoxLogicA: Voxel-based Logical Analyser 32
Towards a spatial model checker on GPU 31
A spatial model checker in GPU (extended version) 30
Model checking spatial logics for closure spaces. Extended version 30
Quantitative evaluation of enforcement strategies 28
Spatial model checking for medical imaging - Preliminary version 26
Quantitative Evaluation of Enforcement Strategies 26
Automated Synthesis and Ranking of Secure BPMN Orchestrators 25
Model checking in space with applications to medical image analysis: Invited abstract 17
Spatio-temporal model checking with VoxLogicA 11
Totale 5.486
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.283
article - articoli 2.922
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.307
Totale 23.512
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/2027936 197 362 377 0 0 0 0 0 0 0 0 0
Totale 5.486