CRIS Current Research Information System

GAVAZZO, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 740
NA - Nord America 661
EU - Europa 561
Continente sconosciuto - Info sul continente non disponibili 61
SA - Sud America 49
AF - Africa 19
OC - Oceania 1
Totale 2.092
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 640
CN - Cina 253
SG - Singapore 210
IT - Italia 161
GB - Regno Unito 96
VN - Vietnam 74
DE - Germania 71
HK - Hong Kong 58
FR - Francia 56
SE - Svezia 44
IE - Irlanda 40
IN - India 40
KR - Corea 36
BR - Brasile 32
RU - Federazione Russa 24
BD - Bangladesh 20
BG - Bulgaria 17
TR - Turchia 15
FI - Finlandia 12
CA - Canada 11
ID - Indonesia 11
JP - Giappone 11
ZA - Sudafrica 11
AR - Argentina 8
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
JM - Giamaica 1
KE - Kenya 1
MA - Marocco 1
MZ - Mozambico 1
NI - Nicaragua 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 2.032
Salva come PNG Salva come JPEG
Città #
Singapore 139
Hefei 84
Southend 83
Bologna 62
San Jose 58
Hong Kong 54
Santa Clara 52
Fairfield 47
Dublin 40
Ashburn 39
Seoul 36
Ho Chi Minh City 28
Beijing 26
Chandler 22
Princeton 22
Seattle 19
Boardman 17
Sofia 17
Lauterbourg 16
Ann Arbor 15
Hanoi 15
Cambridge 14
Los Angeles 14
Houston 12
Istanbul 12
Wilmington 12
Portici 11
Woodbridge 11
Jakarta 10
Medford 10
Berlin 9
Council Bluffs 9
Guangzhou 9
Milan 9
Bengaluru 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
Pisa 5
Warsaw 5
Atlanta 4
Buffalo 4
Da Nang 4
London 4
Nointot 4
Paris 4
Philadelphia 4
San Diego 4
Vienna 4
Zhengzhou 4
Ancona 3
Brooklyn 3
Chicago 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
Toronto 3
Vicenza 3
Wilmette 3
Abidjan 2
Ankara 2
Baghdad 2
Brasília 2
Castel Goffredo 2
Cesena 2
Changsha 2
Cornier 2
Dallas 2
Evanston 2
Falkenstein 2
Frankfurt am Main 2
Hangzhou 2
Harbin 2
Jiaxing 2
Long Xuyen 2
Luisant 2
Totale 1.290
Salva come PNG Salva come JPEG
Nome #
A Relational Theory of Effects and Coeffects 206
Effectful Normal Form Bisimulation 166
Effectful program distancing 153
Effectful applicative bisimilarity: Monads, relators, and Howe's method 152
Differential logical relations, Part I: The simply-typed case 150
Open Higher-Order Logic 143
Effectful applicative similarity for call-by-name lambda calculi 142
A Relational Theory of Monadic Rewriting Systems, Part i 142
On Feller Continuity and Full Abstraction 128
Effectful applicative similarity for call-by-name lambda calculi 125
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances 122
Resource transition systems and full abstraction for linear higher-order effectful programs 121
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem 112
Differential logical relations, part II increments and derivatives 103
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice 100
A Fibrational Tale of Operational Logical Relations 27
Totale 2.092
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.682
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.682
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022307 0 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/2026773 67 88 114 59 86 34 82 31 92 58 51 11
2026/202726 26 0 0 0 0 0 0 0 0 0 0 0
Totale 2.092