CNR Institutional Research Information System

LATELLA, DIEGO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 4.781
NA - Nord America 2.427
EU - Europa 1.053
SA - Sud America 871
AF - Africa 93
Continente sconosciuto - Info sul continente non disponibili 45
OC - Oceania 10
Totale 9.280
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.297
SG - Singapore 2.070
CN - Cina 1.111
BR - Brasile 715
VN - Vietnam 484
HK - Hong Kong 448
IT - Italia 295
FR - Francia 264
KR - Corea 174
JP - Giappone 166
NL - Olanda 102
GB - Regno Unito 75
IN - India 75
DE - Germania 74
CA - Canada 61
FI - Finlandia 61
BD - Bangladesh 54
AR - Argentina 49
RU - Federazione Russa 43
ID - Indonesia 29
AT - Austria 27
EC - Ecuador 27
ZA - Sudafrica 27
MX - Messico 26
ES - Italia 25
CO - Colombia 23
IL - Israele 22
UA - Ucraina 21
MA - Marocco 16
PK - Pakistan 16
IQ - Iraq 15
VE - Venezuela 15
EG - Egitto 14
TR - Turchia 14
PY - Paraguay 13
JO - Giordania 11
PL - Polonia 11
SA - Arabia Saudita 11
CL - Cile 10
UZ - Uzbekistan 10
AE - Emirati Arabi Uniti 9
AU - Australia 9
JM - Giamaica 9
KZ - Kazakistan 9
PE - Perù 9
UY - Uruguay 8
IE - Irlanda 7
PH - Filippine 7
AZ - Azerbaigian 6
KE - Kenya 6
NP - Nepal 6
SE - Svezia 6
TN - Tunisia 6
CZ - Repubblica Ceca 5
DO - Repubblica Dominicana 5
ET - Etiopia 5
KG - Kirghizistan 5
MD - Moldavia 5
MY - Malesia 5
RS - Serbia 5
SV - El Salvador 5
CH - Svizzera 4
CR - Costa Rica 4
DZ - Algeria 4
GE - Georgia 4
GR - Grecia 4
HN - Honduras 4
PT - Portogallo 4
AL - Albania 3
AM - Armenia 3
AO - Angola 3
BB - Barbados 3
DK - Danimarca 3
GH - Ghana 3
GT - Guatemala 3
NI - Nicaragua 3
PA - Panama 3
PS - Palestinian Territory 3
RO - Romania 3
TH - Thailandia 3
XK - ???statistics.table.value.countryCode.XK??? 3
BH - Bahrain 2
BO - Bolivia 2
IR - Iran 2
LB - Libano 2
MN - Mongolia 2
TT - Trinidad e Tobago 2
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BS - Bahamas 1
BY - Bielorussia 1
GA - Gabon 1
GM - Gambi 1
GN - Guinea 1
HU - Ungheria 1
KH - Cambogia 1
LT - Lituania 1
LY - Libia 1
MK - Macedonia 1
ML - Mali 1
Totale 9.230
Salva come PNG Salva come JPEG
Città #
Singapore 1.283
Santa Clara 512
Hong Kong 441
Hefei 436
San Jose 378
Ashburn 299
Lauterbourg 219
Beijing 191
Seoul 166
Ho Chi Minh City 159
Tokyo 139
Hanoi 115
Los Angeles 87
Dallas 72
New York 63
São Paulo 61
Cascina 43
Pisa 42
Helsinki 33
Buffalo 23
Haiphong 23
Rome 23
Da Nang 22
Minamishinagawa 22
Rio de Janeiro 22
Orem 20
Belo Horizonte 19
Bengaluru 17
Milan 17
Atlanta 16
Chennai 16
Council Bluffs 16
Thái Nguyên 16
Turku 16
Munich 15
Nuremberg 15
Brooklyn 14
Johannesburg 14
Moscow 14
Toronto 14
Chicago 13
Curitiba 13
Frankfurt am Main 13
Houston 13
Quito 13
Lappeenranta 12
Montreal 12
Vienna 12
Denver 11
Amsterdam 10
Campinas 10
Guarulhos 10
Hải Dương 10
Tashkent 10
Amman 9
Biên Hòa 9
Brasília 9
London 9
Manaus 9
Phoenix 9
Shanghai 9
Boardman 8
Dhaka 8
Florence 8
Goiânia 8
Guangzhou 8
Manchester 8
Ninh Bình 8
Warsaw 8
Cairo 7
Jakarta 7
Lucca 7
Montevideo 7
Naples 7
Philadelphia 7
Portsmouth 7
Santo André 7
Washington 7
Altopascio 6
Asunción 6
Baghdad 6
Baku 6
Bogotá 6
Boston 6
Bắc Ninh 6
Dublin 6
Guayaquil 6
Kingston 6
Lahore 6
Lima 6
Memphis 6
Miami 6
Mumbai 6
Newark 6
San Francisco 6
Santos 6
Springfield 6
Stockholm 6
Buenos Aires 5
Bắc Giang 5
Totale 5.595
Salva come PNG Salva come JPEG
Nome #
Weak ±-minimisation for model checking polyhedra 109
THE D.3.2.1 - AA@THE User needs, technical requirements and specifications 98
Minimisation of spatial models using branching bisimilarity (extended version) 92
Ten years of spatial model checking 91
D3.2.1: AA@THE User needs, technical requirements and specifications 89
Weak simplicial bisimilarity for polyhedral models and SLCSη 87
Towards a logic for performance and mobility. FULL VERSION 86
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 84
On binding in the spatial logics for closure spaces 83
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 82
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking 81
Automatic verification of UML statechart diagrams using the SPIN model-checher 80
Scalable verification for spatial stochastic logics 80
On bisimilarity for polyhedral models and SLCS 78
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 77
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis 73
Specifying and Verifying Properties of Space 71
Querying medical imaging datasets using spatial logics (Position paper) 70
Towards model checking video streams using VoxLogicA on GPUs 70
On bisimilarity for polyhedral models and SLCS - Preliminary version 69
Geometric model checking of continuous space 69
Towards hybrid-AI in imaging using VoxLogicA 67
Towards a GUI for declarative medical image analysis: cognitive and memory load issues 67
Back-and-forth in space: on logics and bisimilarity in closure spaces 66
Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version 66
A proposal for a calculus of probabilistic processes 65
Feasibility of Spatial Model Checking for Nevus Segmentation 64
A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation 63
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics 62
Embedding RCC8D in the collective spatial logic CSLCS 62
Minimisation of spatial models using branching bisimilarity 62
AGILE: Software Architecture for Mobility 60
A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification 58
Using UPPAAL for the specification and verification of a lip-sync protocol-full version 57
On bisimilarity for quasi-discrete closure spaces 57
A refined mean field approximation of synchronous discrete-time population models 56
SLCS on face-poset models and bisimilarities on quasi-discrete closure models 55
Measured causes: adding time and probability to true concurrency 54
Spatial Model Checking for Smart Stations: Research Challenges 54
QUANTICOL - The QUANTICOL software tool suite for modelling smart cities 52
Spatial logics and model checking for medical imaging 52
A functional approch to testing equivalence 51
Using spatial logic and model checking for nevus segmentation 51
On the expressive power of IMLC and ISLCS 51
Model Checking Dependability Attributes of Wireless Group Communication. Full Version 50
Towards a formal oprational semantics for UML statechert diagrams 50
Design and optimisation of the flyfast front-end for attribute-based coordination. Preliminary version (revision 0.1) 49
A unified view of spatial representation and analysis techniques 48
Formal Methods: applying {logics in, theoretical} computer science 47
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation 46
A consistent causality based view on a timed process algebra including urgent interactions 45
VoxLogicA: a spatial model checker for declarative image analysis 45
Model checking UML statechart diagrams using JACK 44
A spatio-temporal model-checker 44
Spatial logic and spatial model checking for closure spaces 44
Towards a logic for performance and mobility 43
QUANTICOL - CAS-SCEL semantics and implementation 43
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy 43
L'USPID 43
Model checking spatial logics for closure spaces 43
Design validation of embedded dependable systems 43
Spatio-temporal model-checking for collective adaptive systems 43
FAERUS, nell'ambito di RESIST, EU contr. n. 026764 43
Quantitative analysis of distributed systems in stoklaim: a tutorial 43
Caratteristiche, prospettive e problematicità dell'Intelligenza Artificiale 43
TR 11: On STOCS: a stochastic exten- sion of SCEL. 42
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 42
International Ercim Workshop on Formal Methods for Industrial Critical System, 2., Cesena, 1997 41
Third ERCIM FMICS international workshop 41
The SCEL language: design, implementation, verification 41
On formal methods for collective adaptive system engineering. {Scalable approximated, spatial} analysis techniques. Extended abstract 40
Model checking mobile stochastic logic 40
Innovating Medical Image Analysis via Spatial Logics 40
Spatio-temporal model checking of vehicular movement in public transport systems 40
Formal modeling and quantitative analysis of KLAIM-based mobile systems 40
Continuous approximation of collective systems behaviour: a tutorial 39
State to function labelled transition systems: a uniform framework for defining stochastic process calculi 39
Exploring spatio-temporal properties of bike-sharing systems 39
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 38
CARMA: Collective Adaptive Resource-sharing Markovian Agents 38
A consistent causality-based view on a timed process algebra 38
Towards automatic decision support for bike-sharing system design 38
Dependability analysis in the early phases of UML based system design. 38
The CNUCE OSI prototyping laboratory 37
Towards a discipline of system engineering: validation of dependable systems 37
A hands-on introduction to spatial model checking using VoxLogicA 37
FlyFast: a scalable approach to probabilistic model-checking based on mean-field approximation 37
Corsa agli armamenti, tecnologie avanzate e prospettive di disarmo. Raccolta degli abstracts 37
QUANTICOL - Combining spatial verification with model reduction and relating local and global views 37
Stochastically timed predicate-based communication primitives for autonomic computing 36
SENSORIA - D4.2a - Stochastic logics 36
Implementazione in SML di un traduttore da automi gerarchici a Promela 36
PRIDE: an integrated software development environment for dependable systems 36
Practical polyhedral model checking. A gentle introduction 36
Mean runtime analysis of stochastic process algebra using partial orders 35
Geometric Model Checking of Continuous Space 35
Towards model checking stochastic aspects of the Thinkteam user interface 35
A tool-chain for statistical spatio-temporal model checking of bike sharing systems 35
Testing UML statecharts 34
On Bisimilarities for Closure Spaces - Preliminary Version 34
Totale 5.337
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.758
article - articoli 5.401
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.211
Totale 46.370
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202439 0 0 0 0 0 0 0 1 4 5 8 21
2024/20253.136 8 18 292 147 407 178 38 80 71 170 965 762
2025/20265.732 261 476 535 860 862 242 1.039 383 387 373 168 146
2026/2027373 319 54 0 0 0 0 0 0 0 0 0 0
Totale 9.280