Zamboni, Marco
 Distribuzione geografica
Continente #
EU - Europa 94
NA - Nord America 40
AS - Asia 18
SA - Sud America 11
Totale 163
Nazione #
IT - Italia 46
US - Stati Uniti d'America 38
RU - Federazione Russa 22
BR - Brasile 10
DE - Germania 10
SG - Singapore 8
FI - Finlandia 5
HK - Hong Kong 4
BE - Belgio 3
CN - Cina 3
GB - Regno Unito 3
CA - Canada 2
NL - Olanda 2
AR - Argentina 1
IE - Irlanda 1
IL - Israele 1
IR - Iran 1
JP - Giappone 1
LT - Lituania 1
SE - Svezia 1
Totale 163
Città #
Verona 9
Chandler 8
Assago 6
Munich 6
Moscow 5
Trento 5
Hong Kong 4
Isola della Scala 4
Singapore 4
Boardman 3
Brussels 3
Helsinki 3
Naples 3
Plaistow 3
The Dalles 3
Desenzano del Garda 2
Hefei 2
Miami 2
Milan 2
New York 2
Reggio Emilia 2
Turku 2
Aachen 1
Armação dos Búzios 1
Belo Horizonte 1
Bolzano 1
Buenos Aires 1
Casamassima 1
Chicago 1
Cloppenburg 1
Cologne 1
Dallas 1
Dublin 1
Eshhar 1
Falkenstein 1
Florianópolis 1
Genoa 1
Itaocara 1
Jaraguá do Sul 1
Livorno 1
Los Angeles 1
Montreal 1
Osaka 1
Ottawa 1
Phoenix 1
Porto Alegre 1
Rio Pardo 1
Rockville Centre 1
Salvador 1
Shanghai 1
Stockholm 1
São Paulo 1
Tehran 1
Tortona 1
Xaxim 1
Totale 116
Nome #
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 117
Symbolic Model Checking of Relative Safety LTL Properties 51
Totale 168
Categoria #
all - tutte 734
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 734


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/202331 0 1 0 3 2 10 2 5 6 1 0 1
2023/202450 2 8 6 5 6 4 1 7 4 3 0 4
2024/202581 2 4 5 3 0 4 3 6 28 6 12 8
2025/20266 6 0 0 0 0 0 0 0 0 0 0 0
Totale 168