CNR Institutional Research Information System

LATELLA, DIEGO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 3.120
NA - Nord America 1.018
SA - Sud America 718
EU - Europa 484
AF - Africa 52
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.398
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 1.287
US - Stati Uniti d'America 970
CN - Cina 775
BR - Brasile 612
HK - Hong Kong 407
VN - Vietnam 283
KR - Corea 166
IT - Italia 147
NL - Olanda 95
FI - Finlandia 58
DE - Germania 51
GB - Regno Unito 47
IN - India 42
AR - Argentina 32
JP - Giappone 30
BD - Bangladesh 23
CA - Canada 21
ZA - Sudafrica 21
IL - Israele 20
EC - Ecuador 19
CO - Colombia 16
AT - Austria 15
FR - Francia 14
MX - Messico 13
ID - Indonesia 11
PY - Paraguay 11
UA - Ucraina 11
IQ - Iraq 10
VE - Venezuela 10
ES - Italia 9
MA - Marocco 9
UY - Uruguay 8
UZ - Uzbekistan 8
EG - Egitto 7
PK - Pakistan 7
RU - Federazione Russa 7
TR - Turchia 7
PE - Perù 6
DO - Repubblica Dominicana 5
PL - Polonia 5
AE - Emirati Arabi Uniti 4
AZ - Azerbaigian 4
CL - Cile 4
CZ - Repubblica Ceca 4
IE - Irlanda 4
JO - Giordania 4
KE - Kenya 4
KZ - Kazakistan 4
NP - Nepal 4
PT - Portogallo 4
SA - Arabia Saudita 4
SE - Svezia 4
AU - Australia 3
KG - Kirghizistan 3
PS - Palestinian Territory 3
TN - Tunisia 3
AM - Armenia 2
BB - Barbados 2
CH - Svizzera 2
ET - Etiopia 2
GE - Georgia 2
IR - Iran 2
LB - Libano 2
MN - Mongolia 2
PA - Panama 2
RS - Serbia 2
TT - Trinidad e Tobago 2
XK - ???statistics.table.value.countryCode.XK??? 2
BH - Bahrain 1
BY - Bielorussia 1
CR - Costa Rica 1
DK - Danimarca 1
DZ - Algeria 1
GA - Gabon 1
GH - Ghana 1
GM - Gambi 1
GR - Grecia 1
JM - Giamaica 1
MD - Moldavia 1
ML - Mali 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PH - Filippine 1
RO - Romania 1
TJ - Tagikistan 1
TW - Taiwan 1
ZM - Zambia 1
Totale 5.398
Salva come PNG Salva come JPEG
Città #
Singapore 778
Santa Clara 502
Hefei 435
Hong Kong 405
Beijing 166
Seoul 166
Ho Chi Minh City 96
Hanoi 64
Dallas 61
São Paulo 52
Cascina 43
Ashburn 41
Helsinki 32
Minamishinagawa 22
Rio de Janeiro 21
Belo Horizonte 18
Bengaluru 16
Turku 16
Los Angeles 14
Munich 14
Curitiba 13
Haiphong 13
New York 13
Johannesburg 11
Thái Nguyên 11
Lappeenranta 10
Quito 10
Pisa 9
Brasília 8
Brooklyn 8
Guarulhos 8
Nuremberg 8
Tashkent 8
Amsterdam 7
Campinas 7
Da Nang 7
Goiânia 7
Hải Dương 7
Montevideo 7
Rome 7
Tokyo 7
Vienna 7
Altopascio 6
Biên Hòa 6
Boston 6
Chennai 6
Chicago 6
Houston 6
Manaus 6
Ninh Bình 6
Santo André 6
Asunción 5
Caxias do Sul 5
Denver 5
Düsseldorf 5
Falkenstein 5
Frankfurt am Main 5
London 5
Milan 5
Montreal 5
Nam Định 5
Phoenix 5
Pistoia 5
Portsmouth 5
São Carlos 5
Amman 4
Atlanta 4
Baku 4
Betim 4
Bogotá 4
Buenos Aires 4
Bình An 4
Bắc Giang 4
Can Tho 4
Cecina 4
Dhaka 4
Duque de Caxias 4
Florence 4
Florianópolis 4
Karachi 4
Lima 4
Lucca 4
Naples 4
Palhoça 4
Pietrasanta 4
Porto Alegre 4
Praia Grande 4
Quận Một 4
Ribeirão Preto 4
San Francisco 4
Santos 4
Seattle 4
Selden 4
Sorocaba 4
Stockholm 4
Toronto 4
Viamão 4
Warsaw 4
Americana 3
Baghdad 3
Totale 3.417
Salva come PNG Salva come JPEG
Nome #
Towards a logic for performance and mobility. FULL VERSION 69
Minimisation of spatial models using branching bisimilarity (extended version) 67
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 64
Automatic verification of UML statechart diagrams using the SPIN model-checher 60
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking 60
A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis 59
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 59
Weak simplicial bisimilarity for polyhedral models and SLCSη 59
Weak ±-minimisation for model checking polyhedra 57
Scalable verification for spatial stochastic logics 56
THE D.3.2.1 - AA@THE User needs, technical requirements and specifications 53
On binding in the spatial logics for closure spaces 51
A proposal for a calculus of probabilistic processes 50
Ten years of spatial model checking 50
On bisimilarity for polyhedral models and SLCS 50
Specifying and Verifying Properties of Space 49
A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification 48
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics 47
AGILE: Software Architecture for Mobility 47
Embedding RCC8D in the collective spatial logic CSLCS 45
Towards hybrid-AI in imaging using VoxLogicA 43
Towards model checking video streams using VoxLogicA on GPUs 42
D3.2.1: AA@THE User needs, technical requirements and specifications 40
Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version 40
A functional approch to testing equivalence 39
Model Checking Dependability Attributes of Wireless Group Communication. Full Version 39
A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation 39
A refined mean field approximation of synchronous discrete-time population models 38
Querying medical imaging datasets using spatial logics (Position paper) 38
Using UPPAAL for the specification and verification of a lip-sync protocol-full version 38
On bisimilarity for polyhedral models and SLCS - Preliminary version 38
Feasibility of Spatial Model Checking for Nevus Segmentation 37
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation 36
Design and optimisation of the flyfast front-end for attribute-based coordination. Preliminary version (revision 0.1) 36
Towards a formal oprational semantics for UML statechert diagrams 36
Back-and-forth in space: on logics and bisimilarity in closure spaces 35
Geometric model checking of continuous space 35
Towards a logic for performance and mobility 33
Measured causes: adding time and probability to true concurrency 33
SLCS on face-poset models and bisimilarities on quasi-discrete closure models 33
Minimisation of spatial models using branching bisimilarity 33
Towards a GUI for declarative medical image analysis: cognitive and memory load issues 33
International Ercim Workshop on Formal Methods for Industrial Critical System, 2., Cesena, 1997 32
Spatial logics and model checking for medical imaging 31
On the expressive power of IMLC and ISLCS 31
QUANTICOL - The QUANTICOL software tool suite for modelling smart cities 30
On bisimilarity for quasi-discrete closure spaces 30
Spatial Model Checking for Smart Stations: Research Challenges 30
On formal methods for collective adaptive system engineering. {Scalable approximated, spatial} analysis techniques. Extended abstract 29
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 29
Using spatial logic and model checking for nevus segmentation 29
A spatio-temporal model-checker 28
VoxLogicA: a spatial model checker for declarative image analysis 28
TR 11: On STOCS: a stochastic exten- sion of SCEL. 27
Design validation of embedded dependable systems 27
Model checking UML statechart diagrams using JACK 26
Model checking mobile stochastic logic 26
L'USPID 26
Model checking spatial logics for closure spaces 26
Formal modeling and quantitative analysis of KLAIM-based mobile systems 26
Continuous approximation of collective systems behaviour: a tutorial 25
Formal Methods: applying {logics in, theoretical} computer science 25
Towards a discipline of system engineering: validation of dependable systems 25
CARMA: Collective Adaptive Resource-sharing Markovian Agents 25
Exploring spatio-temporal properties of bike-sharing systems 25
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 25
Spatio-temporal model-checking for collective adaptive systems 25
Testing UML statecharts 24
A hands-on introduction to spatial model checking using VoxLogicA 24
A unified view of spatial representation and analysis techniques 24
On-the-fly probabilistic model checking 23
Mean runtime analysis of stochastic process algebra using partial orders 23
Spatio-temporal model checking of vehicular movement in public transport systems 23
Third ERCIM FMICS international workshop 23
Correctness preserving transformations for the early phases of software development 23
State to function labelled transition systems: a uniform framework for defining stochastic process calculi 22
A consistent causality based view on a timed process algebra including urgent interactions 22
Automatic verification of a lip-synchronisation protocol using UPPAAL 22
FAERUS, nell'ambito di RESIST, EU contr. n. 026764 22
On testing UML statecharts 22
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 21
QUANTICOL - CAS-SCEL semantics and implementation 21
On Bisimilarities for Closure Spaces - Preliminary Version 21
PRIDE: an integrated software development environment for dependable systems 21
Specifying and verifying properties of space. Extended Version. 21
Caratteristiche, prospettive e problematicità dell'Intelligenza Artificiale 21
QUANTICOL - Combining spatial verification with model reduction and relating local and global views 21
Stochastically timed predicate-based communication primitives for autonomic computing 20
The CNUCE OSI prototyping laboratory 20
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy 20
SENSORIA - D4.2a - Stochastic logics 20
Implementazione in SML di un traduttore da automi gerarchici a Promela 20
Dependability analysis in the early phases of UML based system design. 20
Geometric Model Checking of Continuous Space 19
A consistent causality-based view on a timed process algebra 19
Innovating Medical Image Analysis via Spatial Logics 19
Mobile UML Statecharts with Localities 19
The SCEL language: design, implementation, verification 19
On spatio-temporal model-checking of vehicular movement in public transport systems 19
Quantitative analysis of distributed systems in stoklaim: a tutorial 19
Totale 3.297
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.034
article - articoli 3.521
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.684
Totale 30.239
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/20262.254 261 476 535 860 122 0 0 0 0 0 0 0
Totale 5.429