CICCONE, LUCA
 Distribuzione geografica
Continente #
NA - Nord America 158
EU - Europa 133
AS - Asia 31
SA - Sud America 3
Totale 325
Nazione #
US - Stati Uniti d'America 156
IT - Italia 52
GB - Regno Unito 20
CN - Cina 10
DK - Danimarca 9
UA - Ucraina 9
IE - Irlanda 7
RU - Federazione Russa 7
DE - Germania 5
SE - Svezia 5
SG - Singapore 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
TJ - Tagikistan 1
UZ - Uzbekistan 1
Totale 325
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
Milan 3
Moncalieri 3
Princeton 3
Samara 3
Seattle 3
Shrewsbury 3
Singapore 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
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
Kyiv 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
Toronto 1
Utrecht 1
Valenza 1
Varese 1
Washington 1
Totale 245
Nome #
A Dependently-Typed Linear π -Calculus in Agda 246
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types 59
Fair Termination of Binary Sessions 22
Flexible coinduction in Agda 11
Totale 338
Categoria #
all - tutte 1.034
article - articoli 0
book - libri 0
conference - conferenze 907
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.941


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/202457 4 10 1 9 4 6 6 8 0 4 1 4
2024/20252 2 0 0 0 0 0 0 0 0 0 0 0
Totale 338