statistiche ricercatore

Nazione	#
US - Stati Uniti d'America	1.510
SG - Singapore	271
DE - Germania	132
CN - Cina	117
IT - Italia	109
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
BE - Belgio	7
IQ - Iraq	7
BD - Bangladesh	6
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.702

Nome	#
A category of compositional domain-models for separable Stone spaces	215
Intersection Types and Computational Rules	206
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES	204
A complete characterization of complete intersection-type preorders	194
Recursive Domain Equations of Filter Models.	192
Intersection types and domain operators	186
Type preorders and recursive terms	184
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning	181
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space	171
Tiered Objects	167
Intersection types and lambda models	148
Intersection Types λS∩	146
Simple Easy Terms	138
LF+ in Coq for fast-and-loose reasoning	112
Solutions of Functorial and Non-Functorial Metric Domain Equations	109
Tailoring Filter Models	108
An irregular filter model.	91
Totale	2.752

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	53	0	0	0	0	0	0	0	0	0	0	30	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	559	29	61	39	50	122	47	66	15	70	51	9	0
Totale													2.752