Benvenuti nell'Anagrafe della Ricerca d'Ateneo

TORTORA DE FALCO, LORENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.492
NA - Nord America 2.307
AS - Asia 1.477
SA - Sud America 115
AF - Africa 17
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.411
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.283
CN - Cina 650
GB - Regno Unito 523
RU - Federazione Russa 461
SG - Singapore 456
DK - Danimarca 396
IT - Italia 376
SE - Svezia 254
VN - Vietnam 196
DE - Germania 143
FI - Finlandia 89
BR - Brasile 88
UA - Ucraina 87
TR - Turchia 36
NL - Olanda 35
KR - Corea 32
IE - Irlanda 30
AL - Albania 23
FR - Francia 22
PL - Polonia 21
IN - India 18
BE - Belgio 12
JP - Giappone 11
CA - Canada 10
PH - Filippine 10
PK - Pakistan 10
BD - Bangladesh 9
ES - Italia 9
HK - Hong Kong 9
ID - Indonesia 9
MX - Messico 9
EC - Ecuador 7
IQ - Iraq 7
CO - Colombia 6
AR - Argentina 5
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
JM - Giamaica 2
JO - Giordania 2
KE - Kenya 2
LK - Sri Lanka 2
LT - Lituania 2
SA - Arabia Saudita 2
TW - Taiwan 2
VE - Venezuela 2
AU - Australia 1
CI - Costa d'Avorio 1
DO - Repubblica Dominicana 1
EE - Estonia 1
EU - Europa 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
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
TH - Thailandia 1
TN - Tunisia 1
TO - Tonga 1
UY - Uruguay 1
Totale 6.411
Salva come PNG Salva come JPEG
Città #
Southend 476
Singapore 238
Woodbridge 221
Chandler 186
Fairfield 174
Houston 169
Ann Arbor 166
Ashburn 146
Wilmington 145
Rome 140
San Jose 128
Nanjing 92
Beijing 85
Dearborn 79
Boardman 72
Jacksonville 71
Seattle 71
Dallas 63
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
Changsha 24
Los Angeles 23
Redwood City 23
Latina 22
Shanghai 22
Jiaxing 18
São Paulo 18
Guangzhou 17
Moscow 17
Cori 16
Council Bluffs 16
Rocca Di Papa 16
New York 15
Tianjin 15
Kraków 14
London 14
Brussels 12
Cagliari 12
Milan 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
Stockholm 7
Taiyuan 7
Warsaw 7
Atlanta 6
Florence 6
Haiphong 6
Montreal 6
Orange 6
Amsterdam 5
Baghdad 5
Campobasso 5
Columbus 5
Denver 5
Jakarta 5
Mexico City 5
Paris 5
Phoenix 5
San Francisco 5
Taizhou 5
Torino 5
Verona 5
Astrakhan 4
Bishkek 4
Buffalo 4
Catanzaro 4
Cerveteri 4
Frankfurt am Main 4
Hong Kong 4
Manchester 4
Mumbai 4
Napoli 4
Piglio 4
Venezia 4
Totale 3.982
Salva come PNG Salva come JPEG
Nome #
Logica Volume 1- Dimostrazioni e modelli al primo ordine 397
A semantic account of strong normalization in Linear Logic 323
An Abstract Approach to Stratification in Linear Logic 278
Generalized Standardization lemma for the additives 274
Additives of Linear Logic and Normalization Part I: a (restricted) Church-Rosser property 272
Obsessional cliques: a semantic characterization of bounded time complexity 259
A semantic measure of the execution time in Linear Logic 256
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) 250
Obsessional experiments for Linear Logic Proof-nets 250
Coherent obsessional experiments for linear logic proof-nets 246
Polarized and focalized linear and classical proofs 245
Computing connected proof(-structure)s from their Taylor expansion 242
Denotational semantics for polarized (but non-constrained) LK by means of the additives 238
Strong Normalization for all-style LK-tq 233
Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory 230
Slicing polarized additive normalization 223
Logica 222
Strong normalization property for second order linear logic 203
Sulla struttura logica del calcolo 193
The additive multiboxes 192
Proof-Net as Graph, Taylor Expansion as Pullback 191
Polarisation des preuves classiques et renversement 186
SN and CR for fre-style LKtq: decorations and simulation of normalization 178
A semantic account of Strong Normalization in Linear Logic, arXiv:1304.6762v2 151
Preface 142
MELL proof-nets in the category of graphs 130
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion 129
Glueability of resource proof-structures: Inverting the Taylor expansion 125
Linear Realisability Over Nets and Second Order Quantification 100
Confluence for Proof Nets via Parallel Cut Elimination 90
Linear Realisability over nets: multiplicatives 53
Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic 34
Totale 6.535
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.617
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 18.617
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021155 0 0 0 0 0 0 0 0 0 54 30 71
2021/2022330 53 9 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.409 87 195 100 127 199 125 224 29 157 166 0 0
Totale 6.535