GAVAZZO, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 447
EU - Europa 440
AS - Asia 180
AF - Africa 7
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 1.078
Nazione #
US - Stati Uniti d'America 441
IT - Italia 128
GB - Regno Unito 91
SG - Singapore 70
DE - Germania 63
CN - Cina 57
SE - Svezia 43
IE - Irlanda 39
FR - Francia 28
IN - India 27
BG - Bulgaria 17
TR - Turchia 11
ID - Indonesia 9
RU - Federazione Russa 9
ZA - Sudafrica 7
CA - Canada 6
HR - Croazia 5
UA - Ucraina 4
AT - Austria 3
EE - Estonia 3
FI - Finlandia 3
HK - Hong Kong 3
JP - Giappone 3
AR - Argentina 2
NL - Olanda 2
AU - Australia 1
CH - Svizzera 1
EU - Europa 1
PL - Polonia 1
Totale 1.078
Città #
Southend 83
Singapore 64
Bologna 57
Santa Clara 49
Fairfield 47
Dublin 39
Chandler 22
Princeton 22
Ashburn 19
Seattle 18
Sofia 17
Boardman 16
Ann Arbor 15
Cambridge 14
Wilmington 12
Istanbul 11
Portici 11
Woodbridge 11
Houston 10
Medford 10
Berlin 9
Jakarta 9
Des Moines 8
Hebei 7
Guangzhou 6
Hyderabad 6
Jinan 6
Nanjing 6
New York 6
Redwood City 6
Westminster 6
Council Bluffs 4
Nointot 4
Paris 4
Philadelphia 4
Pisa 4
San Diego 4
Zhengzhou 4
Milan 3
New Haven 3
Newmarket 3
Padova 3
Shanghai 3
Shenyang 3
Tianjin 3
Vicenza 3
Vienna 3
Amsterdam 2
Beijing 2
Cornier 2
Córdoba 2
Hangzhou 2
Jiaxing 2
Lappeenranta 2
London 2
Los Angeles 2
Marseille 2
Mülheim 2
Noisy-le-Sec 2
Reggio Nell'emilia 2
Toenisvorst 2
Trieste 2
Bern 1
Bryanston 1
Bühl 1
Castelliri 1
Chiswick 1
Costa Mesa 1
Dearborn 1
Dortmund 1
Fidenza 1
Frankfurt am Main 1
Fremont 1
Genoa 1
Görwihl 1
Handan 1
Harbin 1
Helsinki 1
Hounslow 1
Kunming 1
Kyoto 1
Leesburg 1
Lissone 1
Monmouth Junction 1
Montreal 1
Muizenberg 1
Nanchang 1
Napoli 1
Norwalk 1
Olalla 1
Ottawa 1
Quarona 1
Saint Petersburg 1
San Severo 1
Shenzhen 1
Torcy 1
Verona 1
Warsaw 1
Wenzhou 1
Yaroslavl 1
Totale 745
Nome #
Effectful Normal Form Bisimulation 116
Effectful applicative similarity for call-by-name lambda calculi 109
Effectful applicative bisimilarity: Monads, relators, and Howe's method 108
Differential logical relations, Part I: The simply-typed case 105
A Relational Theory of Monadic Rewriting Systems, Part i 99
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances 84
Effectful applicative similarity for call-by-name lambda calculi 82
Resource transition systems and full abstraction for linear higher-order effectful programs 78
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem 68
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice 59
Open Higher-Order Logic 53
Differential logical relations, part II increments and derivatives 49
A Relational Theory of Effects and Coeffects 48
Effectful program distancing 39
On Feller Continuity and Full Abstraction 33
A Fibrational Tale of Operational Logical Relations 6
Totale 1.136
Categoria #
all - tutte 3.791
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 3.791


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202090 0 0 0 0 0 9 17 16 16 12 3 17
2020/2021135 16 14 1 1 8 0 14 10 35 11 4 21
2021/2022330 23 9 11 87 21 16 13 16 16 6 75 37
2022/2023199 19 13 10 26 9 22 11 9 51 12 10 7
2023/2024113 3 18 21 16 4 11 6 4 0 11 6 13
2024/2025211 18 65 26 40 61 1 0 0 0 0 0 0
Totale 1.136