DAL LAGO, UGO
 Distribuzione geografica
Continente #
NA - Nord America 3951
EU - Europa 2607
AS - Asia 849
AF - Africa 112
OC - Oceania 16
SA - Sud America 6
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7543
Nazione #
US - Stati Uniti d'America 3942
GB - Regno Unito 1098
CN - Cina 407
IT - Italia 383
DE - Germania 245
SE - Svezia 222
IN - India 220
UA - Ucraina 201
VN - Vietnam 195
FR - Francia 150
RU - Federazione Russa 122
ZA - Sudafrica 76
EE - Estonia 73
BG - Bulgaria 35
TG - Togo 23
HR - Croazia 20
AU - Australia 16
GR - Grecia 12
SC - Seychelles 11
AT - Austria 10
CA - Canada 9
JP - Giappone 8
NL - Olanda 7
BE - Belgio 6
PL - Polonia 6
HK - Hong Kong 4
BR - Brasile 3
ES - Italia 3
KR - Corea 3
LB - Libano 3
CH - Svizzera 2
CL - Cile 2
CZ - Repubblica Ceca 2
EU - Europa 2
FI - Finlandia 2
IR - Iran 2
LU - Lussemburgo 2
SN - Senegal 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
DK - Danimarca 1
EC - Ecuador 1
IL - Israele 1
LT - Lituania 1
MT - Malta 1
NO - Norvegia 1
RO - Romania 1
SA - Arabia Saudita 1
SG - Singapore 1
SI - Slovenia 1
TH - Thailandia 1
TR - Turchia 1
Totale 7543
Città #
Southend 1032
Fairfield 749
Woodbridge 382
Wilmington 318
Seattle 310
Ashburn 308
Houston 296
Cambridge 288
Princeton 229
Ann Arbor 206
Dong Ket 127
Jacksonville 109
Bologna 95
Westminster 95
Nanjing 93
Berlin 85
Medford 80
Padova 80
San Diego 52
Saint Petersburg 50
Chandler 43
Jinan 38
Redwood City 36
Hebei 35
Shenyang 35
Sofia 35
Des Moines 32
Nanchang 27
Lomé 23
Dearborn 19
Tianjin 19
Beijing 18
Changsha 17
Jiaxing 16
Guangzhou 15
Hangzhou 12
Norwalk 12
Redmond 12
Mahé 11
Portici 11
Haikou 10
Verona 10
Zhengzhou 10
Falls Church 9
Ningbo 8
Milan 7
Vignola 7
Kunming 6
Taizhou 6
Brussels 5
Fuzhou 5
Hefei 5
Lanzhou 5
San Venanzo 5
Taiyuan 5
Tokyo 5
Casina 4
Lustenau 4
Modena 4
Newmarket 4
Amsterdam 3
Fremont 3
Küps 3
Marseille 3
Pignone 3
São Paulo 3
Vicenza 3
Anguillara Sabazia 2
Catania 2
Changchun 2
Chengdu 2
Helsinki 2
Hesperange 2
Lissone 2
Muizenberg 2
Ozzano dell'Emilia 2
Plauen 2
Rome 2
Scuola 2
Sheung Wan 2
Toronto 2
Trieste 2
Ulan-ude 2
Vienna 2
Aachen 1
Alblasserdam 1
Anzio 1
Athens 1
Bangkok 1
Beaumont-hague 1
Bondeno 1
Brooklyn 1
Bruchköbel 1
Bryanston 1
Buffalo 1
Castelliri 1
Cesena 1
Chaoyang 1
Chongqing 1
Cinisello Balsamo 1
Totale 5645
Nome #
Beta reduction is invariant, indeed 117
A Short Introduction to Implicit Computational Complexity 113
An invariant cost model for the lambda calculus 112
A Higher-Order Characterization of Probabilistic Polynomial Time 112
Phase Semantics and Decidability of Elementary Affine Logic 110
The weak lambda-calculus as a reasonable machine 108
A Semantic Proof of Polytime Soundness of Light Affine Logic 105
Light logics and higher-order processes 99
Infinitary Lambda Calculi from a Linear Perspective 98
Computation by interaction for space-bounded functional programming 96
On Applicative Similarity, Sequentiality, and Full Abstraction 96
The geometry of parallelism: Classical, probabilistic, and quantum effects 93
Higher order linear ramified recurrence 91
A Semantic Proof of Polytime Soundness of Light Affine Logic 90
(Leftmost-outermost) beta reduction is invariant, indeed 90
Context Semantics, Linear Logic and Computational Complexity 89
Bounded Linear Logic, Revisited 89
Effectful Normal Form Bisimulation 89
On coinductive equivalences for higher-order probabilistic functional programs 88
Automating sized-type inference for complexity analysis 88
Applicative bisimulation and quantum λ-calculi 87
Complexity Analysis in Presence of Control Operators and Higher-Order Functions 85
Analysing the complexity of functional programs: Higher-order meets first-order 84
Effectful applicative bisimilarity: Monads, relators, and Howe's method 84
The geometry of linear higher-order recursion 83
Derivational Complexity is an Invariant Cost Model 82
Light Logics and the Call-by-value Lambda Calculus 81
null 81
General Ramified Recurrence is Sound for Polynomial Time 80
Bounded Linear Logic, Revisited 80
Metric reasoning about Lambda-Terms: The general case 80
Elementary affine logic and call-by-value lambda-calculus 79
Context semantics, linear logic and computational complexity 79
Effectful applicative similarity for call-by-name lambda calculi 79
Automating sized-Type inference and complexity analysis 79
On Measure Quantifiers in First-Order Arithmetic 79
Quantitative Game Semantics for Linear Logic 78
Proofs as efficient programs 78
Probabilistic Recursion Theory and Implicit Computational Complexity 78
On light logics, uniform encodings and polynomial time 78
On higher-order probabilistic subrecursion 78
Linear dependent types in a call-by-value scenario 78
Compact and Tractable Automaton-based Representations for Time Granularities 78
Probabilistic termination by monadic affine sized typing 77
Confluence Results for a Quantum Lambda Calculus with Measurements 77
On Intersection Types and Probabilistic Lambda Calculi 77
Linear Dependent Types and Relative Completeness 76
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens 76
Differential logical relations, Part I: The simply-typed case 75
Decomposing Probabilistic Lambda-Calculi 75
Quantitative models and implicit complexity 74
On Constructor Rewrite Systems and the Lambda-Calculus 74
Parallelism and synchronization in an infinitary context 74
The geometry of linear higher-order recursion 73
On session types and polynomial time 72
Probabilistic Operational Semantics for the Lambda Calculus 72
On the Equivalence of Automaton-based Representations of Time Granularities 71
The Space of Interaction 71
Higher-order interpretations and program complexity 70
A lambda-calculus foundation for universal probabilistic programming 70
On a measurement-free quantum lambda calculus with classical control 70
Light Logics and Optimal Reduction: Completeness and Complexity. 69
On equivalences, metrics, and polynomial time 68
Functional Programming in Sublinear Space 67
Type Inference for Sublinear Space Functional Programming 67
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi 67
The geometry of synchronization 67
Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs 67
On sharing, memoization, and polynomial time 67
Light Logics and Higher-Order Processes 67
On probabilistic term rewriting 67
Taming Modal Impredicativity: Superlazy Reduction 65
On Quasi-Interpretations, Blind Abstractions and Implicit Complexity 65
Measurements in proof nets as higher-order quantum circuits 65
A higher-order characterization of probabilistic polynomial time 65
On Multiplicative Linear Logic, Modality and Quantum Circuits 64
Quantum Implicit Computational Complexity 64
Realizability Models and Implicit Complexity 64
Linear Dependent Types in a Call-by-Value Scenario 63
null 63
Linear Dependent Types and Relative Completeness 62
On sharing, memoization, and polynomial time 61
The machinery of interaction 61
Light Logics and Optimal Reduction: Completeness and Complexity 56
Resource transition systems and full abstraction for linear higher-order effectful programs 52
Metric reasoning about λ-terms: The affine case 51
On higher-order cryptography 51
Type-based complexity analysis of probabilistic functional programs 51
On the termination problem for probabilistic higher-order recursive programs 50
The Geometry of Bayesian Programming 48
The Geometry of Types 47
The (In)Efficiency of interaction 47
A Recursion-Theoretic Characterization of the Probabilistic Class PP 47
Soft Session Types 46
On probabilistic term rewriting 46
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem 46
Higher-Order Interpretations and Program Complexity 45
Effectful applicative similarity for call-by-name lambda calculi 45
On randomised strategies in the λ-calculus 45
On coinduction and quantum lambda calculi 39
Totale 7392
Categoria #
all - tutte 10007
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 10007


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/2018196 0000 60 09 201754
2018/2019581 979660 877 3724 519421115
2019/20202777 3576923158 279296 378385 40818378163
2020/20211497 2841174646 2451 46103 27011988303
2021/20222230 21153113336 220147 67147 8240465349
2022/2023467 1742087510 00 00 0000
Totale 7802