GAVAZZO, FRANCESCO
 Distribuzione geografica
Continente #
EU - Europa 414
NA - Nord America 355
AS - Asia 73
AF - Africa 7
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 853
Nazione #
US - Stati Uniti d'America 349
IT - Italia 117
GB - Regno Unito 90
DE - Germania 61
SE - Svezia 43
IE - Irlanda 37
CN - Cina 35
FR - Francia 24
IN - India 21
BG - Bulgaria 17
TR - Turchia 11
RU - Federazione Russa 9
ZA - Sudafrica 7
CA - Canada 6
HR - Croazia 5
UA - Ucraina 4
AT - Austria 3
EE - Estonia 3
HK - Hong Kong 3
JP - Giappone 3
AR - Argentina 2
AU - Australia 1
CH - Svizzera 1
EU - Europa 1
Totale 853
Città #
Southend 83
Bologna 50
Fairfield 47
Dublin 37
Chandler 22
Princeton 22
Ashburn 19
Seattle 18
Sofia 17
Ann Arbor 15
Cambridge 14
Wilmington 12
Istanbul 11
Portici 11
Woodbridge 11
Houston 10
Medford 10
Berlin 9
Des Moines 8
Hebei 7
Jinan 6
New York 6
Redwood City 6
Westminster 6
Council Bluffs 4
Nanjing 4
Nointot 4
Philadelphia 4
Pisa 4
San Diego 4
Guangzhou 3
New Haven 3
Newmarket 3
Padova 3
Shenyang 3
Tianjin 3
Vicenza 3
Vienna 3
Zhengzhou 3
Cornier 2
Córdoba 2
Hangzhou 2
Jiaxing 2
London 2
Los Angeles 2
Marseille 2
Milan 2
Mülheim 2
Paris 2
Reggio Nell'emilia 2
Toenisvorst 2
Trieste 2
Beijing 1
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
Hounslow 1
Kyoto 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
Torcy 1
Verona 1
Yaroslavl 1
Totale 564
Nome #
Effectful Normal Form Bisimulation 105
Effectful applicative bisimilarity: Monads, relators, and Howe's method 99
Effectful applicative similarity for call-by-name lambda calculi 97
Differential logical relations, Part I: The simply-typed case 94
A Relational Theory of Monadic Rewriting Systems, Part i 80
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances 74
Effectful applicative similarity for call-by-name lambda calculi 65
Resource transition systems and full abstraction for linear higher-order effectful programs 65
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem 55
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice 46
Differential logical relations, part II increments and derivatives 38
Open Higher-Order Logic 26
A Relational Theory of Effects and Coeffects 24
Effectful program distancing 23
On Feller Continuity and Full Abstraction 19
A Fibrational Tale of Operational Logical Relations 1
Totale 911
Categoria #
all - tutte 2.909
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 2.909


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20194 0 0 0 0 0 0 0 0 0 0 0 4
2019/2020127 16 2 0 8 11 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/202499 3 18 21 16 4 11 6 4 0 11 5 0
Totale 911