CINECA IRIS Institutional Research Information System

DAMIANI, Ferruccio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.235
EU - Europa 7.652
AS - Asia 2.388
AF - Africa 29
OC - Oceania 25
SA - Sud America 18
Continente sconosciuto - Info sul continente non disponibili 11
Totale 23.358
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.156
DK - Danimarca 2.238
CN - Cina 1.171
IT - Italia 1.170
SE - Svezia 1.116
IE - Irlanda 601
SG - Singapore 577
DE - Germania 444
FR - Francia 428
UA - Ucraina 362
FI - Finlandia 340
GB - Regno Unito 263
PL - Polonia 221
KR - Corea 190
RU - Federazione Russa 170
VN - Vietnam 153
ID - Indonesia 124
CA - Canada 76
GR - Grecia 67
IN - India 61
AT - Austria 54
NL - Olanda 49
BE - Belgio 38
HK - Hong Kong 22
CZ - Repubblica Ceca 19
JP - Giappone 19
AU - Australia 17
BR - Brasile 16
CH - Svizzera 16
PK - Pakistan 15
PH - Filippine 14
NO - Norvegia 13
EU - Europa 10
AE - Emirati Arabi Uniti 9
PT - Portogallo 9
RO - Romania 9
ES - Italia 8
IR - Iran 8
NG - Nigeria 8
NZ - Nuova Zelanda 8
TW - Taiwan 7
MA - Marocco 4
TR - Turchia 4
BG - Bulgaria 3
DZ - Algeria 3
MD - Moldavia 3
MU - Mauritius 3
MX - Messico 3
QA - Qatar 3
SA - Arabia Saudita 3
ZA - Sudafrica 3
CO - Colombia 2
HU - Ungheria 2
MG - Madagascar 2
MO - Macao, regione amministrativa speciale della Cina 2
MY - Malesia 2
RS - Serbia 2
SC - Seychelles 2
SI - Slovenia 2
SN - Senegal 2
A1 - Anonimo 1
AL - Albania 1
AM - Armenia 1
CY - Cipro 1
GH - Ghana 1
IL - Israele 1
KH - Cambogia 1
LT - Lituania 1
LU - Lussemburgo 1
LV - Lettonia 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
Totale 23.358
Salva come PNG Salva come JPEG
Città #
Ann Arbor 4.298
Wilmington 917
Chandler 848
Santa Clara 718
Fairfield 682
Dublin 600
Guangzhou 502
Houston 475
Ashburn 464
Singapore 443
Beijing 441
Dearborn 343
Woodbridge 302
Jacksonville 282
Torino 275
Seattle 244
Cambridge 209
Warsaw 203
Villeurbanne 199
Princeton 191
Medford 181
Pisa 179
Columbus 165
Norwalk 131
Dong Ket 125
Nyköping 106
Jakarta 105
Turin 99
Wayne 98
Boardman 86
Helsinki 86
Boston 71
Naples 56
Milan 52
San Diego 47
Vienna 46
Fremont 44
Redwood City 42
Falls Church 39
San Mateo 39
Brussels 32
Redmond 29
Nuremberg 28
Bologna 27
Padova 26
Nanjing 25
Toronto 23
Ottawa 22
New York 21
Hefei 20
Verona 20
Kunming 19
Mountain View 19
Phoenix 19
London 17
Lappeenranta 15
Chennai 14
Hong Kong 14
Düsseldorf 13
Hangzhou 13
Kraków 13
Lachine 13
Rome 13
Jinan 12
Shanghai 12
Cesena 11
Athens 10
Karlsruhe 10
Munich 10
Shenyang 10
Dallas 9
Delhi 9
Karachi 9
Abuja 8
Edinburgh 8
Florence 8
Groningen 8
Hebei 8
San Mauro Torinese 8
Siegen 8
Tappahannock 8
Davao City 7
Washington 7
Bandar Lampung 6
Berlin 6
Carmagnola 6
Coimbatore 6
Darmstadt 6
Grafing 6
Los Angeles 6
Mairena Del Aljarafe 6
Saarbrücken 6
Seoul 6
Usingen 6
Alessandria 5
Central 5
Chicago 5
Cuneo 5
Des Moines 5
Fuzhou 5
Totale 15.164
Salva come PNG Salva come JPEG
Nome #
A unified and formal programming model for deltas and traits 376
A Formal Model for Multi SPLs 353
Aggregate processes in field calculus 350
Multi software product lines in the wild 342
Self-adaptation to device distribution in the internet of things 334
Aggregate graph statistics 327
On checking delta-oriented product lines of statecharts 326
A core calculus for dynamic delta-oriented programming 325
An extension of the ABS toolchain with a mechanism for type checking SPLs 320
A novel model-based testing approach for software product lines 319
A formal model for Multi Software Product Lines 319
Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed 318
Abstraction refinement for the analysis of software product lines 311
A higher-order calculus of computational fields 304
Compositional Blocks for Optimal Self-Healing Gradients 301
From field-based coordination to aggregate computing 291
On Type Checking Delta-Oriented Product Lines 287
Xtraitj: Traits for the Java platform 285
The share operator for field-based coordination 279
On the expressiveness of modal transition systems with variability constraints 276
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking 275
Engineering resilient collective adaptive systems by self-stabilisation 273
Space-time universality of field calculus 271
Refactoring Delta-Oriented Product Lines to achieve Monotonicity 265
A toolchain for delta-oriented modeling of software product lines 265
Interoperability of software product line variants 265
Introduction to the track on variability modeling for scalable software evolution 261
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 260
HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems 258
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems 254
Distributed Real-Time Shortest-Paths Computations with the Field Calculus 252
Certifying delta-oriented programs 248
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form 248
On a Higher-Order Calculus of Computational Fields 246
Static analysis of featured transition systems 239
Optimal single-path information propagation in gradient-based algorithms 238
Parametric DeltaJ 1.5: Propagating feature attributes into implementation artifacts 231
Run-Time management of computation domains in field calculus 226
Self-Adaptation to Device Distribution Changes 223
From distributed coordination to field calculus and aggregate computing 220
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts 218
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints 215
On distributed runtime verification by aggregate computing 215
Implementing type-safe software product lines using parametric traits 210
Code mobility meets self-organisation: A higher-order calculus of computational fields 208
Simulation techniques for the calculus of wrapped compartments 198
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 194
Verifying traits: an incremental proof system for fine-grained reuse 190
Hybrid Calculus of Wrapped Compartments 188
A Calculus for Boxes and Traits in a Java-Like Setting 188
Type-based Self-stabilisation for Computational Fields 188
TraitRecordJ: A programming language with traits and records 184
A type-sound calculus of computational fields 182
Delta-Oriented Programming of Software Product Lines 179
Proof repositories for compositional verification of evolving software systems managing change when proving software correct 179
On Flexible Dynamic Trait Replacement for Java-like Languages 174
Compositional Type Checking of Delta-Oriented Software Product Lines 168
A Calculus of Self-stabilising Computational Fields 168
Delta-Trait Programming of Software Product Lines 167
Generic traits for the Java platform 157
A Prototypical Java-like Language with Records and Traits 156
Delta-oriented multi software product lines 153
Combining Traits with Boxes and Ownership Types in a Java-like Setting 150
DeltaJ 1.5: delta-oriented programming for Java 1.5 146
Standard Type Soundness for Agents and Artifacts 143
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields 141
Engineering collective intelligence at the edge with aggregate processes 127
Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse 123
Big data from the cloud to the edge: The aggregate computing solution 122
A Calculus of Computational Fields 120
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations 120
A State Abstraction for Coordination in Java-like Languages 116
Modelling an Ammonium Transporter with SCLS 115
On Re-classification and Multithreading 115
A Calculus of Agents and Artifacts 114
CWC simulator (Calculus of Wrapped Compartments) 109
On designing multicore-aware simulators for biological systems 107
Resilient distributed collection through information speed thresholds 107
DeltaJ: a delta oriented programming language with core and delta modules 106
Elena: A StateJ to Java translator 106
A Spatial Calculus of Wrapped Compartments 106
Family-based Analysis of Type Safety for Delta-Oriented Software Product Lines 104
Aggregate centrality measures for IoT-based coordination 104
A type inference approach to program analysis 103
Type-based useless-code elimination for functional programs - Position paper 103
A formal foundation for dynamic delta-oriented software product lines 102
Formal Methods for Executable Software Models 102
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments 101
Three cases of composition and a question 99
A formal foundation for dynamic delta-oriented software product lines 96
A Formal Model of the Kubernetes Container Framework 96
On State Classes and Their Dynamic Semantics 93
Formal Methods for Components and Objects10th International Symposium, FMCO 2011, Turin, Italy, October3 to 5, 2011. Revised Papers 93
Pure trait-based programming on the Java platform 93
Adaptive distributed monitors of spatial properties for cyber–physical systems 92
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis 91
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 90
A type system for checking specialization of packages in object-oriented programming 89
A Mechanisms for Flexible Dynamic Trait Replacement 88
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 88
Totale 19.560
Salva come PNG Salva come JPEG
Categoria #
all - tutte 56.335
article - articoli 0
book - libri 0
conference - conferenze 33.958
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 90.293
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.549 0 0 0 0 0 659 498 345 650 375 588 434
2020/20216.402 576 350 402 341 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/20251.971 28 379 236 293 874 161 0 0 0 0 0 0
Totale 24.374