IRIS
ZUCCA SCHILLANI, ELENA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.708
AS - Asia 1.347
NA - Nord America 1.069
Continente sconosciuto - Info sul continente non disponibili 127
SA - Sud America 114
AF - Africa 15
Totale 16.380
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 13.496
US - Stati Uniti d'America 1.006
SG - Singapore 574
CN - Cina 387
VN - Vietnam 175
FR - Francia 113
BR - Brasile 73
BD - Bangladesh 60
HK - Hong Kong 48
DE - Germania 30
JP - Giappone 29
CA - Canada 24
AR - Argentina 15
MX - Messico 15
GB - Regno Unito 13
IN - India 12
FI - Finlandia 9
ID - Indonesia 9
IQ - Iraq 9
NL - Olanda 8
PH - Filippine 7
CO - Colombia 6
EC - Ecuador 6
HN - Honduras 6
SE - Svezia 6
UZ - Uzbekistan 6
CH - Svizzera 5
CL - Cile 5
JM - Giamaica 5
RU - Federazione Russa 5
ZA - Sudafrica 5
CR - Costa Rica 4
PL - Polonia 4
TH - Thailandia 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
ES - Italia 3
NP - Nepal 3
PK - Pakistan 3
PY - Paraguay 3
TR - Turchia 3
TT - Trinidad e Tobago 3
AL - Albania 2
BB - Barbados 2
DK - Danimarca 2
DZ - Algeria 2
IE - Irlanda 2
JO - Giordania 2
KE - Kenya 2
LV - Lettonia 2
MA - Marocco 2
PS - Palestinian Territory 2
TN - Tunisia 2
TW - Taiwan 2
UA - Ucraina 2
AZ - Azerbaigian 1
BO - Bolivia 1
BW - Botswana 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
HR - Croazia 1
IL - Israele 1
IR - Iran 1
KR - Corea 1
LT - Lituania 1
MM - Myanmar 1
NI - Nicaragua 1
OM - Oman 1
PA - Panama 1
PE - Perù 1
PR - Porto Rico 1
PT - Portogallo 1
QA - Qatar 1
RO - Romania 1
SI - Slovenia 1
SY - Repubblica araba siriana 1
TJ - Tagikistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 16.254
Salva come PNG Salva come JPEG
Città #
Genova 8.559
Genoa 2.887
Rapallo 1.086
Vado Ligure 856
San Jose 273
Singapore 271
Ashburn 112
Lauterbourg 102
Beijing 77
New York 56
Ho Chi Minh City 50
Hong Kong 44
Hanoi 39
Santa Clara 37
Tokyo 27
Bordighera 26
Los Angeles 25
Frankfurt am Main 23
Orem 16
Dallas 14
Chicago 13
Council Bluffs 11
Tianjin 11
Atlanta 10
Haiphong 10
Milan 10
Phoenix 9
São Paulo 9
Montreal 8
San Antonio 8
Helsinki 7
Houston 7
Kansas City 7
Mexico City 7
Rome 7
Washington 7
Stockholm 6
Tashkent 6
Amsterdam 5
Boardman 5
Buffalo 5
Florence 5
Naples 5
Palermo 5
San Francisco 5
Zurich 5
Brooklyn 4
Cleveland 4
Garland 4
Hải Dương 4
Indpls 4
Las Vegas 4
Miami 4
Quito 4
San José 4
Stone Mountain 4
Toronto 4
Baghdad 3
Bari 3
Boston 3
City of London 3
Denver 3
Des Moines 3
Dhaka 3
Dubai 3
Freeport 3
Guarujá 3
Nashville 3
Princeton 3
Quận Bình Thạnh 3
Salt Lake City 3
Shanghai 3
Shenzhen 3
Tampa 3
Thái Bình 3
Algiers 2
Amman 2
Asunción 2
Azusa 2
Baltimore 2
Barra Mansa 2
Belo Horizonte 2
Boise 2
Brasília 2
Bridgeport 2
Bridgetown 2
Brunswick 2
Cao Lanh 2
Cape Town 2
Caracas 2
Cardiff 2
Castelvetro di Modena 2
Chaguanas 2
Changsha 2
Charleston 2
Charlotte 2
Chengdu 2
Chennai 2
Corona 2
Curitiba 2
Totale 14.921
Salva come PNG Salva come JPEG
Nome #
D-oids: a model for dynamic data-types 236
A calculus for dynamic reconfiguration with low priority linking 220
A core calculus for Java exceptions 213
A calculus of open modules: call-by-need strategy and confluence 204
A Primitive Calculus for Module Systems 198
A Formal Framework with Late Binding 196
A Free Construction of Dynamic Terms 195
Extending coinductive logic programming with co-facts 184
A Formal Framework for Modules with State 183
A calculus for dynamic linking 180
A Semantic Model for Dynamic Systems 176
A Calculus of Components with Dynamic Type-Checking 173
An Algebraic Compositional Semantics of an Object oriented Notation with Concurrency 172
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 171
A core calculus for Java exceptions (extended abstract) 171
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes 170
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 167
A Provenly Correct Translation of Fickle into Java 167
A framework for type safe exchange of mobile code 165
Semantics of CSP via translation into CCS 165
A Meta-Circular Language for Active Libraries 165
Towards a model of corecursion with default 163
A calculus with lazy module operators 163
Flexible Type-Safe Linking of Components for Java-Like Languages 162
Formal Techniques for Java-Like Programs 161
A formal framework for Java separate compilation. 159
A parametric calculus for mobile open code 158
Extending Casl by Late Binding 158
Applying the SMoLCS Specification Methodology to the CNET Architecture 156
Jam-designing a Java extension with mixins 156
An Algebraic Approach to Mixins and Modularity 155
A meta-circular language for active libraries 155
A type preserving translation of Fickle into Java 155
An Imperative Pure Calculus 155
Jam: A smooth extension of Java with mixins 153
DeepFJig: modular composition of nested classes 152
Type safe incremental rebinding 152
Generalizing inference systems by coaxioms 152
Mixin modules and computational effects 151
Aliasing control in an imperative pure calculus 151
Reconciling positional and nominal binding 151
Modeling Multiple Class Loaders by a Calculus for Dynamic Linking 150
Corecursive Featherweight Java 150
Parametric Channels Via Label Expressions in CCS 150
Incremental Rebinding with Name Polymorphism 150
Introducing safe unknown types in Java-like languages 148
Type inference by coinductive logic programming 148
From Static to Dynamic Abstract Data-Types 146
A Calculus for Reconfiguration (Extended Abstract) 144
Coupling catch clauses with local declarations 144
Extending the lambda-calculus with unbind and rebind 144
A type and effect system for sharing 144
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders 143
True separate compilation for Java classes 142
Reasoning on Divergent Computations with Coaxioms 142
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages 141
A theory of mixin modules: algebraic laws and reduction semantics 140
Just: safe unknown types in Java-like languages 140
An Effective Translation of Fickle into Java 138
Type inference for polymorphic methods in Java-like languages 137
Overriding Operators in a Mixin-Based Framework 137
True modules for Java-like languages. 135
Principal typings for Java-like languages 135
A calculus of module systems 134
Customizable composition operators for Java-like classes (extended abstract) 133
Stores as Homomorphisms and their Transformations 133
DeepFJig — Modular composition of nested classes. 132
Mixin modules for dynamic rebinding 132
From static to dynamic abstract data-types: An institution transformation 131
Tracing sharing in an imperative pure calculus (extended abstract) 131
A big step from finite to infinite computations 130
Deriving Proof Rules from Continuation Semantics 130
A theory of mixin modules: Basic and derived operators 129
Tracing sharing in an imperative pure calculus 129
Semantics of Distributed Processes Derived by Translation 128
Stores as Homomorphisms and Their Transformations 125
Polymorphic bytecode: Compositional compilation for Java-like languages 124
The Ada Challenge for New Formal Semantic Techniques 124
A type and effect system for uniqueness and immutability 123
Flexible recovery of uniqueness and immutability 122
A formal framework for compositional compilation (extended abstract) 120
Runtime checks as nominal types 118
Implementation of Derived Programs (Almost) for Free 117
FMOODS/FORTE'10 - Formal Techniques for Distributed Systems 116
Intersection types for unbind and rebind 116
Smart modules for Java-like languages 114
Flattening versus direct semantics for Featherweight Jigsaw 112
Corecursive featherweight Java revisited 112
A Java-like calculus with heterogeneous coeffects 111
Even more principal typings for Java-like languages 110
Overloading and inheritance 110
Soundness Conditions for Big-Step Semantics 110
An Algebra of Mixin Modules 108
Java separate type checking is not safe 105
Formal Specification of a Concurrent Architecture in a Real Project 105
An Algebraic Semantic Framework for Object Oriented Languages with Concurrency 104
Implementation of data structures in an imperative framework 104
Editorial message: special track on object oriented programming languages and systems 102
Flexible coinductive logic programming 102
Checking equivalence of corecursive streams: An inductive procedure 102
Totale 14.525
Salva come PNG Salva come JPEG
Categoria #
all - tutte 51.988
article - articoli 17.937
book - libri 439
conference - conferenze 30.571
curatela - curatele 342
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.699
Totale 103.976
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.641 37 155 112 159 34 64 120 352 63 118 72 355
2022/20231.330 126 65 7 128 194 247 24 78 235 11 196 19
2023/2024623 35 84 16 81 30 83 52 42 33 23 47 97
2024/20252.030 125 152 68 82 342 204 162 254 66 96 180 299
2025/20263.403 448 60 252 218 429 356 603 162 179 273 136 287
2026/2027346 346 0 0 0 0 0 0 0 0 0 0 0
Totale 16.380