CRIS Current Research Information System

SANGIORGI, DAVIDE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.687
EU - Europa 3.321
AS - Asia 1.540
AF - Africa 102
SA - Sud America 12
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 3
Totale 9.673
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.676
GB - Regno Unito 1.481
CN - Cina 625
DE - Germania 384
IT - Italia 379
SG - Singapore 344
VN - Vietnam 225
UA - Ucraina 219
IN - India 182
FR - Francia 145
SE - Svezia 129
RU - Federazione Russa 126
IE - Irlanda 113
TR - Turchia 98
HR - Croazia 88
ZA - Sudafrica 70
EE - Estonia 64
RO - Romania 57
FI - Finlandia 33
GR - Grecia 23
SC - Seychelles 18
BE - Belgio 17
ID - Indonesia 16
CH - Svizzera 15
JP - Giappone 14
DK - Danimarca 12
CA - Canada 11
NL - Olanda 9
AU - Australia 8
TG - Togo 8
AT - Austria 7
HK - Hong Kong 7
CI - Costa d'Avorio 6
KR - Corea 5
PK - Pakistan 5
BR - Brasile 4
CL - Cile 4
CZ - Repubblica Ceca 4
ES - Italia 4
LB - Libano 4
CO - Colombia 3
JO - Giordania 3
PL - Polonia 3
SK - Slovacchia (Repubblica Slovacca) 3
TW - Taiwan 3
EU - Europa 2
IL - Israele 2
PT - Portogallo 2
A1 - Anonimo 1
AM - Armenia 1
BD - Bangladesh 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
IR - Iran 1
LU - Lussemburgo 1
MD - Moldavia 1
MY - Malesia 1
PE - Perù 1
SA - Arabia Saudita 1
SI - Slovenia 1
UZ - Uzbekistan 1
Totale 9.673
Salva come PNG Salva come JPEG
Città #
Southend 1.383
Fairfield 586
Chandler 379
Santa Clara 306
Singapore 301
Ann Arbor 296
Ashburn 288
Woodbridge 280
Wilmington 264
Seattle 262
Houston 210
Princeton 202
Cambridge 188
Dong Ket 157
Jacksonville 151
Boardman 121
Dublin 112
Istanbul 96
Westminster 88
Nanjing 80
New York 80
Padova 75
Bologna 71
Medford 64
Bucharest 53
Jinan 52
Shenyang 44
Saint Petersburg 43
Turin 43
Berlin 40
Beijing 35
Nanchang 34
Mülheim 31
Changsha 28
Hebei 26
Fremont 21
Hangzhou 21
San Diego 21
Dearborn 20
Norwalk 19
Jiaxing 18
Mahé 18
Shanghai 18
Tianjin 18
Haikou 17
Jakarta 16
Olalla 15
Helsinki 14
Kunming 14
Zhengzhou 14
Ningbo 13
Redwood City 13
Brussels 12
Copenhagen 12
Taizhou 12
Des Moines 11
Fuzhou 11
Guangzhou 11
Jyväskylä 11
Los Angeles 11
Bern 10
Grafing 10
Tokyo 10
San Venanzo 9
Verona 9
Lomé 8
Milan 8
Chicago 7
Lappeenranta 7
London 7
Paris 7
Taiyuan 7
Abidjan 6
Bühl 6
Falls Church 6
Frankfurt am Main 6
San Francisco 6
Bazel 5
Florence 5
Lanzhou 5
Nuremberg 5
Pune 5
Shenzhen 5
Vienna 5
Bedford 4
Essen 4
Hefei 4
Lyon 4
Provo 4
Quanzhou 4
Quarona 4
Ranipur 4
San Jose 4
Shijiazhuang 4
Xi'an 4
Altleiningen 3
Amman 3
Amsterdam 3
Bogotá 3
Bratislava 3
Totale 7.073
Salva come PNG Salva come JPEG
Nome #
A Component Model for the ABS Language 179
A hybrid type system for lock-freedom of mobile processes 163
Bisimulation and Coinduction Enhancements: A Historical Perspective 160
A Correct Abstract Machine for Safe Ambients. 152
An Object Group-Based Component Model 148
Eager functions as processes 140
Environmental bisimulations for higher-order languages 137
Introduction to bisimulation and coinduction 137
On asynchrony in name-passing calculi 135
Separability in the Ambient Logic 135
Environmental bisimulations for probabilistic higher-order languages 135
A Model of Evolvable Components 134
Playing with bisimulation in erlang 134
Unique solutions of contractions, CCS, and their HOL formalisation 131
Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi 130
On coinductive equivalences for higher-order probabilistic functional programs 130
An efficient abstract machine for Safe Ambients 129
Advanced Topics in Bisimulation and Coinduction 129
Safe Ambients: Abstract machine and distributed implementation 127
Concurrency theory: timed automata, testing, program synthesis 127
Equations, contractions, and unique solutions 126
Light logics and higher-order processes 126
Bisimulations up-to: Beyond first-order transition systems 123
Asynchronous π -calculus at Work: The Call-by-Need Strategy 122
On Applicative Similarity, Sequentiality, and Full Abstraction 121
Strong Normalisation in λ-Calculi with References 120
Bisimulation and Co-induction: Some Problems 119
Bisimulation: From The Origins to Today 118
Towards an Algebraic Theory of Typed Mobile Processes 117
Beyond Bisimulation: The "up-to" Techniques 117
Mobile Processes and Termination 116
The proof technique of unique solutions of contractions 112
A Hybrid Type System for Lock-Freedom of Mobile Processes 112
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service 111
Functions as Processes: Termination and the lambda mu mu~ - Calculus 110
Equations, contractions, and unique solutions 110
Ensuring termination by typability 109
Symmetries and dualities in name-passing process calculi 108
DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS 108
On the Expressiveness of the Ambient Logic 106
Towards ‘up to context’ reasoning about higher-order processes 105
Name-passing calculi: From fusions to preorders and types 104
Duality and i/o-Types in the π-Calculus 103
Higher-order languages: Bisimulation and coinductive equivalences (extended abstract) 103
Enhancements of the bisimulation proof method 103
On the representation of McCarthy's amb in the Pi-calculus 102
null 102
Towards an algebraic theory of typed mobile processes 102
Bisimilarity via unique-solution techniques 102
Ensuring Termination by Typability 101
Termination in Impure Concurrent Languages 101
Towards a Calculus For Wireless Systems 100
Origins of bisimulation and coinduction 100
Session types revisited 100
On the Complexity of Termination Inference for Processes 98
On the discriminating power of passivation and higher-order interaction 98
On the discriminating power of testing equivalences for reactive probabilistic systems: Results and open problems 98
Trees from functions as processes 98
Ownership Types for the Join Calculus 96
Divergence and unique solution of equations 96
Termination in higher-order concurrent calculi 95
Termination in Higher-Order Concurrent Calculi 94
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi 94
Termination of processes 93
Trees from functions as processes 93
Light Logics and Higher-Order Processes 93
On the representation of references in the Pi-Calculus 92
On the origins of bisimulation and coinduction 90
Environmental Bisimulations for Higher-Order Languages 87
Tools and Verification 87
HATS Abstract Behavioral Specification: The Architectural View 87
Type Systems for Bigraphs 86
Trustworthy Global Computing, International Symposium, LNCS 3705 85
Logical Bisimulations and Functional Languages 84
Session types revisited 83
Types in concurrency 83
SCC: a Service Centered Calculus 83
Sensoria 82
The pi-calculus 82
The Bisimulation Proof Method: Enhancements and Open Problems 82
On the Expressiveness and Decidability of Higher-Order Process Calculi 81
Name-Passing Calculi: From Fusions to Preorders and Types2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science 78
Unique solutions of contractions, CCS, and their HOL formalisation 77
Static and dynamic typing for the termination of mobile processes 76
null 75
Environmental bisimulations for probabilistic higher-order languages 75
On the Representation of McCarthy's amb in the pi-calculus 69
On the Expressiveness of Polyadicity in Higher-Order Process Calculi 68
On sequentiality and well-bracketing in the π-calculus 61
From Enhanced Coinduction towards Enhanced Induction 49
Modular coinduction up-to for higher-order languages via first-order transition systems 43
Session Types Revisited: A Decade Later 39
An operational semantics for a calculus for wireless systems 39
Eager functions as processes 36
On the expressiveness and decidability of higher-order process calculi 35
Games, Mobile Processes, and Functions 33
Extensional and Non-extensional Functions as Processes 28
EXPRESSing Session Types 23
Enhanced Induction in Behavioural Relations 17
Totale 9.872
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.048
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 25.048
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.086 0 0 0 0 331 271 314 339 386 177 82 186
2020/20211.664 274 103 36 61 26 174 20 156 331 105 95 283
2021/20221.808 264 55 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.056 29 302 173 138 414 0 0 0 0 0 0 0
Totale 9.872