CINECA IRIS Institutional Research Information System

DAMIANI, Ferruccio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.159
EU - Europa 8.315
AS - Asia 5.200
SA - Sud America 786
AF - Africa 76
OC - Oceania 30
Continente sconosciuto - Info sul continente non disponibili 12
Totale 28.578
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.996
DK - Danimarca 2.241
SG - Singapore 2.202
CN - Cina 1.597
IT - Italia 1.347
SE - Svezia 1.121
BR - Brasile 654
DE - Germania 604
IE - Irlanda 603
FR - Francia 460
FI - Finlandia 410
VN - Vietnam 382
UA - Ucraina 364
GB - Regno Unito 327
KR - Corea 294
PL - Polonia 231
HK - Hong Kong 218
RU - Federazione Russa 183
ID - Indonesia 144
IN - India 130
AT - Austria 106
CA - Canada 105
NL - Olanda 76
GR - Grecia 68
AR - Argentina 54
MX - Messico 39
BE - Belgio 38
JP - Giappone 32
ES - Italia 28
BD - Bangladesh 25
IQ - Iraq 25
EC - Ecuador 23
ZA - Sudafrica 23
CZ - Repubblica Ceca 22
PK - Pakistan 22
AU - Australia 21
CH - Svizzera 16
PH - Filippine 16
TR - Turchia 15
CO - Colombia 14
NO - Norvegia 14
AE - Emirati Arabi Uniti 13
PY - Paraguay 13
RO - Romania 13
IR - Iran 12
SA - Arabia Saudita 12
EU - Europa 10
MA - Marocco 9
PT - Portogallo 9
TW - Taiwan 9
VE - Venezuela 9
NG - Nigeria 8
NZ - Nuova Zelanda 8
CL - Cile 7
DZ - Algeria 7
EG - Egitto 6
KE - Kenya 6
PE - Perù 6
AZ - Azerbaigian 5
IL - Israele 5
KZ - Kazakistan 5
LT - Lituania 5
UZ - Uzbekistan 5
DO - Repubblica Dominicana 4
LV - Lettonia 4
MD - Moldavia 4
MY - Malesia 4
RS - Serbia 4
TN - Tunisia 4
UY - Uruguay 4
AL - Albania 3
AM - Armenia 3
BG - Bulgaria 3
CR - Costa Rica 3
GT - Guatemala 3
KG - Kirghizistan 3
MU - Mauritius 3
NP - Nepal 3
OM - Oman 3
QA - Qatar 3
SK - Slovacchia (Repubblica Slovacca) 3
BO - Bolivia 2
GH - Ghana 2
HU - Ungheria 2
JM - Giamaica 2
JO - Giordania 2
MG - Madagascar 2
MO - Macao, regione amministrativa speciale della Cina 2
PS - Palestinian Territory 2
SC - Seychelles 2
SI - Slovenia 2
SN - Senegal 2
TT - Trinidad e Tobago 2
A1 - Anonimo 1
AF - Afghanistan, Repubblica islamica di 1
BB - Barbados 1
BN - Brunei Darussalam 1
CG - Congo 1
CY - Cipro 1
DM - Dominica 1
Totale 28.564
Salva come PNG Salva come JPEG
Città #
Ann Arbor 4.298
Singapore 1.044
Wilmington 917
Chandler 848
Santa Clara 736
Fairfield 682
Beijing 602
Dublin 602
Ashburn 566
Guangzhou 508
Houston 475
Dearborn 343
Woodbridge 302
Jacksonville 283
Torino 275
Seattle 246
Warsaw 212
Cambridge 209
Hong Kong 204
Villeurbanne 199
Princeton 191
Medford 181
Pisa 179
Columbus 171
Turin 141
Dallas 140
Norwalk 131
Los Angeles 129
Dong Ket 125
Hefei 110
Seoul 108
Buffalo 107
Helsinki 107
Jakarta 106
Nyköping 106
Wayne 98
Boardman 96
Ho Chi Minh City 82
Boston 80
Nuremberg 78
Milan 76
Vienna 75
Munich 66
São Paulo 57
Naples 56
San Diego 50
Fremont 44
Redwood City 42
Hanoi 41
Falls Church 39
San Mateo 39
New York 37
Bengaluru 36
Redondo Beach 36
Brussels 32
Bologna 30
Turku 30
Ottawa 29
Redmond 29
Toronto 29
Lappeenranta 28
London 28
Frankfurt am Main 26
Padova 26
Rio de Janeiro 26
Nanjing 25
Chennai 24
Phoenix 22
Verona 20
Falkenstein 19
Kunming 19
Mexico City 19
Mountain View 19
Rome 18
The Dalles 18
Brasília 17
Hangzhou 17
Tokyo 16
Düsseldorf 14
Shanghai 14
Belo Horizonte 13
Kraków 13
Lachine 13
Jinan 12
Poplar 12
Amsterdam 11
Athens 11
Cesena 11
Chicago 11
Curitiba 11
San Jose 11
Shenyang 11
Biên Hòa 10
Brooklyn 10
Coventry 10
Delhi 10
Florence 10
Johannesburg 10
Karachi 10
Karlsruhe 10
Totale 17.525
Salva come PNG Salva come JPEG
Nome #
A unified and formal programming model for deltas and traits 415
A Formal Model for Multi SPLs 389
Multi software product lines in the wild 382
Aggregate processes in field calculus 380
A core calculus for dynamic delta-oriented programming 371
On checking delta-oriented product lines of statecharts 361
Self-adaptation to device distribution in the internet of things 359
A novel model-based testing approach for software product lines 354
Aggregate graph statistics 354
Compositional Blocks for Optimal Self-Healing Gradients 348
A formal model for Multi Software Product Lines 347
An extension of the ABS toolchain with a mechanism for type checking SPLs 343
Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed 342
Abstraction refinement for the analysis of software product lines 337
A higher-order calculus of computational fields 332
On Type Checking Delta-Oriented Product Lines 318
From field-based coordination to aggregate computing 315
The share operator for field-based coordination 311
On the expressiveness of modal transition systems with variability constraints 307
Xtraitj: Traits for the Java platform 306
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking 300
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 296
Space-time universality of field calculus 296
Engineering resilient collective adaptive systems by self-stabilisation 293
Interoperability of software product line variants 293
A toolchain for delta-oriented modeling of software product lines 289
Refactoring Delta-Oriented Product Lines to achieve Monotonicity 286
Introduction to the track on variability modeling for scalable software evolution 285
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems 285
Distributed Real-Time Shortest-Paths Computations with the Field Calculus 279
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form 276
HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems 275
Certifying delta-oriented programs 274
On a Higher-Order Calculus of Computational Fields 270
Static analysis of featured transition systems 264
Parametric DeltaJ 1.5: Propagating feature attributes into implementation artifacts 262
Optimal single-path information propagation in gradient-based algorithms 259
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts 259
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints 252
Self-Adaptation to Device Distribution Changes 251
Run-Time management of computation domains in field calculus 247
From distributed coordination to field calculus and aggregate computing 245
Code mobility meets self-organisation: A higher-order calculus of computational fields 233
On distributed runtime verification by aggregate computing 231
Implementing type-safe software product lines using parametric traits 229
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 222
Simulation techniques for the calculus of wrapped compartments 217
Verifying traits: an incremental proof system for fine-grained reuse 215
Hybrid Calculus of Wrapped Compartments 214
Type-based Self-stabilisation for Computational Fields 214
A Calculus for Boxes and Traits in a Java-Like Setting 211
A type-sound calculus of computational fields 202
TraitRecordJ: A programming language with traits and records 200
Proof repositories for compositional verification of evolving software systems managing change when proving software correct 199
On Flexible Dynamic Trait Replacement for Java-like Languages 198
Compositional Type Checking of Delta-Oriented Software Product Lines 198
Delta-Oriented Programming of Software Product Lines 195
A Calculus of Self-stabilising Computational Fields 194
Delta-Trait Programming of Software Product Lines 194
Combining Traits with Boxes and Ownership Types in a Java-like Setting 183
A Prototypical Java-like Language with Records and Traits 178
Generic traits for the Java platform 178
DeltaJ 1.5: delta-oriented programming for Java 1.5 174
Delta-oriented multi software product lines 173
Standard Type Soundness for Agents and Artifacts 167
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields 165
Engineering collective intelligence at the edge with aggregate processes 160
Big data from the cloud to the edge: The aggregate computing solution 152
Functional Programming for Distributed Systems with XC 150
Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse 149
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations 148
A Calculus of Computational Fields 147
A State Abstraction for Coordination in Java-like Languages 143
CWC simulator (Calculus of Wrapped Compartments) 141
A Spatial Calculus of Wrapped Compartments 139
A Formal Model of the Kubernetes Container Framework 138
Modelling an Ammonium Transporter with SCLS 137
A Calculus of Agents and Artifacts 136
Adaptive distributed monitors of spatial properties for cyber–physical systems 135
DeltaJ: a delta oriented programming language with core and delta modules 134
A type inference approach to program analysis 133
Elena: A StateJ to Java translator 131
On Re-classification and Multithreading 128
On State Classes and Their Dynamic Semantics 126
Formal Methods for Executable Software Models 126
A Mechanisms for Flexible Dynamic Trait Replacement 125
Resilient distributed collection through information speed thresholds 125
A formal foundation for dynamic delta-oriented software product lines 124
A formal foundation for dynamic delta-oriented software product lines 124
Three cases of composition and a question 123
Aggregate centrality measures for IoT-based coordination 123
On designing multicore-aware simulators for biological systems 122
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments 122
Type-based useless-code elimination for functional programs - Position paper 122
Formal Methods for Components and Objects10th International Symposium, FMCO 2011, Turin, Italy, October3 to 5, 2011. Revised Papers 121
A type system for checking specialization of packages in object-oriented programming 116
Family-based Analysis of Type Safety for Delta-Oriented Software Product Lines 116
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 114
Pure trait-based programming on the Java platform 114
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 112
Totale 22.247
Salva come PNG Salva come JPEG
Categoria #
all - tutte 77.088
article - articoli 0
book - libri 0
conference - conferenze 46.038
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 123.126
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20214.733 0 0 0 0 630 739 688 575 687 698 441 275
2021/20222.567 86 55 86 535 144 86 167 184 48 161 587 428
2022/20232.504 259 150 57 296 268 666 222 173 214 36 91 72
2023/20241.210 128 240 72 70 87 98 37 61 6 128 124 159
2024/20254.114 28 379 236 293 874 182 123 408 365 338 353 535
2025/20263.139 635 451 579 991 483 0 0 0 0 0 0 0
Totale 29.656