statistiche ricercatore

Continente	#
NA - Nord America	1.429
AS - Asia	417
EU - Europa	308
SA - Sud America	61
Continente sconosciuto - Info sul continente non disponibili	34
AF - Africa	8
OC - Oceania	1
Totale	2.258

Nazione	#
US - Stati Uniti d'America	1.394
SG - Singapore	159
CN - Cina	94
RU - Federazione Russa	73
VN - Vietnam	58
BR - Brasile	50
IT - Italia	44
HK - Hong Kong	35
DE - Germania	29
SE - Svezia	28
GB - Regno Unito	27
UA - Ucraina	27
FR - Francia	26
CA - Canada	21
KR - Corea	19
IN - India	17
LV - Lettonia	14
FI - Finlandia	13
ES - Italia	5
JP - Giappone	5
AR - Argentina	4
BG - Bulgaria	4
CR - Costa Rica	4
ID - Indonesia	4
TR - Turchia	4
IL - Israele	3
IQ - Iraq	3
MX - Messico	3
NL - Olanda	3
AT - Austria	2
BD - Bangladesh	2
CO - Colombia	2
CZ - Repubblica Ceca	2
EC - Ecuador	2
EG - Egitto	2
HN - Honduras	2
IE - Irlanda	2
JO - Giordania	2
KE - Kenya	2
MY - Malesia	2
PE - Perù	2
PH - Filippine	2
PK - Pakistan	2
PL - Polonia	2
TT - Trinidad e Tobago	2
AL - Albania	1
AU - Australia	1
AZ - Azerbaigian	1
CW - ???statistics.table.value.countryCode.CW???	1
DK - Danimarca	1
DO - Repubblica Dominicana	1
GH - Ghana	1
GT - Guatemala	1
KG - Kirghizistan	1
KH - Cambogia	1
LB - Libano	1
LT - Lituania	1
MT - Malta	1
NA - Namibia	1
NI - Nicaragua	1
OM - Oman	1
PT - Portogallo	1
RO - Romania	1
SK - Slovacchia (Repubblica Slovacca)	1
TH - Thailandia	1
TN - Tunisia	1
UY - Uruguay	1
ZA - Sudafrica	1
Totale	2.225

Nome	#
Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics	303
Anonymous or not? Understanding the factors affecting personal mobile data disclosure	199
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis	193
Efficient Audio Segmentation Algorithms based on the BIC.	189
Automated Reasoning in ALCQ via SMT	163
Evaluation of BIC-based algorithms for audio segmentation	161
Investigating factors affecting personal data disclosure	156
No more ready-made deals: constructive recommendation for telco service bundling	154
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC	150
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis	149
A DP Algorithm for Speaker Change Detection	138
My data store: Toward user awareness and control on personal data	127
Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC	92
Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT	84
Totale	2.258

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	88	0	0	0	0	7	7	10	24	3	7	11	19
2022/2023	199	26	21	5	29	20	32	0	27	20	1	14	4
2023/2024	105	4	5	4	2	7	34	6	14	1	11	8	9
2024/2025	302	7	5	19	62	13	35	0	3	24	72	34	28
2025/2026	716	56	13	110	113	71	42	142	6	67	56	20	20
2026/2027	455	18	191	115	116	15	0	0	0	0	0	0	0
Totale													2.258