CINECA IRIS Institutional Research Information System

RONCHI DELLA ROCCA, Simonetta
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.047
EU - Europa 2.442
AS - Asia 953
AF - Africa 4
SA - Sud America 4
OC - Oceania 1
Totale 7.451
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.011
CN - Cina 502
SE - Svezia 370
IT - Italia 338
DK - Danimarca 330
IE - Irlanda 277
UA - Ucraina 272
SG - Singapore 201
FR - Francia 193
DE - Germania 192
FI - Finlandia 192
KR - Corea 153
GB - Regno Unito 118
PL - Polonia 107
VN - Vietnam 50
CA - Canada 36
NL - Olanda 15
HK - Hong Kong 14
BE - Belgio 11
ID - Indonesia 10
RU - Federazione Russa 10
IN - India 9
PT - Portogallo 7
GR - Grecia 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 7.451
Salva come PNG Salva come JPEG
Città #
Ann Arbor 1.107
Santa Clara 569
Beijing 347
Dublin 277
Chandler 252
Jacksonville 216
Singapore 154
Wilmington 138
Medford 123
Princeton 113
Villeurbanne 104
Warsaw 100
Dearborn 94
Houston 94
Guangzhou 92
Torino 87
Columbus 85
Fairfield 83
Ashburn 65
Milan 51
Woodbridge 50
Nyköping 38
Boardman 36
Dong Ket 34
Pisa 32
Boston 29
Norwalk 28
Seattle 26
Cambridge 22
Toronto 22
New York 19
San Mateo 19
Verona 18
Fremont 16
Hong Kong 14
Falls Church 13
Lachine 11
Redwood City 11
Brussels 10
Des Moines 10
Jakarta 10
Nanjing 10
Naples 10
Philadelphia 10
Rome 10
Turin 10
Wayne 10
Hefei 9
Helsinki 9
Padova 8
Bologna 7
Athens 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
Shenyang 4
Bottanuco 3
Cittadella 3
Frankfurt am Main 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
Totale 4.853
Salva come PNG Salva come JPEG
Nome #
Essential and relational models 340
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus 267
Inhabitation for non-idempotent intersection types 221
The call by value Lambda-calculus: a semantic investigation 183
Bounding normalization time through intersection types 168
Development on Implicit Computational Complexity (DICE 2013) 163
Standardization of a Call-By-Value Lambda-Calculus 163
The Inhabitation Problem for Non-Idempotent Intersection Types 162
New Semantical Insights Into Call-by-Value λ-Calculus. 161
Lambda Calculus and Probabilistic Computation. 161
Categorical semantics of the call-by-value lambda calculus 156
A type assignment for lambda-calculus complete both for FPTIME and strong normalization 151
Lambda Calculus and Intuitionistic Linear Logic 150
Intersection Logic 144
Observability for Pair Pattern Calculi 140
Intersection types from a proof theoretic perspective 136
Intersection Logic 135
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus 118
Operational, denotational and logical descriptions: a case study 117
Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 114
Theoretical Computer Science7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings(LNCS) 113
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus 110
Call-by-Value Solvability 109
Lazy Logical Semantics 105
Strong Normalization from an unusual point of view 94
A fully abstract model for the lazy lambda-calculus 92
null 92
A Soft Type Assignment System for Lambda-Calculus 85
Elementary Affine Logic and the Call by Value Lambda Calculus 83
Towards an Intersection Typed System a la Church 82
A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline 82
Computer Science Logic 2013 (CSL 2013) 82
Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. 81
Type Inference for a polynomial Lambda-Calculus 81
A logical account of PSPACE 80
An Implicit Characterization of PSPACE 77
A collection of contributions in honour of C. Bohm 75
The Parametric Lambda-Calculus: a Metamodel for Computation 74
An approximation theorem for topological lambda models and the topological incompleteness of the lambda calculus 71
Study of the reaction he-4(gamma, he-3)n up to 60 mev gamma-ray energy 66
Characterization of typings in polymorphic type discipline 65
A Discrimination Algorithm inside Lambda-calculus 65
Alpha-conversion and Typability 64
The Lazy Call-by-value lambda-calculus 64
Soft linear Logic and Polynomial Complexity Classes 64
Teoria della Dimostrazione e lambda-Calcolo 63
An Operational Characterization of Strong Normalization 63
Parametric parameter passing lambda-calculus 61
ICALP 61
Lazy strong normalization 61
Logical Semantics for Stability 60
Intersection and reference types 59
Comparing Cubes 59
Type Inference in Polymorphic Type Discipline 59
Structures for lazy semantics 57
Operational Semantics and Extensionality 57
A Unification Semi-Algorithm for Intersection TypeSchemes 57
Comparing Cubes of Typed and Type Assignment systems 56
From Light Logics to Type Assignements: a case study 56
Ada Augusta Byron 56
(Semi-)separability of Finite Sets of Terms in Scott's D-infinity-models of the Lambda-calculus 56
Characterization Theorems for a filter lambda-model 56
Semantics of the CNET Internode Communication Mechanism 56
Semantica della macchina X-CODE 56
EPTCS 81 Special issue "Proceedings of the 6th workshop on Logical and Semantic Framework with Applications". 56
Discriminability of infinite sets of terms in the D-infinity-models of the lambda-calculus 52
Listing the Functional Digraph Structures 51
Type Inference: Some Results, Some Problems 51
Standardization in resource lambda-calculus 51
TOCL special issue on Implicit Computational Complexity 50
Structured Operational Semantics of a fragment of the language SCHEME 50
Type Inference and Extensionality 50
Principal Typing in Elementary Affine Logic 50
Intersection Typed Lambda-Calculus 48
Light Logics and the Call-by-Value Lambda Calculus 48
Paradossi, ambiguita' e scienza in 1984 48
Linear Logic and Theoretical Computer Science in Italy (optimal reduction and implicit computational complexity) 48
Principal Type scheme and unification for intersection type discipline 44
Intersection, Universally Quantified and Reference Types 43
Principal Typing for lambda-Calculus in Elementary Affine Logic 42
Intersection Types a la Church 41
Principal Type Scheme for an extended type theory 41
Principal Typing for Lambda Calculus in Elementary Affine Logic 40
LOGIC (in honour of Jean Yves Girard) - Siena 17-19 marzo 2006 40
Special Issue of MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE on "Intersection Types". 38
Linearity, Non-determinism and Solvability 38
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2007" 37
Complexity of Lambda-terms Reductions 37
Solvability in a probabilistic setting 36
Intersection Logic in sequent calculuys style. 34
ICALP 34
International Conference on Typed Lambda Calculus and ApplicationParigi (Francia), 25-27 giugno 2007 31
Solvability in Resource Lambda Calculus 19
A Quantitative Version of Simple Types 15
Totale 7.778
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.388
article - articoli 0
book - libri 0
conference - conferenze 7.466
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 27.854
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020617 0 0 0 0 0 0 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/2025934 11 55 30 132 663 41 2 0 0 0 0 0
Totale 7.778