Becchi, Anna
 Distribuzione geografica
Continente #
EU - Europa 140
NA - Nord America 126
AS - Asia 51
Totale 317
Nazione #
US - Stati Uniti d'America 126
IT - Italia 79
HK - Hong Kong 20
DE - Germania 18
FI - Finlandia 13
CN - Cina 12
SG - Singapore 11
RU - Federazione Russa 8
BE - Belgio 6
IE - Irlanda 6
GB - Regno Unito 4
KR - Corea 3
VN - Vietnam 3
DK - Danimarca 2
FR - Francia 2
SE - Svezia 2
IL - Israele 1
IN - India 1
Totale 317
Città #
Chandler 27
Trento 25
Hong Kong 20
Boardman 18
Helsinki 13
Singapore 9
Verona 9
Kronberg 8
Milan 7
Brussels 6
Dublin 6
Wilmington 6
Ashburn 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
Los Angeles 2
Reggio Emilia 2
Tappahannock 2
Watsonville 2
Xi'an 2
Atlanta 1
Brooklyn 1
Buffalo 1
Casamassima 1
Cloppenburg 1
Cologne 1
Düsseldorf 1
Eshhar 1
Garbagnate Milanese 1
Gunzenhausen 1
Hanover 1
Las Vegas 1
Livorno 1
London 1
Monmouth Junction 1
Munich 1
Nagold 1
Novokuznetsk 1
Nuremberg 1
Parma 1
Phoenix 1
Pomezia 1
Portland 1
Pune 1
Tortona 1
Tradate 1
Totale 235
Nome #
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 73
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 71
PPLite: Zero-overhead encoding of NNC polyhedra 44
Synthesis of P-Stable Abstractions 32
Abstraction Modulo Stability for Reverse Engineering 27
Searching for i-Good Lemmas to Accelerate Safety Model Checking 23
P-stable abstractions of hybrid systems 22
Revisiting Polyhedral Analysis for Hybrid Systems 21
Reverse engineering with P-stable Abstractions 19
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 14
Totale 346
Categoria #
all - tutte 2.543
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 2.543


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/20253 3 0 0 0 0 0 0 0 0 0 0 0
Totale 346