BARBIERI, PIETRO
 Distribuzione geografica
Continente #
EU - Europa 431
AS - Asia 52
SA - Sud America 9
NA - Nord America 3
Totale 495
Nazione #
IT - Italia 430
SG - Singapore 21
CN - Cina 14
VN - Vietnam 13
BR - Brasile 7
US - Stati Uniti d'America 3
AR - Argentina 1
EC - Ecuador 1
IN - India 1
IQ - Iraq 1
PK - Pakistan 1
PL - Polonia 1
PS - Palestinian Territory 1
Totale 495
Città #
Genoa 279
Vado Ligure 67
Genova 42
Rapallo 38
Ho Chi Minh City 4
Beijing 3
Council Bluffs 3
Hanoi 2
Hưng Yên 2
Singapore 2
Biên Hòa 1
Bordighera 1
Campinas 1
Chamical 1
Fortaleza 1
Guangzhou 1
Guarujá 1
Haiphong 1
Jequié 1
Karachi 1
Lấp Vò 1
Machala 1
Manaus 1
Najaf 1
Pune 1
Quận Bình Thạnh 1
Recife 1
Rome 1
Santo André 1
Warsaw 1
Totale 462
Nome #
Corecursive featherweight Java revisited 92
Checking equivalence of corecursive streams: An inductive procedure 75
An inductive abstract semantics for coFJ 62
Enhancing Expressivity of Checked Corecursive Streams 55
Enhanced Regular Corecursion for Data Streams 54
Enhancing Regular Corecursion 52
Sound Regular Corecursion in coFJ 47
Checked corecursive streams: Expressivity and completeness 45
Equality of Corecursive Streams Defined by Finitary Equational Systems 40
Totale 522
Categoria #
all - tutte 2.568
article - articoli 410
book - libri 0
conference - conferenze 1.874
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.852


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20213 0 0 0 0 0 0 1 0 1 0 0 1
2021/202228 0 2 0 5 0 0 1 7 2 4 0 7
2022/202360 4 0 0 1 4 5 15 3 15 5 6 2
2023/202466 5 8 2 13 5 5 5 12 2 2 2 5
2024/2025166 5 10 2 4 36 16 19 18 4 14 15 23
2025/2026182 33 20 37 35 44 13 0 0 0 0 0 0
Totale 522