RONCHI DELLA ROCCA, Simonetta
 Distribuzione geografica
Continente #
NA - Nord America 3.300
EU - Europa 2.431
AS - Asia 913
AF - Africa 4
SA - Sud America 4
OC - Oceania 1
Totale 6.653
Nazione #
US - Stati Uniti d'America 3.265
CN - Cina 502
SE - Svezia 370
IT - Italia 335
DK - Danimarca 330
IE - Irlanda 277
UA - Ucraina 272
FR - Francia 192
FI - Finlandia 191
DE - Germania 187
SG - Singapore 169
KR - Corea 153
GB - Regno Unito 118
PL - Polonia 107
VN - Vietnam 50
CA - Canada 35
NL - Olanda 15
BE - Belgio 10
ID - Indonesia 10
RU - Federazione Russa 10
IN - India 9
PT - Portogallo 7
GR - Grecia 6
HK - Hong Kong 6
IR - Iran 6
JP - Giappone 4
BR - Brasile 2
CI - Costa d'Avorio 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.653
Città #
Ann Arbor 1.107
Beijing 347
Dublin 277
Chandler 252
Jacksonville 216
Wilmington 138
Singapore 128
Medford 123
Princeton 113
Villeurbanne 104
Warsaw 100
Dearborn 94
Houston 94
Guangzhou 92
Torino 87
Fairfield 83
Ashburn 63
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
Jakarta 10
Nanjing 10
Naples 10
Philadelphia 10
Rome 10
Turin 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
Nuremberg 4
San Diego 4
Santa Clara 4
Shenyang 4
Bottanuco 3
Cittadella 3
Groningen 3
Guimarães 3
Hangzhou 3
Lappeenranta 3
Lecce 3
Nanchang 3
Napoli 3
Nichelino 3
Pune 3
Abidjan 2
Alba 2
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
Shanghai 2
Shaoxing 2
Siena 2
West Jordan 2
Wroclaw 2
Wuhan 2
Albrighton 1
Alzano Lombardo 1
Amsterdam 1
Athis-mons 1
Totale 4.163
Nome #
Essential and relational models 331
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus 259
Inhabitation for non-idempotent intersection types 213
The call by value Lambda-calculus: a semantic investigation 177
Bounding normalization time through intersection types 161
Development on Implicit Computational Complexity (DICE 2013) 156
The Inhabitation Problem for Non-Idempotent Intersection Types 155
New Semantical Insights Into Call-by-Value λ-Calculus. 154
Lambda Calculus and Probabilistic Computation. 152
Standardization of a Call-By-Value Lambda-Calculus 152
Categorical semantics of the call-by-value lambda calculus 149
A type assignment for lambda-calculus complete both for FPTIME and strong normalization 142
Lambda Calculus and Intuitionistic Linear Logic 140
Intersection Logic 136
Observability for Pair Pattern Calculi 131
Intersection Logic 126
Intersection types from a proof theoretic perspective 123
Operational, denotational and logical descriptions: a case study 109
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
Call-by-Value Solvability 102
Theoretical Computer Science7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings(LNCS) 102
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus 102
Lazy Logical Semantics 96
null 92
Strong Normalization from an unusual point of view 86
A fully abstract model for the lazy lambda-calculus 85
A Soft Type Assignment System for Lambda-Calculus 77
Towards an Intersection Typed System a la Church 75
Elementary Affine Logic and the Call by Value Lambda Calculus 75
Computer Science Logic 2013 (CSL 2013) 75
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline 74
Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. 73
A logical account of PSPACE 73
Type Inference for a polynomial Lambda-Calculus 69
The Parametric Lambda-Calculus: a Metamodel for Computation 68
A collection of contributions in honour of C. Bohm 68
An Implicit Characterization of PSPACE 67
An approximation theorem for topological lambda models and the topological incompleteness of the lambda calculus 64
A Discrimination Algorithm inside Lambda-calculus 59
Study of the reaction he-4(gamma, he-3)n up to 60 mev gamma-ray energy 58
The Lazy Call-by-value lambda-calculus 57
Characterization of typings in polymorphic type discipline 56
An Operational Characterization of Strong Normalization 56
Alpha-conversion and Typability 55
Teoria della Dimostrazione e lambda-Calcolo 54
Parametric parameter passing lambda-calculus 53
Soft linear Logic and Polynomial Complexity Classes 53
Logical Semantics for Stability 52
Comparing Cubes 52
ICALP 52
Lazy strong normalization 52
Intersection and reference types 51
(Semi-)separability of Finite Sets of Terms in Scott's D-infinity-models of the Lambda-calculus 51
Type Inference in Polymorphic Type Discipline 51
Structures for lazy semantics 50
A Unification Semi-Algorithm for Intersection TypeSchemes 50
Comparing Cubes of Typed and Type Assignment systems 48
Operational Semantics and Extensionality 48
Ada Augusta Byron 48
Semantica della macchina X-CODE 48
Characterization Theorems for a filter lambda-model 47
Semantics of the CNET Internode Communication Mechanism 47
EPTCS 81 Special issue "Proceedings of the 6th workshop on Logical and Semantic Framework with Applications". 47
From Light Logics to Type Assignements: a case study 45
Standardization in resource lambda-calculus 43
Structured Operational Semantics of a fragment of the language SCHEME 42
Listing the Functional Digraph Structures 42
Type Inference: Some Results, Some Problems 42
Discriminability of infinite sets of terms in the D-infinity-models of the lambda-calculus 42
TOCL special issue on Implicit Computational Complexity 41
Type Inference and Extensionality 41
Principal Typing in Elementary Affine Logic 41
Intersection Typed Lambda-Calculus 39
Light Logics and the Call-by-Value Lambda Calculus 38
Paradossi, ambiguita' e scienza in 1984 38
Linear Logic and Theoretical Computer Science in Italy (optimal reduction and implicit computational complexity) 38
Intersection, Universally Quantified and Reference Types 36
Principal Type scheme and unification for intersection type discipline 34
Intersection Types a la Church 32
Principal Typing for lambda-Calculus in Elementary Affine Logic 32
Principal Typing for Lambda Calculus in Elementary Affine Logic 31
Principal Type Scheme for an extended type theory 31
LOGIC (in honour of Jean Yves Girard) - Siena 17-19 marzo 2006 30
Special Issue of MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE on "Intersection Types". 28
Linearity, Non-determinism and Solvability 28
Intersection Logic in sequent calculuys style. 27
Complexity of Lambda-terms Reductions 27
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2007" 26
Solvability in a probabilistic setting 26
ICALP 24
International Conference on Typed Lambda Calculus and ApplicationParigi (Francia), 25-27 giugno 2007 21
A Quantitative Version of Simple Types 9
Solvability in Resource Lambda Calculus 7
Totale 6.980
Categoria #
all - tutte 18.099
article - articoli 0
book - libri 0
conference - conferenze 6.664
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 24.763


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020953 0 0 0 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/2024325 37 70 12 23 16 29 16 1 6 13 42 60
2024/2025136 11 55 30 40 0 0 0 0 0 0 0 0
Totale 6.980