Becchi, Anna
 Distribuzione geografica
Continente #
EU - Europa 153
NA - Nord America 147
AS - Asia 74
SA - Sud America 1
Totale 375
Nazione #
US - Stati Uniti d'America 147
IT - Italia 85
SG - Singapore 29
DE - Germania 23
HK - Hong Kong 20
CN - Cina 14
FI - Finlandia 13
RU - Federazione Russa 8
BE - Belgio 6
IE - Irlanda 6
GB - Regno Unito 4
KR - Corea 3
SE - Svezia 3
VN - Vietnam 3
DK - Danimarca 2
FR - Francia 2
AR - Argentina 1
BD - Bangladesh 1
ID - Indonesia 1
IL - Israele 1
IN - India 1
LV - Lettonia 1
PH - Filippine 1
Totale 375
Città #
Chandler 27
Trento 27
Singapore 26
Boardman 23
Hong Kong 20
Helsinki 13
Verona 9
Kronberg 8
Milan 7
Brussels 6
Dublin 6
Munich 6
Wilmington 6
Ashburn 5
Los Angeles 5
New York 5
Isola della Scala 4
Beijing 3
Dong Ket 3
Jacksonville 3
Naples 3
Plaistow 3
Seoul 3
Shanghai 3
Bolzano 2
Desenzano del Garda 2
Dongguan 2
Fairfield 2
Guangzhou 2
Reggio Emilia 2
Tappahannock 2
Watsonville 2
Xi'an 2
Atlanta 1
Brooklyn 1
Buenos Aires 1
Buffalo 1
Casamassima 1
Cloppenburg 1
Cologne 1
Düsseldorf 1
Eshhar 1
Garbagnate Milanese 1
Genoa 1
Gunzenhausen 1
Hanover 1
Las Vegas 1
Livorno 1
London 1
Manila 1
Miami 1
Monmouth Junction 1
Nagold 1
Novokuznetsk 1
Nuremberg 1
Paglieta 1
Parma 1
Phoenix 1
Pomezia 1
Portland 1
Pune 1
Riga 1
Santa Clara 1
Tortona 1
Tradate 1
Totale 274
Nome #
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 83
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 81
PPLite: Zero-overhead encoding of NNC polyhedra 47
Synthesis of P-Stable Abstractions 36
Abstraction Modulo Stability for Reverse Engineering 31
Searching for i-Good Lemmas to Accelerate Safety Model Checking 31
P-stable abstractions of hybrid systems 26
Revisiting Polyhedral Analysis for Hybrid Systems 25
Reverse engineering with P-stable Abstractions 24
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 20
Stability Verification of an Industrial Switched PI Control Systems 2
Testing the Migration from Analog to Software-Based Railway Interlocking Systems 1
Abstraction Modulo Stability 1
Totale 408
Categoria #
all - tutte 3.258
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.258


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202140 0 0 0 0 0 0 0 0 23 8 2 7
2021/202235 13 1 2 1 1 0 2 7 2 0 2 4
2022/2023106 3 6 1 14 3 20 5 8 21 3 11 11
2023/2024162 10 13 13 15 12 11 2 13 10 25 13 25
2024/202565 4 9 7 19 2 24 0 0 0 0 0 0
Totale 408