Becchi, Anna
 Distribuzione geografica
Continente #
NA - Nord America 217
EU - Europa 162
AS - Asia 132
SA - Sud America 74
AF - Africa 9
Totale 594
Nazione #
US - Stati Uniti d'America 207
BR - Brasile 68
SG - Singapore 63
IT - Italia 59
DE - Germania 28
RU - Federazione Russa 24
VN - Vietnam 22
CN - Cina 17
FI - Finlandia 13
GB - Regno Unito 12
NL - Olanda 11
IN - India 7
MX - Messico 7
ZA - Sudafrica 6
ID - Indonesia 4
JP - Giappone 4
TW - Taiwan 4
AE - Emirati Arabi Uniti 3
AT - Austria 3
CA - Canada 3
PL - Polonia 3
AR - Argentina 2
BD - Bangladesh 2
CO - Colombia 2
ES - Italia 2
HK - Hong Kong 2
JO - Giordania 2
LV - Lettonia 2
MA - Marocco 2
SE - Svezia 2
AL - Albania 1
CH - Svizzera 1
FR - Francia 1
PH - Filippine 1
PY - Paraguay 1
TN - Tunisia 1
TR - Turchia 1
UY - Uruguay 1
Totale 594
Città #
Ashburn 47
Singapore 46
Munich 18
Santa Clara 16
Trento 16
Chandler 15
New York 13
São Paulo 12
Pergine Valsugana 9
Helsinki 8
Chicago 7
Dallas 6
Ho Chi Minh City 6
Moscow 6
Amsterdam 5
Poplar 5
Verona 5
Beijing 4
Chennai 4
Columbus 4
Hanoi 4
Johannesburg 4
Los Angeles 4
Rome 4
Taipei 4
Tokyo 4
Bressanvido 3
Brooklyn 3
Denver 3
Forlì 3
Mexico City 3
New Delhi 3
Orem 3
Turku 3
Atlanta 2
Bonndorf 2
Curitiba 2
Duque de Caxias 2
Falkenstein 2
Haiphong 2
Hamburg 2
Hong Kong 2
Hortolândia 2
Houston 2
Jingmen 2
Lappeenranta 2
Milan 2
Montreal 2
Phoenix 2
Princeton 2
Redondo Beach 2
Ribeirão Preto 2
Riga 2
Sterling 2
Stockholm 2
Taboão da Serra 2
Warsaw 2
Abu Dhabi 1
Antakya 1
Aracaju 1
Araguatins 1
Araçoiaba da Serra 1
Bad Bellingen 1
Belo Horizonte 1
Bismarck 1
Biên Hòa 1
Boston 1
Bragança 1
Brasília 1
Buenos Aires 1
Bắc Ninh 1
Cabanatuan City 1
Cachoeira do Sul 1
Cachoeirinha 1
Cambridge 1
Can Tho 1
Capetinga 1
Carapicuíba 1
Charlotte 1
Cibitung 1
City of London 1
Cleveland 1
Concord 1
Criciúma 1
Detroit 1
Dhaka 1
El Jadida 1
Elbasan 1
Elk Grove Village 1
Encarnación 1
Fazenda Rio Grande 1
Feira de Santana 1
Formosa 1
Fortaleza 1
Frankfurt am Main 1
Garden City 1
Gdansk 1
Girardot City 1
Ha Long 1
Hefei 1
Totale 389
Nome #
PPLite: Zero-overhead encoding of NNC polyhedra 109
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 94
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 80
Abstractions for Reverse Engineering 65
Abstraction Modulo Stability 59
Abstraction Modulo Stability for Reverse Engineering 58
P-stable abstractions of hybrid systems 40
Testing the Migration from Analog to Software-Based Railway Interlocking Systems 38
Searching for i-Good Lemmas to Accelerate Safety Model Checking 34
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 31
Totale 608
Categoria #
all - tutte 2.394
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 2.394


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/2026371 29 80 46 113 94 9 0 0 0 0 0 0
Totale 608