CIAFFAGLIONE, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 1.044
EU - Europa 257
AS - Asia 139
OC - Oceania 2
AF - Africa 1
SA - Sud America 1
Totale 1.444
Nazione #
US - Stati Uniti d'America 1.041
IT - Italia 87
UA - Ucraina 66
SG - Singapore 51
CN - Cina 45
VN - Vietnam 29
DE - Germania 28
SE - Svezia 24
FI - Finlandia 23
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
AE - Emirati Arabi Uniti 1
CL - Cile 1
ES - Italia 1
FR - Francia 1
JP - Giappone 1
TG - Togo 1
TR - Turchia 1
Totale 1.444
Città #
Ann Arbor 135
Woodbridge 126
Chandler 113
Fairfield 101
Houston 86
Ashburn 74
Singapore 50
Dearborn 47
Jacksonville 46
Seattle 46
Wilmington 44
Udine 40
Cambridge 38
Dong Ket 29
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
Washington 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
Acquaviva Delle Fonti 1
Ardabil 1
Berlin 1
Brescia 1
Dallas 1
Florence 1
Guangzhou 1
Harbin 1
Izmir 1
Lomé 1
Madrid 1
Mestre 1
Milan 1
Munich 1
New Orleans 1
Ningbo 1
Reston 1
Sacramento 1
Salt Lake City 1
Santa Clara 1
Shanghai 1
Shenyang 1
Simi Valley 1
Sydney 1
Wuhan 1
Xian 1
Youngstown 1
Zanjan 1
Zhengzhou 1
Totale 1.161
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 161
Internal Adequacy of Bookkeeping in Coq 142
Mechanizing type environments in weak HOAS 141
A weak HOAS approach to the POPLmark Challenge 133
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 126
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 123
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 116
A Tour with Constructive Real Numbers 99
A certified, corecursive implementation of exact real numbers 94
Revisiting the bookkeeping technique in HOAS-based encodings 88
A Co-inductive Approach to Real Numbers 84
Λ!-calculus, intersection types, and involutions 65
LF+ in Coq for fast-and-loose reasoning 62
The involutions-as-principal types/ application-as-unification analogy 40
Totale 1.474
Categoria #
all - tutte 4.772
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.772


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020280 0 0 0 0 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/202566 1 15 18 14 18 0 0 0 0 0 0 0
Totale 1.474