Becchi, Anna
 Distribuzione geografica
Continente #
EU - Europa 187
NA - Nord America 165
AS - Asia 92
SA - Sud America 13
Totale 457
Nazione #
US - Stati Uniti d'America 164
IT - Italia 97
SG - Singapore 42
DE - Germania 28
HK - Hong Kong 20
CN - Cina 17
RU - Federazione Russa 16
FI - Finlandia 14
BR - Brasile 11
IE - Irlanda 7
BE - Belgio 6
GB - Regno Unito 4
LT - Lituania 4
KR - Corea 3
SE - Svezia 3
VN - Vietnam 3
AR - Argentina 2
AT - Austria 2
DK - Danimarca 2
FR - Francia 2
BD - Bangladesh 1
ID - Indonesia 1
IL - Israele 1
IN - India 1
IQ - Iraq 1
IR - Iran 1
LV - Lettonia 1
MX - Messico 1
NL - Olanda 1
PH - Filippine 1
Totale 457
Città #
Singapore 32
Chandler 27
Trento 27
Boardman 23
Hong Kong 20
Helsinki 14
Verona 9
Kronberg 8
Milan 8
Dublin 7
Ashburn 6
Brussels 6
Munich 6
Wilmington 6
Los Angeles 5
New York 5
Isola della Scala 4
Beijing 3
Bolzano 3
Dong Ket 3
Falkenstein 3
Jacksonville 3
Moscow 3
Naples 3
Plaistow 3
Seoul 3
Shanghai 3
Buenos Aires 2
Desenzano del Garda 2
Dongguan 2
Fairfield 2
Frankfurt am Main 2
Guangzhou 2
Hangzhou 2
Miami 2
Reggio Emilia 2
Seattle 2
Tappahannock 2
Watsonville 2
Xi'an 2
Amsterdam 1
Armação dos Búzios 1
Atlanta 1
Baião 1
Brasília 1
Brooklyn 1
Buffalo 1
Casamassima 1
Caxias do Sul 1
Cloppenburg 1
Cologne 1
Düsseldorf 1
Eshhar 1
Feira de Santana 1
Garbagnate Milanese 1
Genoa 1
Governador Valadares 1
Gunzenhausen 1
Hanover 1
Hillah 1
Jaraguá do Sul 1
Las Vegas 1
Livorno 1
London 1
Manila 1
Mexico City 1
Monmouth Junction 1
Nagold 1
Novokuznetsk 1
Nuremberg 1
Olinda 1
Paglieta 1
Parma 1
Paulínia 1
Phoenix 1
Pomezia 1
Portland 1
Pune 1
Riga 1
Salvador 1
Santa Clara 1
St Louis 1
São Caetano do Sul 1
Tehran 1
Tortona 1
Tradate 1
Vienna 1
Totale 316
Nome #
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 92
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 86
PPLite: Zero-overhead encoding of NNC polyhedra 49
Synthesis of P-Stable Abstractions 39
Abstraction Modulo Stability for Reverse Engineering 35
Searching for i-Good Lemmas to Accelerate Safety Model Checking 35
P-stable abstractions of hybrid systems 29
Revisiting Polyhedral Analysis for Hybrid Systems 28
Reverse engineering with P-stable Abstractions 25
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 24
Testing the Migration from Analog to Software-Based Railway Interlocking Systems 23
Stability Verification of an Industrial Switched PI Control Systems 21
Abstraction Modulo Stability 8
Totale 494
Categoria #
all - tutte 3.871
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.871


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/2025151 4 9 7 19 2 26 39 31 14 0 0 0
Totale 494