Becchi, Anna
 Distribuzione geografica
Continente #
EU - Europa 821
NA - Nord America 565
AS - Asia 326
SA - Sud America 99
AF - Africa 11
Totale 1.822
Nazione #
US - Stati Uniti d'America 542
RU - Federazione Russa 524
IT - Italia 126
SG - Singapore 120
CN - Cina 86
BR - Brasile 81
DE - Germania 46
VN - Vietnam 42
HK - Hong Kong 28
GB - Regno Unito 23
FR - Francia 20
FI - Finlandia 19
NL - Olanda 18
MX - Messico 13
IN - India 11
AR - Argentina 9
CA - Canada 9
JP - Giappone 9
SE - Svezia 9
IE - Irlanda 7
IQ - Iraq 7
BE - Belgio 6
LT - Lituania 6
BD - Bangladesh 5
AT - Austria 4
MA - Marocco 4
PL - Polonia 4
DK - Danimarca 3
KR - Corea 3
ZA - Sudafrica 3
AZ - Azerbaigian 2
EC - Ecuador 2
ET - Etiopia 2
ID - Indonesia 2
NP - Nepal 2
UY - Uruguay 2
VE - Venezuela 2
BY - Bielorussia 1
CO - Colombia 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
ES - Italia 1
IL - Israele 1
IR - Iran 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
RS - Serbia 1
SA - Arabia Saudita 1
TR - Turchia 1
UZ - Uzbekistan 1
Totale 1.822
Città #
San Jose 95
Dallas 76
Singapore 60
Ashburn 42
The Dalles 36
Trento 31
Moscow 30
Chandler 27
Hong Kong 27
Beijing 24
Boardman 24
Los Angeles 18
New York 17
Helsinki 14
Hanoi 12
Hefei 12
Lauterbourg 12
Munich 11
Ho Chi Minh City 9
Milan 9
São Paulo 9
Verona 9
Genoa 8
Kronberg 8
Tokyo 8
Dublin 7
Frankfurt am Main 7
Poplar 7
Santa Clara 7
Brussels 6
Buenos Aires 6
Pergine Valsugana 6
Wilmington 6
Atlanta 5
Boston 5
Montreal 5
Orem 5
Phoenix 5
Turku 5
Baghdad 4
Da Nang 4
Isola della Scala 4
Mexico City 4
Shanghai 4
Albignasego 3
Amsterdam 3
Bexley 3
Bolzano 3
Brooklyn 3
Buffalo 3
Chicago 3
Dong Ket 3
Falkenstein 3
Guangzhou 3
Haiphong 3
Jacksonville 3
Johannesburg 3
Naples 3
Plaistow 3
Salvador 3
Seoul 3
Stockholm 3
Warsaw 3
Addis Ababa 2
Belo Horizonte 2
Bengaluru 2
Brasília 2
Charlotte 2
Chennai 2
Curitiba 2
Desenzano del Garda 2
Dongguan 2
Fairfield 2
Hangzhou 2
London 2
Manchester 2
Miami 2
Montevideo 2
Providence 2
Rabat 2
Raleigh 2
Reggio Emilia 2
San Francisco 2
Seattle 2
Sorocaba 2
St Petersburg 2
Tappahannock 2
Watsonville 2
Xi'an 2
Aachen 1
Acalanes Ridge 1
Acapulco de Juárez 1
Agadir 1
Almirante Tamandaré 1
Amman 1
Andaraí 1
Ankara 1
Araucária 1
Arequipa 1
Armação dos Búzios 1
Totale 850
Nome #
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 232
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 207
Abstraction Modulo Stability for Reverse Engineering 146
Reverse engineering with P-stable Abstractions 141
Abstraction Modulo Stability 138
PPLite: Zero-overhead encoding of NNC polyhedra 136
Synthesis of P-Stable Abstractions 134
P-stable abstractions of hybrid systems 131
Testing the Migration from Analog to Software-Based Railway Interlocking Systems 128
Searching for i-Good Lemmas to Accelerate Safety Model Checking 124
Stability Verification of an Industrial Switched PI Control Systems 120
Revisiting Polyhedral Analysis for Hybrid Systems 113
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 111
Totale 1.861
Categoria #
all - tutte 7.104
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.104


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20219 0 0 0 0 0 0 0 0 0 0 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/2025426 4 9 7 19 2 26 39 31 158 38 74 19
2025/20261.092 34 117 69 105 56 41 121 398 59 71 21 0
Totale 1.861