IRIS
SANTONE, Antonella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 547
AS - Asia 315
EU - Europa 211
SA - Sud America 65
Continente sconosciuto - Info sul continente non disponibili 17
AF - Africa 8
Totale 1.163
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 495
CN - Cina 138
SG - Singapore 95
UA - Ucraina 78
BR - Brasile 49
CA - Canada 37
DE - Germania 35
FR - Francia 23
IT - Italia 23
SE - Svezia 17
TR - Turchia 13
KR - Corea 12
VN - Vietnam 12
HK - Hong Kong 11
IN - India 10
MX - Messico 9
GB - Regno Unito 7
PL - Polonia 5
AR - Argentina 4
BE - Belgio 4
ES - Italia 4
IQ - Iraq 4
FI - Finlandia 3
LT - Lituania 3
PK - Pakistan 3
UY - Uruguay 3
BD - Bangladesh 2
CI - Costa d'Avorio 2
CO - Colombia 2
EU - Europa 2
GR - Grecia 2
ID - Indonesia 2
IR - Iran 2
JM - Giamaica 2
KE - Kenya 2
MY - Malesia 2
NL - Olanda 2
PE - Perù 2
RU - Federazione Russa 2
VE - Venezuela 2
ZA - Sudafrica 2
AL - Albania 1
BO - Bolivia 1
BS - Bahamas 1
CR - Costa Rica 1
EC - Ecuador 1
GT - Guatemala 1
IL - Israele 1
JP - Giappone 1
KZ - Kazakistan 1
MA - Marocco 1
NI - Nicaragua 1
NP - Nepal 1
PH - Filippine 1
PS - Palestinian Territory 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
SN - Senegal 1
SY - Repubblica araba siriana 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 1.148
Salva come PNG Salva come JPEG
Città #
San Jose 67
Jacksonville 60
The Dalles 47
Ashburn 30
Dallas 28
Singapore 27
Toronto 27
Chandler 19
Boardman 17
Istanbul 12
Princeton 12
Seoul 12
Hong Kong 11
Beijing 10
Nanjing 10
Wilmington 10
Ann Arbor 9
Dearborn 8
Hebei 8
Shenyang 7
Tianjin 7
Ho Chi Minh City 6
Los Angeles 6
Mexico City 6
Ogden 6
San Mateo 6
Shanghai 6
Boston 5
Jinan 5
New York 5
Brussels 4
Council Bluffs 4
Frankfurt am Main 4
Hanoi 4
Hillsboro 4
Jiaxing 4
Leawood 4
Phoenix 4
Santa Clara 4
São Paulo 4
Warsaw 4
Bremen 3
Charlotte 3
Duncan 3
Guangzhou 3
Helsinki 3
Montevideo 3
Mumbai 3
Nanchang 3
Naples 3
Ottawa 3
Wuhan 3
Zhengzhou 3
Abidjan 2
Bagé 2
Belo Horizonte 2
Brooklyn 2
Changsha 2
Chengdu 2
Erbil 2
Falkenstein 2
Lahore 2
Lima 2
London 2
Londrina 2
Luft 2
Milton 2
Milwaukee 2
Monmouth Junction 2
Montreal 2
Nairobi 2
Perugia 2
Rovereto 2
Seattle 2
Stockholm 2
Taizhou 2
Alosno 1
Amsterdam 1
Ankara 1
Apodaca 1
Ardabil 1
Astana 1
Athens 1
Atlanta 1
Augusta 1
Avellino 1
Baghdad 1
Bari 1
Bay Shore 1
Bel Air 1
Bengbu 1
Bexley 1
Brasília 1
Buffalo 1
Camaçari 1
Campinas 1
Canoas 1
Casablanca 1
Castellammare di Stabia 1
Cebu City 1
Totale 639
Salva come PNG Salva come JPEG
Nome #
De novo reconstruction of gene regulatory networks from time series data an approach based on formal methods 117
Identifying Mobile Repackaged Applications through Formal Methods 106
Infer Gene Regulatory Networks from Time Series Data with Formal Methods 105
Download malware? no, thanks: how formal methods can block update attacks 105
Identification of Android Malware Families with Model Checking 100
Talos: no more ransomware victims with formal methods 100
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 89
Model Checking Techniques Applied to Satellite Operational Mode Management 88
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking 87
Hey Malware, I Can Find You! 87
Ransomware Steals Your Phone. Formal Methods Rescue It 86
Reconnaissance of 2016 central Italy earthquake sequence 79
A Novel Classification Technique based on Formal Methods 14
Totale 1.163
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.108
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 8.108
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202252 0 0 26 8 0 1 1 10 3 0 2 1
2022/2023107 25 1 7 13 2 17 2 6 15 1 13 5
2023/202464 11 10 7 7 3 0 0 1 14 4 2 5
2024/2025214 16 3 13 2 28 3 10 32 15 41 39 12
2025/2026424 40 55 36 32 31 23 61 34 34 46 19 13
2026/202717 8 9 0 0 0 0 0 0 0 0 0 0
Totale 1.163