GAVAZZO, FRANCESCO
 Distribuzione geografica
Continente #
EU - Europa 129
NA - Nord America 128
AS - Asia 21
SA - Sud America 1
Totale 279
Nazione #
US - Stati Uniti d'America 124
FR - Francia 41
IT - Italia 40
IE - Irlanda 21
CN - Cina 11
DE - Germania 10
GB - Regno Unito 5
CA - Canada 4
FI - Finlandia 3
PK - Pakistan 3
BE - Belgio 2
BG - Bulgaria 2
IN - India 2
JP - Giappone 2
RU - Federazione Russa 2
SG - Singapore 2
BR - Brasile 1
DK - Danimarca 1
NL - Olanda 1
RO - Romania 1
SA - Arabia Saudita 1
Totale 279
Città #
Dublin 21
Ashburn 15
Bologna 13
Philadelphia 9
Providence 9
Santa Cruz 8
New Haven 6
Fairfield 5
Columbus 4
Freehold 4
Hangzhou 4
Buffalo 3
Genoa 3
Kirkland 3
Marseille 3
New York 3
Paris 3
Villeurbanne 3
Agliana 2
Ann Arbor 2
Brussels 2
Cedar Knolls 2
Cornier 2
Islamabad 2
Lappeenranta 2
London 2
Los Angeles 2
Newburgh 2
Newmarket 2
Reggio Emilia 2
Reggio Nell'emilia 2
Seattle 2
Sofia 2
Southend 2
Woodbridge 2
Beijing 1
Bochum 1
Bucharest 1
Castelnovo di Sotto 1
Chicago 1
Clamart 1
Council Bluffs 1
Dannstadt-Schauernheim 1
Dulles 1
Fleming Island 1
Forlì 1
Grenoble 1
Guaruja 1
Haarlem 1
Haripur 1
Helsinki 1
Henderson 1
Houston 1
Las Vegas 1
Montreal 1
Moscow 1
Nointot 1
Osaka 1
Parma 1
Pernumia 1
Riyadh 1
Saint Petersburg 1
San Diego 1
San Severo 1
Tokyo 1
Trieste 1
Wilmington 1
Totale 185
Nome #
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem, file e1dcb336-b795-7715-e053-1705fe0a6cc9 74
A Relational Theory of Monadic Rewriting Systems, Part i, file e1dcb338-634e-7715-e053-1705fe0a6cc9 70
Differential logical relations, part II increments and derivatives, file e1dcb33a-0f5e-7715-e053-1705fe0a6cc9 31
A Relational Theory of Effects and Coeffects, file 0dc47b5a-d55b-457a-9c0f-7da02b6b0d96 25
Differential logical relations, Part I: The simply-typed case, file e1dcb333-acbb-7715-e053-1705fe0a6cc9 23
Effectful applicative similarity for call-by-name lambda calculi, file 0bdd5224-7577-45dd-afc3-7abca5c32c6f 18
Effectful program distancing, file 18c6a59b-3885-4615-b1bd-b11e6d1c5056 13
Resource transition systems and full abstraction for linear higher-order effectful programs, file e1dcb338-618b-7715-e053-1705fe0a6cc9 13
Open Higher-Order Logic, file 47d9c511-2ef7-4ba9-9d7a-cc9d09bf030e 6
On Feller Continuity and Full Abstraction, file 60fae8cb-ba68-4843-8a56-69a3f22a8a2d 5
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice, file e1dcb334-8537-7715-e053-1705fe0a6cc9 2
Differential logical relations, part II increments and derivatives, file e1dcb339-4803-7715-e053-1705fe0a6cc9 2
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances, file e1dcb332-7051-7715-e053-1705fe0a6cc9 1
Effectful applicative similarity for call-by-name lambda calculi, file eaf36720-62d6-4717-bb21-c9f246ac8225 1
Totale 284
Categoria #
all - tutte 1.256
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.256


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201 0 0 0 0 0 0 0 0 0 1 0 0
2020/202113 0 1 0 0 2 0 1 1 3 2 1 2
2021/202260 2 1 3 2 5 0 4 9 5 4 16 9
2022/2023107 1 5 21 8 7 5 10 4 20 10 11 5
2023/2024103 3 11 6 10 5 18 20 12 11 2 5 0
Totale 284