Benvenuti nell'Anagrafe della Ricerca d'Ateneo

TORTORA DE FALCO, LORENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.516
NA - Nord America 2.420
AS - Asia 1.506
Continente sconosciuto - Info sul continente non disponibili 125
SA - Sud America 119
AF - Africa 17
OC - Oceania 2
Totale 6.705
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.389
CN - Cina 652
GB - Regno Unito 523
SG - Singapore 462
RU - Federazione Russa 461
DK - Danimarca 396
IT - Italia 396
SE - Svezia 254
VN - Vietnam 196
DE - Germania 143
BR - Brasile 91
FI - Finlandia 89
UA - Ucraina 87
TR - Turchia 36
NL - Olanda 35
KR - Corea 32
IE - Irlanda 30
BD - Bangladesh 27
AL - Albania 23
FR - Francia 22
PL - Polonia 21
IN - India 18
CA - Canada 14
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 7
EC - Ecuador 7
IQ - Iraq 7
AR - Argentina 5
JM - Giamaica 4
KG - Kirghizistan 4
MA - Marocco 4
ZA - Sudafrica 4
CH - Svizzera 3
MY - Malesia 3
UZ - Uzbekistan 3
AT - Austria 2
AZ - Azerbaigian 2
BO - Bolivia 2
CL - Cile 2
DZ - Algeria 2
EG - Egitto 2
JO - Giordania 2
KE - Kenya 2
LK - Sri Lanka 2
LT - Lituania 2
PT - Portogallo 2
SA - Arabia Saudita 2
TW - Taiwan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
CI - Costa d'Avorio 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EU - Europa 1
GR - Grecia 1
GT - Guatemala 1
HN - Honduras 1
KW - Kuwait 1
LI - Liechtenstein 1
NG - Nigeria 1
NI - Nicaragua 1
NP - Nepal 1
OM - Oman 1
PE - Perù 1
PY - Paraguay 1
RO - Romania 1
TH - Thailandia 1
TN - Tunisia 1
TO - Tonga 1
UY - Uruguay 1
Totale 6.581
Salva come PNG Salva come JPEG
Città #
Southend 476
Singapore 241
Woodbridge 221
Chandler 186
Fairfield 174
Ashburn 170
Houston 169
Ann Arbor 166
San Jose 152
Rome 145
Wilmington 145
Nanjing 92
Beijing 87
Dearborn 79
Boardman 72
Jacksonville 71
Seattle 71
Dallas 67
Cambridge 59
Hefei 54
Helsinki 54
Shenyang 53
Ho Chi Minh City 49
Princeton 47
Dong Ket 43
Jinan 39
Hanoi 33
Grafing 32
Nanchang 32
Seoul 30
Dublin 28
Hebei 27
Izmir 26
Plano 26
Los Angeles 25
Changsha 24
Redwood City 23
Latina 22
Shanghai 22
New York 21
Council Bluffs 18
Jiaxing 18
São Paulo 18
Guangzhou 17
Moscow 17
Cori 16
Rocca Di Papa 16
Milan 15
Tianjin 15
Kraków 14
London 14
Brussels 12
Cagliari 12
Yubileyny 12
Altamura 11
Falkenstein 11
Hangzhou 11
Turku 11
Chicago 10
Da Nang 10
Haikou 10
Kunming 9
Orem 9
The Dalles 9
Tokyo 9
San Diego 8
Zhengzhou 8
Phoenix 7
Stockholm 7
Taiyuan 7
Warsaw 7
Atlanta 6
Buffalo 6
Florence 6
Haiphong 6
Hong Kong 6
Montreal 6
Orange 6
Verona 6
Amsterdam 5
Baghdad 5
Campobasso 5
Columbus 5
Denver 5
Jakarta 5
Mexico City 5
Paris 5
San Francisco 5
Taizhou 5
Torino 5
Astrakhan 4
Bishkek 4
Brooklyn 4
Catanzaro 4
Cerveteri 4
Frankfurt am Main 4
Manchester 4
Mumbai 4
Napoli 4
Piglio 4
Totale 4.064
Salva come PNG Salva come JPEG
Nome #
Logica Volume 1- Dimostrazioni e modelli al primo ordine 402
A semantic account of strong normalization in Linear Logic 332
Obsessional cliques: a semantic characterization of bounded time complexity 286
An Abstract Approach to Stratification in Linear Logic 280
Generalized Standardization lemma for the additives 276
Additives of Linear Logic and Normalization Part I: a (restricted) Church-Rosser property 276
A semantic measure of the execution time in Linear Logic 261
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) 256
Obsessional experiments for Linear Logic Proof-nets 254
Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory 253
Coherent obsessional experiments for linear logic proof-nets 250
Polarized and focalized linear and classical proofs 248
Computing connected proof(-structure)s from their Taylor expansion 246
Denotational semantics for polarized (but non-constrained) LK by means of the additives 239
Strong Normalization for all-style LK-tq 235
Slicing polarized additive normalization 228
Logica 226
Strong normalization property for second order linear logic 208
The additive multiboxes 195
Sulla struttura logica del calcolo 195
Proof-Net as Graph, Taylor Expansion as Pullback 195
Polarisation des preuves classiques et renversement 189
SN and CR for fre-style LKtq: decorations and simulation of normalization 179
A semantic account of Strong Normalization in Linear Logic, arXiv:1304.6762v2 153
Preface 144
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion 138
MELL proof-nets in the category of graphs 135
Glueability of resource proof-structures: Inverting the Taylor expansion 128
Linear Realisability Over Nets and Second Order Quantification 103
Confluence for Proof Nets via Parallel Cut Elimination 92
Linear Realisability over nets: multiplicatives 56
Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic 47
Totale 6.705
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.057
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.057
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022268 0 0 4 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/202775 31 40 4 0 0 0 0 0 0 0 0 0
Totale 6.705