IRIS Institutional Research Information System

Cavada, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.119
NA - Nord America 1.998
AS - Asia 1.034
SA - Sud America 200
Continente sconosciuto - Info sul continente non disponibili 68
AF - Africa 24
Totale 5.443
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.942
RU - Federazione Russa 1.136
SG - Singapore 283
IT - Italia 272
HK - Hong Kong 231
DE - Germania 194
VN - Vietnam 187
CN - Cina 181
BR - Brasile 168
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 27
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.380
Salva come PNG Salva come JPEG
Città #
Hong Kong 229
Chandler 198
Council Bluffs 192
San Jose 182
Singapore 159
Jacksonville 114
Ashburn 102
Dallas 99
Trento 78
New York 74
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
Washington 41
Los Angeles 39
Dublin 37
Wilmington 35
Hefei 26
Lauterbourg 26
Brussels 25
Milan 23
Woodbridge 21
São Paulo 19
Brooklyn 18
Kronberg 18
Santa Clara 18
Dearborn 17
Dong Ket 17
Phoenix 17
Verona 16
Warsaw 15
Houston 14
Shanghai 13
Denver 12
Frankfurt am Main 12
Turku 12
Orem 11
Tokyo 11
Buffalo 10
Haiphong 10
Chicago 9
Da Nang 9
Falkenstein 9
Montreal 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
Amsterdam 5
Pune 5
Querétaro 5
Salvador 5
Tianjin 5
Toronto 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
Brasília 3
Chennai 3
Cologne 3
Ferrara 3
Lajeado 3
Manaus 3
Mezzolombardo 3
Nairobi 3
Ottawa 3
Padua 3
Perugia 3
Plaistow 3
Raleigh 3
Totale 2.809
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Diagnosability via Symbolic Model Checking 321
NuSMV 272
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 238
NuGAT 230
The xSAP Safety Analysis Platform 229
COMPASS Tool 223
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 216
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 215
RAT 211
Model-Based Design of an Energy-System Embedded Controller Using Taste 209
Formal Verification of Diagnosability via Symbolic Model Checking 205
OthelloPlay: a plug-in based tool for requirement formalization and validation 204
Supporting Requirements Validation: The EuRailCheck Tool 200
A Formal IDE for Railways: Research Challenges 195
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 186
A Specification-Driven Approach to Embedded FDIR Code Generation 185
COMPASTA = COMPASS + TASTE 180
Automated Parameterized Verification of a Railway Protection System with Dafny 179
The nuXmv Symbolic Model Checker 178
Rat: A tool for the formal analysis of requirements 174
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 170
Formal Verification and Validation of AADL Model 164
Formal analysis of hardware requirements 160
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 157
COMPASTA: Integrating COMPASS Functionality into TASTE 152
A Switching Event-Triggered Model Predictive Control for HVAC Systems 146
Towards the Formal Analysis of Algorithmic Requirements 110
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 97
Formal Analysis of a Railway Signaling Block Designed in AIDA 37
Totale 5.443
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.813
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 19.813
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022139 0 3 2 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/2027200 146 54 0 0 0 0 0 0 0 0 0 0
Totale 5.443