CINECA IRIS Institutional Research Information System

DE' LIGUORO, Ugo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.579
EU - Europa 3.080
AS - Asia 2.540
SA - Sud America 369
AF - Africa 46
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 11.617
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.466
SG - Singapore 1.044
DK - Danimarca 734
CN - Cina 728
IT - Italia 697
SE - Svezia 316
VN - Vietnam 299
BR - Brasile 296
IE - Irlanda 235
DE - Germania 218
FR - Francia 204
UA - Ucraina 166
FI - Finlandia 133
KR - Corea 133
GB - Regno Unito 118
PL - Polonia 79
RU - Federazione Russa 76
HK - Hong Kong 73
JP - Giappone 63
CA - Canada 57
IN - India 49
ID - Indonesia 42
MX - Messico 33
AR - Argentina 29
BD - Bangladesh 27
NL - Olanda 23
IQ - Iraq 19
AT - Austria 15
ES - Italia 12
MA - Marocco 12
BE - Belgio 11
CO - Colombia 10
GR - Grecia 9
JM - Giamaica 9
VE - Venezuela 9
EC - Ecuador 8
UZ - Uzbekistan 8
ZA - Sudafrica 8
CH - Svizzera 6
CL - Cile 6
RO - Romania 5
SA - Arabia Saudita 5
TN - Tunisia 5
UY - Uruguay 5
AL - Albania 4
BG - Bulgaria 4
EG - Egitto 4
KE - Kenya 4
MY - Malesia 4
NP - Nepal 4
OM - Oman 4
PK - Pakistan 4
PY - Paraguay 4
TH - Thailandia 4
TR - Turchia 4
AE - Emirati Arabi Uniti 3
DZ - Algeria 3
JO - Giordania 3
KG - Kirghizistan 3
NI - Nicaragua 3
PA - Panama 3
PH - Filippine 3
SY - Repubblica araba siriana 3
AU - Australia 2
AZ - Azerbaigian 2
BB - Barbados 2
CI - Costa d'Avorio 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
MT - Malta 2
PE - Perù 2
PT - Portogallo 2
A1 - Anonimo 1
AO - Angola 1
BM - Bermuda 1
CR - Costa Rica 1
CV - Capo Verde 1
CY - Cipro 1
DJ - Gibuti 1
EE - Estonia 1
GE - Georgia 1
HN - Honduras 1
IL - Israele 1
IR - Iran 1
IS - Islanda 1
KZ - Kazakistan 1
LB - Libano 1
LT - Lituania 1
LV - Lettonia 1
LY - Libia 1
MD - Moldavia 1
ME - Montenegro 1
MU - Mauritius 1
NG - Nigeria 1
NO - Norvegia 1
PS - Palestinian Territory 1
QA - Qatar 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 11.615
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.266
Singapore 543
Santa Clara 527
San Jose 350
Wilmington 289
Beijing 256
Dublin 236
Fairfield 225
Chandler 216
Ashburn 213
Guangzhou 184
Houston 174
Milan 135
Jacksonville 107
Dearborn 105
Dallas 102
Woodbridge 97
Nyköping 91
Ho Chi Minh City 84
Princeton 81
Seattle 81
Warsaw 77
Villeurbanne 75
Cambridge 73
Medford 70
Columbus 69
Pisa 68
Hong Kong 67
Lauterbourg 65
Los Angeles 61
Torino 56
Hanoi 54
Turin 51
Rome 48
Buffalo 46
Seoul 46
Dong Ket 44
Hefei 43
San Mateo 37
Boardman 35
Norwalk 34
The Dalles 32
Tokyo 32
Jakarta 30
Naples 28
Fremont 27
Nuremberg 25
Boston 23
São Paulo 23
Helsinki 21
New York 21
Bengaluru 20
Phoenix 20
Wayne 20
Frankfurt am Main 16
Da Nang 15
Figino 15
Ludwigshafen 15
Mexico City 15
San Diego 15
Memphis 14
Toronto 14
Padova 13
Verona 13
Atlanta 12
Chicago 12
London 12
Redondo Beach 12
Brussels 11
Nanjing 11
Haiphong 10
Baghdad 9
Curitiba 9
Hebei 9
Palermo 9
Catania 8
Falls Church 8
Kunming 8
Lappeenranta 8
Montreal 8
Mountain View 8
Council Bluffs 7
Falkenstein 7
Orem 7
Redwood City 7
Brooklyn 6
Campinas 6
Copenhagen 6
Denver 6
Goiânia 6
Hangzhou 6
Lachine 6
Moscow 6
Ninh Bình 6
Padua 6
Philadelphia 6
Porto Alegre 6
Rio de Janeiro 6
Shanghai 6
Tashkent 6
Totale 7.230
Salva come PNG Salva come JPEG
Nome #
A Game Interpretation of Retractable Contracts 325
Global Types for Open Systems 319
A theory of retractable and speculative contracts 318
Mailbox Types for Unordered Interactions 317
Non-monotonic Pre-fix Points and Learning 313
MIXIN COMPOSITION SYNTHESIS BASED ON INTERSECTION TYPES 312
The approximation theorem for the Λμ-calculus 292
INTERSECTION TYPES FOR THE lambda mu-CALCULUS 290
Connecting open systems of communicating finite state machines 290
Session types and subtyping for orchestrated interactions 279
Retractable and Speculative Contracts 263
Secure Multiparty Sessions with Topics 255
Mixin Composition Synthesis Based on Intersection Types 253
Orchestrated Session Compliance 252
Proceedings of the Workshop on Continuations 248
Typing Classes and Mixins with Intersection Types 242
Reversible client/server interactions 240
Sub-behaviour relations for session-based client/server systems 238
Compliance for reversible client/server interactions 233
Loosening the notions of compliance and sub-behaviour in client/server systems 221
A realizability interpretation for intersection and union types 202
Knowledge Spaces and the Completeness of Learning Strategies 194
Control Operators and their Semantics 186
Sessions and Session Types: an Overview 177
A Filter Model for the Lambda-Mu Calculus 171
Classical Logic and Computation 163
Characterisation of Strongly Normalising lambda-mu-Terms 156
Non-monotonic Pre-fixed Points and Learning 156
Filter Models for Conjunctive-Disjunctive Lambda-calculus 154
A Filter Model for Concurrent Lambda-calculi 151
The untyped computational λ-calculus and its intersection type discipline 149
On Progress for Structured Communications 144
A Convex Powerdomain over Lattices: its Logic and λ-Calculus 142
Intersection Types, Lambda-models and Böhm Trees. 139
Logical Semantics for the First Order Sigma-Calculus 137
Characterizing convergent terms in object calculi via intersection types 131
Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca 131
Filter Models for Parallel and Non-deterministic Lambda-Calculus 126
Interactive realizers. A new approach to program extraction from non constructive proofs 123
26th International Conference on Types for Proofs and Programs, TYPES 2020 122
International Conference TYPES 2008 121
A Calculus of Realizers for EM1-Arithmetic 121
From Semantics to Types: the Case of the Imperative lambda-Calculus 121
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers 120
Combining Type Disciplines 114
Towards Refinable Choreographies 113
Type Assignment for Mobile Objects 111
Total functionals and well-founded strategies 101
Typing Asymmetric Client-Server Interaction 100
Fully Abstract Semantics for Concurrent Lambda-calculus 96
From semantics to types: The case of the imperative λ-calculus 95
Must preorder in non-deterministic untyped lambda calculus 95
Logical equivalence for subtyping and recursive types 94
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 89
On the reduction of the type-free computational λ-calculus 89
Intersection Types for a Computational lambda-Calculus with Global State 88
Toward the interpretation of non constructive reasoning as non-monotonic learning 87
Must and May Convergency in Concurrent Lambda-calculus 86
Teoria della Dimostrazione e lambda-Calcolo 86
Two Notions of Sub-behaviour for Session-based Client/ServerSystems 85
Knowledge Spaces and the Completeness of Learning Strategies 84
Intersection types for a λ-calculus with global store 82
Un-projectable Global Types for Multiparty Sessions 81
Nondeterministic Extensions of Untyped λ-Calculus 81
YACC: Yet Another Church Calculus 79
Intersection Types for the Computational lambda-Calculus 79
Subtyping in logical form 77
Subtyping object and recursive types logically 76
Open Compliance in Multiparty Sessions 74
Partial Typing for Asynchronous Multiparty Sessions 72
Retracts in simply typed λ-βη calculus 70
Intersection and Union Types: Syntax and Semantics 69
Retractability, games and orchestrators for session contracts 66
Intersection Types for a Computational Lambda-Calculus with Global State 64
Preface 60
On reduction and normalization in the computational core 56
Leibniz International Proceedings in Informatics, LIPIcsVolume 1881 June 2021 26th International Conference on Types for Proofs and Programs, TYPES 2020 Turin 2 March 2020 through 5 March 2020 56
Towards refinable choreographies 53
Session types for orchestrated interactions 40
Retractable contracts 37
Orchestrated session compliance 29
A Filter Model for the State Monad (short paper) 25
Totale 11.976
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.893
article - articoli 0
book - libri 0
conference - conferenze 15.675
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 47.568
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022670 25 11 26 60 51 27 106 49 5 55 115 140
2022/2023823 93 28 27 82 77 278 77 42 73 3 21 22
2023/2024304 28 71 19 25 10 11 21 1 2 16 47 53
2024/20251.543 15 94 74 101 456 157 17 122 135 84 100 188
2025/20263.255 157 168 232 414 345 135 347 172 217 296 225 547
2026/202785 85 0 0 0 0 0 0 0 0 0 0 0
Totale 11.976