IRIS
ZUCCA SCHILLANI, ELENA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.409
AS - Asia 52
SA - Sud America 24
NA - Nord America 1
Totale 13.486
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 13.408
CN - Cina 35
BR - Brasile 19
VN - Vietnam 10
SG - Singapore 5
AR - Argentina 2
CL - Cile 1
CO - Colombia 1
EC - Ecuador 1
ID - Indonesia 1
MX - Messico 1
PK - Pakistan 1
UA - Ucraina 1
Totale 13.486
Salva come PNG Salva come JPEG
Città #
Genova 8.559
Genoa 2.879
Rapallo 1.086
Vado Ligure 856
Bordighera 26
Beijing 19
Ho Chi Minh City 4
São Paulo 4
Hanoi 3
Guarujá 2
Hải Dương 2
Anagé 1
Campo Belo 1
Campo Bom 1
Denpasar 1
Espírito Santo do Pinhal 1
Hurlingham 1
Ibiraci 1
Itaúna 1
Lahore 1
Lấp Vò 1
Machala 1
Manaus 1
Palestina 1
Ponta Grossa 1
Ribeirão Preto 1
Rio Grande 1
Rio do Sul 1
Santiago 1
Santiago de Cali 1
Santo André 1
Singapore 1
Tunuyán 1
Xicotepec de Juárez 1
Totale 13.463
Salva come PNG Salva come JPEG
Nome #
D-oids: a model for dynamic data-types 210
A calculus for dynamic reconfiguration with low priority linking 189
A core calculus for Java exceptions 179
A Primitive Calculus for Module Systems 174
A calculus of open modules: call-by-need strategy and confluence 173
A Formal Framework with Late Binding 171
A Free Construction of Dynamic Terms 169
A Formal Framework for Modules with State 158
A calculus for dynamic linking 154
A Meta-Circular Language for Active Libraries 152
A Calculus of Components with Dynamic Type-Checking 151
A Semantic Model for Dynamic Systems 149
Semantics of CSP via translation into CCS 149
An Algebraic Compositional Semantics of an Object oriented Notation with Concurrency 149
Flexible Type-Safe Linking of Components for Java-Like Languages 146
Formal Techniques for Java-Like Programs 145
A Provenly Correct Translation of Fickle into Java 144
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 140
Towards a model of corecursion with default 140
A meta-circular language for active libraries 140
A core calculus for Java exceptions (extended abstract) 140
A calculus with lazy module operators 140
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects 138
Extending coinductive logic programming with co-facts 138
An Algebraic Approach to Mixins and Modularity 137
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes 136
Mixin modules and computational effects 135
A type preserving translation of Fickle into Java 135
Extending Casl by Late Binding 134
Corecursive Featherweight Java 134
Type safe incremental rebinding 134
A formal framework for Java separate compilation. 133
From Static to Dynamic Abstract Data-Types 133
A parametric calculus for mobile open code 132
Modeling Multiple Class Loaders by a Calculus for Dynamic Linking 132
Jam: A smooth extension of Java with mixins 132
A framework for type safe exchange of mobile code 131
Introducing safe unknown types in Java-like languages 131
Type inference by coinductive logic programming 131
Jam-designing a Java extension with mixins 131
An Imperative Pure Calculus 130
Incremental Rebinding with Name Polymorphism 128
Coupling catch clauses with local declarations 128
Reconciling positional and nominal binding 128
Parametric Channels Via Label Expressions in CCS 127
Applying the SMoLCS Specification Methodology to the CNET Architecture 126
Aliasing control in an imperative pure calculus 126
A Case-Study in Encoding Configuration Languages: Multiple Class Loaders 125
An Effective Translation of Fickle into Java 124
True separate compilation for Java classes 124
Overriding Operators in a Mixin-Based Framework 123
Generalizing inference systems by coaxioms 123
True modules for Java-like languages. 121
Type inference for polymorphic methods in Java-like languages 121
Just: safe unknown types in Java-like languages 121
DeepFJig: modular composition of nested classes 120
A Calculus for Reconfiguration (Extended Abstract) 119
Stores as Homomorphisms and their Transformations 119
From static to dynamic abstract data-types: An institution transformation 119
Extending the lambda-calculus with unbind and rebind 118
Reasoning on Divergent Computations with Coaxioms 118
A calculus of module systems 117
Semantics of Distributed Processes Derived by Translation 115
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages 115
Mixin modules for dynamic rebinding 114
A theory of mixin modules: algebraic laws and reduction semantics 113
Principal typings for Java-like languages 113
Deriving Proof Rules from Continuation Semantics 113
A theory of mixin modules: Basic and derived operators 112
A type and effect system for sharing 111
Tracing sharing in an imperative pure calculus 110
DeepFJig — Modular composition of nested classes. 108
Flexible recovery of uniqueness and immutability 106
Customizable composition operators for Java-like classes (extended abstract) 105
FMOODS/FORTE'10 - Formal Techniques for Distributed Systems 104
Tracing sharing in an imperative pure calculus (extended abstract) 103
The Ada Challenge for New Formal Semantic Techniques 101
Stores as Homomorphisms and Their Transformations 101
A type and effect system for uniqueness and immutability 100
Intersection types for unbind and rebind 98
Implementation of Derived Programs (Almost) for Free 97
Even more principal typings for Java-like languages 96
Smart modules for Java-like languages 94
Overloading and inheritance 94
Flattening versus direct semantics for Featherweight Jigsaw 93
Runtime checks as nominal types 93
Implementation of data structures in an imperative framework 93
A big step from finite to infinite computations 93
Soundness Conditions for Big-Step Semantics 92
A formal framework for compositional compilation (extended abstract) 91
An Algebra of Mixin Modules 90
Polymorphic bytecode: Compositional compilation for Java-like languages 89
An Algebraic Semantic Framework for Object Oriented Languages with Concurrency 85
Safe Corecursion in coFJ 85
The essence of static and dynamic bindings 84
Editorial message: special track on object oriented programming languages and systems 84
Corecursive featherweight Java revisited 84
Java separate type checking is not safe 83
Formal Specification of a Concurrent Architecture in a Real Project 81
MetaFJig - A meta-circular composition language for Java-like classes 80
Totale 12.297
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.842
article - articoli 15.076
book - libri 371
conference - conferenze 25.809
curatela - curatele 288
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.298
Totale 87.684
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021557 0 0 0 0 45 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/2026981 448 60 252 218 3 0 0 0 0 0 0 0
Totale 13.612