IRIS
Becchi, Anna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 479
AS - Asia 257
EU - Europa 239
SA - Sud America 87
Continente sconosciuto - Info sul continente non disponibili 15
AF - Africa 12
OC - Oceania 1
Totale 1.090
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 445
IT - Italia 101
SG - Singapore 82
BR - Brasile 76
VN - Vietnam 66
DE - Germania 32
HK - Hong Kong 26
CN - Cina 25
RU - Federazione Russa 25
CA - Canada 19
FI - Finlandia 17
GB - Regno Unito 16
NL - Olanda 16
MX - Messico 10
IN - India 9
KR - Corea 9
FR - Francia 8
ID - Indonesia 8
ZA - Sudafrica 6
BD - Bangladesh 5
JP - Giappone 5
SE - Svezia 5
AR - Argentina 4
ES - Italia 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
TR - Turchia 2
VE - Venezuela 2
AL - Albania 1
AU - Australia 1
BS - Bahamas 1
CH - Svizzera 1
CW - ???statistics.table.value.countryCode.CW??? 1
DK - Danimarca 1
DZ - Algeria 1
EC - Ecuador 1
EG - Egitto 1
GT - Guatemala 1
HU - Ungheria 1
JM - Giamaica 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
PR - Porto Rico 1
PT - Portogallo 1
PY - Paraguay 1
QA - Qatar 1
SA - Arabia Saudita 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
UA - Ucraina 1
UY - Uruguay 1
YE - Yemen 1
Totale 1.076
Salva come PNG Salva come JPEG
Città #
Ashburn 87
Singapore 54
San Jose 30
Hong Kong 25
Santa Clara 23
Trento 22
Los Angeles 20
Council Bluffs 18
Munich 18
Chandler 15
Hanoi 15
New York 15
Ho Chi Minh City 14
São Paulo 14
Chicago 12
Pergine Valsugana 12
Helsinki 11
Rome 11
Dallas 9
Seoul 9
Orem 8
Amsterdam 7
Beijing 7
Moscow 7
Denver 6
Brooklyn 5
Columbus 5
Houston 5
Montreal 5
Phoenix 5
Poplar 5
San Francisco 5
Tokyo 5
Verona 5
Washington 5
Chennai 4
Da Nang 4
Haiphong 4
Johannesburg 4
Mexico City 4
Taipei 4
Atlanta 3
Bressanvido 3
Buenos Aires 3
Buffalo 3
Dhaka 3
Forlì 3
Hortolândia 3
Jacksonville 3
Lappeenranta 3
London 3
Milan 3
New Delhi 3
Nha Trang 3
Turku 3
Bonndorf 2
Boston 2
Brétigny-sur-Orge 2
Bắc Ninh 2
Celina 2
Curitiba 2
Duque de Caxias 2
Falkenstein 2
Hamburg 2
Hamm 2
Jingmen 2
Las Vegas 2
Lauterbourg 2
Louisville 2
Naples 2
Phủ Từ Sơn 2
Princeton 2
Redondo Beach 2
Rennes 2
Ribeirão Preto 2
Riga 2
St Louis 2
Sterling 2
Stockholm 2
Taboão da Serra 2
Thái Nguyên 2
Turin 2
Warsaw 2
Winnipeg 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
Auxvasse 1
Bad Bellingen 1
Baghdad 1
Belmont 1
Belo Horizonte 1
Bismarck 1
Totale 660
Salva come PNG Salva come JPEG
Nome #
Abstractions for Reverse Engineering 199
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 159
PPLite: Zero-overhead encoding of NNC polyhedra 134
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 130
Abstraction Modulo Stability for Reverse Engineering 115
Abstraction Modulo Stability 92
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 77
P-stable abstractions of hybrid systems 65
Searching for i-Good Lemmas to Accelerate Safety Model Checking 64
Testing the Migration from Analog to Software-Based Railway Interlocking Systems 55
Totale 1.090
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.653
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.653
Salva come PNG Salva come JPEG


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
2026/2027206 38 36 51 81 0 0 0 0 0 0 0 0
Totale 1.090