IRIS Institutional Research Information System

Cavada, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.229
EU - Europa 2.122
AS - Asia 1.038
SA - Sud America 201
Continente sconosciuto - Info sul continente non disponibili 68
AF - Africa 24
Totale 5.682
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.169
RU - Federazione Russa 1.136
SG - Singapore 285
IT - Italia 275
HK - Hong Kong 233
DE - Germania 194
VN - Vietnam 187
CN - Cina 181
BR - Brasile 169
SE - Svezia 86
FI - Finlandia 74
IN - India 64
GB - Regno Unito 63
UA - Ucraina 62
FR - Francia 57
NL - Olanda 40
IE - Irlanda 38
CA - Canada 31
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
EU - Europa 5
LT - Lituania 5
PK - Pakistan 5
SA - Arabia Saudita 5
AE - Emirati Arabi Uniti 4
CL - Cile 4
CO - Colombia 4
DK - Danimarca 4
MA - Marocco 4
PH - Filippine 4
TR - Turchia 4
EC - Ecuador 3
EE - Estonia 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
SN - Senegal 1
SR - Suriname 1
SV - El Salvador 1
TH - Thailandia 1
TN - Tunisia 1
UY - Uruguay 1
Totale 5.619
Salva come PNG Salva come JPEG
Città #
Hong Kong 229
San Jose 210
Chandler 198
Council Bluffs 193
Singapore 161
Jacksonville 114
Ashburn 107
Dallas 101
New York 87
Trento 78
Moscow 64
Ann Arbor 63
Boardman 60
Ho Chi Minh City 55
Beijing 54
Boydton 52
Des Moines 52
Munich 51
Helsinki 47
Hanoi 45
The Dalles 45
Los Angeles 44
Washington 41
Dublin 37
Buffalo 36
Wilmington 36
Hefei 26
Lauterbourg 26
Brussels 25
Santa Clara 24
Milan 23
Phoenix 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
Da Nang 9
Falkenstein 9
Nuremberg 9
Seattle 9
Genoa 8
Guangzhou 8
Miami 8
Johannesburg 7
Kaiserslautern 7
London 7
Pergine Valsugana 7
Poplar 7
Belo Horizonte 6
Kyiv 6
Queens 6
Toronto 6
Amsterdam 5
Garland 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
Naples 4
Norwalk 4
Portland 4
Rio de Janeiro 4
Riyadh 4
Rome 4
Stockholm 4
Turin 4
Vienna 4
Amman 3
Boston 3
Brasília 3
Chennai 3
Cologne 3
Ferrara 3
Lajeado 3
Las Vegas 3
Manaus 3
Mezzolombardo 3
Nairobi 3
North Easton 3
Totale 2.921
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Diagnosability via Symbolic Model Checking 331
NuSMV 279
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 247
The xSAP Safety Analysis Platform 239
NuGAT 238
COMPASS Tool 231
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 225
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 222
RAT 221
Model-Based Design of an Energy-System Embedded Controller Using Taste 217
Formal Verification of Diagnosability via Symbolic Model Checking 214
OthelloPlay: a plug-in based tool for requirement formalization and validation 211
Supporting Requirements Validation: The EuRailCheck Tool 207
A Formal IDE for Railways: Research Challenges 201
A Specification-Driven Approach to Embedded FDIR Code Generation 194
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 194
Automated Parameterized Verification of a Railway Protection System with Dafny 191
COMPASTA = COMPASS + TASTE 189
The nuXmv Symbolic Model Checker 185
Rat: A tool for the formal analysis of requirements 182
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 177
Formal Verification and Validation of AADL Model 173
Formal analysis of hardware requirements 167
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 165
COMPASTA: Integrating COMPASS Functionality into TASTE 162
A Switching Event-Triggered Model Predictive Control for HVAC Systems 153
Towards the Formal Analysis of Algorithmic Requirements 116
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 104
Formal Analysis of a Railway Signaling Block Designed in AIDA 47
Totale 5.682
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.740
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 20.740
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/2027439 146 73 176 44 0 0 0 0 0 0 0 0
Totale 5.682