RONCHI DELLA ROCCA, Simonetta
 Distribuzione geografica
Continente #
NA - Nord America 3.278
EU - Europa 2.418
AS - Asia 734
SA - Sud America 4
AF - Africa 2
OC - Oceania 1
Totale 6.437
Nazione #
US - Stati Uniti d'America 3.244
CN - Cina 492
SE - Svezia 370
DK - Danimarca 330
IT - Italia 327
IE - Irlanda 277
UA - Ucraina 272
FR - Francia 192
FI - Finlandia 191
DE - Germania 185
KR - Corea 153
GB - Regno Unito 118
PL - Polonia 107
VN - Vietnam 50
CA - Canada 34
NL - Olanda 15
BE - Belgio 10
RU - Federazione Russa 10
SG - Singapore 10
IN - India 9
GR - Grecia 6
HK - Hong Kong 6
IR - Iran 6
JP - Giappone 4
PT - Portogallo 4
BR - Brasile 2
ES - Italia 2
MN - Mongolia 2
AE - Emirati Arabi Uniti 1
CH - Svizzera 1
CO - Colombia 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GE - Georgia 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
VE - Venezuela 1
Totale 6.437
Città #
Ann Arbor 1.107
Beijing 347
Dublin 277
Chandler 252
Jacksonville 216
Wilmington 138
Medford 123
Princeton 113
Villeurbanne 104
Warsaw 100
Dearborn 94
Houston 94
Torino 87
Guangzhou 84
Fairfield 83
Ashburn 62
Milan 51
Woodbridge 50
Nyköping 38
Boardman 36
Dong Ket 34
Pisa 32
Boston 29
Norwalk 28
Seattle 25
Cambridge 22
Toronto 22
New York 19
San Mateo 19
Verona 18
Fremont 16
Falls Church 13
Lachine 11
Redwood City 11
Des Moines 10
Nanjing 10
Naples 10
Philadelphia 10
Rome 10
Wayne 10
Brussels 9
Hefei 9
Helsinki 8
Padova 8
Bologna 7
Athens 6
Hong Kong 6
Kunming 6
Paris 5
Phoenix 5
Trieste 5
Auburn Hills 4
Bloomington 4
Düsseldorf 4
Los Angeles 4
Monmouth Junction 4
San Diego 4
Shenyang 4
Turin 4
Bottanuco 3
Cittadella 3
Groningen 3
Hangzhou 3
Lappeenranta 3
Lecce 3
Nanchang 3
Napoli 3
Nichelino 3
Nuremberg 3
Pune 3
Barcelos 2
Brindisi 2
Castellana Grotte 2
Chislehurst 2
Coimbatore 2
Fuzhou 2
Grafing 2
Kish 2
Landshut 2
Ludwigshafen 2
Mountain View 2
Pistoia 2
Redmond 2
San Mauro Torinese 2
Shaoxing 2
Siena 2
West Jordan 2
Wroclaw 2
Wuhan 2
Albrighton 1
Alzano Lombardo 1
Amsterdam 1
Athis-mons 1
Aubais 1
Auckland 1
Berlin 1
Bordj Menaïel 1
Brno 1
Brusson 1
Castagnole delle Lanze 1
Totale 4.003
Nome #
Essential and relational models 328
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus 257
Inhabitation for non-idempotent intersection types 211
The call by value Lambda-calculus: a semantic investigation 169
Bounding normalization time through intersection types 158
Development on Implicit Computational Complexity (DICE 2013) 156
The Inhabitation Problem for Non-Idempotent Intersection Types 153
New Semantical Insights Into Call-by-Value λ-Calculus. 153
Standardization of a Call-By-Value Lambda-Calculus 149
Lambda Calculus and Probabilistic Computation. 148
Categorical semantics of the call-by-value lambda calculus 142
A type assignment for lambda-calculus complete both for FPTIME and strong normalization 140
Lambda Calculus and Intuitionistic Linear Logic 135
Intersection Logic 132
Observability for Pair Pattern Calculi 128
Intersection Logic 125
Intersection types from a proof theoretic perspective 121
Operational, denotational and logical descriptions: a case study 108
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus 108
Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 107
Theoretical Computer Science7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings(LNCS) 101
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus 101
Call-by-Value Solvability 100
Lazy Logical Semantics 93
null 92
Strong Normalization from an unusual point of view 84
A fully abstract model for the lazy lambda-calculus 78
Elementary Affine Logic and the Call by Value Lambda Calculus 74
A Soft Type Assignment System for Lambda-Calculus 74
Towards an Intersection Typed System a la Church 73
Computer Science Logic 2013 (CSL 2013) 72
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline 71
Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. 70
A logical account of PSPACE 69
The Parametric Lambda-Calculus: a Metamodel for Computation 67
Type Inference for a polynomial Lambda-Calculus 67
A collection of contributions in honour of C. Bohm 65
An Implicit Characterization of PSPACE 63
An approximation theorem for topological lambda models and the topological incompleteness of the lambda calculus 62
The Lazy Call-by-value lambda-calculus 55
Teoria della Dimostrazione e lambda-Calcolo 54
Characterization of typings in polymorphic type discipline 53
Alpha-conversion and Typability 53
Study of the reaction he-4(gamma, he-3)n up to 60 mev gamma-ray energy 53
Intersection and reference types 51
Parametric parameter passing lambda-calculus 51
Soft linear Logic and Polynomial Complexity Classes 51
Logical Semantics for Stability 50
Comparing Cubes 50
ICALP 50
Type Inference in Polymorphic Type Discipline 50
A Discrimination Algorithm inside Lambda-calculus 50
Structures for lazy semantics 49
An Operational Characterization of Strong Normalization 49
Lazy strong normalization 48
Comparing Cubes of Typed and Type Assignment systems 47
A Unification Semi-Algorithm for Intersection TypeSchemes 47
Operational Semantics and Extensionality 46
Ada Augusta Byron 46
Semantics of the CNET Internode Communication Mechanism 46
Semantica della macchina X-CODE 46
EPTCS 81 Special issue "Proceedings of the 6th workshop on Logical and Semantic Framework with Applications". 46
From Light Logics to Type Assignements: a case study 44
Characterization Theorems for a filter lambda-model 44
(Semi-)separability of Finite Sets of Terms in Scott's D-infinity-models of the Lambda-calculus 43
Discriminability of infinite sets of terms in the D-infinity-models of the lambda-calculus 42
Listing the Functional Digraph Structures 41
Type Inference: Some Results, Some Problems 41
Standardization in resource lambda-calculus 41
TOCL special issue on Implicit Computational Complexity 40
Structured Operational Semantics of a fragment of the language SCHEME 40
Type Inference and Extensionality 40
Intersection Typed Lambda-Calculus 38
Light Logics and the Call-by-Value Lambda Calculus 38
Paradossi, ambiguita' e scienza in 1984 37
Linear Logic and Theoretical Computer Science in Italy (optimal reduction and implicit computational complexity) 37
Principal Typing in Elementary Affine Logic 37
Principal Type scheme and unification for intersection type discipline 33
Intersection, Universally Quantified and Reference Types 32
Intersection Types a la Church 31
Principal Typing for Lambda Calculus in Elementary Affine Logic 30
LOGIC (in honour of Jean Yves Girard) - Siena 17-19 marzo 2006 29
Principal Type Scheme for an extended type theory 29
Linearity, Non-determinism and Solvability 27
Special Issue of MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE on "Intersection Types". 26
Intersection Logic in sequent calculuys style. 26
Complexity of Lambda-terms Reductions 26
Principal Typing for lambda-Calculus in Elementary Affine Logic 26
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2007" 25
Solvability in a probabilistic setting 24
ICALP 23
International Conference on Typed Lambda Calculus and ApplicationParigi (Francia), 25-27 giugno 2007 20
Solvability in Resource Lambda Calculus 5
A Quantitative Version of Simple Types 4
Totale 6.764
Categoria #
all - tutte 15.788
article - articoli 0
book - libri 0
conference - conferenze 5.791
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 21.579


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019163 0 0 0 0 0 0 0 0 0 0 124 39
2019/20201.191 37 71 130 123 81 132 106 54 154 98 109 96
2020/20211.799 117 57 80 80 194 181 202 155 257 206 182 88
2021/2022753 9 20 22 67 44 12 89 44 18 39 179 210
2022/2023935 127 18 17 64 114 292 108 48 94 3 35 15
2023/2024245 37 70 12 23 16 29 16 1 6 13 22 0
Totale 6.764