statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	1.570
SG - Singapore	271
DE - Germania	132
CN - Cina	117
IT - Italia	117
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	10
BE - Belgio	7
IQ - Iraq	7
KR - Corea	6
NL - Olanda	5
AR - Argentina	4
EC - Ecuador	4
RO - Romania	4
CO - Colombia	3
ES - Italia	3
ID - Indonesia	3
MX - Messico	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
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
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.774

Nome	#
A category of compositional domain-models for separable Stone spaces	217
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES	215
Intersection Types and Computational Rules	208
A complete characterization of complete intersection-type preorders	198
Recursive Domain Equations of Filter Models.	193
Intersection types and domain operators	191
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning	191
Type preorders and recursive terms	185
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space	177
Tiered Objects	169
Intersection types and lambda models	150
Intersection Types λS∩	150
Simple Easy Terms	143
LF+ in Coq for fast-and-loose reasoning	118
Solutions of Functorial and Non-Functorial Metric Domain Equations	113
Tailoring Filter Models	112
An irregular filter model.	94
Totale	2.824

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	23	0	0	0	0	0	0	0	0	0	0	0	23
2021/2022	131	9	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	631	29	61	39	50	122	47	66	15	70	51	50	31
Totale													2.824