IRIS Institutional Research Information System

Cavada, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.100
NA - Nord America 1.811
AS - Asia 1.031
SA - Sud America 196
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 5
Totale 5.167
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.757
RU - Federazione Russa 1.136
SG - Singapore 282
IT - Italia 263
HK - Hong Kong 231
DE - Germania 194
VN - Vietnam 187
CN - Cina 180
BR - Brasile 167
SE - Svezia 78
FI - Finlandia 74
IN - India 64
GB - Regno Unito 63
UA - Ucraina 62
FR - Francia 57
NL - Olanda 39
IE - Irlanda 38
BE - Belgio 26
CA - Canada 26
PL - Polonia 19
MX - Messico 18
AR - Argentina 12
ES - Italia 12
JP - Giappone 11
BD - Bangladesh 10
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
CO - Colombia 4
DK - Danimarca 4
MA - Marocco 4
PH - Filippine 4
TR - Turchia 4
CL - Cile 3
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
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.167
Salva come PNG Salva come JPEG
Città #
Hong Kong 229
Chandler 198
San Jose 181
Singapore 158
Jacksonville 114
Ashburn 101
Dallas 99
Council Bluffs 85
Trento 76
New York 74
Moscow 64
Ann Arbor 63
Boardman 60
Ho Chi Minh City 55
Beijing 53
Munich 51
Helsinki 47
Hanoi 45
The Dalles 45
Los Angeles 39
Dublin 37
Wilmington 35
Des Moines 34
Boydton 31
Hefei 26
Lauterbourg 26
Brussels 25
Milan 22
Washington 22
Woodbridge 21
São Paulo 19
Brooklyn 18
Kronberg 18
Dearborn 17
Dong Ket 17
Santa Clara 17
Verona 16
Warsaw 15
Houston 14
Phoenix 14
Shanghai 13
Frankfurt am Main 12
Turku 12
Denver 11
Orem 11
Tokyo 11
Haiphong 10
Chicago 9
Da Nang 9
Falkenstein 9
Montreal 9
Nuremberg 9
Seattle 9
Buffalo 8
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
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
Norwalk 3
Ottawa 3
Padua 3
Plaistow 3
Raleigh 3
Salerno 3
Totale 2.629
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Diagnosability via Symbolic Model Checking 316
NuSMV 264
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 234
NuGAT 226
The xSAP Safety Analysis Platform 223
COMPASS Tool 217
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 211
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 211
Model-Based Design of an Energy-System Embedded Controller Using Taste 205
RAT 204
Formal Verification of Diagnosability via Symbolic Model Checking 203
OthelloPlay: a plug-in based tool for requirement formalization and validation 200
Supporting Requirements Validation: The EuRailCheck Tool 196
A Formal IDE for Railways: Research Challenges 187
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 182
COMPASTA = COMPASS + TASTE 175
Automated Parameterized Verification of a Railway Protection System with Dafny 172
The nuXmv Symbolic Model Checker 171
Rat: A tool for the formal analysis of requirements 170
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 163
Formal Verification and Validation of AADL Model 158
Formal analysis of hardware requirements 156
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 152
COMPASTA: Integrating COMPASS Functionality into TASTE 148
A Switching Event-Triggered Model Predictive Control for HVAC Systems 140
A Specification-Driven Approach to Embedded FDIR Code Generation 117
Towards the Formal Analysis of Algorithmic Requirements 104
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 93
Formal Analysis of a Railway Signaling Block Designed in AIDA 32
Totale 5.230
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.830
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 18.830
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202124 0 0 0 0 0 0 0 0 0 0 0 24
2021/2022158 19 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.631 92 146 161 220 132 106 290 921 153 157 192 61
Totale 5.230