Vescovi, Michele
 Distribuzione geografica
Continente #
NA - Nord America 599
EU - Europa 120
AS - Asia 52
AF - Africa 1
Totale 772
Nazione #
US - Stati Uniti d'America 597
SE - Svezia 25
CN - Cina 23
UA - Ucraina 22
IT - Italia 20
DE - Germania 17
SG - Singapore 16
GB - Regno Unito 13
FI - Finlandia 9
BG - Bulgaria 4
IN - India 4
JP - Giappone 4
AT - Austria 2
FR - Francia 2
JO - Giordania 2
NL - Olanda 2
CA - Canada 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
EG - Egitto 1
HN - Honduras 1
IE - Irlanda 1
MY - Malesia 1
PT - Portogallo 1
TH - Thailandia 1
TR - Turchia 1
Totale 772
Città #
Chandler 100
Fairfield 65
Jacksonville 51
Ashburn 48
Seattle 29
Wilmington 29
New York 28
Woodbridge 24
Ann Arbor 23
San Mateo 21
Cambridge 20
Princeton 17
Houston 15
Beijing 12
Bremen 10
Los Angeles 9
Trento 9
Falls Church 8
Cagliari 4
Dearborn 4
Düsseldorf 4
Singapore 4
Sofia 4
Tokyo 4
Boardman 3
Dallas 3
Hefei 3
Helsinki 3
Lawrence 3
San Diego 3
Smålandsstenar 3
Des Moines 2
Edinburgh 2
Maastricht 2
Milan 2
Munich 2
Phoenix 2
Shanghai 2
Stockholm 2
Vienna 2
Andover 1
Biarritz 1
Bonndorf 1
Cairo 1
Changsha 1
Clifton 1
Costa Mesa 1
Denver 1
Dublin 1
Fuzhou 1
Hendon 1
Islington 1
Izmir 1
Jinan 1
Kuala Lumpur 1
Lisbon 1
London 1
Modica 1
Nanchang 1
Nanjing 1
Nashville 1
Olomouc 1
Pune 1
San Francisco 1
San Paolo di Civitate 1
Santa Clara 1
Shenzhen 1
Taastrup 1
Tappahannock 1
Tegucigalpa 1
Toronto 1
Verona 1
Washington 1
Totale 614
Nome #
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 105
Anonymous or not? Understanding the factors affecting personal mobile data disclosure 102
Efficient Audio Segmentation Algorithms based on the BIC. 97
Evaluation of BIC-based algorithms for audio segmentation 95
Investigating factors affecting personal data disclosure 78
Automated Reasoning in ALCQ via SMT 76
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC 60
No more ready-made deals: constructive recommendation for telco service bundling 52
A DP Algorithm for Speaker Change Detection 51
My data store: Toward user awareness and control on personal data 49
Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics 17
Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC 11
Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT 9
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 2
Totale 804
Categoria #
all - tutte 4.170
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 4.170


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020141 0 0 10 16 16 9 20 16 24 10 10 10
2020/202191 4 10 1 6 14 10 9 6 7 5 11 8
2021/2022107 2 14 0 3 7 7 10 24 3 7 11 19
2022/2023199 26 21 5 29 20 32 0 27 20 1 14 4
2023/2024105 4 5 4 2 7 34 6 14 1 11 8 9
2024/202519 7 5 7 0 0 0 0 0 0 0 0 0
Totale 804