statistiche ricercatore

Continente	#
NA - Nord America	1.709
AS - Asia	575
EU - Europa	567
SA - Sud America	61
Continente sconosciuto - Info sul continente non disponibili	50
AF - Africa	10
OC - Oceania	2
Totale	2.974

Nazione	#
US - Stati Uniti d'America	1.669
SG - Singapore	272
IT - Italia	149
DE - Germania	133
CN - Cina	119
UA - Ucraina	96
RU - Federazione Russa	50
BR - Brasile	47
HK - Hong Kong	45
TR - Turchia	33
CA - Canada	31
VN - Vietnam	31
FI - Finlandia	30
FR - Francia	24
IN - India	22
SE - Svezia	21
GB - Regno Unito	18
IE - Irlanda	15
BD - Bangladesh	11
BE - Belgio	7
IQ - Iraq	7
KR - Corea	6
NL - Olanda	5
AR - Argentina	4
EC - Ecuador	4
MX - Messico	4
RO - Romania	4
CO - Colombia	3
ES - Italia	3
ID - Indonesia	3
PK - Pakistan	3
PL - Polonia	3
UZ - Uzbekistan	3
AE - Emirati Arabi Uniti	2
AL - Albania	2
AU - Australia	2
IL - Israele	2
IR - Iran	2
JM - Giamaica	2
JP - Giappone	2
KZ - Kazakistan	2
LB - Libano	2
MA - Marocco	2
TG - Togo	2
TN - Tunisia	2
TW - Taiwan	2
ZA - Sudafrica	2
AT - Austria	1
BG - Bulgaria	1
BY - Bielorussia	1
CL - Cile	1
CZ - Repubblica Ceca	1
ET - Etiopia	1
GE - Georgia	1
GH - Ghana	1
GT - Guatemala	1
HN - Honduras	1
JO - Giordania	1
KG - Kirghizistan	1
KH - Cambogia	1
LT - Lituania	1
MY - Malesia	1
NI - Nicaragua	1
PS - Palestinian Territory	1
PY - Paraguay	1
RS - Serbia	1
SK - Slovacchia (Repubblica Slovacca)	1
VE - Venezuela	1
Totale	2.924

Nome	#
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES	226
A category of compositional domain-models for separable Stone spaces	223
Intersection Types and Computational Rules	216
A complete characterization of complete intersection-type preorders	204
Intersection types and domain operators	199
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning	199
Recursive Domain Equations of Filter Models.	198
Type preorders and recursive terms	190
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space	188
Tiered Objects	179
Simple Easy Terms	160
Intersection types and lambda models	158
Intersection Types λS∩	154
LF+ in Coq for fast-and-loose reasoning	131
Solutions of Functorial and Non-Functorial Metric Domain Equations	128
Tailoring Filter Models	120
An irregular filter model.	101
Totale	2.974

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	104	0	0	0	8	1	7	7	6	1	27	25	22
2022/2023	303	19	38	2	56	28	54	0	33	41	1	23	8
2023/2024	82	8	3	2	1	10	21	5	0	7	6	3	16
2024/2025	321	4	19	23	30	15	12	32	9	32	12	39	94
2025/2026	632	29	61	39	50	122	47	66	15	70	51	50	32
2026/2027	149	21	64	56	8	0	0	0	0	0	0	0	0
Totale													2.974