CRIS Current Research Information System

SANGIORGI, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.267
AS - Asia 4.336
EU - Europa 3.800
SA - Sud America 339
Continente sconosciuto - Info sul continente non disponibili 224
AF - Africa 155
OC - Oceania 9
Totale 15.130
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.171
GB - Regno Unito 1.497
CN - Cina 1.373
SG - Singapore 1.224
VN - Vietnam 758
IT - Italia 500
DE - Germania 429
FR - Francia 269
HK - Hong Kong 253
BR - Brasile 225
IN - India 223
UA - Ucraina 223
RU - Federazione Russa 212
SE - Svezia 133
IE - Irlanda 126
TR - Turchia 107
KR - Corea 91
HR - Croazia 88
JP - Giappone 84
ZA - Sudafrica 84
EE - Estonia 64
RO - Romania 57
FI - Finlandia 48
BD - Bangladesh 46
CA - Canada 38
AR - Argentina 34
ID - Indonesia 30
PH - Filippine 27
EC - Ecuador 24
AT - Austria 23
GR - Grecia 23
CI - Costa d'Avorio 22
BE - Belgio 19
CO - Colombia 19
DK - Danimarca 19
SC - Seychelles 19
IQ - Iraq 18
TH - Thailandia 18
MX - Messico 17
NL - Olanda 17
CH - Svizzera 16
PK - Pakistan 12
CL - Cile 11
CR - Costa Rica 10
TW - Taiwan 10
AU - Australia 9
ES - Italia 9
SA - Arabia Saudita 9
JM - Giamaica 8
MY - Malesia 8
PL - Polonia 8
TG - Togo 8
VE - Venezuela 7
GT - Guatemala 6
KZ - Kazakistan 6
LB - Libano 6
TN - Tunisia 6
JO - Giordania 5
PY - Paraguay 5
SK - Slovacchia (Repubblica Slovacca) 5
UY - Uruguay 5
UZ - Uzbekistan 5
CZ - Repubblica Ceca 4
HN - Honduras 4
KE - Kenya 4
PE - Perù 4
TT - Trinidad e Tobago 4
EG - Egitto 3
IL - Israele 3
NI - Nicaragua 3
NP - Nepal 3
OM - Oman 3
AE - Emirati Arabi Uniti 2
BG - Bulgaria 2
BO - Bolivia 2
BS - Bahamas 2
ET - Etiopia 2
EU - Europa 2
LK - Sri Lanka 2
LU - Lussemburgo 2
PT - Portogallo 2
RE - Reunion 2
SI - Slovenia 2
SY - Repubblica araba siriana 2
A1 - Anonimo 1
AM - Armenia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BW - Botswana 1
CG - Congo 1
CV - Capo Verde 1
DO - Repubblica Dominicana 1
GF - Guiana Francese 1
GH - Ghana 1
GY - Guiana 1
IR - Iran 1
KG - Kirghizistan 1
Totale 14.901
Salva come PNG Salva come JPEG
Città #
Southend 1.383
Singapore 767
Fairfield 586
Ashburn 393
Chandler 379
Santa Clara 356
Dallas 340
Ann Arbor 296
Woodbridge 281
Wilmington 266
Seattle 264
San Jose 251
Hong Kong 233
Hefei 223
Houston 218
Princeton 202
Cambridge 188
Beijing 159
Dong Ket 157
Jacksonville 156
Ho Chi Minh City 154
Council Bluffs 133
Boardman 129
Dublin 124
Hanoi 120
Lauterbourg 117
Bologna 107
Istanbul 98
New York 97
Westminster 88
Nanjing 82
Seoul 76
Padova 75
Tokyo 72
Medford 64
Los Angeles 60
Jinan 56
Bucharest 53
Buffalo 46
Shenyang 44
Saint Petersburg 43
Turin 43
Berlin 41
The Dalles 41
Nanchang 34
Changsha 32
Mülheim 31
Shanghai 30
Frankfurt am Main 28
Redondo Beach 27
Hebei 26
São Paulo 26
Tianjin 25
Chicago 24
Milan 24
Hangzhou 23
Phoenix 23
Abidjan 22
Guangzhou 22
San Diego 22
Da Nang 21
Fremont 21
Helsinki 21
Nuremberg 21
Dearborn 20
Haiphong 20
Norwalk 20
Jiaxing 19
Zhengzhou 19
Bengaluru 18
Mahé 18
Haikou 17
Jakarta 17
Brooklyn 15
Kunming 15
Lappeenranta 15
Ningbo 15
Olalla 15
Brussels 14
Redwood City 13
Copenhagen 12
Des Moines 12
Fuzhou 12
San Francisco 12
Taizhou 12
Biên Hòa 11
Jyväskylä 11
Bern 10
Grafing 10
London 10
Montreal 10
Verona 10
Yubileyny 10
Baghdad 9
Rome 9
San Venanzo 9
Vienna 9
Bangkok 8
Can Tho 8
Lomé 8
Totale 10.036
Salva come PNG Salva come JPEG
Nome #
A Component Model for the ABS Language 235
Bisimulation and Coinduction Enhancements: A Historical Perspective 216
A hybrid type system for lock-freedom of mobile processes 206
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service 204
Asynchronous π -calculus at Work: The Call-by-Need Strategy 203
On asynchrony in name-passing calculi 202
A Correct Abstract Machine for Safe Ambients. 202
Environmental bisimulations for higher-order languages 201
Separability in the Ambient Logic 196
Introduction to bisimulation and coinduction 192
Environmental bisimulations for probabilistic higher-order languages 189
Unique solutions of contractions, CCS, and their HOL formalisation 187
Playing with bisimulation in erlang 187
An Object Group-Based Component Model 184
Eager functions as processes 183
Equations, contractions, and unique solutions 177
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi 175
Towards an Algebraic Theory of Typed Mobile Processes 173
Advanced Topics in Bisimulation and Coinduction 173
An efficient abstract machine for Safe Ambients 172
Functions as Processes: Termination and the lambda mu mu~ - Calculus 172
DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS 171
A Hybrid Type System for Lock-Freedom of Mobile Processes 169
A Model of Evolvable Components 167
Concurrency theory: timed automata, testing, program synthesis 166
Ensuring termination by typability 165
Mobile Processes and Termination 165
On coinductive equivalences for higher-order probabilistic functional programs 165
Towards ‘up to context’ reasoning about higher-order processes 164
From Enhanced Coinduction towards Enhanced Induction 163
On the Expressiveness of the Ambient Logic 163
Light logics and higher-order processes 163
On the representation of McCarthy's amb in the Pi-calculus 161
On Applicative Similarity, Sequentiality, and Full Abstraction 161
Safe Ambients: Abstract machine and distributed implementation 161
Strong Normalisation in λ-Calculi with References 159
Bisimulation and Co-induction: Some Problems 158
On the representation of references in the Pi-Calculus 158
Ensuring Termination by Typability 155
Bisimulations up-to: Beyond first-order transition systems 155
The proof technique of unique solutions of contractions 153
Termination in higher-order concurrent calculi 152
Bisimulation: From The Origins to Today 150
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi 150
Beyond Bisimulation: The "up-to" Techniques 148
Towards a Calculus For Wireless Systems 147
Higher-order languages: Bisimulation and coinductive equivalences (extended abstract) 147
Trustworthy Global Computing, International Symposium, LNCS 3705 146
Name-passing calculi: From fusions to preorders and types 146
Termination in Impure Concurrent Languages 144
Ownership Types for the Join Calculus 144
Symmetries and dualities in name-passing process calculi 144
Equations, contractions, and unique solutions 144
On the Complexity of Termination Inference for Processes 143
Enhancements of the bisimulation proof method 142
Environmental Bisimulations for Higher-Order Languages 141
Termination in Higher-Order Concurrent Calculi 141
Session types revisited 141
Bisimilarity via unique-solution techniques 141
On the Expressiveness and Decidability of Higher-Order Process Calculi 141
On the origins of bisimulation and coinduction 140
Divergence and unique solution of equations 139
On the discriminating power of testing equivalences for reactive probabilistic systems: Results and open problems 138
Eager functions as processes 137
Duality and i/o-Types in the π-Calculus 136
Towards an algebraic theory of typed mobile processes 136
Light Logics and Higher-Order Processes 136
Sensoria 135
Trees from functions as processes 135
Logical Bisimulations and Functional Languages 135
On the discriminating power of passivation and higher-order interaction 134
Tools and Verification 133
Games, Mobile Processes, and Functions 132
Session types revisited 132
The pi-calculus 132
Unique solutions of contractions, CCS, and their HOL formalisation 132
Origins of bisimulation and coinduction 131
EXPRESSing Session Types 130
Type Systems for Bigraphs 130
Termination of processes 128
Static and dynamic typing for the termination of mobile processes 128
Trees from functions as processes 127
Session Types Revisited: A Decade Later 126
Enhanced Induction in Behavioural Relations 126
SCC: a Service Centered Calculus 126
An Abstract Account of Up-to Techniques for Inductive Behavioural Relations 121
The Bisimulation Proof Method: Enhancements and Open Problems 121
HATS Abstract Behavioral Specification: The Architectural View 120
On the Expressiveness of Polyadicity in Higher-Order Process Calculi 118
On sequentiality and well-bracketing in the π-calculus 116
Name-Passing Calculi: From Fusions to Preorders and Types2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science 115
Types in concurrency 114
Environmental bisimulations for probabilistic higher-order languages 114
On the Representation of McCarthy's amb in the pi-calculus 111
null 102
Unique-Solution of Equations in Higher-Order Process Calculi with Passivation 95
Modular coinduction up-to for higher-order languages via first-order transition systems 92
On the expressiveness and decidability of higher-order process calculi 91
Extensional and Non-extensional Functions as Processes 88
null 75
Totale 14.930
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.847
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 42.847
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.489 0 0 115 93 176 95 33 122 78 23 414 340
2022/20231.473 241 191 68 176 120 153 40 71 191 25 136 61
2023/2024458 23 59 27 30 20 101 72 21 11 54 21 19
2024/20251.855 29 302 173 138 456 86 222 17 32 37 64 299
2025/20264.016 170 383 839 297 382 217 449 146 624 273 130 106
2026/2027443 114 190 139 0 0 0 0 0 0 0 0 0
Totale 15.130