IRIS Institutional Research Information System

Cavada, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.308
EU - Europa 2.137
AS - Asia 1.042
SA - Sud America 201
Continente sconosciuto - Info sul continente non disponibili 68
AF - Africa 25
Totale 5.781
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.245
RU - Federazione Russa 1.136
SG - Singapore 285
IT - Italia 278
HK - Hong Kong 233
DE - Germania 198
VN - Vietnam 187
CN - Cina 181
BR - Brasile 169
SE - Svezia 88
FI - Finlandia 74
GB - Regno Unito 65
IN - India 64
UA - Ucraina 62
FR - Francia 59
NL - Olanda 40
IE - Irlanda 38
CA - Canada 34
BE - Belgio 26
PL - Polonia 19
MX - Messico 18
AR - Argentina 14
ES - Italia 13
BD - Bangladesh 11
JP - Giappone 11
ZA - Sudafrica 10
AT - Austria 9
CZ - Repubblica Ceca 7
IL - Israele 7
IQ - Iraq 7
PK - Pakistan 7
TR - Turchia 6
DK - Danimarca 5
EU - Europa 5
LT - Lituania 5
SA - Arabia Saudita 5
AE - Emirati Arabi Uniti 4
CL - Cile 4
CO - Colombia 4
EE - Estonia 4
MA - Marocco 4
PH - Filippine 4
EC - Ecuador 3
ID - Indonesia 3
JO - Giordania 3
KE - Kenya 3
KR - Corea 3
NP - Nepal 3
OM - Oman 3
UZ - Uzbekistan 3
AZ - Azerbaigian 2
BG - Bulgaria 2
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
EG - Egitto 2
HU - Ungheria 2
IR - Iran 2
LB - Libano 2
PR - Porto Rico 2
PS - Palestinian Territory 2
PY - Paraguay 2
RO - Romania 2
TT - Trinidad e Tobago 2
VE - Venezuela 2
BA - Bosnia-Erzegovina 1
BN - Brunei Darussalam 1
BS - Bahamas 1
CH - Svizzera 1
CR - Costa Rica 1
DZ - Algeria 1
GR - Grecia 1
HN - Honduras 1
KW - Kuwait 1
LC - Santa Lucia 1
LV - Lettonia 1
MY - Malesia 1
PE - Perù 1
PT - Portogallo 1
SC - Seychelles 1
SN - Senegal 1
SR - Suriname 1
SV - El Salvador 1
TH - Thailandia 1
TN - Tunisia 1
UY - Uruguay 1
Totale 5.718
Salva come PNG Salva come JPEG
Città #
Hong Kong 229
San Jose 211
Chandler 198
Council Bluffs 193
Singapore 161
Jacksonville 114
Ashburn 108
Dallas 103
New York 87
Trento 78
Moscow 64
Ann Arbor 63
Boardman 60
Ho Chi Minh City 55
Beijing 54
Munich 54
Boydton 52
Des Moines 52
Los Angeles 50
Helsinki 47
Hanoi 45
The Dalles 45
Washington 41
Buffalo 38
Dublin 37
Wilmington 37
Hefei 26
Lauterbourg 26
Brussels 25
Phoenix 24
Santa Clara 24
Milan 23
Woodbridge 21
Brooklyn 20
São Paulo 19
Kronberg 18
Dearborn 17
Dong Ket 17
Denver 16
Houston 16
Verona 16
Warsaw 15
Shanghai 13
Frankfurt am Main 12
Turku 12
Chicago 11
Orem 11
Tokyo 11
Haiphong 10
Montreal 10
Seattle 10
Da Nang 9
Falkenstein 9
Nuremberg 9
Genoa 8
Guangzhou 8
Miami 8
Queens 8
Johannesburg 7
Kaiserslautern 7
London 7
Pergine Valsugana 7
Poplar 7
Belo Horizonte 6
Kyiv 6
Toronto 6
Amsterdam 5
Garland 5
Naples 5
Portland 5
Pune 5
Querétaro 5
Salvador 5
Tianjin 5
Atlanta 4
Brno 4
Buenos Aires 4
Bắc Ninh 4
Guanzate 4
Isola della Scala 4
Manchester 4
Norwalk 4
Rio de Janeiro 4
Riyadh 4
Rome 4
Stockholm 4
The Bronx 4
Turin 4
Vienna 4
Amman 3
Boston 3
Brasília 3
Calgary 3
Chennai 3
Cologne 3
Ferrara 3
Honolulu 3
Lajeado 3
Las Vegas 3
Manaus 3
Totale 2.944
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Diagnosability via Symbolic Model Checking 332
NuSMV 282
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 250
The xSAP Safety Analysis Platform 243
NuGAT 239
COMPASS Tool 234
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 231
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 226
RAT 224
Model-Based Design of an Energy-System Embedded Controller Using Taste 220
Formal Verification of Diagnosability via Symbolic Model Checking 215
OthelloPlay: a plug-in based tool for requirement formalization and validation 215
Supporting Requirements Validation: The EuRailCheck Tool 209
A Formal IDE for Railways: Research Challenges 205
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 200
A Specification-Driven Approach to Embedded FDIR Code Generation 197
Automated Parameterized Verification of a Railway Protection System with Dafny 197
COMPASTA = COMPASS + TASTE 194
The nuXmv Symbolic Model Checker 186
Rat: A tool for the formal analysis of requirements 184
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 179
Formal Verification and Validation of AADL Model 177
COMPASTA: Integrating COMPASS Functionality into TASTE 172
Formal analysis of hardware requirements 169
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 167
A Switching Event-Triggered Model Predictive Control for HVAC Systems 157
Towards the Formal Analysis of Algorithmic Requirements 117
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 107
Formal Analysis of a Railway Signaling Block Designed in AIDA 53
Totale 5.781
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.120
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 21.120
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022134 0 0 0 16 8 2 10 13 29 6 24 26
2022/2023415 13 35 9 92 9 57 12 40 92 23 16 17
2023/2024376 28 19 33 20 23 89 13 26 57 19 2 47
2024/20251.061 15 17 71 48 153 40 56 76 314 103 112 56
2025/20262.644 92 146 161 220 132 106 290 921 153 157 192 74
2026/2027538 146 73 176 143 0 0 0 0 0 0 0 0
Totale 5.781