Benvenuti nell'Anagrafe della Ricerca d'Ateneo

TORTORA DE FALCO, LORENZO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.501
NA - Nord America 2.361
AS - Asia 1.489
SA - Sud America 115
AF - Africa 17
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.486
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.336
CN - Cina 650
GB - Regno Unito 523
RU - Federazione Russa 461
SG - Singapore 458
DK - Danimarca 396
IT - Italia 384
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
BD - Bangladesh 17
BE - Belgio 12
CA - Canada 11
JP - Giappone 11
HK - Hong Kong 10
PH - Filippine 10
PK - Pakistan 10
ES - Italia 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
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
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.486
Salva come PNG Salva come JPEG
Città #
Southend 476
Singapore 240
Woodbridge 221
Chandler 186
Fairfield 174
Houston 169
Ann Arbor 166
San Jose 149
Ashburn 146
Wilmington 145
Rome 141
Nanjing 92
Beijing 85
Dearborn 79
Boardman 72
Jacksonville 71
Seattle 71
Dallas 66
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 24
Redwood City 23
Latina 22
Shanghai 22
New York 19
Jiaxing 18
São Paulo 18
Guangzhou 17
Moscow 17
Cori 16
Council Bluffs 16
Rocca Di Papa 16
Tianjin 15
Kraków 14
London 14
Milan 13
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
Stockholm 7
Taiyuan 7
Warsaw 7
Atlanta 6
Buffalo 6
Florence 6
Haiphong 6
Montreal 6
Orange 6
Verona 6
Amsterdam 5
Baghdad 5
Campobasso 5
Columbus 5
Denver 5
Hong Kong 5
Jakarta 5
Mexico City 5
Paris 5
Phoenix 5
San Francisco 5
Taizhou 5
Torino 5
Astrakhan 4
Bishkek 4
Catanzaro 4
Cerveteri 4
Frankfurt am Main 4
Manchester 4
Mumbai 4
Napoli 4
Piglio 4
Venezia 4
Totale 4.019
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 325
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
Obsessional cliques: a semantic characterization of bounded time complexity 267
A semantic measure of the execution time in Linear Logic 258
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings) 253
Obsessional experiments for Linear Logic Proof-nets 252
Coherent obsessional experiments for linear logic proof-nets 248
Polarized and focalized linear and classical proofs 248
Computing connected proof(-structure)s from their Taylor expansion 244
Preface Special Issue: Differential Linear Logic, Nets and Other Quantitative and Parallel Approaches to Proof-Theory 240
Denotational semantics for polarized (but non-constrained) LK by means of the additives 238
Strong Normalization for all-style LK-tq 235
Slicing polarized additive normalization 224
Logica 223
Strong normalization property for second order linear logic 206
Sulla struttura logica del calcolo 195
The additive multiboxes 193
Proof-Net as Graph, Taylor Expansion as Pullback 192
Polarisation des preuves classiques et renversement 188
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 152
Preface 143
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion 134
MELL proof-nets in the category of graphs 132
Glueability of resource proof-structures: Inverting the Taylor expansion 126
Linear Realisability Over Nets and Second Order Quantification 101
Confluence for Proof Nets via Parallel Cut Elimination 91
Linear Realisability over nets: multiplicatives 55
Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic 40
Totale 6.610
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.165
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 19.165
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202171 0 0 0 0 0 0 0 0 0 0 0 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.484 87 195 100 127 199 125 224 29 157 166 65 10
Totale 6.610