CICCONE, LUCA
 Distribuzione geografica
Continente #
NA - Nord America 158
EU - Europa 130
AS - Asia 27
SA - Sud America 3
Totale 318
Nazione #
US - Stati Uniti d'America 156
IT - Italia 50
GB - Regno Unito 20
CN - Cina 10
DK - Danimarca 9
UA - Ucraina 8
IE - Irlanda 7
RU - Federazione Russa 7
DE - Germania 5
SE - Svezia 5
HK - Hong Kong 4
NL - Olanda 4
VN - Vietnam 4
ES - Italia 3
KR - Corea 3
AR - Argentina 2
BE - Belgio 2
CA - Canada 2
FR - Francia 2
PL - Polonia 2
RS - Serbia 2
BR - Brasile 1
FI - Finlandia 1
IN - India 1
IR - Iran 1
IS - Islanda 1
JP - Giappone 1
MT - Malta 1
RO - Romania 1
SG - Singapore 1
TJ - Tagikistan 1
UZ - Uzbekistan 1
Totale 318
Città #
Ann Arbor 41
Wilmington 14
Ashburn 11
Pianezza 8
Dublin 7
Genova 7
Chandler 6
Guangzhou 6
Redwood City 6
Cupertino 5
Fairfield 5
Medford 4
Torino 4
Basingstoke 3
East Los Angeles 3
Jacksonville 3
Moncalieri 3
Princeton 3
Samara 3
Seattle 3
Shrewsbury 3
Acton 2
Bergamo 2
Brussels 2
Cambridge 2
Chelsea 2
Como 2
Dong Ket 2
Gavirate 2
Glasgow 2
Gundelfingen 2
Hebei 2
Hong Kong 2
Krimpen Aan Den Ijssel 2
La Plata 2
Lesa 2
Manchester 2
Milan 2
Norwalk 2
Paterna 2
Saint Petersburg 2
Seoul 2
Siena 2
Snekkersten 2
Warsaw 2
Wayne 2
Alblasserdam 1
Apo 1
Austin 1
Beijing 1
Belgrade 1
Boardman 1
Boston 1
Bucharest 1
Canterbury 1
Central District 1
Cessole 1
Chicago 1
Cle Elum 1
Dallas 1
Desenzano del Garda 1
Dresden 1
Eugene 1
Genoa 1
Gunzenhausen 1
Helsinki 1
Kiev 1
Lakewood 1
Lamotte-beuvron 1
Liverpool 1
London 1
Longueuil 1
Madison 1
Novi Sad 1
Novokuznetsk 1
Nyköping 1
Portland 1
Pune 1
Recife 1
San Diego 1
San Mateo 1
Seongnam 1
Shenzhen 1
Singapore 1
Toronto 1
Utrecht 1
Valenza 1
Varese 1
Washington 1
Totale 241
Nome #
A Dependently-Typed Linear π -Calculus in Agda 243
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types 57
Fair Termination of Binary Sessions 21
Flexible coinduction in Agda 10
Totale 331
Categoria #
all - tutte 941
article - articoli 0
book - libri 0
conference - conferenze 827
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.768


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202024 0 0 0 0 0 0 0 0 0 0 9 15
2020/2021125 27 17 19 15 9 6 14 7 3 2 1 5
2021/202280 15 7 4 9 4 3 7 5 0 3 13 10
2022/202350 5 4 0 3 4 6 9 3 9 2 3 2
2023/202452 4 10 1 9 4 6 6 8 0 4 0 0
Totale 331