CINECA IRIS Institutional Research Information System

DAMIANI, Ferruccio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.287
EU - Europa 7.875
AS - Asia 2.750
SA - Sud America 108
AF - Africa 30
OC - Oceania 25
Continente sconosciuto - Info sul continente non disponibili 11
Totale 24.086
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.189
DK - Danimarca 2.240
IT - Italia 1.243
CN - Cina 1.181
SE - Svezia 1.116
SG - Singapore 896
IE - Irlanda 601
DE - Germania 503
FR - Francia 433
UA - Ucraina 362
FI - Finlandia 361
GB - Regno Unito 265
PL - Polonia 221
KR - Corea 190
RU - Federazione Russa 171
VN - Vietnam 153
ID - Indonesia 126
AT - Austria 99
BR - Brasile 98
CA - Canada 88
GR - Grecia 67
IN - India 64
NL - Olanda 59
BE - Belgio 38
HK - Hong Kong 37
CZ - Repubblica Ceca 19
JP - Giappone 19
AU - Australia 17
PK - Pakistan 17
CH - Svizzera 16
PH - Filippine 14
NO - Norvegia 13
EU - Europa 10
MX - Messico 10
RO - Romania 10
AE - Emirati Arabi Uniti 9
ES - Italia 9
PT - Portogallo 9
TW - Taiwan 9
IR - Iran 8
NG - Nigeria 8
NZ - Nuova Zelanda 8
MA - Marocco 4
TR - Turchia 4
BG - Bulgaria 3
CO - Colombia 3
DZ - Algeria 3
IQ - Iraq 3
LT - Lituania 3
MD - Moldavia 3
MU - Mauritius 3
QA - Qatar 3
SA - Arabia Saudita 3
ZA - Sudafrica 3
AR - Argentina 2
EC - Ecuador 2
HU - Ungheria 2
IL - Israele 2
MG - Madagascar 2
MO - Macao, regione amministrativa speciale della Cina 2
MY - Malesia 2
OM - Oman 2
RS - Serbia 2
SC - Seychelles 2
SI - Slovenia 2
SN - Senegal 2
A1 - Anonimo 1
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
CY - Cipro 1
GH - Ghana 1
KE - Kenya 1
KH - Cambogia 1
LU - Lussemburgo 1
LV - Lettonia 1
MK - Macedonia 1
NP - Nepal 1
PE - Perù 1
PS - Palestinian Territory 1
PY - Paraguay 1
SK - Slovacchia (Repubblica Slovacca) 1
TN - Tunisia 1
VE - Venezuela 1
Totale 24.086
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 469
Singapore 459
Beijing 441
Dearborn 343
Woodbridge 302
Jacksonville 282
Torino 275
Seattle 246
Cambridge 209
Warsaw 203
Villeurbanne 199
Princeton 191
Medford 181
Pisa 179
Columbus 165
Norwalk 131
Dong Ket 125
Turin 118
Helsinki 106
Jakarta 106
Nyköping 106
Wayne 98
Boardman 88
Milan 72
Vienna 72
Boston 71
Nuremberg 64
Naples 56
San Diego 49
Fremont 44
Redwood City 42
Falls Church 39
San Mateo 39
Brussels 32
Ottawa 29
Redmond 29
Bologna 27
Hong Kong 27
Padova 26
Toronto 26
Nanjing 25
New York 21
Hefei 20
Verona 20
Kunming 19
London 19
Mountain View 19
Phoenix 19
Falkenstein 18
Lappeenranta 16
Rome 15
Chennai 14
Düsseldorf 13
Hangzhou 13
Kraków 13
Lachine 13
Jinan 12
Shanghai 12
Cesena 11
Athens 10
Karachi 10
Karlsruhe 10
Munich 10
Shenyang 10
Agliè 9
Dallas 9
Delhi 9
São Paulo 9
Abuja 8
Edinburgh 8
Florence 8
Groningen 8
Hebei 8
San Mauro Torinese 8
Siegen 8
Tappahannock 8
Davao City 7
Frankfurt am Main 7
Los Angeles 7
Mexico City 7
Paris 7
San Jose 7
Washington 7
Bandar Lampung 6
Berlin 6
Carmagnola 6
Coimbatore 6
Darmstadt 6
Grafing 6
Hamburg 6
Mairena Del Aljarafe 6
Manassas 6
Totale 15.371
Salva come PNG Salva come JPEG
Nome #
A unified and formal programming model for deltas and traits 384
A Formal Model for Multi SPLs 358
Aggregate processes in field calculus 353
Multi software product lines in the wild 349
Self-adaptation to device distribution in the internet of things 340
On checking delta-oriented product lines of statecharts 334
A core calculus for dynamic delta-oriented programming 333
Aggregate graph statistics 331
A novel model-based testing approach for software product lines 329
An extension of the ABS toolchain with a mechanism for type checking SPLs 326
A formal model for Multi Software Product Lines 322
Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed 321
Abstraction refinement for the analysis of software product lines 318
Compositional Blocks for Optimal Self-Healing Gradients 307
A higher-order calculus of computational fields 306
From field-based coordination to aggregate computing 298
On Type Checking Delta-Oriented Product Lines 294
Xtraitj: Traits for the Java platform 289
On the expressiveness of modal transition systems with variability constraints 282
The share operator for field-based coordination 282
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking 279
Engineering resilient collective adaptive systems by self-stabilisation 276
Space-time universality of field calculus 275
A toolchain for delta-oriented modeling of software product lines 271
Interoperability of software product line variants 271
Refactoring Delta-Oriented Product Lines to achieve Monotonicity 269
Introduction to the track on variability modeling for scalable software evolution 267
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 265
HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems 263
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems 261
Distributed Real-Time Shortest-Paths Computations with the Field Calculus 257
Certifying delta-oriented programs 253
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form 251
On a Higher-Order Calculus of Computational Fields 248
Optimal single-path information propagation in gradient-based algorithms 247
Static analysis of featured transition systems 245
Parametric DeltaJ 1.5: Propagating feature attributes into implementation artifacts 237
Run-Time management of computation domains in field calculus 230
Self-Adaptation to Device Distribution Changes 230
From distributed coordination to field calculus and aggregate computing 227
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts 223
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints 220
On distributed runtime verification by aggregate computing 218
Code mobility meets self-organisation: A higher-order calculus of computational fields 216
Implementing type-safe software product lines using parametric traits 215
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 203
Simulation techniques for the calculus of wrapped compartments 200
Verifying traits: an incremental proof system for fine-grained reuse 196
Type-based Self-stabilisation for Computational Fields 195
Hybrid Calculus of Wrapped Compartments 189
A Calculus for Boxes and Traits in a Java-Like Setting 189
TraitRecordJ: A programming language with traits and records 188
A type-sound calculus of computational fields 185
Proof repositories for compositional verification of evolving software systems managing change when proving software correct 184
On Flexible Dynamic Trait Replacement for Java-like Languages 182
Delta-Oriented Programming of Software Product Lines 181
Compositional Type Checking of Delta-Oriented Software Product Lines 173
A Calculus of Self-stabilising Computational Fields 173
Delta-Trait Programming of Software Product Lines 173
Delta-oriented multi software product lines 161
Generic traits for the Java platform 160
A Prototypical Java-like Language with Records and Traits 157
Combining Traits with Boxes and Ownership Types in a Java-like Setting 157
DeltaJ 1.5: delta-oriented programming for Java 1.5 151
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields 149
Standard Type Soundness for Agents and Artifacts 144
Engineering collective intelligence at the edge with aggregate processes 144
Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse 129
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations 125
Big data from the cloud to the edge: The aggregate computing solution 125
A Calculus of Computational Fields 124
A State Abstraction for Coordination in Java-like Languages 119
Modelling an Ammonium Transporter with SCLS 118
On Re-classification and Multithreading 117
A Calculus of Agents and Artifacts 115
Elena: A StateJ to Java translator 111
CWC simulator (Calculus of Wrapped Compartments) 111
DeltaJ: a delta oriented programming language with core and delta modules 110
On designing multicore-aware simulators for biological systems 109
Formal Methods for Executable Software Models 109
Type-based useless-code elimination for functional programs - Position paper 109
A Spatial Calculus of Wrapped Compartments 108
Three cases of composition and a question 108
Resilient distributed collection through information speed thresholds 108
A type inference approach to program analysis 106
Aggregate centrality measures for IoT-based coordination 106
Family-based Analysis of Type Safety for Delta-Oriented Software Product Lines 105
Adaptive distributed monitors of spatial properties for cyber–physical systems 104
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments 103
A formal foundation for dynamic delta-oriented software product lines 103
A Mechanisms for Flexible Dynamic Trait Replacement 100
A formal foundation for dynamic delta-oriented software product lines 100
A Formal Model of the Kubernetes Container Framework 100
On State Classes and Their Dynamic Semantics 97
A type system for checking specialization of packages in object-oriented programming 96
Pure trait-based programming on the Java platform 96
Formal Methods for Components and Objects10th International Symposium, FMCO 2011, Turin, Italy, October3 to 5, 2011. Revised Papers 95
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 94
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 93
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis 91
Totale 20.048
Salva come PNG Salva come JPEG
Categoria #
all - tutte 61.256
article - articoli 0
book - libri 0
conference - conferenze 36.932
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 98.188
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.047 0 0 0 0 0 0 0 0 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/20252.746 28 379 236 293 874 182 123 408 223 0 0 0
Totale 25.149