CINECA IRIS Institutional Research Information System

DAMIANI, Ferruccio
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.023
EU - Europa 7.475
AS - Asia 1.844
AF - Africa 28
OC - Oceania 25
SA - Sud America 18
Continente sconosciuto - Info sul continente non disponibili 11
Totale 21.424
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.948
DK - Danimarca 2.238
IT - Italia 1.143
SE - Svezia 1.116
CN - Cina 1.111
IE - Irlanda 600
DE - Germania 436
FR - Francia 426
UA - Ucraina 362
FI - Finlandia 335
GB - Regno Unito 254
PL - Polonia 221
SG - Singapore 219
KR - Corea 190
VN - Vietnam 153
CA - Canada 73
GR - Grecia 67
IN - India 59
RU - Federazione Russa 53
AT - Austria 49
NL - Olanda 49
BE - Belgio 37
CZ - Repubblica Ceca 19
JP - Giappone 19
ID - Indonesia 18
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
HK - Hong Kong 8
IR - Iran 8
NG - Nigeria 8
NZ - Nuova Zelanda 8
MA - Marocco 4
TR - Turchia 4
TW - Taiwan 4
BG - Bulgaria 3
DZ - Algeria 3
MD - Moldavia 3
MU - Mauritius 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
MX - Messico 2
RS - Serbia 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
LU - Lussemburgo 1
LV - Lettonia 1
MY - Malesia 1
SC - Seychelles 1
TN - Tunisia 1
Totale 21.424
Salva come PNG Salva come JPEG
Città #
Ann Arbor 4.298
Wilmington 917
Chandler 848
Fairfield 682
Dublin 599
Guangzhou 491
Houston 475
Ashburn 455
Beijing 439
Dearborn 343
Woodbridge 302
Jacksonville 282
Torino 275
Seattle 244
Cambridge 209
Warsaw 203
Villeurbanne 199
Princeton 191
Medford 181
Pisa 179
Norwalk 131
Dong Ket 125
Singapore 109
Nyköping 106
Wayne 98
Turin 92
Boardman 86
Helsinki 83
Boston 71
Naples 56
Milan 50
San Diego 47
Vienna 45
Fremont 44
Redwood City 42
Falls Church 39
San Mateo 39
Brussels 31
Redmond 29
Nuremberg 27
Padova 26
Bologna 25
Nanjing 25
Ottawa 21
Toronto 21
Hefei 20
New York 20
Verona 20
Kunming 19
Mountain View 19
Phoenix 19
Chennai 14
London 14
Düsseldorf 13
Hangzhou 13
Kraków 13
Lachine 13
Lappeenranta 13
Rome 13
Jinan 12
Cesena 11
Athens 10
Munich 10
Shanghai 10
Shenyang 10
Dallas 9
Delhi 9
Karachi 9
Karlsruhe 9
Abuja 8
Edinburgh 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
Cuneo 5
Des Moines 5
Jakarta 5
Lake Forest 5
Mcallen 5
Philadelphia 5
Pinerolo 5
Rimini 5
Sainte-Livrade-sur-Lot 5
Totale 13.793
Salva come PNG Salva come JPEG
Nome #
A unified and formal programming model for deltas and traits 353
Aggregate processes in field calculus 340
A Formal Model for Multi SPLs 336
Self-adaptation to device distribution in the internet of things 328
Multi software product lines in the wild 322
A core calculus for dynamic delta-oriented programming 309
Optimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed 309
Aggregate graph statistics 309
A novel model-based testing approach for software product lines 304
On checking delta-oriented product lines of statecharts 302
A formal model for Multi Software Product Lines 299
An extension of the ABS toolchain with a mechanism for type checking SPLs 294
Abstraction refinement for the analysis of software product lines 293
A higher-order calculus of computational fields 290
Compositional Blocks for Optimal Self-Healing Gradients 289
From field-based coordination to aggregate computing 283
Xtraitj: Traits for the Java platform 276
On Type Checking Delta-Oriented Product Lines 273
The share operator for field-based coordination 270
Engineering resilient collective adaptive systems by self-stabilisation 267
On the expressiveness of modal transition systems with variability constraints 264
Space-time universality of field calculus 263
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking 260
A toolchain for delta-oriented modeling of software product lines 258
Refactoring Delta-Oriented Product Lines to achieve Monotonicity 252
Introduction to the track on variability modeling for scalable software evolution 252
HyVar: Scalable Hybrid Variability for Distributed Evolving Software Systems 252
Interoperability of software product line variants 251
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 242
Distributed Real-Time Shortest-Paths Computations with the Field Calculus 241
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems 241
On a Higher-Order Calculus of Computational Fields 238
Certifying delta-oriented programs 234
Optimal single-path information propagation in gradient-based algorithms 231
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form 231
Static analysis of featured transition systems 228
Run-Time management of computation domains in field calculus 219
Parametric DeltaJ 1.5: Propagating feature attributes into implementation artifacts 217
Self-Adaptation to Device Distribution Changes 216
On distributed runtime verification by aggregate computing 209
From distributed coordination to field calculus and aggregate computing 208
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints 203
Code mobility meets self-organisation: A higher-order calculus of computational fields 200
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts 200
Implementing type-safe software product lines using parametric traits 196
Type-based Self-stabilisation for Computational Fields 183
Simulation techniques for the calculus of wrapped compartments 181
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 180
Hybrid Calculus of Wrapped Compartments 179
A type-sound calculus of computational fields 176
Verifying traits: an incremental proof system for fine-grained reuse 175
Proof repositories for compositional verification of evolving software systems managing change when proving software correct 173
TraitRecordJ: A programming language with traits and records 172
A Calculus for Boxes and Traits in a Java-Like Setting 170
On Flexible Dynamic Trait Replacement for Java-like Languages 164
Delta-Oriented Programming of Software Product Lines 161
Delta-Trait Programming of Software Product Lines 160
Compositional Type Checking of Delta-Oriented Software Product Lines 159
A Calculus of Self-stabilising Computational Fields 157
Delta-oriented multi software product lines 145
A Prototypical Java-like Language with Records and Traits 143
Generic traits for the Java platform 143
Standard Type Soundness for Agents and Artifacts 139
Combining Traits with Boxes and Ownership Types in a Java-like Setting 139
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields 134
DeltaJ 1.5: delta-oriented programming for Java 1.5 131
Big data from the cloud to the edge: The aggregate computing solution 118
Engineering collective intelligence at the edge with aggregate processes 117
A Calculus of Computational Fields 114
Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse 111
On Re-classification and Multithreading 110
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations 108
A Calculus of Agents and Artifacts 104
Modelling an Ammonium Transporter with SCLS 104
A State Abstraction for Coordination in Java-like Languages 103
Resilient distributed collection through information speed thresholds 101
Family-based Analysis of Type Safety for Delta-Oriented Software Product Lines 98
Formal Methods for Executable Software Models 98
A type inference approach to program analysis 96
DeltaJ: a delta oriented programming language with core and delta modules 96
Elena: A StateJ to Java translator 96
On designing multicore-aware simulators for biological systems 96
Aggregate centrality measures for IoT-based coordination 96
CWC simulator (Calculus of Wrapped Compartments) 95
A Spatial Calculus of Wrapped Compartments 95
Type-based useless-code elimination for functional programs - Position paper 94
Three cases of composition and a question 93
A formal foundation for dynamic delta-oriented software product lines 89
A formal foundation for dynamic delta-oriented software product lines 88
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments 87
Formal Methods for Components and Objects10th International Symposium, FMCO 2011, Turin, Italy, October3 to 5, 2011. Revised Papers 87
On State Classes and Their Dynamic Semantics 84
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 83
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? 81
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis 81
A type system for checking specialization of packages in object-oriented programming 80
Pure trait-based programming on the Java platform 80
A Formal Model of the Kubernetes Container Framework 80
Adaptive distributed monitors of spatial properties for cyber–physical systems 78
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers 77
Totale 18.434
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.385
article - articoli 0
book - libri 0
conference - conferenze 29.860
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 79.245
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20205.516 0 265 565 688 449 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/202531 28 3 0 0 0 0 0 0 0 0 0 0
Totale 22.434