CIAFFAGLIONE, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 1.072
EU - Europa 304
AS - Asia 184
SA - Sud America 21
AF - Africa 3
OC - Oceania 2
Totale 1.586
Nazione #
US - Stati Uniti d'America 1.060
IT - Italia 89
SG - Singapore 72
UA - Ucraina 66
CN - Cina 51
DE - Germania 33
RU - Federazione Russa 29
VN - Vietnam 29
SE - Svezia 26
FI - Finlandia 23
BR - Brasile 17
IE - Irlanda 12
CA - Canada 11
GB - Regno Unito 8
IN - India 7
KR - Corea 7
BE - Belgio 5
JP - Giappone 3
PH - Filippine 3
PL - Polonia 3
TW - Taiwan 3
AE - Emirati Arabi Uniti 2
AR - Argentina 2
AU - Australia 2
CZ - Repubblica Ceca 2
ES - Italia 2
FR - Francia 2
IR - Iran 2
RO - Romania 2
ZA - Sudafrica 2
BD - Bangladesh 1
CL - Cile 1
CO - Colombia 1
EE - Estonia 1
IL - Israele 1
KH - Cambogia 1
LT - Lituania 1
NP - Nepal 1
PA - Panama 1
TG - Togo 1
TR - Turchia 1
Totale 1.586
Città #
Ann Arbor 135
Woodbridge 126
Chandler 113
Fairfield 101
Houston 86
Ashburn 74
Singapore 67
Dearborn 47
Jacksonville 46
Seattle 46
Wilmington 44
Udine 42
Cambridge 38
Dong Ket 29
Beijing 18
Trieste 18
Boardman 16
Princeton 14
Dublin 12
Reggio Nell'emilia 10
San Diego 8
Los Angeles 7
Nanjing 7
Seoul 7
Brussels 5
Ottawa 5
Kunming 4
Toronto 4
Frankfurt am Main 3
Nanchang 3
Norwalk 3
Paranaque City 3
São Paulo 3
Taipei 3
Vicenza 3
Warsaw 3
Washington 3
Chengdu 2
Des Moines 2
Hefei 2
Helsinki 2
Indiana 2
Jinan 2
Leawood 2
London 2
Munich 2
Mysore 2
Ogden 2
Phoenix 2
Prague 2
Pune 2
Santa Clara 2
Stockholm 2
Tokyo 2
Acquaviva Delle Fonti 1
Ardabil 1
Belo Horizonte 1
Berlin 1
Bogotá 1
Brescia 1
Buenos Aires 1
Cape Town 1
Caxias do Sul 1
Cerquilho 1
Chennai 1
Concórdia 1
Conyers 1
Dallas 1
Dhaka 1
Florence 1
Fort Wayne 1
Garça 1
Goianira 1
Guangzhou 1
Harbin 1
Izmir 1
Johannesburg 1
Joinville 1
Kolkata 1
Lomé 1
Londrina 1
Madrid 1
Mestre 1
Milan 1
Montreal 1
New Orleans 1
New York 1
Ningbo 1
Nova Friburgo 1
Novo Hamburgo 1
Pedro Osório 1
Phnom Penh 1
Reston 1
Sacramento 1
Salt Lake City 1
San Juan Bautista 1
Santa Luzia 1
Senador Canedo 1
Shanghai 1
Shenyang 1
Totale 1.236
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 171
Mechanizing type environments in weak HOAS 150
Internal Adequacy of Bookkeeping in Coq 149
A weak HOAS approach to the POPLmark Challenge 141
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts 137
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 137
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax 132
A Tour with Constructive Real Numbers 114
A certified, corecursive implementation of exact real numbers 104
Revisiting the bookkeeping technique in HOAS-based encodings 96
A Co-inductive Approach to Real Numbers 94
Λ!-calculus, intersection types, and involutions 78
LF+ in Coq for fast-and-loose reasoning 75
The involutions-as-principal types/ application-as-unification analogy 50
Totale 1.628
Categoria #
all - tutte 5.671
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.671


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202020 0 0 0 0 0 0 0 0 0 0 0 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/2025220 1 15 18 14 22 25 25 8 28 9 50 5
Totale 1.628