IRIS
ZUCCA SCHILLANI, ELENA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.654
AS - Asia 1.244
NA - Nord America 472
SA - Sud America 96
AF - Africa 14
Continente sconosciuto - Info sul continente non disponibili 1
Totale 15.481
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 13.452
SG - Singapore 564
US - Stati Uniti d'America 441
CN - Cina 356
VN - Vietnam 171
FR - Francia 111
BR - Brasile 64
HK - Hong Kong 44
DE - Germania 29
JP - Giappone 29
AR - Argentina 13
CA - Canada 13
GB - Regno Unito 13
IN - India 12
MX - Messico 12
FI - Finlandia 9
ID - Indonesia 9
IQ - Iraq 9
NL - Olanda 7
PH - Filippine 7
BD - Bangladesh 6
SE - Svezia 6
UZ - Uzbekistan 6
EC - Ecuador 5
RU - Federazione Russa 5
ZA - Sudafrica 5
CH - Svizzera 4
CL - Cile 4
CO - Colombia 4
TH - Thailandia 4
AE - Emirati Arabi Uniti 3
NP - Nepal 3
PK - Pakistan 3
PY - Paraguay 3
TR - Turchia 3
VE - Venezuela 3
DK - Danimarca 2
DZ - Algeria 2
ES - Italia 2
HN - Honduras 2
IE - Irlanda 2
JO - Giordania 2
KE - Kenya 2
LV - Lettonia 2
MA - Marocco 2
PL - Polonia 2
PS - Palestinian Territory 2
TW - Taiwan 2
AL - Albania 1
AZ - Azerbaigian 1
BB - Barbados 1
BW - Botswana 1
CR - Costa Rica 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
OM - Oman 1
PA - Panama 1
PT - Portogallo 1
QA - Qatar 1
RO - Romania 1
SI - Slovenia 1
SY - Repubblica araba siriana 1
TJ - Tagikistan 1
TN - Tunisia 1
UA - Ucraina 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 15.481
Salva come PNG Salva come JPEG
Città #
Genova 8.559
Genoa 2.882
Rapallo 1.086
Vado Ligure 856
Singapore 262
San Jose 152
Lauterbourg 102
Ashburn 49
Beijing 49
Ho Chi Minh City 49
New York 44
Hong Kong 42
Hanoi 37
Tokyo 27
Bordighera 26
Frankfurt am Main 23
Santa Clara 22
Orem 16
Los Angeles 14
Council Bluffs 11
Tianjin 11
Haiphong 10
São Paulo 9
Helsinki 7
Montreal 7
Atlanta 6
Dallas 6
Stockholm 6
Tashkent 6
Amsterdam 5
Mexico City 5
Palermo 5
Chicago 4
Hải Dương 4
Rome 4
Toronto 4
Zurich 4
Baghdad 3
City of London 3
Denver 3
Des Moines 3
Dubai 3
Guarujá 3
Milan 3
Phoenix 3
Quito 3
Quận Bình Thạnh 3
Shanghai 3
Shenzhen 3
Thái Bình 3
Algiers 2
Amman 2
Asunción 2
Bari 2
Barra Mansa 2
Belo Horizonte 2
Brooklyn 2
Cao Lanh 2
Cape Town 2
Cardiff 2
Castelvetro di Modena 2
Changsha 2
Chengdu 2
Chennai 2
Da Nang 2
Dublin 2
Evanston 2
Fortaleza 2
Guangzhou 2
Huế 2
Jakarta 2
Lappeenranta 2
Long Xuyen 2
Lấp Vò 2
Manchester 2
Nairobi 2
Nha Trang 2
Ninh Bình 2
Nuremberg 2
Palestina 2
Paris 2
Poplar 2
Pune 2
Riga 2
Salt Lake City 2
Santiago 2
Vicenza 2
Warsaw 2
Zhengzhou 2
Acalanes Ridge 1
Alexandria 1
Amagasaki 1
Anagé 1
Apodaca 1
Aracaju 1
Arauca 1
Baguio City 1
Bagé 1
Baku 1
Bandung 1
Totale 14.539
Salva come PNG Salva come JPEG
Nome #
D-oids: a model for dynamic data-types 227
A calculus for dynamic reconfiguration with low priority linking 213
A core calculus for Java exceptions 196
A calculus of open modules: call-by-need strategy and confluence 194
A Primitive Calculus for Module Systems 193
A Free Construction of Dynamic Terms 189
A Formal Framework with Late Binding 187
A Formal Framework for Modules with State 177
A Calculus of Components with Dynamic Type-Checking 170
A calculus for dynamic linking 170
A Semantic Model for Dynamic Systems 170
An Algebraic Compositional Semantics of an Object oriented Notation with Concurrency 168
A Provenly Correct Translation of Fickle into Java 163
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes 161
Semantics of CSP via translation into CCS 161
A Meta-Circular Language for Active Libraries 161
A core calculus for Java exceptions (extended abstract) 161
Flexible Type-Safe Linking of Components for Java-Like Languages 159
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 159
Extending coinductive logic programming with co-facts 159
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 158
A framework for type safe exchange of mobile code 156
Towards a model of corecursion with default 156
A calculus with lazy module operators 155
Extending Casl by Late Binding 154
Formal Techniques for Java-Like Programs 154
An Algebraic Approach to Mixins and Modularity 153
A formal framework for Java separate compilation. 152
A meta-circular language for active libraries 151
A parametric calculus for mobile open code 150
Applying the SMoLCS Specification Methodology to the CNET Architecture 150
Jam-designing a Java extension with mixins 150
A type preserving translation of Fickle into Java 149
Modeling Multiple Class Loaders by a Calculus for Dynamic Linking 147
Jam: A smooth extension of Java with mixins 147
DeepFJig: modular composition of nested classes 147
Mixin modules and computational effects 147
An Imperative Pure Calculus 147
Type safe incremental rebinding 146
Introducing safe unknown types in Java-like languages 145
Incremental Rebinding with Name Polymorphism 145
Corecursive Featherweight Java 144
Parametric Channels Via Label Expressions in CCS 144
Aliasing control in an imperative pure calculus 144
Type inference by coinductive logic programming 141
Coupling catch clauses with local declarations 141
Extending the lambda-calculus with unbind and rebind 141
From Static to Dynamic Abstract Data-Types 141
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders 140
A Calculus for Reconfiguration (Extended Abstract) 139
Generalizing inference systems by coaxioms 139
Reconciling positional and nominal binding 139
Just: safe unknown types in Java-like languages 138
True separate compilation for Java classes 137
An Effective Translation of Fickle into Java 135
Overriding Operators in a Mixin-Based Framework 135
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages 135
A theory of mixin modules: algebraic laws and reduction semantics 134
Type inference for polymorphic methods in Java-like languages 134
Reasoning on Divergent Computations with Coaxioms 134
A type and effect system for sharing 133
True modules for Java-like languages. 131
Stores as Homomorphisms and their Transformations 129
A calculus of module systems 128
From static to dynamic abstract data-types: An institution transformation 128
DeepFJig — Modular composition of nested classes. 127
Principal typings for Java-like languages 127
Mixin modules for dynamic rebinding 127
Customizable composition operators for Java-like classes (extended abstract) 126
A theory of mixin modules: Basic and derived operators 125
Semantics of Distributed Processes Derived by Translation 125
Tracing sharing in an imperative pure calculus (extended abstract) 125
Deriving Proof Rules from Continuation Semantics 125
Tracing sharing in an imperative pure calculus 124
The Ada Challenge for New Formal Semantic Techniques 120
A big step from finite to infinite computations 120
A type and effect system for uniqueness and immutability 118
Stores as Homomorphisms and Their Transformations 116
Flexible recovery of uniqueness and immutability 115
FMOODS/FORTE'10 - Formal Techniques for Distributed Systems 113
Intersection types for unbind and rebind 113
Implementation of Derived Programs (Almost) for Free 112
Polymorphic bytecode: Compositional compilation for Java-like languages 111
A formal framework for compositional compilation (extended abstract) 111
Smart modules for Java-like languages 110
Runtime checks as nominal types 110
Even more principal typings for Java-like languages 109
Flattening versus direct semantics for Featherweight Jigsaw 109
Overloading and inheritance 108
Corecursive featherweight Java revisited 107
An Algebra of Mixin Modules 104
An Algebraic Semantic Framework for Object Oriented Languages with Concurrency 102
Formal Specification of a Concurrent Architecture in a Real Project 102
A Java-like calculus with heterogeneous coeffects 100
Implementation of data structures in an imperative framework 100
Soundness Conditions for Big-Step Semantics 100
Editorial message: special track on object oriented programming languages and systems 99
Java separate type checking is not safe 98
Checking equivalence of corecursive streams: An inductive procedure 97
The essence of static and dynamic bindings 94
Totale 13.910
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.844
article - articoli 16.451
book - libri 412
conference - conferenze 28.144
curatela - curatele 314
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.523
Totale 95.688
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021189 0 0 0 0 0 0 0 0 0 78 58 53
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/20262.976 448 60 252 218 429 356 603 162 179 269 0 0
Totale 15.607