Becchi, Anna
 Distribuzione geografica
Continente #
NA - Nord America 430
EU - Europa 397
AS - Asia 211
SA - Sud America 86
AF - Africa 7
Totale 1.131
Nazione #
US - Stati Uniti d'America 411
RU - Federazione Russa 146
IT - Italia 113
SG - Singapore 87
BR - Brasile 75
CN - Cina 59
DE - Germania 38
HK - Hong Kong 25
GB - Regno Unito 21
FI - Finlandia 19
NL - Olanda 17
MX - Messico 10
CA - Canada 8
IE - Irlanda 7
JP - Giappone 7
VN - Vietnam 7
BE - Belgio 6
FR - Francia 6
LT - Lituania 6
AR - Argentina 5
SE - Svezia 5
AT - Austria 4
BD - Bangladesh 4
IN - India 4
PL - Polonia 4
IQ - Iraq 3
KR - Corea 3
ZA - Sudafrica 3
AZ - Azerbaigian 2
DK - Danimarca 2
EC - Ecuador 2
MA - Marocco 2
UY - Uruguay 2
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
ET - Etiopia 1
ID - Indonesia 1
IL - Israele 1
IR - Iran 1
JO - Giordania 1
KG - Kirghizistan 1
LV - Lettonia 1
NP - Nepal 1
PE - Perù 1
PH - Filippine 1
RS - Serbia 1
SA - Arabia Saudita 1
TR - Turchia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 1.131
Città #
Dallas 76
Singapore 57
The Dalles 36
Ashburn 33
Trento 30
Moscow 29
Chandler 27
Hong Kong 25
Boardman 24
Beijing 19
New York 17
Los Angeles 15
Helsinki 14
Hefei 12
Munich 11
São Paulo 9
Verona 9
Genoa 8
Kronberg 8
Milan 8
Dublin 7
Tokyo 7
Brussels 6
Frankfurt am Main 6
Poplar 6
Santa Clara 6
Wilmington 6
Boston 5
Montreal 5
Phoenix 5
Turku 5
Buenos Aires 4
Isola della Scala 4
Mexico City 4
Orem 4
Atlanta 3
Bexley 3
Bolzano 3
Brooklyn 3
Chicago 3
Dong Ket 3
Falkenstein 3
Ho Chi Minh City 3
Jacksonville 3
Johannesburg 3
Naples 3
Plaistow 3
Salvador 3
Seoul 3
Shanghai 3
Warsaw 3
Amsterdam 2
Baghdad 2
Belo Horizonte 2
Brasília 2
Buffalo 2
Charlotte 2
Chennai 2
Desenzano del Garda 2
Dongguan 2
Fairfield 2
Guangzhou 2
Hangzhou 2
London 2
Manchester 2
Miami 2
Montevideo 2
Pergine Valsugana 2
Providence 2
Raleigh 2
Reggio Emilia 2
San Francisco 2
Seattle 2
St Petersburg 2
Stockholm 2
Tappahannock 2
Watsonville 2
Xi'an 2
Aachen 1
Acapulco de Juárez 1
Addis Ababa 1
Agadir 1
Amman 1
Andaraí 1
Ankara 1
Araucária 1
Arequipa 1
Armação dos Búzios 1
Baião 1
Baku 1
Bauru 1
Bela Vista de Goiás 1
Belgrade 1
Belém 1
Betim 1
Biritinga 1
Bishkek 1
Bocaiúva 1
Bragança Paulista 1
Cabo Frio 1
Totale 671
Nome #
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 154
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 150
Abstraction Modulo Stability 98
PPLite: Zero-overhead encoding of NNC polyhedra 88
Abstraction Modulo Stability for Reverse Engineering 86
Reverse engineering with P-stable Abstractions 82
Synthesis of P-Stable Abstractions 81
Searching for i-Good Lemmas to Accelerate Safety Model Checking 79
Stability Verification of an Industrial Switched PI Control Systems 76
Testing the Migration from Analog to Software-Based Railway Interlocking Systems 73
P-stable abstractions of hybrid systems 68
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 68
Revisiting Polyhedral Analysis for Hybrid Systems 67
Totale 1.170
Categoria #
all - tutte 5.997
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 5.997


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/2025426 4 9 7 19 2 26 39 31 158 38 74 19
2025/2026401 34 117 69 105 56 20 0 0 0 0 0 0
Totale 1.170