ALESSI, Fabio
 Distribuzione geografica
Continente #
NA - Nord America 1.333
EU - Europa 437
AS - Asia 165
AF - Africa 3
Totale 1.938
Nazione #
US - Stati Uniti d'America 1.311
DE - Germania 125
IT - Italia 95
UA - Ucraina 93
SG - Singapore 61
CN - Cina 50
FI - Finlandia 29
TR - Turchia 28
RU - Federazione Russa 25
CA - Canada 22
SE - Svezia 19
IE - Irlanda 15
GB - Regno Unito 13
IN - India 12
VN - Vietnam 9
BE - Belgio 7
FR - Francia 4
RO - Romania 4
IR - Iran 2
NL - Olanda 2
TG - Togo 2
AE - Emirati Arabi Uniti 1
BG - Bulgaria 1
CZ - Repubblica Ceca 1
ES - Italia 1
GH - Ghana 1
KG - Kirghizistan 1
LT - Lituania 1
PL - Polonia 1
RS - Serbia 1
TW - Taiwan 1
Totale 1.938
Città #
Ann Arbor 199
Chandler 155
Fairfield 144
Woodbridge 144
Houston 120
Ashburn 74
Jacksonville 65
Singapore 58
Seattle 56
Wilmington 52
Cambridge 48
Udine 45
Dearborn 38
Izmir 27
Beijing 20
Boardman 19
Ottawa 17
Princeton 17
Dublin 15
Trieste 14
Pune 11
Frankfurt am Main 10
Dong Ket 9
San Diego 8
Brussels 7
Edinburgh 5
Ogden 5
Kunming 4
Montreal 4
Munich 4
New York 4
Des Moines 3
Los Angeles 3
Nanjing 3
Vicenza 3
Vigonza 3
Amsterdam 2
Ardabil 2
Atlanta 2
Chengdu 2
Guangzhou 2
Hamm 2
Hebei 2
Hefei 2
Lomé 2
Lonato 2
North Bergen 2
Norwalk 2
Phoenix 2
Washington 2
Acquaviva Delle Fonti 1
Alliston 1
Belgrade 1
Bishkek 1
Bologna 1
Boston 1
Cincinnati 1
Dallas 1
Fuzhou 1
Helsinki 1
Istanbul 1
Jinan 1
Kamampa 1
Kansas City 1
Los Lunas 1
Madrid 1
Manchester 1
Mestre 1
Milan 1
Monmouth Junction 1
Mumbai 1
Múggia 1
Nanchang 1
New Orleans 1
Paris 1
Prague 1
Reston 1
Santa Clara 1
Sofia 1
Taipei 1
Vittorio Veneto 1
Warsaw 1
Wuhan 1
Totale 1.474
Nome #
Intersection Types and Computational Rules 160
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES 159
Type preorders and recursive terms 153
A complete characterization of complete intersection-type preorders 150
Recursive Domain Equations of Filter Models. 150
A category of compositional domain-models for separable Stone spaces 146
Intersection types and domain operators 129
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space 119
Tiered Objects 119
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 119
Intersection types and lambda models 111
Intersection Types λS∩ 106
Simple Easy Terms 91
Tailoring Filter Models 71
Solutions of Functorial and Non-Functorial Metric Domain Equations 70
LF+ in Coq for fast-and-loose reasoning 63
An irregular filter model. 60
Totale 1.976
Categoria #
all - tutte 6.320
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.320


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020207 0 0 0 0 0 0 46 53 35 33 10 30
2020/2021340 30 30 5 47 5 25 25 21 78 21 30 23
2021/2022131 9 12 6 8 1 7 7 6 1 27 25 22
2022/2023303 19 38 2 56 28 54 0 33 41 1 23 8
2023/202482 8 3 2 1 10 21 5 0 7 6 3 16
2024/2025104 4 19 23 30 15 12 1 0 0 0 0 0
Totale 1.976