ALESSI, Fabio
 Distribuzione geografica
Continente #
NA - Nord America 1.305
EU - Europa 418
AS - Asia 108
AF - Africa 3
Totale 1.834
Nazione #
US - Stati Uniti d'America 1.284
DE - Germania 121
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
SG - Singapore 14
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.834
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
Singapore 14
Trieste 14
Pune 11
Frankfurt am Main 10
Dong Ket 9
San Diego 8
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
Hamm 2
Hebei 2
Hefei 2
Lomé 2
Lonato 2
Los Angeles 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
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
Sofia 1
Taipei 1
Vittorio Veneto 1
Warsaw 1
Washington 1
Wuhan 1
Totale 1.398
Nome #
Intersection Types and Computational Rules 155
A FIXED-POINT THEOREM IN A CATEGORY OF COMPACT METRIC-SPACES 154
Type preorders and recursive terms 148
A complete characterization of complete intersection-type preorders 143
Recursive Domain Equations of Filter Models. 143
A category of compositional domain-models for separable Stone spaces 138
Intersection types and domain operators 125
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space 112
Tiered Objects 111
Intersection types and lambda models 108
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 108
Intersection Types λS∩ 99
Simple Easy Terms 86
Tailoring Filter Models 66
Solutions of Functorial and Non-Functorial Metric Domain Equations 63
LF+ in Coq for fast-and-loose reasoning 57
An irregular filter model. 56
Totale 1.872
Categoria #
all - tutte 5.264
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 5.264


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/202482 8 3 2 1 10 21 5 0 7 6 3 16
Totale 1.872