Benvenuti nell'Anagrafe della Ricerca d'Ateneo

TORTORA DE FALCO, LORENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.747
EU - Europa 2.560
AS - Asia 1.514
SA - Sud America 134
Continente sconosciuto - Info sul continente non disponibili 127
AF - Africa 17
OC - Oceania 3
Totale 7.102
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.684
CN - Cina 652
GB - Regno Unito 527
RU - Federazione Russa 463
SG - Singapore 463
IT - Italia 424
DK - Danimarca 396
SE - Svezia 254
VN - Vietnam 196
DE - Germania 143
BR - Brasile 97
FI - Finlandia 89
UA - Ucraina 87
TR - Turchia 37
NL - Olanda 35
CA - Canada 33
KR - Corea 32
IE - Irlanda 30
BD - Bangladesh 29
AL - Albania 23
FR - Francia 23
PL - Polonia 21
IN - India 18
EC - Ecuador 13
BE - Belgio 12
ES - Italia 11
HK - Hong Kong 11
JP - Giappone 11
PH - Filippine 10
PK - Pakistan 10
ID - Indonesia 9
MX - Messico 9
CO - Colombia 8
IQ - Iraq 7
CH - Svizzera 6
LT - Lituania 6
AR - Argentina 5
JM - Giamaica 5
MY - Malesia 5
HN - Honduras 4
KG - Kirghizistan 4
MA - Marocco 4
NI - Nicaragua 4
ZA - Sudafrica 4
UZ - Uzbekistan 3
VE - Venezuela 3
AT - Austria 2
AU - Australia 2
AZ - Azerbaigian 2
BO - Bolivia 2
CL - Cile 2
CW - ???statistics.table.value.countryCode.CW??? 2
DZ - Algeria 2
EE - Estonia 2
EG - Egitto 2
JO - Giordania 2
KE - Kenya 2
LK - Sri Lanka 2
PT - Portogallo 2
SA - Arabia Saudita 2
SV - El Salvador 2
TT - Trinidad e Tobago 2
TW - Taiwan 2
AE - Emirati Arabi Uniti 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
EU - Europa 1
GP - Guadalupe 1
GR - Grecia 1
GT - Guatemala 1
GY - Guiana 1
KW - Kuwait 1
KZ - Kazakistan 1
LI - Liechtenstein 1
MD - Moldavia 1
NG - Nigeria 1
NP - Nepal 1
OM - Oman 1
PE - Perù 1
PY - Paraguay 1
QA - Qatar 1
RO - Romania 1
TH - Thailandia 1
TN - Tunisia 1
TO - Tonga 1
UY - Uruguay 1
Totale 6.978
Salva come PNG Salva come JPEG
Città #
Southend 476
Ashburn 259
Singapore 241
Woodbridge 221
Chandler 186
Fairfield 174
San Jose 173
Houston 169
Ann Arbor 166
Rome 148
Wilmington 145
Nanjing 92
Beijing 87
Dallas 79
Dearborn 79
Seattle 76
Boardman 72
Jacksonville 72
Cambridge 59
Hefei 54
Helsinki 54
Shenyang 53
Princeton 52
Ho Chi Minh City 49
Dong Ket 43
Jinan 39
Council Bluffs 36
Hanoi 33
Grafing 32
Nanchang 32
Los Angeles 31
Seoul 30
Dublin 28
New York 28
Hebei 27
Izmir 26
Plano 26
Changsha 24
Redwood City 23
Latina 22
Shanghai 22
São Paulo 22
Milan 20
Jiaxing 18
Guangzhou 17
Moscow 17
Cori 16
Rocca Di Papa 16
Tianjin 15
Kraków 14
London 14
Brussels 12
Cagliari 12
Chicago 12
Yubileyny 12
Altamura 11
Falkenstein 11
Hangzhou 11
Montreal 11
Turku 11
Da Nang 10
Haikou 10
Kunming 9
Orem 9
The Dalles 9
Tokyo 9
Phoenix 8
San Diego 8
Zhengzhou 8
Atlanta 7
Santa Clara 7
Stockholm 7
Taiyuan 7
Warsaw 7
Abbeville 6
Buffalo 6
Denver 6
Florence 6
Haiphong 6
Hong Kong 6
Orange 6
Quito 6
Verona 6
Amsterdam 5
Baghdad 5
Brooklyn 5
Campobasso 5
Columbus 5
Jakarta 5
Mexico City 5
Naples 5
Paris 5
San Francisco 5
Taizhou 5
Torino 5
Astrakhan 4
Bishkek 4
Catanzaro 4
Cerveteri 4
Frankfurt am Main 4
Totale 4.259
Salva come PNG Salva come JPEG
Nome #
Logica Volume 1- Dimostrazioni e modelli al primo ordine 431
A semantic account of strong normalization in Linear Logic 351
Obsessional cliques: a semantic characterization of bounded time complexity 305
Generalized Standardization lemma for the additives 290
An Abstract Approach to Stratification in Linear Logic 289
Additives of Linear Logic and Normalization Part I: a (restricted) Church-Rosser property 283
A semantic measure of the execution time in Linear Logic 271
Coherent obsessional experiments for linear logic proof-nets 270
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) 268
Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory 266
Obsessional experiments for Linear Logic Proof-nets 262
Polarized and focalized linear and classical proofs 260
Denotational semantics for polarized (but non-constrained) LK by means of the additives 254
Computing connected proof(-structure)s from their Taylor expansion 254
Strong Normalization for all-style LK-tq 244
Logica 236
Slicing polarized additive normalization 234
Strong normalization property for second order linear logic 226
Polarisation des preuves classiques et renversement 213
Sulla struttura logica del calcolo 205
Proof-Net as Graph, Taylor Expansion as Pullback 205
The additive multiboxes 202
SN and CR for fre-style LKtq: decorations and simulation of normalization 189
A semantic account of Strong Normalization in Linear Logic, arXiv:1304.6762v2 176
Preface 151
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion 147
MELL proof-nets in the category of graphs 146
Glueability of resource proof-structures: Inverting the Taylor expansion 139
Linear Realisability Over Nets and Second Order Quantification 110
Confluence for Proof Nets via Parallel Cut Elimination 99
Linear Realisability over nets: multiplicatives 70
Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic 56
Totale 7.102
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.967
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 20.967
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022264 0 0 0 12 55 13 34 15 22 16 63 34
2022/2023509 50 106 23 54 54 101 2 47 46 5 14 7
2023/2024160 12 18 5 16 43 10 7 2 3 5 3 36
2024/2025915 14 36 103 6 12 47 325 182 41 19 62 68
2025/20261.504 87 195 100 127 199 125 224 29 157 166 65 30
2026/2027472 31 40 159 242 0 0 0 0 0 0 0 0
Totale 7.102