Becchi, Anna
 Distribuzione geografica
Continente #
NA - Nord America 424
EU - Europa 395
AS - Asia 209
SA - Sud America 86
AF - Africa 7
Totale 1.121
Nazione #
US - Stati Uniti d'America 405
RU - Federazione Russa 146
IT - Italia 111
SG - Singapore 87
BR - Brasile 75
CN - Cina 57
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.121
Città #
Dallas 76
Singapore 57
The Dalles 36
Ashburn 31
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
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
Orem 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
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
Campo Grande 1
Totale 667
Nome #
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 152
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 149
Abstraction Modulo Stability 97
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 80
Searching for i-Good Lemmas to Accelerate Safety Model Checking 78
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 67
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 67
Revisiting Polyhedral Analysis for Hybrid Systems 65
Totale 1.160
Categoria #
all - tutte 5.952
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.952


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/2026391 34 117 69 105 56 10 0 0 0 0 0 0
Totale 1.160