IRIS
ZUCCA SCHILLANI, ELENA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.422
AS - Asia 480
SA - Sud America 78
NA - Nord America 52
AF - Africa 3
Totale 14.035
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 13.408
SG - Singapore 211
CN - Cina 149
VN - Vietnam 71
BR - Brasile 54
US - Stati Uniti d'America 40
HK - Hong Kong 12
AR - Argentina 8
MX - Messico 8
ID - Indonesia 7
IQ - Iraq 6
EC - Ecuador 5
BD - Bangladesh 4
CL - Cile 3
CO - Colombia 3
GB - Regno Unito 3
PK - Pakistan 3
PY - Paraguay 3
RU - Federazione Russa 3
SE - Svezia 3
CA - Canada 2
PS - Palestinian Territory 2
UZ - Uzbekistan 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AZ - Azerbaigian 1
BB - Barbados 1
DZ - Algeria 1
EG - Egitto 1
HN - Honduras 1
IN - India 1
IR - Iran 1
JO - Giordania 1
JP - Giappone 1
KE - Kenya 1
LV - Lettonia 1
MM - Myanmar 1
NL - Olanda 1
OM - Oman 1
PH - Filippine 1
QA - Qatar 1
RO - Romania 1
SY - Repubblica araba siriana 1
TR - Turchia 1
TW - Taiwan 1
UA - Ucraina 1
Totale 14.035
Salva come PNG Salva come JPEG
Città #
Genova 8.559
Genoa 2.879
Rapallo 1.086
Vado Ligure 856
Singapore 118
Beijing 39
Bordighera 26
Ho Chi Minh City 23
Hanoi 17
Hong Kong 12
Ashburn 10
Tianjin 10
Haiphong 8
São Paulo 7
San Jose 5
Hải Dương 4
Mexico City 4
Orem 4
Council Bluffs 3
Guarujá 3
Los Angeles 3
Quito 3
Stockholm 3
Thái Bình 3
Asunción 2
Baghdad 2
Barra Mansa 2
Belo Horizonte 2
Denver 2
Evanston 2
Lấp Vò 2
Palestina 2
Tashkent 2
Alexandria 1
Algiers 1
Amman 1
Anagé 1
Apodaca 1
Aracaju 1
Arauca 1
Atlanta 1
Bagé 1
Baku 1
Bandung 1
Barquisimeto 1
Bridgetown 1
Brooklyn 1
Cachoeirinha 1
Campinas 1
Campo Belo 1
Campo Bom 1
Campo Grande 1
Cao Lanh 1
Cartagena 1
Caseros 1
Chamical 1
Changchun 1
Chapadão do Sul 1
Chapecó 1
Charleston 1
Chengdu 1
Ciudad del Este 1
Craiova 1
Da Nang 1
Dallas 1
Denpasar 1
Dhaka 1
Doha 1
Dubai 1
Erbil 1
Esperanza 1
Espírito Santo do Pinhal 1
Estância Velha 1
Feliz 1
Franca 1
Glew 1
Goiânia 1
Guangzhou 1
Guaporé 1
Guayaquil 1
Gujranwala 1
Hangzhou 1
Hohhot 1
Hurlingham 1
Hưng Yên 1
Ibiraci 1
Itaboraí 1
Itamari 1
Itariri 1
Itaúna 1
Jakarta 1
Jequié 1
Junín 1
Karachi 1
La Granja 1
Lahore 1
London 1
Macaé 1
Machala 1
Malang 1
Totale 13.770
Salva come PNG Salva come JPEG
Nome #
D-oids: a model for dynamic data-types 214
A calculus for dynamic reconfiguration with low priority linking 196
A core calculus for Java exceptions 187
A calculus of open modules: call-by-need strategy and confluence 182
A Primitive Calculus for Module Systems 180
A Formal Framework with Late Binding 178
A Free Construction of Dynamic Terms 177
A Formal Framework for Modules with State 167
A Calculus of Components with Dynamic Type-Checking 161
A calculus for dynamic linking 159
A Semantic Model for Dynamic Systems 154
A Meta-Circular Language for Active Libraries 154
Semantics of CSP via translation into CCS 153
Flexible Type-Safe Linking of Components for Java-Like Languages 151
An Algebraic Compositional Semantics of an Object oriented Notation with Concurrency 151
A Provenly Correct Translation of Fickle into Java 149
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 148
A core calculus for Java exceptions (extended abstract) 148
Formal Techniques for Java-Like Programs 148
Extending coinductive logic programming with co-facts 147
A calculus with lazy module operators 145
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 144
Towards a model of corecursion with default 144
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes 143
Extending Casl by Late Binding 142
A meta-circular language for active libraries 142
A framework for type safe exchange of mobile code 140
An Algebraic Approach to Mixins and Modularity 140
A formal framework for Java separate compilation. 139
An Imperative Pure Calculus 138
A parametric calculus for mobile open code 137
A type preserving translation of Fickle into Java 137
Mixin modules and computational effects 136
Type safe incremental rebinding 136
Jam-designing a Java extension with mixins 136
Jam: A smooth extension of Java with mixins 135
Introducing safe unknown types in Java-like languages 135
Corecursive Featherweight Java 135
From Static to Dynamic Abstract Data-Types 135
Modeling Multiple Class Loaders by a Calculus for Dynamic Linking 134
Type inference by coinductive logic programming 132
Applying the SMoLCS Specification Methodology to the CNET Architecture 132
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders 132
A Calculus for Reconfiguration (Extended Abstract) 131
Parametric Channels Via Label Expressions in CCS 131
Aliasing control in an imperative pure calculus 131
Incremental Rebinding with Name Polymorphism 130
Coupling catch clauses with local declarations 130
DeepFJig: modular composition of nested classes 129
Reconciling positional and nominal binding 129
Generalizing inference systems by coaxioms 128
True separate compilation for Java classes 127
Overriding Operators in a Mixin-Based Framework 126
An Effective Translation of Fickle into Java 125
A calculus of module systems 124
True modules for Java-like languages. 124
Type inference for polymorphic methods in Java-like languages 124
Just: safe unknown types in Java-like languages 123
Extending the lambda-calculus with unbind and rebind 122
From static to dynamic abstract data-types: An institution transformation 121
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages 121
Stores as Homomorphisms and their Transformations 120
Reasoning on Divergent Computations with Coaxioms 120
A theory of mixin modules: Basic and derived operators 118
A theory of mixin modules: algebraic laws and reduction semantics 118
Semantics of Distributed Processes Derived by Translation 118
Mixin modules for dynamic rebinding 118
A type and effect system for sharing 116
DeepFJig — Modular composition of nested classes. 115
Principal typings for Java-like languages 115
Deriving Proof Rules from Continuation Semantics 115
Tracing sharing in an imperative pure calculus 112
Tracing sharing in an imperative pure calculus (extended abstract) 110
Customizable composition operators for Java-like classes (extended abstract) 108
A big step from finite to infinite computations 108
Flexible recovery of uniqueness and immutability 107
Stores as Homomorphisms and Their Transformations 106
FMOODS/FORTE'10 - Formal Techniques for Distributed Systems 105
The Ada Challenge for New Formal Semantic Techniques 105
A type and effect system for uniqueness and immutability 105
Intersection types for unbind and rebind 100
Implementation of Derived Programs (Almost) for Free 100
Flattening versus direct semantics for Featherweight Jigsaw 99
Overloading and inheritance 98
Smart modules for Java-like languages 97
A formal framework for compositional compilation (extended abstract) 97
Runtime checks as nominal types 97
Even more principal typings for Java-like languages 96
An Algebra of Mixin Modules 95
Polymorphic bytecode: Compositional compilation for Java-like languages 94
Implementation of data structures in an imperative framework 93
Soundness Conditions for Big-Step Semantics 93
Corecursive featherweight Java revisited 92
Editorial message: special track on object oriented programming languages and systems 89
Java separate type checking is not safe 89
An Algebraic Semantic Framework for Object Oriented Languages with Concurrency 87
The essence of static and dynamic bindings 86
Safe Corecursion in coFJ 86
Guest Editorial of the special issue on the eighth workshop on Formal Techniques for Java-like Programs 83
MetaFJig - A meta-circular composition language for Java-like classes 82
Totale 12.741
Salva come PNG Salva come JPEG
Categoria #
all - tutte 45.446
article - articoli 15.624
book - libri 389
conference - conferenze 26.751
curatela - curatele 298
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.384
Totale 90.892
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021512 0 0 0 0 0 43 73 113 94 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/20261.530 448 60 252 218 429 123 0 0 0 0 0 0
Totale 14.161