CNR Institutional Research Information System

CIANCIA, VINCENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.070
NA - Nord America 1.123
EU - Europa 777
SA - Sud America 379
AF - Africa 50
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.404
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.060
SG - Singapore 905
CN - Cina 480
BR - Brasile 303
IT - Italia 294
VN - Vietnam 220
HK - Hong Kong 197
NL - Olanda 103
FR - Francia 95
JP - Giappone 75
RU - Federazione Russa 56
KR - Corea 47
DE - Germania 44
FI - Finlandia 41
GB - Regno Unito 38
CA - Canada 34
AR - Argentina 32
IN - India 30
AT - Austria 23
MX - Messico 19
BD - Bangladesh 18
ES - Italia 14
ID - Indonesia 13
ZA - Sudafrica 13
EC - Ecuador 12
IE - Irlanda 12
EG - Egitto 11
CO - Colombia 10
IL - Israele 10
PK - Pakistan 10
PL - Polonia 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
RS - Serbia 2
TT - Trinidad e Tobago 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BB - Barbados 1
BH - Bahrain 1
CI - Costa d'Avorio 1
GH - Ghana 1
GN - Guinea 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
SN - Senegal 1
TW - Taiwan 1
Totale 4.404
Salva come PNG Salva come JPEG
Città #
Singapore 598
Santa Clara 309
San Jose 192
Hong Kong 190
Hefei 119
Beijing 117
Ashburn 114
Ho Chi Minh City 82
Lauterbourg 77
Tokyo 64
Dallas 55
Los Angeles 53
Pisa 50
Hanoi 46
Seoul 45
Cascina 38
Rome 30
São Paulo 28
Moscow 26
New York 26
Orem 18
Rio de Janeiro 18
Frankfurt am Main 15
Helsinki 15
Lappeenranta 14
Haiphong 13
Florence 12
Milan 12
Montreal 12
Turku 11
Vienna 11
London 10
Munich 10
Belo Horizonte 8
Cecina 8
Da Nang 8
Lucca 8
Nuremberg 8
Warsaw 8
Altopascio 7
Amsterdam 7
Buffalo 7
Denver 7
Minamishinagawa 7
Stockholm 7
Brooklyn 6
Bắc Giang 6
Chennai 6
Curitiba 6
Dublin 6
Jakarta 6
Johannesburg 6
Toronto 6
Asunción 5
Chicago 5
Düsseldorf 5
Madrid 5
Manchester 5
Pistoia 5
Thái Nguyên 5
Vũng Tàu 5
Baghdad 4
Bengaluru 4
Brasília 4
Bắc Ninh 4
Council Bluffs 4
Guangzhou 4
Lahore 4
Naples 4
Newark 4
Olomouc 4
Phoenix 4
Quận Một 4
Riyadh 4
Santos 4
Selden 4
Sorocaba 4
Amman 3
Baku 3
Bogotá 3
Boston 3
Buenos Aires 3
Cairo 3
Campinas 3
Dhaka 3
Edison 3
Falkenstein 3
Guarulhos 3
Kingston 3
Kyiv 3
Maceió 3
Manassas 3
Manaus 3
Nairobi 3
New Delhi 3
Paris 3
Pescia 3
Porto Alegre 3
Portsmouth 3
Querétaro 3
Totale 2.741
Salva come PNG Salva come JPEG
Nome #
ISTI-day 2025 Proceedings 141
Weak ±-minimisation for model checking polyhedra 103
Minimisation of spatial models using branching bisimilarity (extended version) 91
A toolchain for strategy synthesis with spatial properties - Complementary material 90
THE D.3.2.1 - AA@THE User needs, technical requirements and specifications 88
Weak simplicial bisimilarity for polyhedral models and SLCSη 84
Ten years of spatial model checking 83
D3.2.1: AA@THE User needs, technical requirements and specifications 81
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 80
Scalable verification for spatial stochastic logics 79
On binding in the spatial logics for closure spaces 78
A toolchain for strategy synthesis with spatial properties 77
On bisimilarity for polyhedral models and SLCS 76
Specifying and Verifying Properties of Space 69
Towards model checking video streams using VoxLogicA on GPUs 68
On bisimilarity for polyhedral models and SLCS - Preliminary version 66
Towards hybrid-AI in imaging using VoxLogicA 66
Geometric model checking of continuous space 65
Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version 64
Towards a GUI for declarative medical image analysis: cognitive and memory load issues 64
Querying medical imaging datasets using spatial logics (Position paper) 63
Embedding RCC8D in the collective spatial logic CSLCS 62
Back-and-forth in space: on logics and bisimilarity in closure spaces 62
A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation 61
Feasibility of Spatial Model Checking for Nevus Segmentation 60
Minimisation of spatial models using branching bisimilarity 57
A spatial logic with time and quantifiers 57
QUANTICOL - D6.1 - Dissemination plan for the project 54
SLCS on face-poset models and bisimilarities on quasi-discrete closure models 54
On bisimilarity for quasi-discrete closure spaces 53
Symbolic and hybrid AI for brain tissue segmentation using spatial model checking 52
QUANTICOL - The QUANTICOL software tool suite for modelling smart cities 51
On the expressive power of IMLC and ISLCS 51
Spatial Model Checking for Smart Stations: Research Challenges 48
Using spatial logic and model checking for nevus segmentation 48
Logics of polyhedral reachability 46
ProgettISTI 2016 46
Spatial logics and model checking for medical imaging 45
A unified view of spatial representation and analysis techniques 45
Exploring nominal cellular automata 43
An experimental toolchain for strategy synthesis with spatial properties 43
A spatio-temporal model-checker 43
QUANTICOL - CAS-SCEL semantics and implementation 42
ISTI young research award 2016 42
Spatio-temporal model-checking for collective adaptive systems 41
VoxLogicA: a spatial model checker for declarative image analysis 41
QUANTICOL - A preliminary investigation of capturing spatial information for CAS 41
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy 40
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 40
Model checking spatial logics for closure spaces 39
Innovating Medical Image Analysis via Spatial Logics 38
Quantitative Evaluation of Enforcement Strategies 38
Spatial logic and spatial model checking for closure spaces 38
A hands-on introduction to spatial model checking using VoxLogicA 37
Nominal cellular automata 37
Exploring spatio-temporal properties of bike-sharing systems 36
Spatio-temporal model checking of vehicular movement in public transport systems 36
ISTI Young Research Award 2017 36
Automated synthesis and ranking of secure BPMN orchestrators 35
Qualitative and quantitative monitoring of spatio-temporal properties. Extended version 34
A Presheaf Environment for the Explicit Fusion Calculus 33
QUANTICOL - Combining spatial verification with model reduction and relating local and global views 33
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL 32
Geometric Model Checking of Continuous Space 31
On Bisimilarities for Closure Spaces - Preliminary Version 31
A tool-chain for statistical spatio-temporal model checking of bike sharing systems 31
A tool for the synthesis of cryptographic orchestrators 31
From urelements to computation: A journey through applications of Fraenkel's permutation model in computer science 30
Logics of space and time 30
Practical polyhedral model checking. A gentle introduction 30
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
QUANTICOL - The QUANTICOL software tool suite for modelling smart cities (Final) 29
Specifying and verifying properties of space. Extended Version. 29
QUANTICOL - Foundations of scalable verification for stochastic logics 29
Weak simplicial bisimilarity and minimisation for polyhedral model checking 29
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages 28
Interaction and observation: categorical semantics of reactive systems trough dialgebras 28
Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. Experience and Outlook 28
Specifying and verifying properties of space 27
From collective adaptive systems to human centric computation and back: spatial model checking for medical imaging 27
Quantitative evaluation of enforcement strategies 27
A spatial model checker in GPU (extended version) 26
On space in CARMA 26
On spatio-temporal model-checking of vehicular movement in public transport systems 26
An attribute-based front-end for FlyFast 26
On-the-fly mean-field model-checking for attribute-based coordination 25
Qualitative and quantitative monitoring of spatio-temporal properties 24
VoxLogicA: Voxel-based Logical Analyser 23
Quantitative Evaluation of Enforcement Strategies 23
Model checking spatial logics for closure spaces. Extended version 23
On-the-fly mean-field model-checking for attribute-based coordination preliminary version. Quanticol technical report TR-QC-01-2016 23
Towards spatial bisimilarity for closure models: logical and coalgebraic characterisations 22
Automated Synthesis and Ranking of Secure BPMN Orchestrators 21
Towards a spatial model checker on GPU 20
Spatial model checking for medical imaging - Preliminary version 19
Model checking in space with applications to medical image analysis: Invited abstract 10
Totale 4.465
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.745
article - articoli 2.332
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.843
Totale 18.920
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.878 112 201 253 383 414 238 512 249 208 229 79 0
Totale 4.465