CINECA IRIS Institutional Research Information System

SANTONE, ANTONELLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.004
AS - Asia 456
EU - Europa 433
SA - Sud America 41
AF - Africa 27
Continente sconosciuto - Info sul continente non disponibili 12
Totale 1.973
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 964
SG - Singapore 169
CN - Cina 142
SE - Svezia 130
IT - Italia 111
DE - Germania 50
HK - Hong Kong 44
CA - Canada 32
BR - Brasile 31
FR - Francia 30
BG - Bulgaria 29
VN - Vietnam 29
TR - Turchia 28
GB - Regno Unito 20
FI - Finlandia 19
RU - Federazione Russa 19
UA - Ucraina 14
IN - India 13
NG - Nigeria 13
CI - Costa d'Avorio 6
BD - Bangladesh 5
JP - Giappone 5
KR - Corea 5
AR - Argentina 4
CH - Svizzera 4
MX - Messico 4
IQ - Iraq 3
ZA - Sudafrica 3
CL - Cile 2
CO - Colombia 2
EC - Ecuador 2
GE - Georgia 2
JO - Giordania 2
NL - Olanda 2
PH - Filippine 2
TN - Tunisia 2
A1 - Anonimo 1
AZ - Azerbaigian 1
BE - Belgio 1
BF - Burkina Faso 1
BY - Bielorussia 1
CR - Costa Rica 1
DK - Danimarca 1
GA - Gabon 1
HN - Honduras 1
ID - Indonesia 1
IL - Israele 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
NO - Norvegia 1
PA - Panama 1
PK - Pakistan 1
PT - Portogallo 1
SN - Senegal 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 1.962
Salva come PNG Salva come JPEG
Città #
Ashburn 129
Singapore 110
Chandler 100
Santa Clara 66
Fairfield 60
San Jose 45
Hong Kong 44
Houston 36
Beijing 35
Seattle 32
Shanghai 30
Ann Arbor 29
Dallas 29
Sofia 29
Council Bluffs 27
Ottawa 27
Woodbridge 26
Milan 24
Serra 22
New York 21
Izmir 20
Los Angeles 19
Cambridge 15
Frankfurt am Main 15
Jacksonville 15
Wilmington 15
Boardman 14
Florence 13
Lagos 13
Lauterbourg 13
Bremen 12
Munich 12
Des Moines 11
Lawrence 11
Princeton 11
Hefei 10
Ho Chi Minh City 10
Marseille 9
Medford 9
Dearborn 8
Nanchang 7
Nanjing 7
Turku 7
Abidjan 6
Pune 6
Buffalo 5
Redondo Beach 5
Seoul 5
Tokyo 5
Boston 4
Dong Ket 4
Hanoi 4
Istanbul 4
Jiaxing 4
Orem 4
Fuzhou 3
Hangzhou 3
London 3
Amman 2
Amsterdam 2
Auburn Hills 2
Bern 2
Buenos Aires 2
Casalecchio di Reno 2
Changsha 2
Chicago 2
Dhaka 2
Helsinki 2
Heroica Matamoros 2
Johannesburg 2
Jüchen 2
New Bedfont 2
Norwalk 2
Pisa 2
Piscataway 2
Quanzhou 2
Rio de Janeiro 2
San Diego 2
Sìnnai 2
Toronto 2
Tunis 2
Zurich 2
Albanella 1
Ambrolauri 1
Ankara 1
Antakya 1
Anápolis 1
Aparecida 1
Atlanta 1
Baku 1
Barnaul 1
Belo Horizonte 1
Betim 1
Biguaçu 1
Birmingham 1
Bismarck 1
Blumenau 1
Brest 1
Bridgeport 1
Brooklyn 1
Totale 1.328
Salva come PNG Salva come JPEG
Nome #
Model checking for malicious family detection and phylogenetic analysis in mobile environment 221
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 191
Algebraic Computational Models of OR-parallel Execution of Prolog 181
Modeling OR-Parallel Execution of Prolog using CHOCS 174
A Notion of Non-Interference for Timed Automata 166
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 164
Abstract Interpretation of Trace Semantics for Concurrent Calculi 163
Selective Mu-calculus and formula-based equivalence of transition systems 160
Towards a Logical Semantics fo Prolog 147
A Notion of Non-Interference for Timed Automata 122
Timed Automata with non-Instantaneous Actions 116
GreASE: A Tool for Efficient "Nonequivalence" Checking 110
Model checking safety properties through simulation and heuristic search 58
Totale 1.973
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.972
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.972
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022136 0 0 0 40 21 13 0 8 4 4 6 40
2022/2023285 29 48 14 50 31 29 3 15 43 1 22 0
2023/2024105 10 12 17 4 9 24 10 2 3 2 3 9
2024/2025388 1 19 3 23 46 64 20 3 36 57 55 61
2025/2026421 57 46 33 23 61 46 73 19 14 35 5 9
2026/2027119 9 33 77 0 0 0 0 0 0 0 0 0
Totale 1.973