CIAFFAGLIONE, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 1.026
EU - Europa 253
AS - Asia 95
OC - Oceania 2
AF - Africa 1
SA - Sud America 1
Totale 1.378
Nazione #
US - Stati Uniti d'America 1.023
IT - Italia 84
UA - Ucraina 66
CN - Cina 41
VN - Vietnam 29
DE - Germania 27
SE - Svezia 24
FI - Finlandia 23
IE - Irlanda 12
SG - Singapore 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.378
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
Trieste 18
Princeton 14
Beijing 13
Dublin 12
Singapore 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
Boardman 2
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
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.101
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 156
Internal Adequacy of Bookkeeping in Coq 137
Mechanizing type environments in weak HOAS 135
A weak HOAS approach to the POPLmark Challenge 129
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 123
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 120
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 108
A Tour with Constructive Real Numbers 96
A certified, corecursive implementation of exact real numbers 87
Revisiting the bookkeeping technique in HOAS-based encodings 84
A Co-inductive Approach to Real Numbers 82
Λ!-calculus, intersection types, and involutions 60
LF+ in Coq for fast-and-loose reasoning 57
The involutions-as-principal types/ application-as-unification analogy 34
Totale 1.408
Categoria #
all - tutte 4.125
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.125


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020376 29 10 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
Totale 1.408