CINECA IRIS Institutional Research Information System

DE' LIGUORO, Ugo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.651
EU - Europa 2.411
AS - Asia 729
AF - Africa 2
SA - Sud America 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.796
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.630
DK - Danimarca 724
CN - Cina 472
IT - Italia 316
SE - Svezia 312
IE - Irlanda 235
DE - Germania 172
UA - Ucraina 163
FR - Francia 123
FI - Finlandia 116
GB - Regno Unito 98
KR - Corea 84
SG - Singapore 71
PL - Polonia 68
VN - Vietnam 55
RU - Federazione Russa 26
JP - Giappone 24
CA - Canada 17
NL - Olanda 16
IN - India 13
BE - Belgio 10
GR - Grecia 9
HK - Hong Kong 7
ES - Italia 6
CH - Svizzera 5
MX - Messico 4
CZ - Repubblica Ceca 2
PT - Portogallo 2
RO - Romania 2
A1 - Anonimo 1
AL - Albania 1
AR - Argentina 1
BG - Bulgaria 1
BR - Brasile 1
CI - Costa d'Avorio 1
EE - Estonia 1
GE - Georgia 1
IR - Iran 1
MD - Moldavia 1
MU - Mauritius 1
MY - Malesia 1
NO - Norvegia 1
RS - Serbia 1
Totale 6.796
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.266
Wilmington 289
Dublin 235
Fairfield 225
Chandler 216
Beijing 211
Guangzhou 183
Houston 165
Jacksonville 106
Ashburn 105
Dearborn 105
Woodbridge 97
Nyköping 91
Princeton 81
Seattle 79
Villeurbanne 75
Cambridge 73
Medford 70
Warsaw 68
Pisa 67
Torino 56
Dong Ket 44
San Mateo 37
Singapore 35
Norwalk 34
Fremont 27
Boardman 20
Milan 20
Turin 20
Wayne 20
Boston 19
Naples 18
Ludwigshafen 15
San Diego 15
Padova 13
Phoenix 13
Helsinki 11
Brussels 10
Verona 10
Hebei 9
Nanjing 9
Falls Church 8
Kunming 8
Mountain View 8
Nuremberg 8
Toronto 8
New York 7
Redwood City 7
Lachine 6
Hefei 5
Nanchang 5
Coimbatore 4
Dortmund 4
Hangzhou 4
Hong Kong 4
Jinan 4
Kharkiv 4
London 4
Pianezza 4
Wuhan 4
Acworth 3
Catania 3
Copenhagen 3
Düsseldorf 3
Fuzhou 3
Lappeenranta 3
Las Vegas 3
Mexico City 3
Moscow 3
Saint Paul 3
Scordia 3
Shanghai 3
Basking Ridge 2
Caraglio 2
Central District 2
Changsha 2
Chennai 2
Civitavecchia 2
Grafing 2
Horia 2
Karlsruhe 2
Kolkata 2
Landshut 2
Manchester 2
Minatomirai 2
Ningbo 2
Rivarolo Canavese 2
Rockville 2
Saint Petersburg 2
Shenyang 2
Torcy 2
Trento 2
University Park 2
Abidjan 1
Aioicho 1
Alzano Lombardo 1
Aosta 1
Bagsvaerd 1
Belgrade 1
Bellinzona 1
Totale 4.453
Salva come PNG Salva come JPEG
Nome #
Global Types for Open Systems 270
Non-monotonic Pre-fix Points and Learning 255
The approximation theorem for the Λμ-calculus 255
A theory of retractable and speculative contracts 242
MIXIN COMPOSITION SYNTHESIS BASED ON INTERSECTION TYPES 240
A Game Interpretation of Retractable Contracts 240
Mailbox Types for Unordered Interactions 237
INTERSECTION TYPES FOR THE lambda mu-CALCULUS 231
Session types and subtyping for orchestrated interactions 227
Retractable and Speculative Contracts 221
Connecting open systems of communicating finite state machines 215
Secure Multiparty Sessions with Topics 206
Orchestrated Session Compliance 195
Proceedings of the Workshop on Continuations 193
Typing Classes and Mixins with Intersection Types 176
Reversible client/server interactions 175
Mixin Composition Synthesis Based on Intersection Types 169
Compliance for reversible client/server interactions 153
Loosening the notions of compliance and sub-behaviour in client/server systems 152
Sub-behaviour relations for session-based client/server systems 147
Knowledge Spaces and the Completeness of Learning Strategies 142
A realizability interpretation for intersection and union types 129
Non-monotonic Pre-fixed Points and Learning 104
Control Operators and their Semantics 98
Sessions and Session Types: an Overview 95
Interactive realizers. A new approach to program extraction from non constructive proofs 90
Characterisation of Strongly Normalising lambda-mu-Terms 90
On Progress for Structured Communications 85
A Filter Model for the Lambda-Mu Calculus 83
Intersection Types, Lambda-models and Böhm Trees. 82
Logical Semantics for the First Order Sigma-Calculus 81
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers 77
Towards Refinable Choreographies 73
Type Assignment for Mobile Objects 68
The untyped computational λ-calculus and its intersection type discipline 67
A Filter Model for Concurrent Lambda-calculi 65
Logical equivalence for subtyping and recursive types 62
Classical Logic and Computation 61
Toward the interpretation of non constructive reasoning as non-monotonic learning 59
International Conference TYPES 2008 57
A Convex Powerdomain over Lattices: its Logic and λ-Calculus 57
Filter Models for Conjunctive-Disjunctive Lambda-calculus 56
Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca 56
Teoria della Dimostrazione e lambda-Calcolo 54
Characterizing convergent terms in object calculi via intersection types 52
Fully Abstract Semantics for Concurrent Lambda-calculus 51
Total functionals and well-founded strategies 50
Must preorder in non-deterministic untyped lambda calculus 50
Combining Type Disciplines 50
Typing Asymmetric Client-Server Interaction 49
A Calculus of Realizers for EM1-Arithmetic 47
Nondeterministic Extensions of Untyped λ-Calculus 47
Subtyping in logical form 47
26th International Conference on Types for Proofs and Programs, TYPES 2020 47
Subtyping object and recursive types logically 46
Filter Models for Parallel and Non-deterministic Lambda-Calculus 46
Knowledge Spaces and the Completeness of Learning Strategies 46
From Semantics to Types: the Case of the Imperative lambda-Calculus 44
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later 37
Two Notions of Sub-behaviour for Session-based Client/ServerSystems 36
Must and May Convergency in Concurrent Lambda-calculus 34
Retracts in simply typed λ-βη calculus 33
Retractability, games and orchestrators for session contracts 33
Intersection and Union Types: Syntax and Semantics 32
Intersection types for a λ-calculus with global store 24
On the reduction of the type-free computational λ-calculus 23
Intersection Types for the Computational lambda-Calculus 23
Intersection Types for a Computational lambda-Calculus with Global State 20
Open Compliance in Multiparty Sessions 19
Towards refinable choreographies 15
YACC: Yet Another Church Calculus 7
From semantics to types: The case of the imperative λ-calculus 5
On reduction and normalization in the computational core 4
Totale 7.107
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.914
article - articoli 0
book - libri 0
conference - conferenze 7.800
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 23.714
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.887 51 89 209 265 163 222 172 103 201 122 166 124
2020/20211.991 175 86 100 120 229 211 205 180 217 223 147 98
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/202514 14 0 0 0 0 0 0 0 0 0 0 0
Totale 7.107