Cavada, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 386
AS - Asia 145
EU - Europa 135
SA - Sud America 20
AF - Africa 3
Totale 689
Nazione #
US - Stati Uniti d'America 380
SG - Singapore 91
CN - Cina 29
DE - Germania 25
RU - Federazione Russa 24
IT - Italia 23
BR - Brasile 18
FI - Finlandia 15
GB - Regno Unito 15
JO - Giordania 7
BG - Bulgaria 6
LV - Lettonia 6
NL - Olanda 6
SE - Svezia 5
VN - Vietnam 5
CA - Canada 4
IN - India 3
PL - Polonia 3
ES - Italia 2
HK - Hong Kong 2
ID - Indonesia 2
JP - Giappone 2
KG - Kirghizistan 2
LT - Lituania 2
MX - Messico 2
UA - Ucraina 2
ZA - Sudafrica 2
AR - Argentina 1
AT - Austria 1
BD - Bangladesh 1
EC - Ecuador 1
MA - Marocco 1
TR - Turchia 1
Totale 689
Città #
Singapore 60
Chandler 59
Ashburn 48
Los Angeles 17
Munich 16
New York 16
Beijing 15
Fairfield 15
Santa Clara 15
Dallas 14
Helsinki 12
Princeton 12
San Mateo 12
Columbus 11
Cambridge 10
Moscow 8
Woodbridge 8
Houston 7
London 7
Riga 6
Seattle 6
Sofia 6
Chicago 5
Wilmington 5
Denver 4
Frankfurt am Main 4
Brooklyn 3
Falkenstein 3
Poplar 3
Redondo Beach 3
Turku 3
Warsaw 3
Amsterdam 2
Ann Arbor 2
Chennai 2
Fremont 2
Hanoi 2
Hong Kong 2
Johannesburg 2
Manchester 2
Norwalk 2
Pergine Valsugana 2
Rome 2
Tokyo 2
Trento 2
Washington 2
Abaetetuba 1
Ankara 1
Anyang 1
Araçoiaba da Serra 1
Atlanta 1
Bad Bellingen 1
Belo Horizonte 1
Beltsville 1
Bishkek 1
Boardman 1
Bắc Giang 1
Campinas 1
Charleston 1
Charlotte 1
Cibitung 1
Clifton 1
Collingwood 1
Collinsville 1
Concord 1
Coroatá 1
Council Bluffs 1
Dobropol'ye 1
El Jadida 1
Elk Grove Village 1
Falls Church 1
Guangzhou 1
Guariba 1
Ho Chi Minh City 1
Honolulu 1
Iguape 1
Isidro Casanova 1
Itanhaém 1
Içara 1
Jaú 1
Khmelnytskyi 1
Kunming 1
Lancaster 1
Las Vegas 1
Louisville 1
Mexico City 1
Miami 1
Milagro 1
Milwaukee 1
Montreal 1
Mumbai 1
Newark 1
Newaygo 1
O'Fallon 1
Orem 1
Persico Dosimo 1
Peruíbe 1
Plainfield 1
Qiqihar 1
Quanzhou 1
Totale 498
Nome #
Supporting Requirements Validation: The EuRailCheck Tool 138
OthelloPlay: a plug-in based tool for requirement formalization and validation 108
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 98
Formal analysis of hardware requirements 97
Rat: A tool for the formal analysis of requirements 95
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 84
The xSAP Safety Analysis Platform 79
Totale 699
Categoria #
all - tutte 3.949
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 3.949


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202123 0 0 0 0 0 0 4 5 5 3 4 2
2021/202247 0 1 0 4 0 3 0 19 2 1 6 11
2022/2023113 8 17 0 16 7 16 0 8 26 1 7 7
2023/202461 7 4 4 3 1 26 1 2 0 3 1 9
2024/2025167 3 5 10 25 15 20 2 10 15 26 18 18
2025/2026249 23 10 38 68 73 37 0 0 0 0 0 0
Totale 699