IRIS Institutional Research Information System

Becchi, Anna
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 821
NA - Nord America 607
AS - Asia 347
SA - Sud America 99
AF - Africa 11
Totale 1.885
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 583
RU - Federazione Russa 524
SG - Singapore 128
IT - Italia 126
CN - Cina 95
BR - Brasile 81
DE - Germania 46
VN - Vietnam 43
HK - Hong Kong 28
GB - Regno Unito 23
FR - Francia 20
FI - Finlandia 19
NL - Olanda 18
MX - Messico 13
IN - India 11
AR - Argentina 9
CA - Canada 9
JP - Giappone 9
SE - Svezia 9
IE - Irlanda 7
IQ - Iraq 7
BE - Belgio 6
LT - Lituania 6
BD - Bangladesh 5
AT - Austria 4
MA - Marocco 4
PL - Polonia 4
DK - Danimarca 3
KR - Corea 3
NP - Nepal 3
ZA - Sudafrica 3
AZ - Azerbaigian 2
EC - Ecuador 2
ET - Etiopia 2
ID - Indonesia 2
UY - Uruguay 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
BY - Bielorussia 1
CO - Colombia 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EG - Egitto 1
ES - Italia 1
IL - Israele 1
IR - Iran 1
JO - Giordania 1
KE - Kenya 1
KG - Kirghizistan 1
LV - Lettonia 1
PE - Perù 1
PH - Filippine 1
PK - Pakistan 1
PT - Portogallo 1
PY - Paraguay 1
RS - Serbia 1
SA - Arabia Saudita 1
TH - Thailandia 1
TR - Turchia 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 1.885
Salva come PNG Salva come JPEG
Città #
San Jose 95
Dallas 76
Singapore 60
Ashburn 43
Council Bluffs 36
The Dalles 36
Trento 31
Moscow 30
Chandler 27
Hong Kong 27
Beijing 24
Boardman 24
Los Angeles 19
New York 17
Helsinki 14
Hanoi 12
Hefei 12
Lauterbourg 12
Munich 11
Ho Chi Minh City 9
Milan 9
São Paulo 9
Verona 9
Genoa 8
Kronberg 8
Tokyo 8
Dublin 7
Frankfurt am Main 7
Poplar 7
Santa Clara 7
Brussels 6
Buenos Aires 6
Pergine Valsugana 6
Wilmington 6
Atlanta 5
Boston 5
Montreal 5
Orem 5
Phoenix 5
Turku 5
Baghdad 4
Da Nang 4
Isola della Scala 4
Mexico City 4
Shanghai 4
Albignasego 3
Amsterdam 3
Bexley 3
Bolzano 3
Brooklyn 3
Buffalo 3
Chicago 3
Dong Ket 3
Falkenstein 3
Guangzhou 3
Haiphong 3
Jacksonville 3
Johannesburg 3
Naples 3
Plaistow 3
Salvador 3
Seoul 3
Stockholm 3
Warsaw 3
Addis Ababa 2
Belo Horizonte 2
Bengaluru 2
Brasília 2
Charlotte 2
Chennai 2
Curitiba 2
Desenzano del Garda 2
Dongguan 2
Fairfield 2
Hangzhou 2
London 2
Manchester 2
Miami 2
Montevideo 2
Providence 2
Rabat 2
Raleigh 2
Reggio Emilia 2
San Francisco 2
Seattle 2
Sorocaba 2
St Petersburg 2
Tappahannock 2
Watsonville 2
Xi'an 2
Aachen 1
Acalanes Ridge 1
Acapulco de Juárez 1
Agadir 1
Almirante Tamandaré 1
Amman 1
Andaraí 1
Ankara 1
Araucária 1
Arequipa 1
Totale 887
Salva come PNG Salva come JPEG
Nome #
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 234
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 211
Reverse engineering with P-stable Abstractions 153
Abstraction Modulo Stability for Reverse Engineering 149
Abstraction Modulo Stability 140
Testing the Migration from Analog to Software-Based Railway Interlocking Systems 139
PPLite: Zero-overhead encoding of NNC polyhedra 139
P-stable abstractions of hybrid systems 136
Synthesis of P-Stable Abstractions 135
Searching for i-Good Lemmas to Accelerate Safety Model Checking 134
Stability Verification of an Industrial Switched PI Control Systems 124
Revisiting Polyhedral Analysis for Hybrid Systems 116
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 114
Totale 1.924
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.416
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 7.416
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20217 0 0 0 0 0 0 0 0 0 0 0 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/20261.155 34 117 69 105 56 41 121 398 59 71 75 9
Totale 1.924