Becchi, Anna
 Distribuzione geografica
Continente #
EU - Europa 136
NA - Nord America 105
AS - Asia 37
Totale 278
Nazione #
US - Stati Uniti d'America 105
IT - Italia 79
HK - Hong Kong 20
DE - Germania 16
FI - Finlandia 12
RU - Federazione Russa 8
BE - Belgio 6
IE - Irlanda 6
CN - Cina 5
GB - Regno Unito 4
SG - Singapore 4
KR - Corea 3
VN - Vietnam 3
DK - Danimarca 2
SE - Svezia 2
FR - Francia 1
IL - Israele 1
IN - India 1
Totale 278
Città #
Chandler 27
Trento 25
Hong Kong 20
Helsinki 12
Verona 9
Kronberg 8
Milan 7
Brussels 6
Dublin 6
Wilmington 6
Ashburn 5
New York 5
Isola della Scala 4
Singapore 4
Dong Ket 3
Jacksonville 3
Naples 3
Plaistow 3
Seoul 3
Shanghai 3
Beijing 2
Bolzano 2
Desenzano del Garda 2
Fairfield 2
Los Angeles 2
Reggio Emilia 2
Tappahannock 2
Atlanta 1
Boardman 1
Brooklyn 1
Casamassima 1
Cloppenburg 1
Cologne 1
Eshhar 1
Garbagnate Milanese 1
Gunzenhausen 1
Hanover 1
Livorno 1
London 1
Monmouth Junction 1
Nagold 1
Novokuznetsk 1
Nuremberg 1
Parma 1
Phoenix 1
Pomezia 1
Portland 1
Pune 1
Tortona 1
Tradate 1
Totale 199
Nome #
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 72
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 69
PPLite: Zero-overhead encoding of NNC polyhedra 43
Synthesis of P-Stable Abstractions 29
Abstraction Modulo Stability for Reverse Engineering 25
Revisiting Polyhedral Analysis for Hybrid Systems 18
Searching for i-Good Lemmas to Accelerate Safety Model Checking 18
Reverse engineering with P-stable Abstractions 16
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 11
P-stable abstractions of hybrid systems 4
Totale 305
Categoria #
all - tutte 2.130
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.130


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/2024124 10 13 13 15 12 11 2 13 10 25 0 0
Totale 305