CRIS Current Research Information System

GAVAZZO, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 723
NA - Nord America 616
EU - Europa 541
SA - Sud America 49
AF - Africa 19
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 1.950
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 598
CN - Cina 252
SG - Singapore 208
IT - Italia 141
GB - Regno Unito 96
VN - Vietnam 74
DE - Germania 71
HK - Hong Kong 57
FR - Francia 56
SE - Svezia 44
IE - Irlanda 40
IN - India 40
KR - Corea 36
BR - Brasile 32
RU - Federazione Russa 24
BG - Bulgaria 17
TR - Turchia 15
FI - Finlandia 12
ID - Indonesia 11
JP - Giappone 11
ZA - Sudafrica 11
CA - Canada 10
AR - Argentina 8
BD - Bangladesh 7
NL - Olanda 7
AT - Austria 6
MX - Messico 6
PL - Polonia 6
HR - Croazia 5
UA - Ucraina 5
ES - Italia 4
EC - Ecuador 3
EE - Estonia 3
CI - Costa d'Avorio 2
CL - Cile 2
CO - Colombia 2
IQ - Iraq 2
LT - Lituania 2
MY - Malesia 2
NP - Nepal 2
PH - Filippine 2
SC - Seychelles 2
AU - Australia 1
CH - Svizzera 1
DZ - Algeria 1
EU - Europa 1
GD - Grenada 1
GR - Grecia 1
KE - Kenya 1
MA - Marocco 1
MZ - Mozambico 1
PK - Pakistan 1
PY - Paraguay 1
QA - Qatar 1
SA - Arabia Saudita 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 1.950
Salva come PNG Salva come JPEG
Città #
Singapore 139
Hefei 84
Southend 83
Bologna 58
Hong Kong 53
Santa Clara 51
Fairfield 47
San Jose 44
Dublin 40
Seoul 36
Ashburn 32
Ho Chi Minh City 28
Beijing 25
Chandler 22
Princeton 22
Seattle 18
Boardman 17
Sofia 17
Lauterbourg 16
Ann Arbor 15
Hanoi 15
Cambridge 14
Houston 12
Istanbul 12
Los Angeles 12
Wilmington 12
Portici 11
Woodbridge 11
Jakarta 10
Medford 10
Berlin 9
Guangzhou 9
Bengaluru 8
Council Bluffs 8
Des Moines 8
New York 8
Hebei 7
Redondo Beach 7
Shanghai 7
Tokyo 7
Amsterdam 6
Helsinki 6
Hyderabad 6
Jinan 6
Nanjing 6
Redwood City 6
The Dalles 6
Tianjin 6
Westminster 6
Lappeenranta 5
Lyon 5
Warsaw 5
Atlanta 4
Buffalo 4
Da Nang 4
London 4
Milan 4
Nointot 4
Paris 4
Philadelphia 4
Pisa 4
San Diego 4
Vienna 4
Zhengzhou 4
Ancona 3
Brooklyn 3
Córdoba 3
Haiphong 3
Johannesburg 3
Madrid 3
Mexico City 3
New Haven 3
Newmarket 3
Orem 3
Padova 3
Querétaro 3
Shenyang 3
Shenzhen 3
São Paulo 3
Vicenza 3
Wilmette 3
Abidjan 2
Ankara 2
Baghdad 2
Brasília 2
Castel Goffredo 2
Cesena 2
Changsha 2
Chicago 2
Cornier 2
Dallas 2
Evanston 2
Falkenstein 2
Frankfurt am Main 2
Hangzhou 2
Harbin 2
Jiaxing 2
Long Xuyen 2
Luisant 2
Marseille 2
Totale 1.250
Salva come PNG Salva come JPEG
Nome #
A Relational Theory of Effects and Coeffects 176
Effectful Normal Form Bisimulation 165
Effectful applicative bisimilarity: Monads, relators, and Howe's method 151
Effectful program distancing 147
Differential logical relations, Part I: The simply-typed case 147
Open Higher-Order Logic 141
Effectful applicative similarity for call-by-name lambda calculi 140
A Relational Theory of Monadic Rewriting Systems, Part i 138
On Feller Continuity and Full Abstraction 125
Effectful applicative similarity for call-by-name lambda calculi 120
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances 117
Resource transition systems and full abstraction for linear higher-order effectful programs 117
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem 108
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice 98
Differential logical relations, part II increments and derivatives 94
A Fibrational Tale of Operational Logical Relations 26
Totale 2.010
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.261
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 6.261
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202125 0 0 0 0 0 0 0 0 0 0 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/2025368 18 65 26 40 61 8 20 31 1 9 39 50
2025/2026717 67 88 114 59 86 34 82 31 92 58 6 0
Totale 2.010