CNR Institutional Research Information System

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