CIAFFAGLIONE, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 1.041
EU - Europa 253
AS - Asia 105
OC - Oceania 2
AF - Africa 1
SA - Sud America 1
Totale 1.403
Nazione #
US - Stati Uniti d'America 1.038
IT - Italia 84
UA - Ucraina 66
CN - Cina 41
VN - Vietnam 29
DE - Germania 27
SE - Svezia 24
FI - Finlandia 23
SG - Singapore 22
IE - Irlanda 12
BE - Belgio 4
CA - Canada 3
GB - Regno Unito 3
IN - India 3
PH - Filippine 3
TW - Taiwan 3
AU - Australia 2
CZ - Repubblica Ceca 2
IR - Iran 2
PL - Polonia 2
RO - Romania 2
RU - Federazione Russa 2
CL - Cile 1
ES - Italia 1
FR - Francia 1
JP - Giappone 1
TG - Togo 1
TR - Turchia 1
Totale 1.403
Città #
Ann Arbor 135
Woodbridge 126
Chandler 113
Fairfield 101
Houston 86
Ashburn 74
Dearborn 47
Jacksonville 46
Seattle 46
Wilmington 44
Cambridge 38
Udine 38
Dong Ket 29
Singapore 22
Trieste 18
Boardman 16
Princeton 14
Beijing 13
Dublin 12
Reggio Nell'emilia 10
San Diego 8
Nanjing 7
Los Angeles 6
Brussels 4
Kunming 4
Nanchang 3
Norwalk 3
Ottawa 3
Paranaque City 3
Taipei 3
Vicenza 3
Chengdu 2
Des Moines 2
Hefei 2
Helsinki 2
Indiana 2
Jinan 2
Leawood 2
Ogden 2
Phoenix 2
Prague 2
Pune 2
Warsaw 2
Washington 2
Acquaviva Delle Fonti 1
Ardabil 1
Berlin 1
Brescia 1
Dallas 1
Guangzhou 1
Harbin 1
Izmir 1
Lomé 1
Madrid 1
Mestre 1
Milan 1
New Orleans 1
Ningbo 1
Reston 1
Sacramento 1
Salt Lake City 1
Shenyang 1
Simi Valley 1
Sydney 1
Wuhan 1
Xian 1
Youngstown 1
Zanjan 1
Zhengzhou 1
Totale 1.126
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 158
Internal Adequacy of Bookkeeping in Coq 138
Mechanizing type environments in weak HOAS 136
A weak HOAS approach to the POPLmark Challenge 131
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 124
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 121
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 110
A Tour with Constructive Real Numbers 98
A certified, corecursive implementation of exact real numbers 89
Revisiting the bookkeeping technique in HOAS-based encodings 86
A Co-inductive Approach to Real Numbers 84
Λ!-calculus, intersection types, and involutions 62
LF+ in Coq for fast-and-loose reasoning 60
The involutions-as-principal types/ application-as-unification analogy 36
Totale 1.433
Categoria #
all - tutte 4.481
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.481


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020337 0 0 12 45 30 64 58 43 35 27 3 20
2020/2021259 6 24 6 20 7 21 13 19 48 33 25 37
2021/2022132 14 7 8 14 3 9 5 2 2 20 33 15
2022/2023214 15 28 2 34 24 45 0 16 35 2 5 8
2023/202465 7 2 0 0 11 6 9 1 3 9 3 14
2024/202525 1 15 9 0 0 0 0 0 0 0 0 0
Totale 1.433