Becchi, Anna
 Distribuzione geografica
Continente #
NA - Nord America 312
AS - Asia 252
EU - Europa 211
SA - Sud America 83
AF - Africa 12
Totale 870
Nazione #
US - Stati Uniti d'America 292
IT - Italia 84
SG - Singapore 82
BR - Brasile 73
VN - Vietnam 66
DE - Germania 32
CN - Cina 25
RU - Federazione Russa 25
HK - Hong Kong 24
FI - Finlandia 15
NL - Olanda 15
GB - Regno Unito 13
MX - Messico 10
CA - Canada 9
IN - India 9
KR - Corea 9
FR - Francia 8
ID - Indonesia 7
ZA - Sudafrica 6
BD - Bangladesh 5
AR - Argentina 4
ES - Italia 4
JP - Giappone 4
TW - Taiwan 4
AE - Emirati Arabi Uniti 3
AT - Austria 3
IQ - Iraq 3
JO - Giordania 3
PL - Polonia 3
CO - Colombia 2
LV - Lettonia 2
MA - Marocco 2
PH - Filippine 2
SE - Svezia 2
TR - Turchia 2
VE - Venezuela 2
AL - Albania 1
CH - Svizzera 1
DZ - Algeria 1
EG - Egitto 1
JM - Giamaica 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
PT - Portogallo 1
PY - Paraguay 1
QA - Qatar 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
UA - Ucraina 1
UY - Uruguay 1
YE - Yemen 1
Totale 870
Città #
Ashburn 64
Singapore 54
Hong Kong 23
Trento 20
Los Angeles 18
Munich 18
Santa Clara 17
Chandler 15
Hanoi 15
San Jose 15
Ho Chi Minh City 14
New York 14
São Paulo 13
Pergine Valsugana 12
Chicago 9
Helsinki 9
Seoul 9
Orem 8
Amsterdam 7
Beijing 7
Dallas 7
Moscow 7
Denver 5
Montreal 5
Poplar 5
Rome 5
Verona 5
Brooklyn 4
Chennai 4
Columbus 4
Da Nang 4
Haiphong 4
Johannesburg 4
Mexico City 4
Taipei 4
Tokyo 4
Bressanvido 3
Buenos Aires 3
Dhaka 3
Forlì 3
Hortolândia 3
Lappeenranta 3
New Delhi 3
Nha Trang 3
Turku 3
Atlanta 2
Bonndorf 2
Brétigny-sur-Orge 2
Buffalo 2
Bắc Ninh 2
Curitiba 2
Duque de Caxias 2
Falkenstein 2
Hamburg 2
Hamm 2
Houston 2
Jingmen 2
Lauterbourg 2
London 2
Louisville 2
Milan 2
Phoenix 2
Phủ Từ Sơn 2
Princeton 2
Redondo Beach 2
Rennes 2
Ribeirão Preto 2
Riga 2
Sterling 2
Stockholm 2
Taboão da Serra 2
Thái Nguyên 2
Warsaw 2
Điện Bàn 2
Abu Dhabi 1
Algiers 1
Almkerk 1
Angier 1
Antakya 1
Aracaju 1
Araguatins 1
Araçoiaba da Serra 1
Arévalo 1
Bad Bellingen 1
Baghdad 1
Belo Horizonte 1
Bismarck 1
Biên Hòa 1
Boardman 1
Bochum 1
Boston 1
Bragança 1
Brasília 1
Bratislava 1
Cabanatuan City 1
Cachoeira do Sul 1
Cachoeirinha 1
Cambridge 1
Can Tho 1
Capetinga 1
Totale 547
Nome #
Abstractions for Reverse Engineering 140
PPLite: Zero-overhead encoding of NNC polyhedra 127
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 117
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 114
Abstraction Modulo Stability for Reverse Engineering 99
Abstraction Modulo Stability 80
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 65
P-stable abstractions of hybrid systems 51
Testing the Migration from Analog to Software-Based Railway Interlocking Systems 47
Searching for i-Good Lemmas to Accelerate Safety Model Checking 44
Totale 884
Categoria #
all - tutte 3.035
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.035


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20224 0 0 0 0 0 0 0 0 0 0 3 1
2022/202335 1 3 0 3 6 5 0 3 10 1 0 3
2023/202440 5 0 4 0 1 13 4 5 0 3 1 4
2024/2025158 0 5 5 19 1 19 12 12 9 30 20 26
2025/2026647 29 80 46 113 94 45 112 24 31 37 23 13
Totale 884