ALESSI, Fabio
 Distribuzione geografica
Continente #
NA - Nord America 1.302
EU - Europa 413
AS - Asia 94
AF - Africa 3
Totale 1.812
Nazione #
US - Stati Uniti d'America 1.281
DE - Germania 116
UA - Ucraina 93
IT - Italia 91
CN - Cina 42
FI - Finlandia 29
TR - Turchia 28
CA - Canada 21
SE - Svezia 19
RU - Federazione Russa 18
IE - Irlanda 15
GB - Regno Unito 13
IN - India 12
VN - Vietnam 9
BE - Belgio 6
RO - Romania 4
FR - Francia 2
IR - Iran 2
NL - Olanda 2
TG - Togo 2
BG - Bulgaria 1
CZ - Repubblica Ceca 1
ES - Italia 1
GH - Ghana 1
PL - Polonia 1
RS - Serbia 1
TW - Taiwan 1
Totale 1.812
Città #
Ann Arbor 199
Chandler 155
Fairfield 144
Woodbridge 144
Houston 120
Ashburn 74
Jacksonville 65
Seattle 56
Wilmington 52
Cambridge 48
Udine 44
Dearborn 38
Izmir 27
Beijing 20
Princeton 17
Ottawa 16
Dublin 15
Trieste 14
Pune 11
Dong Ket 9
San Diego 8
Frankfurt am Main 7
Brussels 6
Edinburgh 5
Ogden 5
Kunming 4
Montreal 4
New York 4
Des Moines 3
Nanjing 3
Vicenza 3
Vigonza 3
Amsterdam 2
Ardabil 2
Atlanta 2
Boardman 2
Guangzhou 2
Hebei 2
Hefei 2
Lomé 2
Lonato 2
Norwalk 2
Phoenix 2
Acquaviva Delle Fonti 1
Alliston 1
Belgrade 1
Bologna 1
Boston 1
Chengdu 1
Cincinnati 1
Fuzhou 1
Helsinki 1
Istanbul 1
Jinan 1
Kamampa 1
Kansas City 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
Sofia 1
Taipei 1
Vittorio Veneto 1
Warsaw 1
Washington 1
Wuhan 1
Totale 1.376
Nome #
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES 154
Intersection Types and Computational Rules 154
Type preorders and recursive terms 146
Recursive Domain Equations of Filter Models. 142
A complete characterization of complete intersection-type preorders 139
A category of compositional domain-models for separable Stone spaces 137
Intersection types and domain operators 124
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space 112
Tiered Objects 108
Intersection types and lambda models 107
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 107
Intersection Types λS∩ 98
Simple Easy Terms 85
Tailoring Filter Models 65
Solutions of Functorial and Non-Functorial Metric Domain Equations 61
An irregular filter model. 56
LF+ in Coq for fast-and-loose reasoning 55
Totale 1.850
Categoria #
all - tutte 4.789
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 4.789


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019129 0 0 0 0 0 0 0 0 0 21 73 35
2019/2020403 18 10 22 51 33 62 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/202460 8 3 2 1 10 21 5 0 7 3 0 0
Totale 1.850