CINECA IRIS Institutional Research Information System

SIMONCINI, LUCA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.619
AS - Asia 1.516
EU - Europa 1.453
SA - Sud America 152
AF - Africa 53
OC - Oceania 1
Totale 6.794
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.506
IT - Italia 638
CN - Cina 578
SG - Singapore 404
HK - Hong Kong 254
SE - Svezia 252
UA - Ucraina 133
BR - Brasile 131
BG - Bulgaria 125
CA - Canada 105
KR - Corea 104
DE - Germania 70
TR - Turchia 69
CH - Svizzera 63
FI - Finlandia 54
RU - Federazione Russa 54
VN - Vietnam 49
GB - Regno Unito 34
NG - Nigeria 23
IN - India 15
BD - Bangladesh 12
BE - Belgio 11
CI - Costa d'Avorio 10
FR - Francia 8
IQ - Iraq 7
AR - Argentina 6
SA - Arabia Saudita 6
ZA - Sudafrica 6
EC - Ecuador 5
MX - Messico 5
PK - Pakistan 5
ES - Italia 4
KE - Kenya 4
MA - Marocco 4
UZ - Uzbekistan 4
BJ - Benin 3
PE - Perù 3
AT - Austria 2
PY - Paraguay 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
CL - Cile 1
CO - Colombia 1
DK - Danimarca 1
EG - Egitto 1
GD - Grenada 1
ID - Indonesia 1
IL - Israele 1
JO - Giordania 1
JP - Giappone 1
KZ - Kazakistan 1
LT - Lituania 1
NL - Olanda 1
NZ - Nuova Zelanda 1
PA - Panama 1
QA - Qatar 1
RO - Romania 1
SO - Somalia 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
VE - Venezuela 1
Totale 6.794
Salva come PNG Salva come JPEG
Città #
Woodbridge 636
Ann Arbor 423
Milan 390
Houston 284
Santa Clara 259
Hong Kong 252
Ashburn 242
Singapore 224
Chandler 217
Jacksonville 211
Fairfield 188
Sofia 124
Beijing 116
Hefei 111
Ottawa 102
Seoul 102
Dallas 95
Shanghai 92
Cambridge 70
Nanjing 67
New York 66
Wilmington 64
Bern 63
Seattle 63
Boardman 62
Lawrence 51
Princeton 51
Los Angeles 48
Izmir 41
Rome 36
Jüchen 34
Des Moines 32
Dearborn 30
Nanchang 26
Lagos 23
Buffalo 22
Council Bluffs 20
Dong Ket 20
Istanbul 19
Serra 16
Kunming 15
Medford 15
Ogden 14
São Paulo 13
Hebei 12
Tianjin 12
Boulder 11
Brussels 11
Abidjan 10
San Diego 9
Shenyang 8
Redondo Beach 7
San Jose 7
Changsha 6
Hangzhou 6
Jiaxing 6
Orange 6
Belo Horizonte 5
Falls Church 5
Guarulhos 5
Ho Chi Minh City 5
Norwalk 5
Porto Alegre 5
Verona 5
Brooklyn 4
Düsseldorf 4
Guangzhou 4
Johannesburg 4
Tashkent 4
The Dalles 4
Zhengzhou 4
Campinas 3
Caxias do Sul 3
Changchun 3
Columbus 3
Cotonou 3
Curitiba 3
Dhaka 3
Guayaquil 3
Jeddah 3
Jinan 3
Lima 3
Nairobi 3
Pune 3
Redwood City 3
Riyadh 3
Taizhou 3
Washington 3
Anápolis 2
Asunción 2
Baghdad 2
Cascina 2
Chengdu 2
Chicago 2
Franca 2
Haikou 2
Hanoi 2
Helsinki 2
Lahore 2
Lanzhou 2
Totale 5.298
Salva come PNG Salva come JPEG
Nome #
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study 209
Analysis of Temporal Properties of Data Flow Control Systems 202
Data-flow Control Systems: An example of Safety Validation 202
The Design of Distributed, Dependable, Real-time Systems using a Functional Paradigm 185
Resilient Computing: an Engineering Discipline 174
A Simulator for Performability Analysis of Electrical Power Systems considering Interdependencies 165
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems considering Interdependencies 165
Activity on Education and Training in the ReSIST NoE 161
MSc Curriculum in Resilient Computing – Courseware Availability 158
Socio-technical Complex Systems of Systems: Can We Justifiably Trust Their Resilience? 158
MSc Curriculum in Resilient Computing 155
Data-flow Networks in the Design of Safety-critical Systems 154
Verfying the Design of Fault Tolerant Systems 149
Presentation of ReSIST – Resilience for Survivability in IST European Network of Excellence 148
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability 147
2004 International Conference on Dependable Systems and Networks (DSN 2004) 147
Model-based evaluation of the middleware services and protocols & architectural patterns 147
Teaching Resilient Computing: Proposal of an MSc Curriculum 145
Architectural Challenges for a Dependable Information Society 137
Towards a Discipline of System Engineering: Validation of Dependable Systems 137
Ambient Dependability: A Grand Challenge 136
Temporal Analysis of Data Flow Control Systems 132
Validating the Design of Dependable Systems 132
Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking 131
AMSD: A Dependability Roadmap for the Information Society in Europe 129
Atti del Convegno Nazionale su Informatica e Riservatezza 128
AMSD: A Dependability Roadmap for the Information Society in Europe Part 2 - Appraisal of related IST Roadmaps 128
AMSD: A Dependability Roadmap for the Information Society in Europe Part 1 - An Insight into Future 126
Resilient Computing: a multi-disciplinary MSc Curriculum 126
AMSD: A Dependability Roadmap for the Information Society in Europe Part 3 - Towards a Dependability Roadmap 124
Deliverable D37 Resilient Computing Curriculum 123
Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks 123
MSc Curriculum in Resilient Computing 122
Current and future needs for Distributed Computing Systems 121
Technological and Educational Challenges of Resilient Computing 120
An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems 120
Architectural Challenges for Ambient Dependability 118
MSc Curriculum in Resilient Computing 116
Some Issues to be taken into account for a Dependable 2031 113
Towards a Discipline of System Engineering: Validation of Dependable System Architectures 109
Using Process Algebras for the Semantic Analysis of Data flow Networks 108
Grid Computing Evolution and Challenges for Resilience, Performance and Scalability 106
Is Technology (only) the Solution? 103
Deliverable D38 Resilient Computing Courseware 102
null 102
MSc Curriculum in Resilient Computing 98
Deliverable D40 RKB and Courseware Legacy 97
Integrated Validation of Dependable Systems 97
Design Validation of Embedded Dependable Systems 91
Trustworthiness Challenges 85
Modelling and Analysis of Dependability and Performance of GPRS Systems 72
Formally verifying fault tolerant system designs 37
Totale 6.820
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.122
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 16.122
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021194 0 0 0 0 0 10 48 36 18 22 14 46
2021/2022422 5 38 7 29 99 65 5 12 23 9 29 101
2022/2023589 57 71 46 34 101 98 3 58 96 3 18 4
2023/2024838 166 158 122 92 139 72 1 0 6 19 24 39
2024/20251.316 6 58 10 54 160 152 98 89 111 174 141 263
2025/2026716 88 223 138 76 95 96 0 0 0 0 0 0
Totale 6.820