Becchi, Anna
 Distribuzione geografica
Continente #
EU - Europa 777
NA - Nord America 722
AS - Asia 324
SA - Sud America 98
Continente sconosciuto - Info sul continente non disponibili 36
AF - Africa 13
Totale 1.970
Nazione #
US - Stati Uniti d'America 695
RU - Federazione Russa 479
IT - Italia 126
SG - Singapore 118
CN - Cina 89
BR - Brasile 79
DE - Germania 42
VN - Vietnam 41
HK - Hong Kong 26
GB - Regno Unito 24
FR - Francia 21
FI - Finlandia 18
NL - Olanda 17
SE - Svezia 17
MX - Messico 13
IN - India 11
JP - Giappone 10
AR - Argentina 9
CA - Canada 9
IE - Irlanda 6
LT - Lituania 6
BD - Bangladesh 5
IQ - Iraq 5
AT - Austria 4
BE - Belgio 4
MA - Marocco 4
PL - Polonia 4
DK - Danimarca 3
KR - Corea 3
NP - Nepal 3
ZA - Sudafrica 3
AZ - Azerbaigian 2
CO - Colombia 2
EC - Ecuador 2
EE - Estonia 2
ET - Etiopia 2
SC - Seychelles 2
UY - Uruguay 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
BS - Bahamas 1
BY - Bielorussia 1
DO - Repubblica Dominicana 1
EG - Egitto 1
ES - Italia 1
HN - Honduras 1
ID - Indonesia 1
IL - Israele 1
IR - Iran 1
JM - Giamaica 1
JO - Giordania 1
KE - Kenya 1
KG - Kirghizistan 1
LV - Lettonia 1
PE - Perù 1
PH - Filippine 1
PK - Pakistan 1
PT - Portogallo 1
PY - Paraguay 1
SA - Arabia Saudita 1
TR - Turchia 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 1.934
Città #
San Jose 104
Council Bluffs 79
Dallas 76
Singapore 53
Ashburn 41
The Dalles 34
Trento 31
Chandler 27
Moscow 27
Hong Kong 25
Beijing 23
New York 23
Boardman 21
Los Angeles 19
Buffalo 13
Helsinki 13
Lauterbourg 12
Hanoi 11
Hefei 11
Verona 11
Ho Chi Minh City 9
Milan 9
Munich 9
Phoenix 9
São Paulo 9
Tokyo 9
Chicago 8
Genoa 8
Kronberg 7
Santa Clara 7
Buenos Aires 6
Dublin 6
Frankfurt am Main 6
Pergine Valsugana 6
Poplar 6
Wilmington 6
Orem 5
Turku 5
Boston 4
Brooklyn 4
Brussels 4
Da Nang 4
Isola della Scala 4
Mexico City 4
Montreal 4
Naples 4
Shanghai 4
Albignasego 3
Amsterdam 3
Atlanta 3
Bexley 3
Bolzano 3
Brasília 3
Charlotte 3
Denver 3
Dong Ket 3
Guangzhou 3
Haiphong 3
Jacksonville 3
Johannesburg 3
Miami 3
Plaistow 3
Queens 3
Salvador 3
Seoul 3
Stockholm 3
Warsaw 3
Addis Ababa 2
Baghdad 2
Belo Horizonte 2
Bengaluru 2
Chennai 2
Curitiba 2
Desenzano del Garda 2
Dongguan 2
Fairfield 2
Falkenstein 2
Hangzhou 2
Houston 2
Jackson 2
London 2
Manchester 2
Montevideo 2
Moreno Valley 2
Providence 2
Rabat 2
Reggio Emilia 2
San Francisco 2
Seattle 2
Secaucus 2
St Petersburg 2
Xi'an 2
Aachen 1
Abbeville 1
Acalanes Ridge 1
Acapulco de Juárez 1
Agadir 1
Almirante Tamandaré 1
Amman 1
Andaraí 1
Totale 938
Nome #
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 247
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 229
Reverse engineering with P-stable Abstractions 166
Abstraction Modulo Stability for Reverse Engineering 165
P-stable abstractions of hybrid systems 154
Testing the Migration from Analog to Software-Based Railway Interlocking Systems 153
PPLite: Zero-overhead encoding of NNC polyhedra 153
Abstraction Modulo Stability 152
Synthesis of P-Stable Abstractions 146
Stability Verification of an Industrial Switched PI Control Systems 142
Revisiting Polyhedral Analysis for Hybrid Systems 134
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 129
Totale 1.970
Categoria #
all - tutte 7.541
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 7.541


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202219 0 0 0 1 1 0 2 7 2 0 2 4
2022/2023103 3 6 1 14 3 20 5 8 21 3 11 8
2023/2024144 7 9 10 14 12 11 2 12 10 22 13 22
2024/2025392 2 8 6 15 1 24 38 30 144 36 69 19
2025/20261.080 31 114 65 95 53 39 116 367 54 69 68 9
2026/2027176 34 28 82 32 0 0 0 0 0 0 0 0
Totale 1.970