SANTONE, ANTONELLA
 Distribuzione geografica
Continente #
NA - Nord America 272
EU - Europa 154
AS - Asia 111
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 542
Nazione #
US - Stati Uniti d'America 244
CN - Cina 89
UA - Ucraina 78
CA - Canada 28
DE - Germania 27
IT - Italia 15
SE - Svezia 15
TR - Turchia 12
FR - Francia 11
SG - Singapore 5
BE - Belgio 3
FI - Finlandia 3
CI - Costa d'Avorio 2
EU - Europa 2
IR - Iran 2
IN - India 1
KE - Kenya 1
MY - Malesia 1
NL - Olanda 1
RO - Romania 1
TW - Taiwan 1
Totale 542
Città #
Jacksonville 60
Toronto 25
Chandler 19
Boardman 17
Istanbul 12
Princeton 12
Nanjing 10
Wilmington 10
Ann Arbor 9
Dearborn 8
Hebei 8
Shenyang 7
Beijing 6
Ogden 6
San Mateo 6
Tianjin 6
Jinan 5
Jiaxing 4
Leawood 4
Singapore 4
Bremen 3
Brussels 3
Duncan 3
Helsinki 3
Nanchang 3
Shanghai 3
Wuhan 3
Zhengzhou 3
Abidjan 2
Changsha 2
Chengdu 2
Guangzhou 2
Luft 2
Monmouth Junction 2
Naples 2
Ottawa 2
Rovereto 2
Taizhou 2
Ardabil 1
Augusta 1
Avellino 1
Bari 1
Bengbu 1
Castellammare di Stabia 1
Cluj-napoca 1
Fairfield 1
Kaohsiung City 1
Kunming 1
Los Angeles 1
Meppel 1
Monroe 1
Mumbai 1
Nairobi 1
Ningbo 1
Norwalk 1
Quanzhou 1
Redmond 1
Redwood City 1
Richmond Hill 1
Strasbourg 1
Wuxi 1
Totale 305
Nome #
Infer Gene Regulatory Networks from Time Series Data with Formal Methods 63
Download malware? no, thanks: how formal methods can block update attacks 58
Identification of Android Malware Families with Model Checking 56
De novo reconstruction of gene regulatory networks from time series data an approach based on formal methods 54
Model Checking Techniques Applied to Satellite Operational Mode Management 46
Identifying Mobile Repackaged Applications through Formal Methods 44
Ransomware Steals Your Phone. Formal Methods Rescue It 43
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking 42
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 41
Hey Malware, I Can Find You! 39
Reconnaissance of 2016 central Italy earthquake sequence 35
Talos: no more ransomware victims with formal methods 35
Totale 556
Categoria #
all - tutte 3.939
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.939


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202053 0 0 0 0 5 13 2 17 1 12 2 1
2020/2021138 13 14 1 12 1 32 0 12 5 13 33 2
2021/202255 3 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/202548 16 3 13 2 14 0 0 0 0 0 0 0
Totale 556