statistiche ricercatore

Continente	#
NA - Nord America	1.635
AS - Asia	573
EU - Europa	545
SA - Sud America	59
Continente sconosciuto - Info sul continente non disponibili	50
AF - Africa	10
OC - Oceania	2
Totale	2.874

Nazione	#
US - Stati Uniti d'America	1.599
SG - Singapore	272
DE - Germania	132
IT - Italia	129
CN - Cina	119
UA - Ucraina	96
RU - Federazione Russa	50
BR - Brasile	45
HK - Hong Kong	44
TR - Turchia	33
VN - Vietnam	31
FI - Finlandia	30
CA - Canada	27
FR - Francia	24
IN - India	22
SE - Svezia	21
GB - Regno Unito	17
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
NI - Nicaragua	1
PS - Palestinian Territory	1
PY - Paraguay	1
RS - Serbia	1
SK - Slovacchia (Repubblica Slovacca)	1
VE - Venezuela	1
Totale	2.824

Nome	#
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES	219
A category of compositional domain-models for separable Stone spaces	219
Intersection Types and Computational Rules	212
A complete characterization of complete intersection-type preorders	200
Intersection types and domain operators	194
Recursive Domain Equations of Filter Models.	193
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning	192
Type preorders and recursive terms	186
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space	180
Tiered Objects	171
Intersection types and lambda models	154
Intersection Types λS∩	152
Simple Easy Terms	150
LF+ in Coq for fast-and-loose reasoning	121
Solutions of Functorial and Non-Functorial Metric Domain Equations	118
Tailoring Filter Models	117
An irregular filter model.	96
Totale	2.874

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	122	0	12	6	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	49	21	28	0	0	0	0	0	0	0	0	0	0
Totale													2.874