SANGIORGI, DAVIDE
 Distribuzione geografica
Continente #
NA - Nord America 554
EU - Europa 321
AS - Asia 183
SA - Sud America 8
OC - Oceania 2
AF - Africa 1
Totale 1.069
Nazione #
US - Stati Uniti d'America 545
IT - Italia 114
CN - Cina 89
FR - Francia 70
IE - Irlanda 41
GB - Regno Unito 33
SG - Singapore 30
NL - Olanda 17
IN - India 16
DE - Germania 13
HK - Hong Kong 10
CA - Canada 8
FI - Finlandia 8
ID - Indonesia 8
JP - Giappone 7
TW - Taiwan 7
VN - Vietnam 6
BR - Brasile 5
RO - Romania 5
KR - Corea 4
LT - Lituania 4
RU - Federazione Russa 4
CZ - Repubblica Ceca 3
AU - Australia 2
CH - Svizzera 2
CL - Cile 2
DK - Danimarca 2
TR - Turchia 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
BE - Belgio 1
BO - Bolivia 1
BT - Bhutan 1
GL - Groenlandia 1
GR - Grecia 1
IL - Israele 1
MT - Malta 1
PK - Pakistan 1
SE - Svezia 1
ZA - Sudafrica 1
Totale 1.069
Città #
Bologna 58
Houston 53
Santa Cruz 52
Ashburn 44
Ann Arbor 42
Dublin 40
Fairfield 31
Singapore 23
Seattle 18
Woodbridge 18
Buffalo 17
Chicago 14
Bengaluru 11
Southend 11
Guangzhou 10
Shanghai 10
Changsha 9
Shenyang 9
Rotterdam 8
Wilmington 8
Los Angeles 7
Paris 7
Taipei 7
Tokyo 7
Toronto 7
Cambridge 6
Clearwater 6
Dong Ket 6
Hangzhou 6
Venice 6
Beijing 5
Chongqing 5
Hong Kong 5
New York 5
Central 4
Groningen 4
Herndon 4
Las Vegas 4
Mercer Island 4
Mountain View 4
Nanchang 4
Olalla 4
Provo 4
Seoul 4
Villeurbanne 4
Boulder 3
Bucharest 3
Changchun 3
Council Bluffs 3
Florence 3
Harbin 3
Helsinki 3
Henderson 3
Jyväskylä 3
Norwalk 3
Oxford 3
Rome 3
San Diego 3
Boardman 2
Cedar Knolls 2
Chengdu 2
Columbus 2
Dallas 2
Forlì 2
Frattamaggiore 2
Hebei 2
Iasi 2
Lyon 2
Miami 2
Milan 2
Modena 2
Recife 2
Redmond 2
Reggio Emilia 2
Rio de Janeiro 2
Rochester 2
Saint Petersburg 2
Tilburg 2
Zhangzhou 2
Alblasserdam 1
Auburn 1
Azzano Decimo 1
Baotou 1
Basiliano 1
Basking Ridge 1
Belgaum 1
Bellevue 1
Bracke 1
Bremen 1
Brooklyn 1
Brussels 1
Burgess Hill 1
Casalecchio Di Reno 1
Casinalbo 1
Cava de' Tirreni 1
Central District 1
Chaoyang 1
Chinchvad 1
City of London 1
Copenhagen 1
Totale 717
Nome #
Bisimulation and Coinduction Enhancements: A Historical Perspective, file e1dcb333-728e-7715-e053-1705fe0a6cc9 169
Environmental bisimulations for probabilistic higher-order languages, file e1dcb334-5077-7715-e053-1705fe0a6cc9 148
Asynchronous π -calculus at Work: The Call-by-Need Strategy, file e1dcb333-8b09-7715-e053-1705fe0a6cc9 146
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service, file e1dcb336-42aa-7715-e053-1705fe0a6cc9 66
Towards ‘up to context’ reasoning about higher-order processes, file e1dcb334-45e5-7715-e053-1705fe0a6cc9 62
Unique solutions of contractions, CCS, and their HOL formalisation, file e1dcb332-0dd7-7715-e053-1705fe0a6cc9 61
Environmental bisimulations for probabilistic higher-order languages, file e1dcb338-8684-7715-e053-1705fe0a6cc9 50
Session Types Revisited: A Decade Later, file 92882f28-466c-4c9b-b552-56a8478254d7 46
Trees from functions as processes, file e1dcb335-4b6b-7715-e053-1705fe0a6cc9 46
On sequentiality and well-bracketing in the π-calculus, file e1dcb338-9932-7715-e053-1705fe0a6cc9 46
Eager functions as processes, file e1dcb338-4766-7715-e053-1705fe0a6cc9 45
Divergence and unique solution of equations, file e1dcb335-7b6a-7715-e053-1705fe0a6cc9 43
Session types revisited, file e1dcb338-3422-7715-e053-1705fe0a6cc9 43
From Enhanced Coinduction towards Enhanced Induction, file 79486b98-fe94-45b1-86f7-d3beb2b204fb 18
DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS, file e1dcb333-6ede-7715-e053-1705fe0a6cc9 18
Games, Mobile Processes, and Functions, file 8d152066-c59b-4380-8111-bdbe89d2fbab 17
On the representation of references in the Pi-Calculus, file e1dcb337-5cca-7715-e053-1705fe0a6cc9 14
Unique solutions of contractions, CCS, and their HOL formalisation, file e1dcb337-58f6-7715-e053-1705fe0a6cc9 12
Bisimilarity via unique-solution techniques, file cba8d692-bba3-4ea0-815d-516062214c12 11
Modular coinduction up-to for higher-order languages via first-order transition systems, file e1dcb339-f0eb-7715-e053-1705fe0a6cc9 11
Playing with bisimulation in erlang, file 26cdc5ed-4072-4831-9b99-34b9bac4b613 7
Light logics and higher-order processes, file e1dcb32e-6448-7715-e053-1705fe0a6cc9 6
Separability in the Ambient Logic, file 4b4d0f9a-71ea-4799-ba98-3bfd1a6dbefc 5
Eager functions as processes, file 39fc6376-6dac-4096-9619-0af3c64e6466 3
Name-passing calculi: From fusions to preorders and types, file e1dcb32f-4c1e-7715-e053-1705fe0a6cc9 3
EXPRESSing Session Types, file 00bfabff-2ab7-426e-8e58-2882f7b22051 2
On coinductive equivalences for higher-order probabilistic functional programs, file e1dcb32c-dc1f-7715-e053-1705fe0a6cc9 1
Asynchronous π -calculus at Work: The Call-by-Need Strategy, file e1dcb333-8f36-7715-e053-1705fe0a6cc9 1
Towards ‘up to context’ reasoning about higher-order processes, file e1dcb334-8a71-7715-e053-1705fe0a6cc9 1
Environmental bisimulations for probabilistic higher-order languages, file e1dcb334-91a9-7715-e053-1705fe0a6cc9 1
Totale 1.102
Categoria #
all - tutte 3.472
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.472


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202049 0 0 0 0 5 9 4 13 3 6 4 5
2020/2021102 4 7 4 5 2 12 5 14 10 19 11 9
2021/2022412 26 32 28 77 62 19 23 13 17 13 73 29
2022/2023363 8 18 55 44 50 25 19 13 59 16 39 17
2023/2024172 18 8 8 17 16 36 28 25 12 2 2 0
Totale 1.102