CIAFFAGLIONE, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 424
AS - Asia 148
EU - Europa 99
AF - Africa 6
SA - Sud America 4
OC - Oceania 1
Totale 682
Nazione #
US - Stati Uniti d'America 420
CN - Cina 101
IT - Italia 39
FR - Francia 21
VN - Vietnam 16
ID - Indonesia 14
DE - Germania 11
SE - Svezia 8
KH - Cambogia 6
GB - Regno Unito 5
KR - Corea 5
AT - Austria 4
CA - Canada 4
RU - Federazione Russa 3
TW - Taiwan 3
ZA - Sudafrica 3
GE - Georgia 2
IE - Irlanda 2
KE - Kenya 2
PL - Polonia 2
AR - Argentina 1
AU - Australia 1
BO - Bolivia 1
CH - Svizzera 1
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
FI - Finlandia 1
NL - Olanda 1
PT - Portogallo 1
SG - Singapore 1
Totale 682
Città #
Ashburn 132
Fairfield 34
Woodbridge 30
Udine 25
Buffalo 22
Santa Cruz 22
Seattle 22
Shenyang 21
Houston 18
Dong Ket 16
Guangzhou 16
Wilmington 10
Cambridge 9
Changsha 8
Harbin 8
Paris 8
Stockholm 8
Chongqing 7
Trieste 7
Ann Arbor 6
Beijing 6
Des Moines 6
Chicago 5
Boardman 4
Jinan 4
Los Angeles 4
San Diego 4
Toronto 4
Bayside 3
Haikou 3
Hangzhou 3
Nanchang 3
New York 3
Reggio Nell'emilia 3
Taipei 3
Chengdu 2
Clearwater 2
Dublin 2
Henderson 2
London 2
Nairobi 2
Phoenix 2
Provo 2
Riva 2
Shanghai 2
Silverton 2
Tbilisi 2
University Park 2
Warsaw 2
Wuhan 2
Xian 2
Ürümqi 2
Baotou 1
Basking Ridge 1
Bellevue 1
Bern 1
Bogotá 1
Boulder 1
Brescia 1
Brooklyn 1
Buenos Aires 1
Changchun 1
Council Bluffs 1
Dallas 1
Easton 1
Espinho 1
Freiburg 1
Fuzhou 1
Helsinki 1
Hufingen 1
La Paz 1
Las Vegas 1
McHenry 1
Medford 1
Muizenberg 1
Nanjing 1
Nuremberg 1
Rangkasbitung 1
Saint-geours-de-maremne 1
San Francisco 1
San Pablo 1
Scranton 1
Seoul 1
Spokane 1
Sunnyvale 1
Surabaya 1
Tampa 1
Varese 1
Washington 1
Yogyakarta 1
Totale 559
Nome #
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning, file e27ce0c7-1cb0-055e-e053-6605fe0a7873 206
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax, file e27ce0c3-319c-055e-e053-6605fe0a7873 154
Λ!-calculus, intersection types, and involutions, file e27ce0c6-287f-055e-e053-6605fe0a7873 140
A weak HOAS approach to the POPLmark Challenge, file e27ce0c1-e16a-055e-e053-6605fe0a7873 106
LF+ in Coq for fast-and-loose reasoning, file e27ce0c9-64af-055e-e053-6605fe0a7873 35
The involutions-as-principal types/ application-as-unification analogy, file e27ce0c9-33f4-055e-e053-6605fe0a7873 21
Revisiting the bookkeeping technique in HOAS-based encodings, file e27ce0c1-e6d0-055e-e053-6605fe0a7873 13
Mechanizing type environments in weak HOAS, file e27ce0c9-770a-055e-e053-6605fe0a7873 11
Mechanizing type environments in weak HOAS, file e27ce0c2-7782-055e-e053-6605fe0a7873 10
A certified, corecursive implementation of exact real numbers, file e27ce0c1-d7b0-055e-e053-6605fe0a7873 2
Mechanizing type environments in weak HOAS, file e27ce0c9-7708-055e-e053-6605fe0a7873 2
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax, file e27ce0c1-c95e-055e-e053-6605fe0a7873 1
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts, file e27ce0c1-d82b-055e-e053-6605fe0a7873 1
Internal Adequacy of Bookkeeping in Coq, file e27ce0c1-f734-055e-e053-6605fe0a7873 1
Totale 703
Categoria #
all - tutte 1.195
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 1.195


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201943 0 0 0 0 0 0 0 0 0 13 14 16
2019/2020120 14 11 6 9 11 8 12 10 17 11 6 5
2020/2021153 4 4 6 2 10 13 14 9 33 13 20 25
2021/2022135 19 21 10 15 6 11 4 0 8 5 27 9
2022/202384 1 2 26 5 4 20 3 0 3 6 10 4
2023/2024137 6 4 10 2 2 5 24 84 0 0 0 0
Totale 703